• A Composable Rational Framework for Blockchain Systems
  2022 – 2025 / Austrian Science Fund (FWF) / Publication: 148519
• Axiomatizing conditional normative reasoning
  2021 – 2023 / Austrian Science Fund (FWF) / Publications: 106736, 142664, 86211, 87343, 88248
• Cooperative Optimization (Extension)
  2021 – 2022 / Honda Research Institute Europe Gmb
• Mosaic -- modal logics
  2021 – 2025 / European Commission
• Automated Reasoning with Theories and Induction for Software Technologies
  2021 – 2026 / European Commission / Publications: 148242, 148506, 148512, 148523, 148534, 148538, 148592, 148602, 148604, 148608, 148616, 148620, 148847, 148849, 148854, 148855, 148858, 148861, 148862, 148865, 148867, 148920, 19923, 19924, 19925, 22762, 85733
• FOREST: First-Order Reasoning for Ensuring System Security
  2021 – 2022 / Amazon Research Awards
• Blockchain Technologies for the Internet of Things
  2020 – 2025 / Christian Doppler Research Association (CDG) / Publications: 142724, 142738, 144163, 146968, 147336, 147337, 147641, 149081, 166194, 176469
• IoTIO: Analyzing and Understanding the Internet of Insecure Things
  2020 – 2024 / Vienna Science and Technology Fund (WWTF) / Publications: 148435, 53211, 62313, 82045
• Security and Privacy Foundations of Blockchain Technologies
  2020 – 2023 / SBA Research gemeinnützige GmbH
• Cryptographic Foundations of Privacy in Distributed Ledgers
  2020 – 2027 / Vienna Science and Technology Fund (WWTF) / Publications: 148000, 148007, 148094, 148102, 152492
• Vienna Cybersecurity and Privacy Research Center
  2019 – 2023 / Vienna Business Agency (WAW) / Publications: 142724, 142738, 144163, 146968, 147336, 147337, 147339, 147344, 147641, 148519, 149187
• Cryptographic Foundations for Future-proof Internet Security
  2019 – 2023 / Austrian Science Fund (FWF) / Publications: 142724, 142738, 144163, 146968, 147336, 147337, 147339, 147344, 147641, 149081, 149800
• Foundations and Tools for Client-Side Web Security
  2018 – 2024 / European Research Council (ERC) / Publications: 142724, 142738, 144163, 146968, 147336, 147337, 147339, 147344, 147641, 149081, 149187, 149800
• Bit-level Accurate Reasoning and Interpolation
  2016 – 2020 / Microsoft Research Limited / Publications: 60070, 61064
• Variable Dependencies of Quantified Boolean Formulas
  2015 – 2018 / Austrian Science Fund (FWF) / Publication: 147765
• Exploiting New Types of Structure for Fixed Parameter Tractability
  2014 – 2018 / Austrian Science Fund (FWF) / Publications: 153726, 165499, 165500, 59591, 59592
• START
  2014 – 2022 / Austrian Science Fund (FWF) / Publications: 145572, 145656, 150854, 151087, 151088, 151091, 152867, 153177, 153213, 153726, 154572, 155406, 155445, 155447, 155556, 155558, 155748, 155749, 157071, 157151, 157208, 159454, 159455, 159458, 159459, 160297, 161364, 161365, 161366, 161369, 161457, 42178, 42619, 42620, 42621, 42622, 42623, 42624, 42625, 58946, 59248, 59334, 59337, 59338, 59339, 59885, 59887, 59889, 59950, 59967, 59973, 59993, 59999, 60000, 60002, 60003, 60005, 60006, 60042, 60075, 60195, 60196, 60197, 60198, 60199, 60334, 60335, 60336, 60401, 60449, 60456, 60467, 60468, 60470, 60471, 60472, 60478, 60479, 60480, 60482, 60570, 60597, 60598, 60630, 60842, 60855, 60863, 60867, 60868, 60887, 60889, 60891, 60895, 60896, 60897, 60918, 61088, 61226, 61235, 61271, 61273, 61284, 61309, 61316, 61321, 61323, 61324, 61325, 61326, 61327, 61332, 61333, 61335, 61336, 61337, 61338, 61376, 61559, 61663, 61686, 61687, 61689, 61702, 61736, 61737, 61741, 61794, 61805, 61806, 61942, 62054, 62059, 62071, 62073, 62074, 62084, 62085, 62125, 62126, 62127, 62128, 62131, 62133, 62326, 62328, 62345, 62346, 62348, 62349, 62350, 62351, 62363, 62524, 62527, 62623, 62624, 62625, 62626, 91208, 91532, 91882, 91883, 91884, 92001
• Parameterized Compilation
  2014 – 2018 / Austrian Science Fund (FWF) / Publications: 59512, 59586, 59587, 59588, 59590, 59591, 59592, 59593
• A Logical Framework for Dialogue Games
  2013 – 2017 / Austrian Science Fund (FWF) / Publication: 86046
• Artificial Intelligence in Employee Scheduling
  2012 – 2017 / Austrian Science Fund (FWF) / Publications: 157208, 157212, 157213, 157214, 165946, 31490, 31845, 32283, 58764, 58765, 58772, 59761, 59762, 59763, 59764, 59993, 60003, 60005, 60896, 60905, 60906, 61365, 90783, 90784

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.

• Exact and meta-heuristic approaches for the production leveling problem / Winter, F., Lackner, M.-L., Vass, J., & Musliu, N. (2022). Exact and meta-heuristic approaches for the production leveling problem. Journal of Scheduling, 25(3), 339–370. https://doi.org/10.1007/s10951-022-00721-1 / Project: ARTIS
• Strong-separation Logic / Pagel, J., & Zuleger, F. (2022). Strong-separation Logic. In ACM Transactions on Programming Languages and Systems (pp. 1–40). Springer. https://doi.org/10.1145/3498847
• Moment-based analysis of Bayesian network properties / Stankovič, M., Bartocci, E., & Kovács, L. (2022). Moment-based analysis of Bayesian network properties. Theoretical Computer Science, 903, 113–133. https://doi.org/10.1016/j.tcs.2021.12.021
• Edge-Path Bundling: A Less Ambiguous Edge Bundling Approach / Wallinger, M., Archambault, D., Auber, D., Nöllenburg, M., & Peltonen, J. (2022). Edge-Path Bundling: A Less Ambiguous Edge Bundling Approach. IEEE Transactions on Visualization and Computer Graphics, 28(1), 313–323. https://doi.org/10.1109/tvcg.2021.3114795
• ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures / Leutgeb, L., Moser, G., & Zuleger, F. (2022). ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures. In Computer Aided Verification (pp. 99–122). https://doi.org/10.1007/978-3-030-81688-9_5
• Induction with Recursive Definitions in Superposition / Hajdu, M., Hozzova, P., Kovacs, L., & Voronkov, A. (2021). Induction with Recursive Definitions in Superposition. In Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 (pp. 246–255). TU Wien Academic Press. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_34
• Logic for exact real arithmetic / Wiesnet, F., & Schwichtenberg, H. (2021). Logic for exact real arithmetic. Logical Methods in Computer Science, 17(2), 7:1-7:27. https://doi.org/10.23638/LMCS-17(2:7)2021
• Preface / Freund, R. (2021). Preface. Natural Computing, 20(4), 637–638. https://doi.org/10.1007/s11047-021-09872-0
• Omission-Based Abstraction for Answer Set Programs - ERRATUM / SARIBATUR, Z. G., & EITER, T. (2021). Omission-Based Abstraction for Answer Set Programs - ERRATUM. Theory and Practice of Logic Programming, 21(2), 292–292. https://doi.org/10.1017/s1471068420000125
• Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures / Bozatto, L., Eiter, T., & Kiesel, R. P. D. (2021). Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures. Theory and Practice of Logic Programming, 21(5), 593–609. https://doi.org/10.1017/s1471068421000284
• Reasoning onDL-LiteRwith Defeasibility in ASP / Eiter, T., Bozzato, L., & Serafini, L. (2021). Reasoning onDL-LiteRwith Defeasibility in ASP. Theory and Practice of Logic Programming, 22(2), 254–304. https://doi.org/10.1017/s1471068421000132
• Topological stability of kinetic k-centers / van der Hoog, I., van Kreveld, M., Meulemans, W., Verbeek, K., & Wulms, J. (2021). Topological stability of kinetic k-centers. Theoretical Computer Science, 866, 145–159. https://doi.org/10.1016/j.tcs.2021.03.026
• Exploiting Database Management Systems and Treewidth for Counting / FICHTE, J. K., HECHER, M., THIER, P., & WOLTRAN, S. (2021). Exploiting Database Management Systems and Treewidth for Counting. Theory and Practice of Logic Programming, 22(1), 128–157. https://doi.org/10.1017/s147106842100003x / Project: START
• Balanced stable marriage: How close is close enough? / Gupta, S., Roy, S., Saurabh, S., & Zehavi, M. (2021). Balanced stable marriage: How close is close enough? Theoretical Computer Science, 883, 19–43. https://doi.org/10.1016/j.tcs.2021.05.015
• Geometric planar networks on bichromatic collinear points / Bandyapadhyay, S., Banik, A., Bhore, S., & Nöllenburg, M. (2021). Geometric planar networks on bichromatic collinear points. Theoretical Computer Science, 895, 124–136. https://doi.org/10.1016/j.tcs.2021.09.035
• From Semantic Games to Provability: The Case of Gödel Logic / Pavlova, A., Lang, T., & Freiman, R. (2021). From Semantic Games to Provability: The Case of Gödel Logic. Studia Logica, 110(2), 429–456. https://doi.org/10.1007/s11225-021-09966-x
• Mutation testing with hyperproperties / Fellner, A., Tabaei Befrouei, M., & Weissenbacher, G. (2021). Mutation testing with hyperproperties. Software and Systems Modeling, 20(2), 405–427. https://doi.org/10.1007/s10270-020-00850-1
• Small one‑dimensional Euclidean preference profiles / Chen, J., & Grottke, S. (2021). Small one‑dimensional Euclidean preference profiles. Social Choice and Welfare, 57(1), 117–144. https://doi.org/10.1007/s00355-020-01301-y
• IoTCrawler: Challenges and Solutions for Searching the Internet of Things / Iggena, T., Ilyas, E. B., Fischer, M., Tönjes, R., Elsaleh, T., Rezvani, R., Pourshahrokhi, N., Bischof, S., Fernbach, A., Parreira, J., & Schneider, P. (2021). IoTCrawler: Challenges and Solutions for Searching the Internet of Things. Sensors, 21(5), 1559. https://doi.org/10.3390/s21051559
• Deploying Spatial-Stream Query Answering in C-ITS Scenarios / Eiter, T., Ichise, R., Parreira, J. X., Schneider, P., & Zhao, L. (2021). Deploying Spatial-Stream Query Answering in C-ITS Scenarios. Semantic Web: Interoperability, Usability, Applicability, 12(1), 41–77. https://doi.org/10.3233/sw-200408 / Project: DynaCon

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.

• Parallel Computation of Structural Decompositions / Okulmus, C. (2023). Parallel Computation of Structural Decompositions [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.108704
• A Metaheuristic Approach to Crowdsourced Package Delivery / Longo, G. (2023). A Metaheuristic Approach to Crowdsourced Package Delivery [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.101084
• Cross-Chain Traceability in Decentralized Finance / Haimerl, N. (2023). Cross-Chain Traceability in Decentralized Finance [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.103500
• On Constructing Assertional and Complementary Sequent Calculi for Non-Deterministic Finite-Valued Logics / Gius, M. (2023). On Constructing Assertional and Complementary Sequent Calculi for Non-Deterministic Finite-Valued Logics [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.103584
• Optimal Seat Arrangement: Structure, Algorithms, and Complexity / Ceylan, E. (2023). Optimal Seat Arrangement: Structure, Algorithms, and Complexity [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.98801
• PAUL-2: A Transformer-Based Algorithmic Composer of Two-Track Piano Pieces / Schön, F. (2023). PAUL-2: A Transformer-Based Algorithmic Composer of Two-Track Piano Pieces [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.103585
• On Automated Theorem Proving for Assertional and Refutational Natural Deduction Systems / Maurer, M. (2023). On Automated Theorem Proving for Assertional and Refutational Natural Deduction Systems [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.105603
• A Systematic Investigation of Illicit Money Flows in the DeFi Ecosystem / Luzian, S. (2023). A Systematic Investigation of Illicit Money Flows in the DeFi Ecosystem [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.106121
• A Novel Method for Grounding in Answer-Set Programming / Besin, V. (2023). A Novel Method for Grounding in Answer-Set Programming [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.103458
• Automated Solution Methods for Complex Real-life Personnel Scheduling Problems / Kletzander, L. (2023). Automated Solution Methods for Complex Real-life Personnel Scheduling Problems [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.108382
• Certifying Unsatisfiability in an Expansion-Based DQBF Solver / Breitenbrunner, M. (2023). Certifying Unsatisfiability in an Expansion-Based DQBF Solver [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.99521
• Hybrid Approaches to Sports League Scheduling using Constraint Programming and Simulated Annealing / Neumann, B. (2023). Hybrid Approaches to Sports League Scheduling using Constraint Programming and Simulated Annealing [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.98488
• Enhancing Abstraction and Symbolic Execution for Shape Analysis of C-Programs operating on Linked Lists / Kaindlstorfer, D. (2023). Enhancing Abstraction and Symbolic Execution for Shape Analysis of C-Programs operating on Linked Lists [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.109623
• Hybrid Metaheuristics Based on Large Neighborhood Search and Mixed Integer Linear Programming for the Directed Feedback Vertex Set Problem / Bresich, M. (2023). Hybrid Metaheuristics Based on Large Neighborhood Search and Mixed Integer Linear Programming for the Directed Feedback Vertex Set Problem [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.102404
• Extensionality for obligations in Åqvist’s system F / Pichler, D. (2022). Extensionality for obligations in Åqvist’s system F [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.95067
• Performance Analysis of Column-Store Extensions for Modern-Day Business Segments / Sessa, V. (2022). Performance Analysis of Column-Store Extensions for Modern-Day Business Segments [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/158484
• Computational optimization approaches for distributing service points for mobility applications and smart charging of electric vehicles / Jatschka, T. (2022). Computational optimization approaches for distributing service points for mobility applications and smart charging of electric vehicles [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.107309
• Solving multi-mode resource-constrained multi-project scheduling problems by hybrid algorithms / Ahmeti, A. (2022). Solving multi-mode resource-constrained multi-project scheduling problems by hybrid algorithms [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.103426
• Automated project scheduling in real-world test laboratories / Mischek, F. (2022). Automated project scheduling in real-world test laboratories [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.107689
• An algorithmic study of practical map labeling / Li, G. (2022). An algorithmic study of practical map labeling [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.107040

• Thomas Eiter: KR 2022 Test of Time Award
  2022 / International Conference on Principles of Knowledge Representation and Reasoning / USA
• Nysret Musliu: Best Industry and Applications Track Paper Award
  2022 / ICAPS 2022 / Singapore / Website
• Reinhard Pichler: Best Paper Award at the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems
  2022 / ACM SIGMOD / USA / Website
• Reinhard Pichler: 2021 Alonzo Church Award for Outstanding Contributions to Logic and Computation
  2021 / ACM SIGLOG / USA / Website
• Thomas Eiter: ACM Fellow
  2020 / ACM Fellowship / USA
• Nysret Musliu: Best Practices in Education Award
  2019 / Informatics Europe / Switzerland / Website
• Thomas Eiter: Best Paper of the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019)
  2019 / 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019), September 16-19, 2019, Bolzano, Italy / Germany
• Thomas Eiter: Best Systems Paper Award of the 35th International Conference on Logic Programming (ICLP 2019)
  2019 / 35th International Conference on Logic Programming (ICLP 2019), September 22-25, 2019, Las Cruces, New Mexico, USA / UK
• Thomas Eiter: Best Student Paper of the 15th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2019)
  2019 / 15th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2019), Jun 3-7, 2019, Philadelphia, USA / USA
• Thomas Eiter: Best Paper Award of the 34th International Conference on Logic Programming (ICLP 2018)
  2018 / 34th International Conference on Logic Programming (ICLP 2018), July 14- 17, 2018, Oxford, UK / UK
• Stefan Woltran: EurAI Fellows programme
  2018 / EurAI Fellow / Website
• Thomas Eiter: Best Paper Award of the 14th Extended Semantic Web Conference (ESWC 2017)
  2017 / 14th Extended Semantic Web Conference (ESWC 2017), May 28 - June 1, 2017, Portoroz, Slovenia / Germany
• Ewa Vesely: Vereinbarkeit vom Beruf/Forschung und Pflege von Angehörigen
  2016 / HR Inside Summit Award 2016, BRONZE / Austria / Website
• Thomas Eiter: Member of Academia Europea (London)
  2016 / Academia Europea (London) Membership / UK
• Ewa Vesely: Unterstützungsmaßnahmen für pflegende Angehörige
  2016 / Austria / Website
• Florian Zuleger: Verication of Asynchronous Mobile-Robots in Partially-Known Environments
  2015 / Best Paper Award / Italy
• Georg Gottlob: ExtraLytics
  2014 / ERC Europäischer Forschungsrat
• Maria Magdalena Ortiz de la Fuente: Distinguished Alumna Award of the European Masters in Computational Logic
  2014 / International Organization
• Stefan Woltran: Treating Hard Problems with Decomposition and Dynamic Programming (Decodyn)
  2014 / START-Programm / Austria / Website / Project
• Maria Magdalena Ortiz de la Fuente: EMCL Distinguished Alumni Award
  2014 / Joint Consortium of the European Masters in Computational Logic