Martin Kronegger

According to our database, Martin Kronegger authored at least 13 papers between 2013 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2017

A Multiparametric View on Answer Set Programming.

Johannes Klaus Fichte, Martin Kronegger, Stefan Woltran

Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, 2017

2015

Intra- and interdiagram consistency checking of behavioral multiview models.

Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl

Comput. Lang. Syst. Struct., 2015

Parameterized Complexity of Asynchronous Border Minimization.

Robert Ganian, Martin Kronegger, Andreas Pfandler, Alexandru Popa

Proceedings of the Theory and Applications of Models of Computation, 2015

Fixed-Parameter Tractable Reductions to SAT for Planning.

Ronald de Haan, Martin Kronegger, Andreas Pfandler

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Variable-Deletion Backdoors to Planning.

Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

A SAT-Based Debugging Tool for State Machines and Sequence Diagrams.

Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl

Proceedings of the Software Language Engineering - 7th International Conference, 2014

Conformant Planning as a Case Study of Incremental QBF Solving.

Uwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler

Proceedings of the Artificial Intelligence and Symbolic Computation, 2014

Backdoors to Planning.

Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

A Parameterized Complexity Analysis of Generalized CP-Nets.

Martin Kronegger, Martin Lackner, Andreas Pfandler, Reinhard Pichler

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines.

Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl

Proceedings of the 10th International Workshop on Model Driven Engineering, 2013

VCWC: A Versioning Competition Workflow Compiler.

Günther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

The Fourth Answer Set Programming Competition: Preliminary Report.

Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jörg Pührer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Parameterized Complexity of Optimal Planning: A Detailed Map.

Martin Kronegger, Andreas Pfandler, Reinhard Pichler

Proceedings of the IJCAI 2013, 2013