The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Martin Kronegger" ( http://dblp.L3S.de/Authors/Martin_Kronegger )

URL (Homepage):  http://dbai.tuwien.ac.at/staff/kronegger/  Author page on DBLP  Author page in RDF  Community of Martin Kronegger in ASPL-2

Publication years (Num. hits)
2013 (4) 2014 (5) 2015 (5) 2017 (2) 2019 (2)
Publication types (Num. hits)
article(6) inproceedings(12)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 19 publication records. Showing 18 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Robert Ganian, Martin Kronegger, Andreas Pfandler, Alexandru Popa 0001 Parameterized Complexity of Asynchronous Border Minimization. Search on Bibsonomy Algorithmica The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler Backdoors to planning. Search on Bibsonomy Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Uwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler Conformant planning as a case study of incremental QBF solving. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Martin Kronegger, Stefan Woltran A Multiparametric View on Answer Set Programming. Search on Bibsonomy ASPOCP@LPNMR The full citation details ... 2017 DBLP  BibTeX  RDF
1Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl Intra- and interdiagram consistency checking of behavioral multiview models. Search on Bibsonomy Computer Languages, Systems & Structures The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Robert Ganian, Martin Kronegger, Andreas Pfandler, Alexandru Popa 0001 Parameterized Complexity of Asynchronous Border Minimization. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler Variable-Deletion Backdoors to Planning. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Robert Ganian, Martin Kronegger, Andreas Pfandler, Alexandru Popa 0001 Parameterized Complexity of Asynchronous Border Minimization. Search on Bibsonomy TAMC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ronald de Haan, Martin Kronegger, Andreas Pfandler Fixed-Parameter Tractable Reductions to SAT for Planning. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Uwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler Conformant Planning as a Case Study of Incremental QBF Solving. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Martin Kronegger, Martin Lackner, Andreas Pfandler, Reinhard Pichler A Parameterized Complexity Analysis of Generalized CP-Nets. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler Backdoors to Planning. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Uwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler Conformant Planning as a Case Study of Incremental QBF Solving. Search on Bibsonomy AISC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl A SAT-Based Debugging Tool for State Machines and Sequence Diagrams. Search on Bibsonomy SLE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines. Search on Bibsonomy MoDeVVa@MoDELS The full citation details ... 2013 DBLP  BibTeX  RDF
1Mario 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 The Fourth Answer Set Programming Competition: Preliminary Report. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Günther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao VCWC: A Versioning Competition Workflow Compiler. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Martin Kronegger, Andreas Pfandler, Reinhard Pichler Parameterized Complexity of Optimal Planning: A Detailed Map. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
Displaying result #1 - #18 of 18 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license