antonin kucera

Mathematical Foundations of Computer Science 2010

Reachability Problems

Mathematical Foundations of Computer Science 2007

This book constitutes the refereed proceedings of the 32nd International Symposium on Mathematica...

SOFSEM 2009: Theory and Practice of Computer Science

This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory...

Mathematical and Engineering Methods in Computer Science

This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engine...

CONCUR 2002 - Concurrency Theory

This book constitutes the refereed proceedings of the 13th International Conference on Concurrenc...

Taming the Infinities of Concurrency

Javier is a leading researcher in concurrency theory, distributed and probabilistic systems, Petr...

Mathematical Foundations of Computer Science 2007

This book constitutes the refereed proceedings of the 32nd International Symposium on Mathemat...

CONCUR 2002 - Concurrency Theory

This volume contains the proceedings of the 13th International Conference on Concurrency Theory (...

SOFSEM 2009: Theory and Practice of Computer Science

This book constitutes the refereed proceedings of the 35th Conference on Current Trends in The...

Mathematical and Engineering Methods in Computer Science

This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engine...