Andreas Gaiser
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2010–2013
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | CAV | Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis. | Krishnendu Chatterjee, Andreas Gaiser, Jan Kretnsk |
| 2012 | ATVA | Rabinizer: Small Deterministic Automata for LTL(F, G). | Andreas Gaiser, Jan Kretnsk, Javier Esparza |
| 2012 | CAV | Proving Termination of Probabilistic Programs Using Patterns. | Javier Esparza, Andreas Gaiser, Stefan Kiefer |
| 2011 | SAS | Probabilistic Abstractions with Arbitrary Domains. | Javier Esparza, Andreas Gaiser |
| 2010 | STACS | Computing Least Fixed Points of Probabilistic Systems of Polynomials. | Javier Esparza, Andreas Gaiser, Stefan Kiefer |