Stefan Rmmele
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
14
Active years
2008–2018
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | AAAI | Minesweeper with Limited Moves. | Serge Gaspers, Stefan Rmmele, Abdallah Saffidine, Kevin Tran |
| 2018 | LATIN | When is Red-Blue Nonblocker Fixed-Parameter Tractable? | Serge Gaspers, Joachim Gudmundsson, Michael Horton, Stefan Rmmele |
| 2017 | ICALP | The Parameterized Complexity of Positional Games. | douard Bonnet, Serge Gaspers, Antonin Lambilliotte, Stefan Rmmele, Abdallah Saffidine |
| 2017 | ISAAC | Barrier Coverage with Non-uniform Lengths to Minimize Aggregate Movements. | Serge Gaspers, Joachim Gudmundsson, Julin Mestre, Stefan Rmmele |
| 2015 | IJCAI | An Extension-Based Approach to Belief Revision in Abstract Argumentation. | Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rmmele, Stefan Woltran |
| 2015 | IJCAI | Merging in the Horn Fragment. | Adrian Haret, Stefan Rmmele, Stefan Woltran |
| 2015 | IJCAI | On the Parameterized Complexity of Belief Revision. | Andreas Pfandler, Stefan Rmmele, Johannes Peter Wallner, Stefan Woltran |
| 2014 | DEXA | Benchmarking Database Systems for Graph Pattern Matching. | Nataliia Pobiedina, Stefan Rmmele, Sebastian Skritek, Hannes Werthner |
| 2014 | ECAI | Belief merging within fragments of propositional logic. | Nadia Creignou, Odile Papini, Stefan Rmmele, Stefan Woltran |
| 2013 | IJCAI | Backdoors to Abduction. | Andreas Pfandler, Stefan Rmmele, Stefan Szeider |
| 2012 | AAAI | The Parameterized Complexity of Abduction. | Michael R. Fellows, Andreas Pfandler, Frances A. Rosamond, Stefan Rmmele |
| 2012 | COCOA | Multicut on Graphs of Bounded Clique-Width. | Martin Lackner, Reinhard Pichler, Stefan Rmmele, Stefan Woltran |
| 2011 | ICTAI | A New Tree-Decomposition Based Algorithm for Answer Set Programming. | Michael Morak, Nysret Musliu, Reinhard Pichler, Stefan Rmmele, Stefan Woltran |
| 2010 | CIAC | Multicut Algorithms via Tree Decompositions. | Reinhard Pichler, Stefan Rmmele, Stefan Woltran |
| 2010 | JELIA | A Dynamic-Programming Based ASP-Solver. | Michael Morak, Reinhard Pichler, Stefan Rmmele, Stefan Woltran |
| 2010 | KR | Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough. | Reinhard Pichler, Stefan Rmmele, Stefan Szeider, Stefan Woltran |
| 2010 | LPAR | Counting and Enumeration Problems with Bounded Treewidth. | Reinhard Pichler, Stefan Rmmele, Stefan Woltran |
| 2009 | LPNMR | Belief Revision with Bounded Treewidth. | Reinhard Pichler, Stefan Rmmele, Stefan Woltran |
| 2008 | LPAR | Fast Counting with Bounded Treewidth. | Michael Jakl, Reinhard Pichler, Stefan Rmmele, Stefan Woltran |