Name Card

Full name Familienname, Vorname
Kronegger, Martin
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 28 (Search time: 0.028 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ganian, Robert ; Kronegger, Martin ; Pfandler, Andreas ; Popa, Alexandru Parameterized Complexity of Asynchronous Border MinimizationArtikel Article 2019
2Fichte, Johannes K. ; Kronegger, Martin ; Woltran, Stefan A Multiparametric View on Answer Set ProgrammingArtikel Article 2019
3Kronegger, Martin ; Ordyniak, Sebastian ; Pfandler, Andreas Backdoors to planningArtikel Article 2019
4Egly, Uwe ; Kronegger, Martin ; Lonsing, Florian ; Pfandler, Andreas Conformant planning as a case study of incremental QBF solvingArtikel Article 2017
5Fichte, Johannes ; Kronegger, Martin ; Woltran, Stefan A Multiparametric View on Answer Set ProgrammingKonferenzbeitrag Inproceedings2017
6Fichte, Johannes ; Kronegger, Martin ; Woltran, Stefan Multiparametric View on Answer Set ProgrammingBericht Report2016
7Kronegger, Martin On the parameterized complexity of planningThesis Hochschulschrift2016
8Egly, Uwe ; Kronegger, Martin ; Lonsing, Florian ; Pfandler, Andreas Conformant Planning as a Case Study of Incremental QBF SolvingArtikel Article 2016
9de Haan, Ronald ; Kronegger, Martin ; Pfandler, Andreas Fixed-parameter Tractable Reductions to SAT for PlanningKonferenzbeitrag Inproceedings 2015
10Kronegger, Martin ; Pfandler, Andreas ; Ordyniak, Sebastian Variable-Deletion Backdoors to PlanningKonferenzbeitrag Inproceedings 2015
11Ganian, Robert ; Kronegger, Martin ; Pfandler, Andreas ; Popa, Alexandru Parameterized Complexity of Asynchronous Border MinimizationKonferenzbeitrag Inproceedings 2015
12Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena Intra- and interdiagram consistency checking of behavioral multiview modelsArtikel Article2015
13Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena A SAT-Based Debugging Tool for State Machines and Sequence DiagramsKonferenzbeitrag Inproceedings 2014
14Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena A SAT-based Debugging Tool for State Machines and Sequence DiagramsPräsentation Presentation2014
15Kronegger, Martin ; Lackner, Martin ; Pfandler, Andreas ; Pichler, Reinhard On the Parameterized Complexity of Generalized CP-NetsPräsentation Presentation2014
16Egly, Uwe ; Kronegger, Martin ; Lonsing, Florian ; Pfandler, Andreas Conformant Planning as a Case Study of Incremental QBF SolvingPräsentation Presentation2014
17Kronegger, Martin ; Lackner, Martin ; Pfandler, Andreas ; Pichler, Reinhard A Parameterized Complexity Analysis of Generalized CP-NetsKonferenzbeitrag Inproceedings 2014
18Kronegger, Martin ; Lackner, Martin ; Pfandler, Andreas ; Pichler, Reinhard A Parameterized Complexity Analysis of Generalized CP-NetsKonferenzbeitrag Inproceedings 2014
19Kronegger, Martin ; Pfandler, Andreas ; Ordyniak, Sebastian Backdoors to PlanningKonferenzbeitrag Inproceedings 2014
20Kronegger, Martin ; Pfandler, Andreas ; Ordyniak, Sebastian Backdoors to PlanningKonferenzbeitrag Inproceedings 2014

Contributing Publications Mitbeteiligte Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Benuska Viliam - 2017 - A modular portfolio solver for planning.pdf.jpgBenuska, Viliam A modular portfolio solver for planningThesis Hochschulschrift 2017