Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Multi-buffer simulations: Decidability and complexity. | 0 | 0.34 | 2018 |
| Topological Characterisation Of Multi-Buffer Simulation | 0 | 0.34 | 2017 |
| Two-Buffer Simulation Games | 1 | 0.37 | 2016 |
| Multi-Buffer Simulations For Trace Language Inclusion | 2 | 0.45 | 2016 |
| Buffered Simulation Games for Büchi Automata. | 0 | 0.34 | 2014 |
| Model Checking for String Problems. | 1 | 0.36 | 2014 |
| Buffered Simulation Games For Buchi Automata | 4 | 0.47 | 2014 |
| Revealing vs. Concealing: More Simulation Games for Büchi Inclusion. | 5 | 0.50 | 2013 |