Olaf Burkart - RankMe

15 papers A* 1B 4Journal 3Unranked 4

Year	Rank	Type	Title / Venue / Authors
2001	—	`ch.`	More Infinite Results. Current Trends in Theoretical Computer Science Olaf Burkart, Javier Esparza
2001	—	`ch.`	Verification on Infinite Structures. Handbook of Process Algebra Olaf Burkart, Didier Caucal, Faron Moller, Bernhard Steffen
1999	J	`jnl`	Model Checking the Full Modal mu-Calculus for Infinite Sequential Processes. Theor. Comput. Sci. Olaf Burkart, Bernhard Steffen
1998	—	`conf`	Queues as Processes. MFCS Workshop on Concurrency Olaf Burkart
1997	—	`book`	Automatic Verification of Sequential Infinite-State Processes Olaf Burkart
1997	A*	`conf`	Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes. ICALP Olaf Burkart, Bernhard Steffen
1997	—	`conf`	Model checking rationally restricted right closures of recognizable graphs. INFINITY Olaf Burkart
1997	J	`jnl`	More Infinite Results. Bull. EATCS Olaf Burkart, Javier Esparza
1996	B	`conf`	Bisimulation Collapse and the Process Taxonomy. CONCUR Olaf Burkart, Didier Caucal, Bernhard Steffen
1996	—	`conf`	Model-checking of infinite graphs defined by graph grammars. INFINITY Olaf Burkart, Yves-Marie Quemener
1996	—	`conf`	More infinite results. INFINITY Olaf Burkart, Javier Esparza
1995	B	`conf`	An Elementary Bisimulation Decision Procedure for Arbitrary Context-Free Processes. MFCS Olaf Burkart, Didier Caucal, Bernhard Steffen
1995	J	`jnl`	Composition, Decomposition and Model Checking of Pushdown Processes. Nord. J. Comput. Olaf Burkart, Bernhard Steffen
1994	B	`conf`	Pushdown Processes: Parallel Composition and Model Checking. CONCUR Olaf Burkart, Bernhard Steffen
1992	B	`conf`	Model Checking for Context-Free Processes. CONCUR Olaf Burkart, Bernhard Steffen

Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski