Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Theor.~Comput.~Sci. AND Volume=402
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Efficient corona training protocols for sensor networks
Alan A. Bertossi
,
Stephan Olariu
,
Cristina M. Pinotti
Theoretical Computer Science
402
(1), 2008, pp. 2-15
Adaptive initialization algorithm for ad hoc radio networks with carrier sensing
J. Cichoń
,
M. Kutyƚowski
,
M. Zawada
Theoretical Computer Science
402
(1), 2008, pp. 16-28
Minimizing interference of a wireless ad-hoc network in a plane
Magnús M. Halldórsson
,
Takeshi Tokuyama
Theoretical Computer Science
402
(1), 2008, pp. 29-42
On the complexity of minimizing interference in ad-hoc and sensor networks
Davide Bilò
,
Guido Proietti
Theoretical Computer Science
402
(1), 2008, pp. 43-55
Efficient sensor network design for continuous monitoring of moving objects
Sotiris Nikoletseas
,
Paul Spirakis
Theoretical Computer Science
402
(1), 2008, pp. 56-66
Self-deployment of mobile sensors on a ring
Paola Flocchini
,
Giuseppe Prencipe
,
Nicola Santoro
Theoretical Computer Science
402
(1), 2008, pp. 67-80
Cryptographically-masked flows
Aslan Askarov
,
Daniel Hedin
,
Andrei Sabelfeld
Theoretical Computer Science
402
(2-3), 2008, pp. 82-101
Parametric synchronizations in mobile nominal calculi
Roberto Bruni
,
Ivan Lanese
Theoretical Computer Science
402
(2-3), 2008, pp. 102-119
Spatial-behavioral types for concurrency and resource control in distributed systems
Luís Caires
Theoretical Computer Science
402
(2-3), 2008, pp. 120-141
Scheduling to maximize participation
Ioannis Caragiannis
,
Christos Kaklamanis
,
Panagiotis Kanellopoulos
,
Evi Papaioannou
Theoretical Computer Science
402
(2-3), 2008, pp. 142-155
Security types for dynamic web data
Mariangiola Dezani-Ciancaglini
,
Silvia Ghilezan
,
Jovanka Pantović
,
Daniele Varacca
Theoretical Computer Science
402
(2-3), 2008, pp. 156-171
Integration of a security type system into a program logic
Reiner Hähnle
,
Jing Pan
,
Philipp Rümmer
,
Dennis Walter
Theoretical Computer Science
402
(2-3), 2008, pp. 172-189
Memoryless search algorithms in a network with faulty advice
Nicolas Hanusse
,
Dimitris Kavvadias
,
Evangelos Kranakis
,
Danny Krizanc
Theoretical Computer Science
402
(2-3), 2008, pp. 190-198
Using bisimulation proof techniques for the analysis of distributed abstract machines
Damien Pous
Theoretical Computer Science
402
(2-3), 2008, pp. 199-220
On the limits of cache-oblivious rational permutations
Francesco Silvestri
Theoretical Computer Science
402
(2-3), 2008, pp. 221-233
A timed semantics of Orc
Ian Wehrman
,
David Kitchin
,
William R. Cook
,
Jayadev Misra
Theoretical Computer Science
402
(2-3), 2008, pp. 234-248