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

TOTAL DOCUMENTS

59
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642392115, 9783642392122
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Fair Subtyping for Open Session Types

2013 ◽  
pp. 373-384 ◽  
Author(s):  
Luca Padovani
Keyword(s):  
Session Types ◽  
Open Session

scholarly journals Outsourced Pattern Matching

2013 ◽  
pp. 545-556 ◽  
Author(s):  
Sebastian Faust ◽  
Carmit Hazay ◽  
Daniele Venturi
Keyword(s):  
Pattern Matching

A Guided Tour in Random Intersection Graphs

2013 ◽  
pp. 29-35 ◽  
Author(s):  
Paul G. Spirakis ◽  
Sotiris Nikoletseas ◽  
Christoforos Raptopoulos
Keyword(s):  
Intersection Graphs ◽  
Guided Tour

Price of Stability in Polynomial Congestion Games

2013 ◽  
pp. 496-507 ◽  
Author(s):  
George Christodoulou ◽  
Martin Gairing
Keyword(s):  
Congestion Games ◽  
Price Of Stability

Querying the Guarded Fragment with Transitivity

2013 ◽  
pp. 287-298 ◽  
Author(s):  
Georg Gottlob ◽  
Andreas Pieris ◽  
Lidia Tendera
Keyword(s):  
Guarded Fragment

scholarly journals FO Model Checking of Interval Graphs

2013 ◽  
pp. 250-262 ◽  
Author(s):  
Robert Ganian ◽  
Petr Hliněný ◽  
Daniel Král’ ◽  
Jan Obdržálek ◽  
Jarett Schwartz ◽  
...  
Keyword(s):  
Model Checking ◽  
Interval Graphs

scholarly journals Fast Distributed Coloring Algorithms for Triangle-Free Graphs

2013 ◽  
pp. 681-693 ◽  
Author(s):  
Seth Pettie ◽  
Hsin-Hao Su
Load More ...
Sign in / Sign up

Export Citation Format

Share Document