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

TOTAL DOCUMENTS

49
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662439500, 9783662439517
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Solving the ANTS Problem with Asynchronous Finite State Machines

2014 ◽  
pp. 471-482 ◽  
Author(s):  
Yuval Emek ◽  
Tobias Langner ◽  
Jara Uitto ◽  
Roger Wattenhofer
Keyword(s):  
Finite State Machines ◽  
State Machines ◽  
Finite State

scholarly journals Fault-Tolerant Rendezvous in Networks

2014 ◽  
pp. 411-422 ◽  
Author(s):  
Jérémie Chalopin ◽  
Yoann Dieudonné ◽  
Arnaud Labourel ◽  
Andrzej Pelc
Keyword(s):  
Fault Tolerant

scholarly journals Branching Bisimilarity Checking for PRS

2014 ◽  
pp. 363-374 ◽  
Author(s):  
Qiang Yin ◽  
Yuxi Fu ◽  
Chaodong He ◽  
Mingzhang Huang ◽  
Xiuting Tao

scholarly journals Jamming-Resistant Learning in Wireless Networks

2014 ◽  
pp. 447-458 ◽  
Author(s):  
Johannes Dams ◽  
Martin Hoefer ◽  
Thomas Kesselheim
Keyword(s):  
Wireless Networks

scholarly journals Kleene Algebra with Equations

2014 ◽  
pp. 280-292 ◽  
Author(s):  
Dexter Kozen ◽  
Konstantinos Mamouras
Keyword(s):  
Kleene Algebra

scholarly journals Orienting Fully Dynamic Graphs with Worst-Case Time Bounds

2014 ◽  
pp. 532-543 ◽  
Author(s):  
Tsvi Kopelowitz ◽  
Robert Krauthgamer ◽  
Ely Porat ◽  
Shay Solomon
Keyword(s):  
Dynamic Graphs ◽  
Worst Case ◽  
Time Bounds
Load More ...
Sign in / Sign up

Export Citation Format

Share Document