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

TOTAL DOCUMENTS

58
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642315848, 9783642315855
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Computational Complexity of Traffic Hijacking under BGP and S-BGP

2012 ◽  
pp. 476-487
Author(s):  
Marco Chiesa ◽  
Giuseppe Di Battista ◽  
Thomas Erlebach ◽  
Maurizio Patrignani
Keyword(s):  
Computational Complexity

Byzantine Agreement with a Rational Adversary

2012 ◽  
pp. 561-572 ◽  
Author(s):  
Adam Groce ◽  
Jonathan Katz ◽  
Aishwarya Thiruvengadam ◽  
Vassilis Zikas
Keyword(s):  
Byzantine Agreement

Counting Arbitrary Subgraphs in Data Streams

2012 ◽  
pp. 598-609 ◽  
Author(s):  
Daniel M. Kane ◽  
Kurt Mehlhorn ◽  
Thomas Sauerwald ◽  
He Sun
Keyword(s):  
Data Streams

scholarly journals Robust Reachability in Timed Automata: A Game-Based Approach

2012 ◽  
pp. 128-140 ◽  
Author(s):  
Patricia Bouyer ◽  
Nicolas Markey ◽  
Ocan Sankur
Keyword(s):  
Timed Automata

scholarly journals Toward Model Theory with Data Values

2012 ◽  
pp. 116-127 ◽  
Author(s):  
Mikołaj Bojańczyk ◽  
Thomas Place
Keyword(s):  
Model Theory
Load More ...
Sign in / Sign up

Export Citation Format

Share Document