Frits W. Vaandrager
Frits W. Vaandrager
Professor of Computer Science, Radboud University
Verified email at cs.ru.nl - Homepage
Title
Cited by
Cited by
Year
Forward and backward simulations Part I: Untimed systems
N Lynch, F Vaandrager
Information and Computation 121 (2), 214-233, 1995
5161995
Forward and backward simulations
N Lynch, F Vaandrager
Information and Computation 121 (2), 214-233, 1995
5071995
Hybrid i/o automata
N Lynch, R Segala, F Vaandrager
Information and Computation 185 (1), 105-157, 2003
4982003
Hybrid i/o automata
N Lynch, R Segala, F Vaandrager
Information and computation 185 (1), 105-157, 2003
4942003
Hybrid i/o automata
N Lynch, R Segala, F Vaandrager
Information and computation 185 (1), 105-157, 2003
4872003
Hybrid i/o automata
N Lynch, R Segala, F Vaandrager
Information and computation 185 (1), 105-157, 2003
4872003
Three logics for branching bisimulation
R De Nicola, F Vaandrager
Journal of the ACM (JACM) 42 (2), 458-487, 1995
4441995
Action versus state based logics for transition systems
R De Nicola, F Vaandrager
LITP Spring School on Theoretical Computer Science, 407-419, 1990
4211990
Structured operational semantics and bisimulation as a congruence
JF Groote, F Vaandrager
Information and computation 100 (2), 202-260, 1992
4101992
Minimum-cost reachability for priced time automata
G Behrmann, A Fehnker, T Hune, K Larsen, P Pettersson, J Romijn, ...
International Workshop on Hybrid Systems: Computation and Control, 147-161, 2001
3952001
Petri net models for algebraic theories of concurrency
R Van Glabbeek, F Vaandrager
International Conference on Parallel Architectures and Languages Europe, 224-242, 1987
3911987
Testing timed automata
J Springintveld, F Vaandrager, PR D'Argenio
Theoretical computer science 254 (1-2), 225-257, 2001
3512001
Testing timed automata
J Springintveld, F Vaandrager, PR D'Argenio
Theoretical computer science 254 (1), 225-257, 2001
3512001
Hybrid i/o automata
N Lynch, R Segala, F Vaandrager, HB Weinberg
International Hybrid Systems Workshop, 496-510, 1995
3331995
Hybrid i/o automata
N Lynch, R Segala, F Vaandrager, HB Weinberg
International Hybrid Systems Workshop, 496-510, 1995
3331995
Hybrid i/o automata
N Lynch, R Segala, F Vaandrager, HB Weinberg
International Hybrid Systems Workshop, 496-510, 1995
3331995
The theory of timed I/O automata
DK Kaynar, N Lynch, R Segala, F Vaandrager
Synthesis Lectures on Distributed Computing Theory 1 (1), 1-137, 2010
2742010
The theory of timed I/O automata
DK Kaynar, N Lynch, R Segala, F Vaandrager
Synthesis Lectures on Distributed Computing Theory 1 (1), 1-137, 2010
2732010
The theory of timed I/O automata
DK Kaynar, N Lynch, R Segala, F Vaandrager
Synthesis Lectures on Distributed Computing Theory 1 (1), 1-137, 2010
2732010
An efficient algorithm for branching bisimulation and stuttering equivalence
JF Groote, F Vaandrager
International Colloquium on Automata, Languages, and Programming, 626-638, 1990
2661990
The system can't perform the operation now. Try again later.
Articles 1–20