TU Wien Informatics

Role

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.

  • Inductive Benchmarks for Automated Reasoning / M. Hajdu, P. Hozzova, L. Kovacs, J. Schoisswohl, A. Voronkov / Talk: Proceedings of the 14th International Conference on Intelligent Computer Mathematics (CICM), Timisoara, Romania; 2021-07-26 - 2021-07-31; in: "Proceedings of the 14th International Conference on Intelligent Computer Mathematics (CICM)", F. Kamareddine, C. Sacerdoti Coen (ed.); Springer LNCS, 12833 (2021), 124 - 129
  • Automating Induction by Reflection / J. Schoisswohl, L. Kovacs / Talk: 16th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), Pittsburgh, USA; 2021-07-16; in: "Proceedings of the 16th Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP)", E. Pimentel, E. Tassi (ed.); EPTCS, 337 (2021), 39 - 54
  • Automated induction by reflection / Master Thesis by J. Schoisswohl / Supervisor: L. Kovacs; Institut for Logic and Computation, E192.04, FORSYTE division, 2021; final examination: 2021-01-11
  • Algorithm selection and instance space analysis for curriculum-based course timetabling / A. De Coster, N. Musliu, A. Schaerf, J. Schoisswohl, K. Smith-Miles / Journal of Scheduling, 26 (2021), 4; 1 - 24
  • Induction with Generalization in Superposition Reasoning / M. Hajdu, P. Hozzova, L. Kovacs, J. Schoisswohl, A. Voronkov / Talk: Proceedings of the 13th International Conference on Intelligent Computer Mathematics (CICM), Bertinoro, Italy; 2020-07-26 - 2020-07-31; in: "Proceedings of the 13th International Conference on Intelligent Computer Mathematics", Lecture Notes in Computer Science, Springer, 12236 (2020), ISBN: 978-0-9835678-9-9; 123 - 137