Automata, Languages and Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

118
(FIVE YEARS 0)

H-INDEX

23
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540275800, 9783540316916
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Petri Algebras

2005 ◽  
pp. 742-754 ◽  
Author(s):  
Eric Badouel ◽  
Jules Chenou ◽  
Goulven Guillou

On the Wake-Up Problem in Radio Networks

2005 ◽  
pp. 347-359 ◽  
Author(s):  
Bogdan S. Chlebus ◽  
Leszek Gąsieniec ◽  
Dariusz R. Kowalski ◽  
Tomasz Radzik
Keyword(s):  
Radio Networks

Signaling P Systems and Verification Problems

2005 ◽  
pp. 1462-1473 ◽  
Author(s):  
Cheng Li ◽  
Zhe Dang ◽  
Oscar H. Ibarra ◽  
Hsu-Chun Yen
Keyword(s):  
P Systems

Randomized Fast Design of Short DNA Words

2005 ◽  
pp. 1275-1286 ◽  
Author(s):  
Ming-Yang Kao ◽  
Manan Sanghi ◽  
Robert Schweller

Probabilistic Polynomial-Time Semantics for a Protocol Security Logic

2005 ◽  
pp. 16-29 ◽  
Author(s):  
Anupam Datta ◽  
Ante Derek ◽  
John C. Mitchell ◽  
Vitaly Shmatikov ◽  
Mathieu Turuani
Keyword(s):  
Polynomial Time ◽  
Protocol Security ◽  
Time Semantics ◽  
Probabilistic Polynomial Time
Load More ...
Sign in / Sign up

Export Citation Format

Share Document