TU Wien Informatics

Role

2022W

 

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.

  • Parameterized Complexity of Asynchronous Border Minimization / R. Ganian, M. Kronegger, A. Pfandler, A. Popa / Algorithmica, 81 (2019), 1; 201 - 223
  • Backdoors to planning / M. Kronegger, S. Ordyniak, A. Pfandler / Artificial Intelligence, 269 (2019), 49 - 75
  • A Multiparametric View on Answer Set Programming / J. Fichte, M. Kronegger, S. Woltran / Annals of Mathematics and Artificial Intelligence (invited), 86 (2019), 1-3; 121 - 147
  • On the Parameterized Complexity of Planning / Doctoral Thesis by M. Kronegger / Supervisor, Reviewer: R. Pichler, C. Bäckström; Institut für Informationsysteme, 2016
  • Multiparametric View on Answer Set Programming / J. Fichte, M. Kronegger, S. Woltran / Report No. DBAI-TR-2016-99, 2016; 41 pages
  • Fixed-parameter Tractable Reductions to SAT for Planning / R. de Haan, M. Kronegger, A. Pfandler / Talk: Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina; 2015-07-25 - 2015-07-31; in: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence - IJCAI 2015", Q. Yang, M. Wooldridge (ed.); AAAI Press, (2015), ISBN: 978-1-57735-738-4; 2897 - 2903
  • Parameterized Complexity of Asynchronous Border Minimization / R. Ganian, M. Kronegger, A. Pfandler, A. Popa / Talk: 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2015, Singapur; 2015-05-18 - 2015-05-20; in: "Theory and Applications of Models of Computation, 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings", R. Jain, S. Jain, F. Stephan (ed.); Springer, Lecture Notes in Computer Science Volume 9076 (2015), ISBN: 978-3-319-17141-8; 428 - 440
  • Variable-Deletion Backdoors to Planning / M. Kronegger, A. Pfandler, S. Ordyniak / Poster: Twenty-Ninth AAAI Conference on Artificial Intelligence, Austin, Texas, USA; 2015-01-25 - 2015-01-30; in: "Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA", B. Bonet, S. Koenig (ed.); AAAI Press, (2015), 3305 - 3312
  • Intra- and interdiagram consistency checking of behavioral multiview models / P. Kaufmann, M. Kronegger, A. Pfandler, M. Seidl, M. Widl / Computer Languages, Systems and Structures, 44 (2015), Part A; 72 - 88
  • Conformant Planning as a Case Study of Incremental QBF Solving / U. Egly, M. Kronegger, F. Lonsing, A. Pfandler / Talk: Artificial Intelligence and Symbolic Computation, Sevilla, Spanien; 2014-12-11 - 2014-12-13; in: "Lecture Notes in Computer Science", Springer, Volume 8884 of LNAI (2014), ISBN: 978-3-319-13770-4; 118 - 129
  • On the Parameterized Complexity of Generalized CP-Nets / M. Kronegger, M. Lackner, A. Pfandler, R. Pichler / Talk: Workshop on Challenges in Algorithmic Social Choice (CASC), Bad Belzig, Deutschland; 2014-10-08 - 2014-10-11
  • A SAT-based Debugging Tool for State Machines and Sequence Diagrams / P. Kaufmann, M. Kronegger, A. Pfandler, M. Seidl, M. Widl / Talk: PUMA/RiSE Workshop, Mondsee; 2014-09-29 - 2014-10-03
  • A SAT-Based Debugging Tool for State Machines and Sequence Diagrams / P. Kaufmann, M. Kronegger, A. Pfandler, M. Seidl, M. Widl / Talk: 7th International Conference on Software Language Engineering (SLE), Västerås, Sweden; 2014-09-15 - 2014-09-16; in: "Proceedings of the 7th International Conference on Software Language Engineering (SLE)", (2014), 21 - 40
  • A Parameterized Complexity Analysis of Generalized CP-Nets / M. Kronegger, M. Lackner, A. Pfandler, R. Pichler / Talk: Twenty-Eighth AAAI Conference on Aritifical Intelligence (AAAI 2014), Québec City, Québec, Canada; 2014-07-27 - 2014-07-31; in: "Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence", C. Brodley, P. Stone (ed.); (2014), ISBN: 978-1-57735-661-5; 1091 - 1097
  • Backdoors to Planning / M. Kronegger, A. Pfandler, S. Ordyniak / Talk: Twenty-Eighth AAAI Conference on Aritifical Intelligence (AAAI 2014), Québec City, Québec, Canada; 2014-07-27 - 2014-07-31; in: "Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence", C. Brodley, P. Stone (ed.); AAAI Press, (2014), ISBN: 978-1-57735-661-5; 2300 - 2307
  • A Parameterized Complexity Analysis of Generalized CP-Nets / M. Kronegger, M. Lackner, A. Pfandler, R. Pichler / Talk: 2nd Workshop on the Parameterized Complexity of Computational Reasoning (PCCR), Wien; 2014-07-17 - 2014-07-18; in: "Proceedings of the 2nd Workshop on the Parameterized Complexity of Computational Reasoning (PCCR)", M. R. Fellows, S. Gaspers, T. Walsh (ed.); (2014), 2 pages
  • Backdoors to Planning / M. Kronegger, A. Pfandler, S. Ordyniak / Talk: 2nd Workshop on the Parameterized Complexity of Computational Reasoning (PCCR), Wien; 2014-07-17 - 2014-07-18; in: "Proceedings of the 2nd Workshop on the Parameterized Complexity of Computational Reasoning (PCCR)", M. R. Fellows, S. Gaspers, T. Walsh (ed.); (2014), 2 pages
  • Conformant Planning as a Case Study of Incremental QBF Solving / U. Egly, M. Kronegger, F. Lonsing, A. Pfandler / Talk: International Workshop on Quantified Boolean Formulas, Wien (invited); 2014-07-13
  • A Parameterized Complexity Analysis of Generalized CP-Nets / M. Kronegger, M. Lackner, A. Pfandler, R. Pichler / Talk: 7th Multidisciplinary Workshop on Advances in Preference Handling, Peking, China; 2013-08-03 - 2013-08-05; in: "7th Multidisciplinary Workshop on Advances in Preference Handling", (2013), 7 pages
  • Parameterized Complexity of Optimal Planning: A Detailed Map / M. Kronegger, A. Pfandler, R. Pichler / Talk: Twenty-third International Conference on Artificial Intelligence (IJCAI-13), Peking, China; 2013-08-03 - 2013-08-09; in: "Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence", F. Rossi (ed.); AAAI Press, (2013), ISBN: 978-1-57735-633-2; 954 - 961
  • Conformant Planning as a Benchmark for QBF-Solvers / M. Kronegger, A. Pfandler, R. Pichler / Talk: International Workshop on Quantified Boolean Formulas, Helsinki; 2013-07-09; in: "International Workshop on Quantified Boolean Formulas (QBF 2013)", (2013), 5 pages