Olaf Burkart

According to our database, Olaf Burkart authored at least 13 papers between 1992 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

More Infinite Results.

Olaf Burkart, Javier Esparza

Proceedings of the Current Trends in Theoretical Computer Science, 2001

Verification on Infinite Structures.

Olaf Burkart, Didier Caucal, Faron Moller, Bernhard Steffen

Proceedings of the Handbook of Process Algebra, 2001

1999

Model Checking the Full Modal mu-Calculus for Infinite Sequential Processes.

Olaf Burkart, Bernhard Steffen

Theor. Comput. Sci., 1999

1998

Queues as Processes.

Olaf Burkart

Proceedings of the MFCS '98 Workshop on Concurrency, 1998

1997

Model checking rationally restricted right closures of recognizable graphs.

Olaf Burkart

Proceedings of the Second International Workshop on Verification of Infinite State Systems, 1997

Automatic Verification of Sequential Infinite-State Processes

Olaf Burkart

Lecture Notes in Computer Science 1354, Springer, ISBN: 3-540-63982-9, 1997

1996

Model-checking of infinite graphs defined by graph grammars.

Olaf Burkart, Yves-Marie Quemener

Proceedings of the First International Workshop on Verification of Infinite State Systems, 1996

More infinite results.

Olaf Burkart, Javier Esparza

Proceedings of the First International Workshop on Verification of Infinite State Systems, 1996

Bisimulation Collapse and the Process Taxonomy.

Olaf Burkart, Didier Caucal, Bernhard Steffen

Proceedings of the CONCUR '96, 1996

1995

Composition, Decomposition and Model Checking of Pushdown Processes.

Olaf Burkart, Bernhard Steffen

Nord. J. Comput., 1995

An Elementary Bisimulation Decision Procedure for Arbitrary Context-Free Processes.

Olaf Burkart, Didier Caucal, Bernhard Steffen

Proceedings of the Mathematical Foundations of Computer Science 1995, 1995

1994

Pushdown Processes: Parallel Composition and Model Checking.

Olaf Burkart, Bernhard Steffen

Proceedings of the CONCUR '94, 1994

1992

Model Checking for Context-Free Processes.

Olaf Burkart, Bernhard Steffen

Proceedings of the CONCUR '92, 1992