No. |
Title |
Author |
Year |
---|

1 |
Publication Culture in Computing Research (Dagstuhl Perspectives Workshop 12452) |
Mehlhorn, Kurt et al. |
2013 |

2 |
Branching vs. Linear Time: Semantical Perspective |
Vardi, Moshe Y. |
2011 |

3 |
Constraints, Graphs, Algebra, Logic, and Complexity (Invited Talk) |
Vardi, Moshe Y. |
2011 |

4 |
Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482) |
Kreiker, Jörg et al. |
2011 |

5 |
Synthesis from Probabilistic Components |
Lustig, Yoad et al. |
2011 |

6 |
Temporal Synthesis for Bounded Systems and Environments |
Kupferman, Orna et al. |
2011 |

7 |
Unifying Büchi Complementation Constructions |
Fogarty, Seth et al. |
2011 |

8 |
Reasoning About Strategies |
Mogavero, Fabio et al. |
2010 |

9 |
07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures |
Downey, Rod et al. |
2008 |

10 |
07441 Summary -- Algorithmic-Logical Theory of Infinite Structures |
Downey, Rod et al. |
2008 |