Logische Methoden in der Informatik
Logical Methods in Computer Science
Wissenschaftsdisziplinen
Informatik (70%); Mathematik (30%)
Keywords
-
Proof Theory,
Automated Deduction,
Model Checking,
Satisfiability And Constraint Solving,
Database Theory,
Knowledge Representation
Das Doktoratskolleg Logical Methods in Computer Science (LogiCS) ist ein Kernelement einer langfristigen Strategie zur Schaffung eines international herausragenden Exzellenzzentrums für Logik in der Informatik in Österreich. Eingebettet in eine Vielzahl existierender Projekte, Initiativen undKollaborationen wird das LogiCS Doktoratskolleg die hohe Forschungskompetenz gezielt in ein Programm zur DoktorandInnenausbildung umsetzen, das sich durch einen hohen internationalen Bekanntheitsgrad und eine langfristige Finanzierungsperspektive auszeichnet. Dadurch wird das Doktoratskolleg für hervorragende Studierende,Postdocs und Lehrende gleichermaßen attraktiv. In den letzten beiden Jahrzehnten wurde von mehreren Arbeitsgruppen der TU Wien eine kritische Masse in (i) Computational Logic, insbesondere Beweistheorie, Komplexitätstheorie und Automatischem Beweisen und in (ii) Datenbanken und künstlicher Intelligenz aufgebaut. Diese Expertise wurde zuletzt durch ein beträchtliches Wachstum in Wien, Linz und Graz im Gebiet (iii) Computer-Aided Verification, insbesondere Model Checking, weiter ergänzt. Die Struktur des Doktoratskollegs bildet diese drei Kompetenzbereiche im Studienplan und in den Synergien mit bestehenden Forschungsprojekten und Arbeitsgruppen ab. Die umfangreich dokumentierte langjährige und interdisziplinäre Zusammenarbeit der AntragstellerInnen garantierein gut balanciertes und themenübergreifendes Lehr- und Forschungsprogramm. In den kommenden beiden Jahrzehnten erwarten wir, dass sich Verifikation zur Programmsynthese weiterentwickelt und dass aus der AI-Forschung intelligente Assistenten für Forschungsaufgaben ebenso wie Ambient Intelligence im Alltagsleben entstehen werden. In Hinblick auf diese Entwicklungen wird das Doktoratskolleg ein internationales Top-Programm anbieten, welches sich durch eine einzigartige Kombination jener Disziplinen auszeichnet, in denen logische Methoden besonders große Auswirkungen auf die Informatik in der Praxis haben. Das LogiCS-Team besteht aus 16 etablierten Wissenschafterinnen und Wissenschaftern mit Erfolg und Erfahrung sowohl in der Forschung als auch in der Lehre, und wird von 11 assozierten Mitgliedern unterstützt. Die Leitung des Doktoratskollegs obliegt Helmut Veith und Stefan Szeider, die seit drei Jahren an der TU Wien lehren und bereits das Vienna Center for Logic und Algorithms (VCLA) ins Leben gerufen haben. Die Erfolgsbilanz des LogiCS-Teams zeigt deutlich das Engagement, die Kreativität und die Leidenschaft der AntragstellerInnen für die Doktoratsausbildung. Gemeinsam haben sie eine große Anzahl an hervorragenden PhD-Studierenden mit überaus erfolgreichen Karrieren in der Industrie und der akademischen Welt betreut. Zu den wichtigsten Vorläuferaktiviäten für das Doktoratskolleg zählen das von der TU Wien bis 2014 finanzierte Doktoratskolleg für Mathematische Logik in der Informatik, und das österreichweite FWF-fnanzierte Forschungsnetzwerk Rigorous Systems Engineering (RiSE) mit einem Schwerpunkt auf Model Checking und Entscheidungsprozeduren. Das LogiCS- Team besteht aus Kernmitgliedern dieser beiden Initiativen inklusive Roderick Bloem von der TU Graz und Armin Biere von der JKU Linz, und wird durch kürzlich an die TU Wien berufene Kolleginnen und Kollegen ergänzt. Die hervorragenden individuellen wissenschaftlichen Leistungen des LogiCS-Teams sind durch zahlreiche Auszeichnungen und Grants dokumentiert, darunter zwei ERC Grants, ein Wittgenstein-Preis, ein FWFStart Preis, zwei WWTF Young Research Groups und ein NSF Career Grant. Die zahlreichen laufenden Projekte der Antragsteller ermöglichen die Finanzierung zuätzlicher Studierender im LogiCS Kolleg.
-
Konsortiumsmitglied (1.3.2014 - 28.2.2023)
-
Konsortiumsmitglied (1.3.2014 - 28.2.2023)
-
Konsortiumsmitglied (1.3.2014 - 28.2.2023)
-
Konsortiumsmitglied (1.3.2014 - 28.2.2023)
-
Konsortiumsmitglied (1.3.2014 - 28.2.2023)
-
Konsortiumsmitglied (1.3.2014 - 28.2.2023)
-
Konsortiumsmitglied (1.3.2014 - 28.2.2023)
-
Konsortiumsmitglied (1.3.2014 - 28.2.2023)
-
Konsortiumsmitglied (1.3.2014 - 28.2.2023)
-
Konsortiumsmitglied (1.3.2014 - 28.2.2023)
-
Konsortiumsmitglied (1.3.2014 - 28.2.2023)
-
Konsortiumsmitglied (1.3.2014 - 28.2.2023)
-
Konsortiumsmitglied (1.3.2014 - 28.2.2023)
- Technische Universität Wien
- Technische Universität Wien
- Universität Linz
- Technische Universität Graz
- Technische Universität Wien
- Roderick Bloem, Technische Universität Graz , assoziierte:r Forschungspartner:in
- Martina Seidl, Universität Linz , assoziierte:r Forschungspartner:in
- Stefan Katzenbeisser, Universität Wien , nationale:r Kooperationspartner:in
- Gore Rajeev, Australian National University - Australien
- Michael Ralph Fellows, Charles Darwin University - Australien
- Ke-Wen Wang, Griffith University - Australien
- Serge Gaspers, The University of New South Wales - Australien
- Toby Walsh, University of New South Wales - Australien
- Andreas Weiermann, Ghent University - Belgien
- Vincent Rijmen, Katholieke Universiteit Leuven - Belgien
- Marcelo Arenas, Catholic University of Chile - Chile
- Jorge Perez, Universidad de Santiago de Chile - Chile
- Pablo Barcelo, Universidad de Santiago de Chile - Chile
- Yi-Dong Shen, Chinese Academy of Sciences, Beijing - China
- Andreas Podelski, Albert-Ludwigs-Universität Freiburg - Deutschland
- Dirk Beyer, Ludwig-Maximilians-Universität München - Deutschland
- Rupak Majumdar, Max-Planck-Institut - Deutschland
- Alejandro P. Buchmann, Technische Universität Darmstadt - Deutschland
- Martin Otto, Technische Universität Darmstadt - Deutschland
- Mira Mezini, Technische Universität Darmstadt - Deutschland
- Thomas Schwentick, Technische Universität Dortmund - Deutschland
- Sebastian Rudolph, Technische Universität Dresden - Deutschland
- Helmut Seidl, Technische Universität München - Deutschland
- Javier Esparza, Technische Universität München - Deutschland
- Tobias Nipkow, Technische Universität München - Deutschland
- Heribert Vollmer, Universität Hannover - Deutschland
- Carsten Lutz, Universität Leipzig - Deutschland
- Gerhard Brewka, Universität Leipzig - Deutschland
- Hans Kleine-Büning, Universität Paderborn - Deutschland
- Torsten Schaub, Universität Potsdam - Deutschland
- Valentin Gornako, The Technical University of Denmark - Dänemark
- Keijo Heljanko, Aalto University Helsinki - Finnland
- Ilkka Niemelä, Helsinki University of Technology - Finnland
- Tomi Jahunen, Helsinki University of Technology - Finnland
- Matti Jarvisalo, University of Helsinki - Finnland
- Matti Järvisalo, University of Helsinki - Finnland
- Mikko Koivisto, University of Helsinki - Finnland
- Siert Wieringa, University of Helsinki - Finnland
- Emilia Oikarinen, University of Helsinki - Finnland
- Nadia Creignou, Aix-Marseille Université - Frankreich
- Nicolas Peltier, CNRS Grenoble - Frankreich
- Eun Jung Kim, Universite de Paris - Dauphine - Frankreich
- Meghyn Bienvenu, Université Montpellier - Frankreich
- Philippe Besnard, Université Paul Sabatier - Frankreich
- Oded Maler, Verimag - Frankreich
- Grigoris Antoniou, University of Crete - Griechenland
- Daniel Paulusma, Durham University - Großbritannien
- Michael Tautschnigg, Queen Mary University of London - Großbritannien
- Anthony Hunter, University College London - Großbritannien
- Marina De Vos, University of Bath - Großbritannien
- Wolfgang Faber, University of Huddersfield - Großbritannien
- Gregory Gutin, University of London - Großbritannien
- Andrei Voronkov, University of Manchester - Großbritannien
- Alfonso Pierantonio, University of Oxford - Großbritannien
- Daniel Kroening, University of Oxford - Großbritannien
- Daniel Kröning, University of Oxford - Großbritannien
- Ian Horrocks, University of Oxford - Großbritannien
- Michael Benedikt, University of Oxford - Großbritannien
- Doron Peled, University of Warwick - Großbritannien
- Manfred Hauswirth, National University of Ireland, Galway - Irland
- Joao Marques-Silva, University College Dublin - Irland
- Orna Grumberg, TECHNION - Israel Institute of Technology - Israel
- Arnon Avron, Tel Aviv University - Israel
- Diego Calvanese, Libera Università di Bolzano - Italien
- Franco Montagna, Universita degli Studi di Siena - Italien
- Giovambattista Ianni, Universita della Calabria - Italien
- Luciano Serafini, University Povo - Italien
- Lugia Carlucci Aiello, University of Rome 1 La Sapienza - Italien
- Piero A. Bonatti, Università degli Studi di Napoli Federico II - Italien
- Nicola Leone, Università di Calabria - Italien
- Norbert Preining, Japan Advanced Institute of Science and Technology - Japan
- Kazushige Terui, Kyoto University - Japan
- Katsumi Inoue, National Institute Health Sciences - Japan
- Cyrille Artho, National Institute of Advanced Science and Technology - Japan
- Kazuhisa Makino, University of Tokyo - Japan
- James Delgrande, Simon Fraser University - Kanada
- Jia-Hua You, University of Alberta - Kanada
- Richard Zach, University of Calgary - Kanada
- Azadeh Farzan, University of Toronto - Kanada
- Fahiem Bacchus, University of Toronto - Kanada
- Rosalie Iemhoff, Universiteit Utrecht - Niederlande
- Fedor Fomin, University of Bergen - Norwegen
- Wlodek Drabent, Polish Academy of Sciences - Polen
- Gheorghe Paun, Romanian Academy - Rumänien
- Lev Dmitrievich Beklemishev, Russian Academy of Sciences - Russland
- Jan Maluszynski, Linköping University - Schweden
- Peter Jonsson, Linköping University - Schweden
- Valentin Goranko, Stockholm University - Schweden
- Nir Piterman, University of Gothenburg - Schweden
- George Metcalfe, University of Bern - Schweiz
- Natasha Sharygina, University of Lugano - Universita della Svizzeria Italiana - Schweiz
- Christoph Koch, École polytechnique fédérale de Lausanne - Schweiz
- Viktor Kuncak, École polytechnique fédérale de Lausanne - Schweiz
- David Andrew Pearce, Universidad Politécnica de Madrid - Spanien
- David Pearce, Universidad Rey Juan Carlos - Spanien
- Lluis Godo, Universitat Autònoma de Barcelona - Spanien
- Anders Yeo, University of Johannesburg - Südafrika
- Jie-Hing Jiang, National Taiwan University - Taiwan
- Jie-Hong Jiang, National Taiwan University - Taiwan
- Pavel Pudlák, Academy of Sciences of the Czech Republic - Tschechien
- Petr Cintula, Academy of Sciences of the Czech Republic - Tschechien
- Petr Hajek, Academy of Sciences of the Czech Republic - Tschechien
- Cemal Yilmaz, Sabanci University - Türkei
- Esra Erdem, Sabanci University - Türkei
- Chitta Baral, Arizona State University - Vereinigte Staaten von Amerika
- Bruce Krogh, Carnegie Mellon University - Vereinigte Staaten von Amerika
- Edmund M. Clarke, Carnegie Mellon University - Vereinigte Staaten von Amerika
- Bud Mishra, Courant Institute of Mathematical Sciences - Vereinigte Staaten von Amerika
- Iyad Kanj, DePaul University - Vereinigte Staaten von Amerika
- Flavio H. Fenton, Georgia Technical University - Vereinigte Staaten von Amerika
- Andrey Rybalchenko, Microsoft Research - Vereinigte Staaten von Amerika
- Sumit Gulwani, Microsoft Research - Vereinigte Staaten von Amerika
- Patrick Cousot, New York University - Vereinigte Staaten von Amerika
- Sharad Malik, Princeton University - Vereinigte Staaten von Amerika
- Moshe Y. Vardi, Rice University Houston - Vereinigte Staaten von Amerika
- James Glimm, State University of New York at Stony Brook - Vereinigte Staaten von Amerika
- Michael Gelfond, Texas Tech University - Vereinigte Staaten von Amerika
- Scott A. Smolka, The State University of New York at Stony Brook - Vereinigte Staaten von Amerika
- Vijay D Silva, University of California Berkeley - Vereinigte Staaten von Amerika
- Phokion G. Kolaitis, University of California at Santa Cruz - Vereinigte Staaten von Amerika
- Aaron Bradley, University of Colorado Boulder - Vereinigte Staaten von Amerika
- Nikolaos Galatos, University of Denver - Vereinigte Staaten von Amerika
- Mirek Truszczynski, University of Kentucky - Vereinigte Staaten von Amerika
- Rance Cleaveland, University of Maryland - Vereinigte Staaten von Amerika
- Rajeev Alur, University of Pennsylvania - Vereinigte Staaten von Amerika
- Somesh Jha, University of Wisconsin-Madison - Vereinigte Staaten von Amerika
Research Output
- 1841 Zitationen
- 309 Publikationen
-
2024
Titel Datalog rewritability and data complexity of ALCHOIQ with closed predicates DOI 10.1016/j.artint.2024.104099 Typ Journal Article Autor Lukumbuzya S Journal Artificial Intelligence Seiten 104099 Link Publikation -
2024
Titel aspmc: New frontiers of algebraic answer set counting DOI 10.1016/j.artint.2024.104109 Typ Journal Article Autor Eiter T Journal Artificial Intelligence Seiten 104109 Link Publikation -
2024
Titel Backdoor DNFs DOI 10.1016/j.jcss.2024.103547 Typ Journal Article Autor Ordyniak S Journal Journal of Computer and System Sciences Seiten 103547 Link Publikation -
2024
Titel Games for hybrid logic from semantic games to analytic calculi* DOI 10.1093/logcom/exae062 Typ Journal Article Autor Freiman R Journal Journal of Logic and Computation Link Publikation -
2024
Titel (Un)Solvable loop analysis DOI 10.1007/s10703-024-00455-0 Typ Journal Article Autor Amrollahi D Journal Formal Methods in System Design Seiten 1-32 Link Publikation -
2019
Titel Reachability Analysis for AWS-Based Networks DOI 10.1007/978-3-030-25543-5_14 Typ Book Chapter Autor Backes J Verlag Springer Nature Seiten 231-241 Link Publikation -
2019
Titel Meta-Interpretive Learning Using HEX-Programs DOI 10.24963/ijcai.2019/860 Typ Conference Proceeding Abstract Autor Kaminski T Seiten 6186-6190 Link Publikation -
2019
Titel A SAT Approach to Branchwidth DOI 10.1145/3326159 Typ Journal Article Autor Lodha N Journal ACM Transactions on Computational Logic (TOCL) Seiten 1-24 Link Publikation -
2019
Titel Under the Hood of a Stand-Alone Lagrangian Reachability Tool DOI 10.29007/ns8p Typ Conference Proceeding Abstract Autor Gruenbacher S Seiten 211-201 Link Publikation -
2019
Titel Pruning External Minimality Checking for ASP Using Semantic Dependencies DOI 10.1007/978-3-030-20528-7_24 Typ Book Chapter Autor Eiter T Verlag Springer Nature Seiten 326-339 Link Publikation -
2019
Titel HyperBench DOI 10.1145/3294052.3319683 Typ Conference Proceeding Abstract Autor Fischl W Seiten 464-480 -
2019
Titel Manipulating Skeptical and Credulous Consequences When Merging Beliefs DOI 10.1007/978-3-030-19570-0_9 Typ Book Chapter Autor Haret A Verlag Springer Nature Seiten 133-150 -
2019
Titel Cut-Free Calculi and Relational Semantics for Temporal STIT Logics DOI 10.1007/978-3-030-19570-0_52 Typ Book Chapter Autor Van Berkel K Verlag Springer Nature Seiten 803-819 Link Publikation -
2019
Titel Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability DOI 10.14722/ndss.2019.23330 Typ Conference Proceeding Abstract Autor Malavolta G Link Publikation -
2019
Titel Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking DOI 10.1007/978-3-030-17465-1_20 Typ Book Chapter Autor Stoilkovska I Verlag Springer Nature Seiten 357-374 Link Publikation -
2019
Titel Belief Revision Operators with Varying Attitudes Towards Initial Beliefs DOI 10.24963/ijcai.2019/239 Typ Conference Proceeding Abstract Autor Haret A Seiten 1726-1733 Link Publikation -
2019
Titel Strong Equivalence for Argumentation Frameworks with Collective Attacks DOI 10.1007/978-3-030-30179-8_11 Typ Book Chapter Autor Dvorák W Verlag Springer Nature Seiten 131-145 -
2019
Titel Relaxing and Restraining Queries for OBDA DOI 10.1609/aaai.v33i01.33012654 Typ Journal Article Autor Andresel M Journal Proceedings of the AAAI Conference on Artificial Intelligence Seiten 2654-2661 Link Publikation -
2019
Titel Epistemic Reasoning with Byzantine-Faulty Agents DOI 10.1007/978-3-030-29007-8_15 Typ Book Chapter Autor Kuznets R Verlag Springer Nature Seiten 259-276 -
2019
Titel A Game Model for Proofs with Costs DOI 10.1007/978-3-030-29026-9_14 Typ Book Chapter Autor Lang T Verlag Springer Nature Seiten 241-258 -
2019
Titel Bounded Sequent Calculi for Non-classical Logics via Hypersequents DOI 10.1007/978-3-030-29026-9_6 Typ Book Chapter Autor Ciabattoni A Verlag Springer Nature Seiten 94-110 -
2019
Titel Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems DOI 10.4204/eptcs.297.19 Typ Journal Article Autor Kuznets R Journal Electronic Proceedings in Theoretical Computer Science Seiten 293-312 Link Publikation -
2022
Titel Optimal Bayesian design for model discrimination via classification DOI 10.1007/s11222-022-10078-2 Typ Journal Article Autor Hainy M Journal Statistics and Computing Seiten 25 Link Publikation -
2022
Titel Strategic Analysis of Griefing Attack in Lightning Network DOI 10.48550/arxiv.2203.10533 Typ Preprint Autor Mazumdar S -
2022
Titel An efficient algorithm for counting Markov equivalent DAGs DOI 10.1016/j.artint.2021.103648 Typ Journal Article Autor Ganian R Journal Artificial Intelligence Seiten 103648 -
2022
Titel Tractable Abstract Argumentation via Backdoor-Treewidth DOI 10.1609/aaai.v36i5.20501 Typ Journal Article Autor Dvorák W Journal Proceedings of the AAAI Conference on Artificial Intelligence Seiten 5608-5615 Link Publikation -
2022
Titel Equivalence in Argumentation Frameworks with a Claim-Centric View – Classical Results with Novel Ingredients DOI 10.1609/aaai.v36i5.20486 Typ Journal Article Autor Baumann R Journal Proceedings of the AAAI Conference on Artificial Intelligence Seiten 5479-5486 Link Publikation -
2022
Titel Hedonic Diversity Games: A Complexity Picture with More than Two Colors DOI 10.1609/aaai.v36i5.20435 Typ Journal Article Autor Ganian R Journal Proceedings of the AAAI Conference on Artificial Intelligence Seiten 5034-5042 Link Publikation -
2022
Titel The Complexity of Envy-Free Graph Cutting DOI 10.24963/ijcai.2022/34 Typ Conference Proceeding Abstract Autor Deligkas A Seiten 237-243 Link Publikation -
2022
Titel The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View DOI 10.48550/arxiv.2204.13305 Typ Preprint Autor Bernreiter M -
2022
Titel Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments DOI 10.48550/arxiv.2205.02577 Typ Preprint Autor Kofnov A -
2022
Titel Games for Hybrid Logic -- From Semantic Games to Analytic Calculi DOI 10.48550/arxiv.2206.00349 Typ Preprint Autor Freiman R -
2022
Titel Distribution Estimation for Probabilistic Loops DOI 10.48550/arxiv.2205.07639 Typ Preprint Autor Karimi A -
2022
Titel Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation DOI 10.24963/ijcai.2022/351 Typ Conference Proceeding Abstract Autor Arieli O Seiten 2532-2538 Link Publikation -
2022
Titel Algebra-Based Reasoning for Loop Synthesis DOI 10.48550/arxiv.2206.11495 Typ Preprint Autor Humenberger A -
2022
Titel On Dynamics in Structured Argumentation Formalisms DOI 10.24963/kr.2022/29 Typ Conference Proceeding Abstract Autor Rapberger A Seiten 288-298 Link Publikation -
2022
Titel Stratified Certification for k-Induction DOI 10.48550/arxiv.2208.01443 Typ Preprint Autor Yu E -
2020
Titel On the different types of collective attacks in abstract argumentation: equivalence results for SETAFs DOI 10.1093/logcom/exaa033 Typ Journal Article Autor Dvorák W Journal Journal of Logic and Computation Seiten 1063-1107 -
2019
Titel Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search DOI 10.1145/3289256 Typ Journal Article Autor Fellner A Journal ACM Transactions on Embedded Computing Systems (TECS) Seiten 4 Link Publikation -
2019
Titel Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops DOI 10.1007/978-3-030-31784-3_15 Typ Book Chapter Autor Bartocci E Verlag Springer Nature Seiten 255-276 Link Publikation -
2019
Titel Truth Assignments as Conditional Autarkies DOI 10.1007/978-3-030-31784-3_3 Typ Book Chapter Autor Kiesl B Verlag Springer Nature Seiten 48-64 -
2019
Titel Evaluating Networks of Arguments: A Case Study in Mima?sa Dialectics DOI 10.1007/978-3-662-60292-8_26 Typ Book Chapter Autor Van Berkel K Verlag Springer Nature Seiten 355-369 -
2019
Titel Verifying Relational Properties using Trace Logic DOI 10.23919/fmcad.2019.8894277 Typ Conference Proceeding Abstract Autor Barthe G Seiten 170-178 Link Publikation -
2019
Titel Autarkies for DQCNF DOI 10.23919/fmcad.2019.8894263 Typ Conference Proceeding Abstract Autor Kullmann O Seiten 179-183 Link Publikation -
2019
Titel Interactive Visualization of Saturation Attempts in Vampire DOI 10.1007/978-3-030-34968-4_28 Typ Book Chapter Autor Gleiss B Verlag Springer Nature Seiten 504-513 Link Publikation -
2019
Titel EMIL: Extracting Meaning from Inconsistent Language Towards argumentation using a controlled natural language interface DOI 10.1016/j.ijar.2019.04.010 Typ Journal Article Autor Strass H Journal International Journal of Approximate Reasoning Seiten 55-84 Link Publikation -
2019
Titel Abstraction for Non-ground Answer Set Programs DOI 10.1007/978-3-030-19570-0_38 Typ Book Chapter Autor Saribatur Z Verlag Springer Nature Seiten 576-592 Link Publikation -
2019
Titel Two flavors of DRAT DOI 10.29007/lt8r Typ Conference Proceeding Abstract Autor Rebola Pardo A Seiten 94-76 Link Publikation -
2019
Titel Effective Entailment Checking for Separation Logic with Inductive Definitions DOI 10.1007/978-3-030-17465-1_18 Typ Book Chapter Autor Katelaan J Verlag Springer Nature Seiten 319-336 Link Publikation -
2022
Titel Docking simulation and ADMET prediction based investigation on the phytochemical constituents of Noni (Morinda citrifolia) fruit as a potential anticancer drug DOI 10.1007/s40203-022-00130-4 Typ Journal Article Autor Chandran K Journal In Silico Pharmacology Seiten 14 Link Publikation -
2022
Titel Reasoning With and About Norms in Logical Argumentation DOI 10.3233/faia220164 Typ Book Chapter Autor Van Berkel K Verlag IOS Press Link Publikation -
2022
Titel A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems DOI 10.46298/lmcs-18(1:4)2022 Typ Journal Article Autor Loreti M Journal Logical Methods in Computer Science Link Publikation -
2022
Titel Moment-based analysis of Bayesian network properties DOI 10.1016/j.tcs.2021.12.021 Typ Journal Article Autor Stankovic M Journal Theoretical Computer Science Seiten 113-133 Link Publikation -
2022
Titel Algebra-Based Reasoning for Loop Synthesis DOI 10.1145/3527458 Typ Journal Article Autor Humenberger A Journal Formal Aspects of Computing Seiten 1-31 Link Publikation -
2022
Titel Information-flow Interfaces DOI 10.1007/978-3-030-99429-7_1 Typ Book Chapter Autor Bartocci E Verlag Springer Nature Seiten 3-22 Link Publikation -
2022
Titel This Is the Moment for Probabilistic Loops DOI 10.48550/arxiv.2204.07185 Typ Preprint Autor Moosbrugger M -
2022
Titel Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications DOI 10.1613/jair.1.12539 Typ Journal Article Autor Belardinelli F Journal Journal of Artificial Intelligence Research Seiten 897-932 Link Publikation -
2022
Titel Spatial patterns and determinants of avocado frontier dynamics in Mexico DOI 10.1007/s10113-022-01883-6 Typ Journal Article Autor Ramírez-Mejía D Journal Regional Environmental Change Seiten 28 Link Publikation -
2022
Titel The probabilistic termination tool amber DOI 10.1007/s10703-023-00424-z Typ Journal Article Autor Moosbrugger M Journal Formal Methods in System Design Seiten 90-109 Link Publikation -
2022
Titel Andrographolide-based potential anti-inflammatory transcription inhibitors against nuclear factor NF-kappa-B p50 subunit (NF-?B p50): an integrated molecular and quantum mechanical approach DOI 10.1007/s13205-022-03431-9 Typ Journal Article Autor Jain P Journal 3 Biotech Seiten 15 Link Publikation -
2022
Titel Hrip1 enhances tomato resistance to yellow leaf curl virus by manipulating the phenylpropanoid biosynthesis and plant hormone pathway DOI 10.1007/s13205-022-03426-6 Typ Journal Article Autor Dong Y Journal 3 Biotech Seiten 11 Link Publikation -
2022
Titel Optimization design of two-layer Walker constellation for LEO navigation augmentation using a dynamic multi-objective differential evolutionary algorithm based on elite guidance DOI 10.1007/s10291-022-01366-5 Typ Journal Article Autor Deng Z Journal GPS Solutions Seiten 26 Link Publikation -
2022
Titel This is the moment for probabilistic loops DOI 10.1145/3563341 Typ Journal Article Autor Moosbrugger M Journal Proceedings of the ACM on Programming Languages Seiten 1497-1525 Link Publikation -
2022
Titel Staphylococcus aureus populations from the gut and the blood are not distinguished by virulence traits—a critical role of host barrier integrity DOI 10.1186/s40168-022-01419-4 Typ Journal Article Autor Raineri E Journal Microbiome Seiten 239 Link Publikation -
2022
Titel Zinc Biofortification through Basal Zinc Supply Reduces Grain Cadmium in Mung Beans: Metal Partitioning and Health Risks Assessment DOI 10.3390/toxics10110689 Typ Journal Article Autor Rashid H Journal Toxics Seiten 689 Link Publikation -
2022
Titel CSR–brand relationship, brand positioning, and investment risks driven towards climate change mitigation and next perspectives emerging from: “Litigation, projections, pathway, and models” DOI 10.1007/s43546-022-00374-4 Typ Journal Article Autor Adewole O Journal SN Business & Economics Seiten 18 Link Publikation -
2021
Titel HyperBench DOI 10.1145/3440015 Typ Journal Article Autor Fischl W Journal Journal of Experimental Algorithmics (JEA) Seiten 1-40 -
2021
Titel Display to Labeled Proofs and Back Again for Tense Logics DOI 10.1145/3460492 Typ Journal Article Autor Ciabattoni A Journal ACM Transactions on Computational Logic (TOCL) Seiten 1-31 Link Publikation -
2023
Titel Equivalence in Argumentation Frameworks with a Claim-centric View: Classical Results with Novel Ingredients DOI 10.1613/jair.1.14625 Typ Journal Article Autor Baumann R Journal Journal of Artificial Intelligence Research Seiten 891-948 Link Publikation -
2023
Titel SAT-boosted Tabu Search for Coloring Massive Graphs DOI 10.1145/3603112 Typ Journal Article Autor Schidler A Journal ACM Journal of Experimental Algorithmics Seiten 1-19 Link Publikation -
2023
Titel The Effect of Preferences in Abstract Argumentation under a Claim-Centric View DOI 10.1609/aaai.v37i5.25770 Typ Journal Article Autor Bernreiter M Journal Proceedings of the AAAI Conference on Artificial Intelligence Seiten 6253-6261 Link Publikation -
2023
Titel Circuit Minimization with QBF-Based Exact Synthesis DOI 10.1609/aaai.v37i4.25524 Typ Journal Article Autor Reichl F Journal Proceedings of the AAAI Conference on Artificial Intelligence Seiten 4087-4094 Link Publikation -
2023
Titel Grounding Planning Tasks Using Tree Decompositions and Iterated Solving DOI 10.1609/icaps.v33i1.27184 Typ Journal Article Autor Corrêa A Journal Proceedings of the International Conference on Automated Planning and Scheduling Seiten 100-108 Link Publikation -
2023
Titel Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments DOI 10.48550/arxiv.2306.07072 Typ Preprint Autor Kofnov A -
2023
Titel Breaking and Fixing Virtual Channels: Domino Attack and Donner DOI 10.14722/ndss.2023.24370 Typ Conference Proceeding Abstract Autor Aumayr L Link Publikation -
2023
Titel The Complexity of Envy-Free Graph Cutting DOI 10.48550/arxiv.2312.07043 Typ Preprint Autor Deligkas A -
2023
Titel Towards a Game-Theoretic Security Analysis of Off-Chain Protocols DOI 10.1109/csf57540.2023.00003 Typ Conference Proceeding Abstract Autor Rain S Seiten 107-122 Link Publikation -
2023
Titel Hedonic diversity games: A complexity picture with more than two colors DOI 10.1016/j.artint.2023.104017 Typ Journal Article Autor Ganian R Journal Artificial Intelligence Seiten 104017 Link Publikation -
2023
Titel Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification DOI 10.29007/h4p7 Typ Conference Proceeding Abstract Autor Hozzová P Seiten 257-243 Link Publikation -
2022
Titel A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets DOI 10.48550/arxiv.2211.06109 Typ Preprint Autor Kiesel R -
2022
Titel Thora DOI 10.1145/3548606.3560556 Typ Conference Proceeding Abstract Autor Aumayr L Seiten 165-178 Link Publikation -
2018
Titel Loop Analysis by Quantification over Iterations DOI 10.29007/269p Typ Conference Proceeding Abstract Autor Gleiss B Seiten 381-361 Link Publikation -
2018
Titel A Theory of Satisfiability-Preserving Proofs in SAT Solving DOI 10.29007/tc7q Typ Conference Proceeding Abstract Autor Rebola-Pardo A Seiten 583-561 Link Publikation -
2018
Titel Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning DOI 10.1017/s1471068418000261 Typ Journal Article Autor Kaminski T Journal Theory and Practice of Logic Programming Seiten 571-588 Link Publikation -
2018
Titel Portfolio-Based Algorithm Selection for Circuit QBFs DOI 10.1007/978-3-319-98334-9_13 Typ Book Chapter Autor Hoos H Verlag Springer Nature Seiten 195-209 -
2018
Titel Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access DOI 10.1613/jair.1.11221 Typ Journal Article Autor Eiter T Journal Journal of Artificial Intelligence Research Seiten 665-727 Link Publikation -
2018
Titel Complete and Efficient DRAT Proof Checking DOI 10.23919/fmcad.2018.8602993 Typ Conference Proceeding Abstract Autor Rebola-Pardo A Seiten 1-9 -
2017
Titel Optimizing Big-Data Queries Using Program Synthesis DOI 10.1145/3132747.3132773 Typ Conference Proceeding Abstract Autor Schlaipfer M Seiten 631-646 Link Publikation -
2017
Titel Attacking the V: On the Resiliency of Adaptive-Horizon MPC DOI 10.1007/978-3-319-68167-2_29 Typ Book Chapter Autor Tiwari A Verlag Springer Nature Seiten 446-462 Link Publikation -
2017
Titel Para2: parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms DOI 10.1007/s10703-017-0297-4 Typ Journal Article Autor Konnov I Journal Formal Methods in System Design Seiten 270-307 Link Publikation -
2017
Titel Integrating a Global Induction Mechanism into a Sequent Calculus DOI 10.1007/978-3-319-66902-1_17 Typ Book Chapter Autor Cerna D Verlag Springer Nature Seiten 278-294 Link Publikation -
2017
Titel First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation DOI 10.1007/978-3-319-66167-4_15 Typ Book Chapter Autor Baaz M Verlag Springer Nature Seiten 265-280 -
2017
Titel ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans DOI 10.1007/978-3-662-54580-5_17 Typ Book Chapter Autor Lukina A Verlag Springer Nature Seiten 286-302 Link Publikation -
2017
Titel On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks DOI 10.24963/ijcai.2017/159 Typ Conference Proceeding Abstract Autor Kröll M Seiten 1145-1152 Link Publikation -
2017
Titel Ceres in intuitionistic logic DOI 10.1016/j.apal.2017.04.001 Typ Journal Article Autor Cerna D Journal Annals of Pure and Applied Logic Seiten 1783-1836 Link Publikation -
2017
Titel Model-based, mutation-driven test case generation via heuristic-guided branching search DOI 10.1145/3127041.3127049 Typ Conference Proceeding Abstract Autor Fellner A Seiten 56-66 Link Publikation -
2017
Titel A Type System for Privacy Properties DOI 10.1145/3133956.3133998 Typ Conference Proceeding Abstract Autor Cortier V Seiten 409-423 Link Publikation -
2017
Titel Logic-Based Merging in Fragments of Classical Logic with Inputs from Social Choice Theory DOI 10.1007/978-3-319-67504-6_30 Typ Book Chapter Autor Haret A Verlag Springer Nature Seiten 374-378 -
2017
Titel Gödel Logic: From Natural Deduction to Parallel Computation DOI 10.1109/lics.2017.8005076 Typ Conference Proceeding Abstract Autor Aschieri F Seiten 1-12 Link Publikation -
2017
Titel Managing Change in Graph-Structured Data Using Description Logics DOI 10.1145/3143803 Typ Journal Article Autor Ahmetaj S Journal ACM Transactions on Computational Logic (TOCL) Seiten 1-35 Link Publikation -
2017
Titel From Display to Labelled Proofs for Tense Logics DOI 10.1007/978-3-319-72056-2_8 Typ Book Chapter Autor Ciabattoni A Verlag Springer Nature Seiten 120-139 Link Publikation -
2017
Titel A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem DOI 10.1007/978-3-319-72056-2_4 Typ Book Chapter Autor Baaz M Verlag Springer Nature Seiten 55-71 -
2017
Titel Expressive Stream Reasoning with Laser DOI 10.1007/978-3-319-68288-4_6 Typ Book Chapter Autor Bazoobandi H Verlag Springer Nature Seiten 87-103 Link Publikation -
2017
Titel Splitting Proofs for Interpolation DOI 10.1007/978-3-319-63046-5_18 Typ Book Chapter Autor Gleiss B Verlag Springer Nature Seiten 291-309 Link Publikation -
2017
Titel Merging in the Horn Fragment DOI 10.1145/3043700 Typ Journal Article Autor Haret A Journal ACM Transactions on Computational Logic (TOCL) Seiten 1-32 -
2017
Titel Stream Reasoning-Based Control of Caching Strategies in CCN Routers DOI 10.1109/icc.2017.7996762 Typ Conference Proceeding Abstract Autor Beck H Seiten 1-6 Link Publikation -
2017
Titel On the Complexity of Hard Enumeration Problems DOI 10.1007/978-3-319-53733-7_13 Typ Book Chapter Autor Creignou N Verlag Springer Nature Seiten 183-195 Link Publikation -
2017
Titel Algebraic proof theory: Hypersequents and hypercompletions DOI 10.1016/j.apal.2016.10.012 Typ Journal Article Autor Ciabattoni A Journal Annals of Pure and Applied Logic Seiten 693-737 Link Publikation -
2017
Titel Towards a Clausal Analysis of Proof Schemata DOI 10.1109/synasc.2017.00029 Typ Conference Proceeding Abstract Autor Cerna D Seiten 113-120 Link Publikation -
2017
Titel The Semantic Web – ISWC 2017, 16th International Semantic Web Conference, Vienna, Austria, October 21–25, 2017, Proceedings, Part I DOI 10.1007/978-3-319-68288-4 Typ Book Verlag Springer Nature Link Publikation -
2017
Titel Algorithmic Decision Theory, 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25–27, 2017, Proceedings DOI 10.1007/978-3-319-67504-6 Typ Book Verlag Springer Nature Link Publikation -
2017
Titel A SAT Approach to Branchwidth DOI 10.24963/ijcai.2017/689 Typ Conference Proceeding Abstract Autor Lodha N Seiten 4894-4898 Link Publikation -
2017
Titel Resilient Control and Safety for Multi-Agent Cyber-Physical Systems DOI 10.24963/ijcai.2017/753 Typ Conference Proceeding Abstract Autor Lukina A Seiten 5187-5188 Link Publikation -
2017
Titel Solving Integer Linear Programs with a Small Number of Global Variables and Constraints DOI 10.24963/ijcai.2017/85 Typ Conference Proceeding Abstract Autor Dvorák P Seiten 607-613 Link Publikation -
2017
Titel Hintikka Style Game Rules for Semi-Fuzzy Quantifiers DOI 10.1109/ismvl.2017.57 Typ Conference Proceeding Abstract Autor Fermüller C Seiten 106-111 Link Publikation -
2017
Titel Towards a Semantics of Unsatisfiability Proofs with Inprocessing DOI 10.29007/7jgq Typ Conference Proceeding Abstract Autor Philipp T Seiten 65-44 Link Publikation -
2017
Titel Blocked Clauses in First-Order Logic DOI 10.29007/c3wq Typ Conference Proceeding Abstract Autor Kiesl B Seiten 31-12 Link Publikation -
2017
Titel Invariant Generation for Multi-Path Loops with Polynomial Assignments DOI 10.1007/978-3-319-73721-8_11 Typ Book Chapter Autor Humenberger A Verlag Springer Nature Seiten 226-246 Link Publikation -
2017
Titel A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms DOI 10.1145/3009837.3009860 Typ Conference Proceeding Abstract Autor Konnov I Seiten 719-734 Link Publikation -
2017
Titel A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications DOI 10.1109/csf.2017.19 Typ Conference Proceeding Abstract Autor Calzavara S Seiten 22-36 Link Publikation -
2017
Titel STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES DOI 10.1017/jsl.2017.3 Typ Journal Article Autor Aguilera J Journal The Journal of Symbolic Logic Seiten 608-628 Link Publikation -
2017
Titel Dependency Learning for QBF DOI 10.1007/978-3-319-66263-3_19 Typ Book Chapter Autor Peitl T Verlag Springer Nature Seiten 298-313 Link Publikation -
2017
Titel Ticker: A system for incremental ASP-based stream reasoning* DOI 10.1017/s1471068417000370 Typ Journal Article Autor Beck H Journal Theory and Practice of Logic Programming Seiten 744-763 Link Publikation -
2017
Titel Verification logic DOI 10.1093/logcom/exx027 Typ Journal Article Autor Aguilera J Journal Journal of Logic and Computation Seiten 2451-2469 -
2020
Titel eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts DOI 10.1145/3372297.3417250 Typ Conference Proceeding Abstract Autor Schneidewind C Seiten 621-640 Link Publikation -
2020
Titel Lagrangian Reachtubes: The Next Generation DOI 10.1109/cdc42340.2020.9304042 Typ Conference Proceeding Abstract Autor Gruenbacher S Seiten 1556-1563 Link Publikation -
2020
Titel Simulating Strong Practical Proof Systems with Extended Resolution DOI 10.1007/s10817-020-09554-z Typ Journal Article Autor Kiesl B Journal Journal of Automated Reasoning Seiten 1247-1267 Link Publikation -
2020
Titel Induction with Generalization in Superposition Reasoning DOI 10.1007/978-3-030-53518-6_8 Typ Book Chapter Autor Hajdú M Verlag Springer Nature Seiten 123-137 Link Publikation -
2020
Titel Resilient Logic Programs: Answer Set Programs Challenged by Ontologies DOI 10.1609/aaai.v34i03.5683 Typ Journal Article Autor Lukumbuzya S Journal Proceedings of the AAAI Conference on Artificial Intelligence Seiten 2917-2924 Link Publikation -
2020
Titel Tutorial: Parameterized Verification with Byzantine Model Checker DOI 10.1007/978-3-030-50086-3_11 Typ Book Chapter Autor Konnov I Verlag Springer Nature Seiten 189-207 Link Publikation -
2020
Titel Rewriting Approaches for Ontology-Mediated Query Answering DOI 10.1007/s13218-020-00671-w Typ Journal Article Autor Ahmetaj S Journal KI - Künstliche Intelligenz Seiten 523-526 Link Publikation -
2020
Titel Omission-Based Abstraction for Answer Set Programs DOI 10.1017/s1471068420000095 Typ Journal Article Autor Saribatur Z Journal Theory and Practice of Logic Programming Seiten 145-195 Link Publikation -
2020
Titel Query Rewriting for Ontology-Mediated Conditional Answers DOI 10.1609/aaai.v34i03.5660 Typ Journal Article Autor Andresel M Journal Proceedings of the AAAI Conference on Artificial Intelligence Seiten 2734-2741 Link Publikation -
2020
Titel Subsumption Demodulation in First-Order Theorem Proving DOI 10.1007/978-3-030-51074-9_17 Typ Book Chapter Autor Gleiss B Verlag Springer Nature Seiten 297-315 Link Publikation -
2020
Titel Layered Clause Selection for Theory Reasoning DOI 10.1007/978-3-030-51074-9_23 Typ Book Chapter Autor Gleiss B Verlag Springer Nature Seiten 402-409 Link Publikation -
2020
Titel Covered Clauses Are Not Propagation Redundant DOI 10.1007/978-3-030-51074-9_3 Typ Book Chapter Autor Barnett L Verlag Springer Nature Seiten 32-47 Link Publikation -
2020
Titel Extracting safe thread schedules from incomplete model checking results DOI 10.1007/s10009-020-00575-y Typ Journal Article Autor Metzler P Journal International Journal on Software Tools for Technology Transfer Seiten 565-581 Link Publikation -
2020
Titel Querying Rich Ontologies by Exploiting the Structure of Data DOI 10.1007/s13218-020-00672-9 Typ Journal Article Autor Bajraktari L Journal KI - Künstliche Intelligenz Seiten 395-398 Link Publikation -
2020
Titel Eliminating Message Counters in Threshold Automata DOI 10.1007/978-3-030-59152-6_11 Typ Book Chapter Autor Stoilkovska I Verlag Springer Nature Seiten 196-212 Link Publikation -
2020
Titel Monitoring Spatio-Temporal Properties (Invited Tutorial) DOI 10.1007/978-3-030-60508-7_2 Typ Book Chapter Autor Nenzi L Verlag Springer Nature Seiten 21-46 -
2020
Titel Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates DOI 10.24963/kr.2020/44 Typ Conference Proceeding Abstract Autor Gogacz T Seiten 434-444 Link Publikation -
2020
Titel ASP (): Answer Set Programming with Algebraic Constraints DOI 10.1017/s1471068420000393 Typ Journal Article Autor Eiter T Journal Theory and Practice of Logic Programming Seiten 895-910 Link Publikation -
2020
Titel Towards Faster Reasoners by Using Transparent Huge Pages DOI 10.1007/978-3-030-58475-7_18 Typ Book Chapter Autor Fichte J Verlag Springer Nature Seiten 304-322 Link Publikation -
2019
Titel THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY DOI 10.1017/jsl.2019.78 Typ Journal Article Autor Aguilera J Journal The Journal of Symbolic Logic Seiten 338-366 Link Publikation -
2019
Titel Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics DOI 10.1007/978-3-030-33792-6_13 Typ Book Chapter Autor Lyon T Verlag Springer Nature Seiten 202-218 Link Publikation -
2019
Titel TLA+ model checking made symbolic DOI 10.1145/3360549 Typ Journal Article Autor Konnov I Journal Proceedings of the ACM on Programming Languages Seiten 1-30 Link Publikation -
2019
Titel A Neutral Temporal Deontic STIT Logic DOI 10.1007/978-3-662-60292-8_25 Typ Book Chapter Autor Van Berkel K Verlag Springer Nature Seiten 340-354 Link Publikation -
2018
Titel Compiling Model Representations for Querying Large ABoxes in Expressive DLs DOI 10.24963/ijcai.2018/234 Typ Conference Proceeding Abstract Autor Bajraktari L Seiten 1691-1698 Link Publikation -
2015
Titel Logics of Finite Hankel Rank DOI 10.1007/978-3-319-23534-9_14 Typ Book Chapter Autor Labai N Verlag Springer Nature Seiten 237-252 Link Publikation -
2015
Titel A Generic Framework for Impossibility Results in Time-Varying Graphs DOI 10.1109/ipdpsw.2015.59 Typ Conference Proceeding Abstract Autor Braud-Santoni N Seiten 483-489 Link Publikation -
2015
Titel Uniform proofs of standard completeness for extensions of first-order MTL DOI 10.1016/j.tcs.2015.07.014 Typ Journal Article Autor Baldi P Journal Theoretical Computer Science Seiten 43-57 Link Publikation -
2014
Titel Reduction of Resolution Refutations and Interpolants via Subsumption DOI 10.1007/978-3-319-13338-6_15 Typ Book Chapter Autor Bloem R Verlag Springer Nature Seiten 188-203 Link Publikation -
2016
Titel Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems DOI 10.1007/978-3-319-41528-4_9 Typ Book Chapter Autor Bloem R Verlag Springer Nature Seiten 157-176 -
2016
Titel A SAT Approach to Branchwidth DOI 10.1007/978-3-319-40970-2_12 Typ Book Chapter Autor Lodha N Verlag Springer Nature Seiten 179-195 Link Publikation -
2016
Titel Hankel Matrices for Weighted Visibly Pushdown Automata DOI 10.1007/978-3-319-30000-9_36 Typ Book Chapter Autor Labai N Verlag Springer Nature Seiten 464-477 Link Publikation -
2016
Titel Reactive Policies with Planning for Action Languages DOI 10.1007/978-3-319-48758-8_30 Typ Book Chapter Autor Saribatur Z Verlag Springer Nature Seiten 463-480 Link Publikation -
2016
Titel Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects DOI 10.1007/978-3-319-48758-8_15 Typ Book Chapter Autor Eiter T Verlag Springer Nature Seiten 223-239 Link Publikation -
2016
Titel DRAT Proofs for XOR Reasoning DOI 10.1007/978-3-319-48758-8_27 Typ Book Chapter Autor Philipp T Verlag Springer Nature Seiten 415-429 Link Publikation -
2016
Titel Ten problems in Gödel logic DOI 10.1007/s00500-016-2366-9 Typ Journal Article Autor Aguilera J Journal Soft Computing Seiten 149-152 Link Publikation -
2016
Titel Cut Elimination for Gödel Logic with an Operator Adding a Constant DOI 10.1007/978-3-662-52921-8_3 Typ Book Chapter Autor Aguilera J Verlag Springer Nature Seiten 36-51 -
2016
Titel Compactness in Infinitary Gödel Logics DOI 10.1007/978-3-662-52921-8_2 Typ Book Chapter Autor Aguilera J Verlag Springer Nature Seiten 22-35 -
2016
Titel The Challenge of Optional Matching in SPARQL DOI 10.1007/978-3-319-30024-5_10 Typ Book Chapter Autor Ahmetaj S Verlag Springer Nature Seiten 169-190 -
2016
Titel Feedback Control for Statistical Model Checking of Cyber-Physical Systems DOI 10.1007/978-3-319-47166-2_4 Typ Book Chapter Autor Kalajdzic K Verlag Springer Nature Seiten 46-61 -
2016
Titel Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs DOI 10.1007/s10817-016-9364-6 Typ Journal Article Autor Schlaipfer M Journal Journal of Automated Reasoning Seiten 3-36 Link Publikation -
2016
Titel Super-Blocked Clauses DOI 10.1007/978-3-319-40229-1_5 Typ Book Chapter Autor Kiesl B Verlag Springer Nature Seiten 45-61 Link Publikation -
2015
Titel Integrating Hybrid Diagnostic Reasoning in Plan Execution Monitoring for Cognitive Factories with Multiple Robots DOI 10.1109/icra.2015.7139461 Typ Conference Proceeding Abstract Autor Erdem E Seiten 2007-2013 -
2016
Titel Proof search and Co-NP completeness for many-valued logics DOI 10.1016/j.fss.2015.02.016 Typ Journal Article Autor Bongini M Journal Fuzzy Sets and Systems Seiten 130-149 Link Publikation -
2016
Titel Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks DOI 10.1007/978-3-319-48758-8_34 Typ Book Chapter Autor Beck H Verlag Springer Nature Seiten 522-528 -
2016
Titel A Duality-Aware Calculus for Quantified Boolean Formulas DOI 10.1109/synasc.2016.038 Typ Conference Proceeding Abstract Autor Fazekas K Seiten 181-186 Link Publikation -
2016
Titel On the Complexity of Rainbow Coloring Problems DOI 10.1007/978-3-319-29516-9_18 Typ Book Chapter Autor Eiben E Verlag Springer Nature Seiten 209-220 Link Publikation -
2016
Titel Contrasting RDF Stream Processing Semantics DOI 10.1007/978-3-319-31676-5_21 Typ Book Chapter Autor Dao-Tran M Verlag Springer Nature Seiten 289-298 -
2016
Titel Power and Limits of Structural Display Rules DOI 10.1145/2874775 Typ Journal Article Autor Ciabattoni A Journal ACM Transactions on Computational Logic (TOCL) Seiten 1-39 -
2015
Titel Solving Problems on Graphs of High Rank-Width DOI 10.1007/978-3-319-21840-3_26 Typ Book Chapter Autor Eiben E Verlag Springer Nature Seiten 314-326 Link Publikation -
2015
Titel Reasoning in abstract dialectical frameworks using quantified Boolean formulas DOI 10.1080/19462166.2015.1036922 Typ Journal Article Autor Diller M Journal Argument & Computation Seiten 149-177 Link Publikation -
2015
Titel Equimatchable Graphs on Surfaces DOI 10.1002/jgt.21859 Typ Journal Article Autor Eiben E Journal Journal of Graph Theory Seiten 35-49 -
2015
Titel Diagnostic Reasoning for Robotics Using Action Languages DOI 10.1007/978-3-319-23264-5_27 Typ Book Chapter Autor Erdem E Verlag Springer Nature Seiten 317-331 Link Publikation -
2015
Titel Towards Reconciling SPARQL and Certain Answers DOI 10.1145/2736277.2741636 Typ Conference Proceeding Abstract Autor Ahmetaj S Seiten 23-33 -
2015
Titel On the Context Dependence of Many DOI 10.1007/978-3-319-25591-0_25 Typ Book Chapter Autor Hofer M Verlag Springer Nature Seiten 346-358 Link Publikation -
2015
Titel Mima?sa Deontic Logic: Proof Theory and Applications DOI 10.1007/978-3-319-24312-2_22 Typ Book Chapter Autor Ciabattoni A Verlag Springer Nature Seiten 323-338 Link Publikation -
2017
Titel Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences DOI 10.1145/3087604.3087623 Typ Conference Proceeding Abstract Autor Humenberger A Seiten 221-228 Link Publikation -
2017
Titel Greedy pebbling for proof space compression DOI 10.1007/s10009-017-0459-0 Typ Journal Article Autor Fellner A Journal International Journal on Software Tools for Technology Transfer Seiten 71-86 Link Publikation -
2017
Titel NP-completeness of small conflict set generation for congruence closure DOI 10.1007/s10703-017-0283-x Typ Journal Article Autor Fellner A Journal Formal Methods in System Design Seiten 533-544 Link Publikation -
2017
Titel Solving Problems on Graphs of High Rank-Width DOI 10.1007/s00453-017-0290-8 Typ Journal Article Autor Eiben E Journal Algorithmica Seiten 742-771 Link Publikation -
2017
Titel Skolem Function Continuation for Quantified Boolean Formulas DOI 10.1007/978-3-319-61467-0_8 Typ Book Chapter Autor Fazekas K Verlag Springer Nature Seiten 129-138 Link Publikation -
2017
Titel Answer Set Programming with External Source Access DOI 10.1007/978-3-319-61033-7_7 Typ Book Chapter Autor Eiter T Verlag Springer Nature Seiten 204-275 Link Publikation -
2017
Titel Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic DOI 10.1007/978-3-662-54434-1_23 Typ Book Chapter Autor Jansen C Verlag Springer Nature Seiten 611-638 Link Publikation -
2017
Titel Querying with Vague Quantifiers Using Probabilistic Semantics DOI 10.1007/978-3-319-59692-1_2 Typ Book Chapter Autor Fermüller C Verlag Springer Nature Seiten 15-27 Link Publikation -
2017
Titel Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction DOI 10.1007/978-3-319-73721-8_1 Typ Book Chapter Autor Aminof B Verlag Springer Nature Seiten 1-24 Link Publikation -
2017
Titel Interpreting Sequent Calculi as Client-Server Games DOI 10.1007/978-3-319-66902-1_6 Typ Book Chapter Autor Fermüller C Verlag Springer Nature Seiten 98-113 -
2017
Titel Reactive Maintenance Policies over Equalized States in Dynamic Environments DOI 10.1007/978-3-319-65340-2_58 Typ Book Chapter Autor Saribatur Z Verlag Springer Nature Seiten 709-723 Link Publikation -
2017
Titel SAT-Based Local Improvement for Finding Tree Decompositions of Small Width DOI 10.1007/978-3-319-66263-3_25 Typ Book Chapter Autor Fichte J Verlag Springer Nature Seiten 401-411 -
2018
Titel The problem of ?2-cut-introduction DOI 10.1016/j.tcs.2017.10.003 Typ Journal Article Autor Leitsch A Journal Theoretical Computer Science Seiten 83-116 Link Publikation -
2018
Titel A Separation Logic with Data: Small Models and Automation DOI 10.1007/978-3-319-94205-6_30 Typ Book Chapter Autor Katelaan J Verlag Springer Nature Seiten 455-471 -
2018
Titel Extended Resolution Simulates DRAT DOI 10.1007/978-3-319-94205-6_34 Typ Book Chapter Autor Kiesl B Verlag Springer Nature Seiten 516-531 -
2018
Titel Aligator.jl – A Julia Package for Loop Invariant Generation DOI 10.1007/978-3-319-96812-4_10 Typ Book Chapter Autor Humenberger A Verlag Springer Nature Seiten 111-117 Link Publikation -
2018
Titel Polynomial-Time Validation of QCDCL Certificates DOI 10.1007/978-3-319-94144-8_16 Typ Book Chapter Autor Peitl T Verlag Springer Nature Seiten 253-269 -
2018
Titel Local Soundness for QBF Calculi DOI 10.1007/978-3-319-94144-8_14 Typ Book Chapter Autor Suda M Verlag Springer Nature Seiten 217-234 -
2018
Titel On the complexity of rainbow coloring problems DOI 10.1016/j.dam.2016.10.021 Typ Journal Article Autor Eiben E Journal Discrete Applied Mathematics Seiten 38-48 Link Publikation -
2018
Titel The DLVHEX System DOI 10.1007/s13218-018-0535-y Typ Journal Article Autor Eiter T Journal KI - Künstliche Intelligenz Seiten 187-189 Link Publikation -
2018
Titel Containment for Rule-Based Ontology-Mediated Queries DOI 10.1145/3196959.3196963 Typ Conference Proceeding Abstract Autor Barcelo P Seiten 267-279 Link Publikation -
2018
Titel Extracting Symbolic Transitions from TLA+ Specifications DOI 10.1007/978-3-319-91271-4_7 Typ Book Chapter Autor Kukovec J Verlag Springer Nature Seiten 89-104 Link Publikation -
2018
Titel Finding optimal feasible global plans for multiple teams of heterogeneous robots using hybrid reasoning: an application to cognitive factories DOI 10.1007/s10514-018-9721-x Typ Journal Article Autor Saribatur Z Journal Autonomous Robots Seiten 213-238 -
2018
Titel A monadic framework for relational verification: applied to information security, program equivalence, and optimizations DOI 10.1145/3167090 Typ Conference Proceeding Abstract Autor Grimm N Seiten 130-145 Link Publikation -
2018
Titel A Semantic Framework for the Security Analysis of Ethereum Smart Contracts DOI 10.1007/978-3-319-89722-6_10 Typ Book Chapter Autor Grishchenko I Verlag Springer Nature Seiten 243-269 Link Publikation -
2013
Titel Proof theory of witnessed Gödel logic: A negative result DOI 10.1093/logcom/ext018 Typ Journal Article Autor Baaz M Journal Journal of Logic and Computation Seiten 51-64 -
2021
Titel Online monitoring of spatio-temporal properties for imprecise signals DOI 10.1145/3487212.3487344 Typ Conference Proceeding Abstract Autor Visconti E Seiten 78-88 Link Publikation -
2021
Titel On the Verification of Neural ODEs with Stochastic Guarantees DOI 10.1609/aaai.v35i13.17372 Typ Journal Article Autor Grunbacher S Journal Proceedings of the AAAI Conference on Artificial Intelligence Seiten 11525-11535 Link Publikation -
2021
Titel Turbocharging Treewidth-Bounded Bayesian Network Structure Learning DOI 10.1609/aaai.v35i5.16508 Typ Journal Article Autor Ramaswamy V Journal Proceedings of the AAAI Conference on Artificial Intelligence Seiten 3895-3903 Link Publikation -
2021
Titel Online Monitoring of Spatio-Temporal Properties for Imprecise Signals DOI 10.48550/arxiv.2109.08081 Typ Preprint Autor Visconti E -
2021
Titel Quantitative and Stream Extensions of Answer Set Programming DOI 10.4204/eptcs.345.43 Typ Journal Article Autor Kiesel R Journal Electronic Proceedings in Theoretical Computer Science Seiten 267-275 Link Publikation -
2021
Titel First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving DOI 10.4204/eptcs.342.9 Typ Journal Article Autor Schreiner W Journal Electronic Proceedings in Theoretical Computer Science Seiten 99-113 Link Publikation -
2021
Titel First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving DOI 10.48550/arxiv.2109.02805 Typ Preprint Autor Schreiner W -
2021
Titel Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures DOI 10.48550/arxiv.2108.03100 Typ Preprint Autor Bozzato L -
2021
Titel Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures DOI 10.1017/s1471068421000284 Typ Journal Article Autor Bozzato L Journal Theory and Practice of Logic Programming Seiten 593-609 Link Publikation -
2021
Titel Quantitative and Stream Extensions of Answer Set Programming DOI 10.48550/arxiv.2109.08281 Typ Preprint Autor Kiesel R -
2022
Titel Threshold Treewidth and Hypertree Width DOI 10.1613/jair.1.13661 Typ Journal Article Autor Ganian R Journal Journal of Artificial Intelligence Research Seiten 1687-1713 Link Publikation -
2022
Titel Incremental Updates of Generalized Hypertree Decompositions DOI 10.48550/arxiv.2209.10375 Typ Preprint Autor Gottlob G -
2022
Titel Lonely Points in Simplices DOI 10.1007/s00454-022-00428-2 Typ Journal Article Autor Jaroschek M Journal Discrete & Computational Geometry Seiten 4-25 Link Publikation -
2022
Titel Quercetin attenuates viral infections by interacting with target proteins and linked genes in chemicobiological models DOI 10.1007/s40203-022-00132-2 Typ Journal Article Autor Rahman M Journal In Silico Pharmacology Seiten 17 Link Publikation -
2022
Titel Strategic Analysis of Griefing Attack in Lightning Network DOI 10.1109/tnsm.2022.3230768 Typ Journal Article Autor Mazumdar S Journal IEEE Transactions on Network and Service Management Seiten 1790-1803 Link Publikation -
2022
Titel Towards faster settlement in HTLC-based Cross-Chain Atomic Swaps DOI 10.48550/arxiv.2211.15804 Typ Preprint Autor Mazumdar S -
2022
Titel Incremental Updates of Generalized Hypertree Decompositions DOI 10.1145/3578266 Typ Journal Article Autor Gottlob G Journal ACM Journal of Experimental Algorithmics Seiten 1-28 Link Publikation -
2022
Titel Towards faster settlement in HTLC-based Cross-Chain Atomic Swaps DOI 10.1109/tps-isa56441.2022.00043 Typ Conference Proceeding Abstract Autor Mazumdar S Seiten 295-304 Link Publikation -
2022
Titel Parameterised Partially-Predrawn Crossing Number DOI 10.48550/arxiv.2202.13635 Typ Preprint Autor Hamm T -
2022
Titel From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic DOI 10.1007/s11787-022-00300-0 Typ Journal Article Autor Fermüller C Journal Logica Universalis Seiten 221-235 Link Publikation -
2020
Titel The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts DOI 10.1007/978-3-030-61467-6_14 Typ Book Chapter Autor Schneidewind C Verlag Springer Nature Seiten 212-231 Link Publikation -
2020
Titel Extracting symbolic transitions from TLA+ specifications DOI 10.1016/j.scico.2019.102361 Typ Journal Article Autor Kukovec J Journal Science of Computer Programming Seiten 102361 Link Publikation -
2020
Titel RAT Elimination DOI 10.29007/fccb Typ Conference Proceeding Abstract Autor Rebola Pardo A Seiten 423-396 Link Publikation -
2020
Titel Beyond Symbolic Heaps: Deciding Separation Logic With Inductive Definitions DOI 10.29007/vkmj Typ Conference Proceeding Abstract Autor Pagel J Seiten 390-370 Link Publikation -
2020
Titel Determinate logic and the Axiom of Choice DOI 10.1016/j.apal.2019.102745 Typ Journal Article Autor Aguilera J Journal Annals of Pure and Applied Logic Seiten 102745 -
2020
Titel Dialogue Games for Minimal Logic DOI 10.12775/llp.2020.022 Typ Journal Article Autor Pavlova A Journal Logic and Logical Philosophy Seiten 1-29 Link Publikation -
2020
Titel Algebra-Based Loop Synthesis DOI 10.1007/978-3-030-63461-2_24 Typ Book Chapter Autor Humenberger A Verlag Springer Nature Seiten 440-459 Link Publikation -
2020
Titel Mora - Automatic Generation of Moment-Based Invariants DOI 10.1007/978-3-030-45190-5_28 Typ Book Chapter Autor Bartocci E Verlag Springer Nature Seiten 492-498 Link Publikation -
2020
Titel Language Inclusion for Finite Prime Event Structures DOI 10.1007/978-3-030-39322-9_15 Typ Book Chapter Autor Fellner A Verlag Springer Nature Seiten 314-336 Link Publikation -
2020
Titel Solving Advanced Argumentation Problems with Answer Set Programming DOI 10.1017/s1471068419000474 Typ Journal Article Autor Brewka G Journal Theory and Practice of Logic Programming Seiten 391-431 Link Publikation -
2020
Titel Investigating subclasses of abstract dialectical frameworks DOI 10.3233/aac-190481 Typ Journal Article Autor Diller M Journal Argument & Computation Seiten 191-219 Link Publikation -
2020
Titel Using decomposition-parameters for QBF: Mind the prefix! DOI 10.1016/j.jcss.2019.12.005 Typ Journal Article Autor Eiben E Journal Journal of Computer and System Sciences Seiten 1-21 Link Publikation -
2020
Titel Pebble-Intervals Automata and FO with Two Orders DOI 10.1007/978-3-030-40608-0_14 Typ Book Chapter Autor Labai N Verlag Springer Nature Seiten 208-221 Link Publikation -
2020
Titel ASPARTIX-V19 - An Answer-Set Programming Based System for Abstract Argumentation DOI 10.1007/978-3-030-39951-1_5 Typ Book Chapter Autor Dvorák W Verlag Springer Nature Seiten 79-89 Link Publikation -
2021
Titel On the Enumeration Complexity of Unions of Conjunctive Queries DOI 10.1145/3450263 Typ Journal Article Autor Carmeli N Journal ACM Transactions on Database Systems (TODS) Seiten 1-41 Link Publikation -
2021
Titel GoTube: Scalable Stochastic Verification of Continuous-Depth Models DOI 10.48550/arxiv.2107.08467 Typ Preprint Autor Gruenbacher S -
2021
Titel Verifying safety of synchronous fault-tolerant algorithms by bounded model checking DOI 10.1007/s10009-021-00637-9 Typ Journal Article Autor Stoilkovska I Journal International Journal on Software Tools for Technology Transfer Seiten 33-48 -
2021
Titel Towards a Game-Theoretic Security Analysis of Off-Chain Protocols DOI 10.48550/arxiv.2109.07429 Typ Preprint Autor Rain S -
2021
Titel Model-driven engineering city spaces via bidirectional model transformations DOI 10.1007/s10270-020-00851-0 Typ Journal Article Autor Visconti E Journal Software and Systems Modeling Seiten 2003-2022 Link Publikation -
2021
Titel The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts DOI 10.48550/arxiv.2101.05735 Typ Preprint Autor Schneidewind C -
2021
Titel From Semantic Games to Provability: The Case of Gödel Logic DOI 10.1007/s11225-021-09966-x Typ Journal Article Autor Pavlova A Journal Studia Logica Seiten 429-456 Link Publikation -
2021
Titel Algebra-based Synthesis of Loops and their Invariants (Invited Paper) DOI 10.48550/arxiv.2103.03599 Typ Preprint Autor Humenberger A -
2021
Titel Certified DQBF Solving by Definition Extraction DOI 10.48550/arxiv.2106.02550 Typ Preprint Autor Reichl F -
2021
Titel A Case Study on Parametric Verification of Failure Detectors DOI 10.1007/978-3-030-78089-0_8 Typ Book Chapter Autor Tran T Verlag Springer Nature Seiten 138-156 -
2021
Titel A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems DOI 10.48550/arxiv.2105.11400 Typ Preprint Autor Nenzi L -
2021
Titel Automated Generation of Exam Sheets for Automated Deduction DOI 10.1007/978-3-030-81097-9_15 Typ Book Chapter Autor Hozzová P Verlag Springer Nature Seiten 185-196 Link Publikation -
2021
Titel Inductive Benchmarks for Automated Reasoning DOI 10.1007/978-3-030-81097-9_9 Typ Book Chapter Autor Hajdu M Verlag Springer Nature Seiten 124-129 Link Publikation -
2021
Titel Abstraction for non-ground answer set programs DOI 10.1016/j.artint.2021.103563 Typ Journal Article Autor Saribatur Z Journal Artificial Intelligence Seiten 103563 Link Publikation -
2021
Titel The Probabilistic Termination Tool Amber DOI 10.48550/arxiv.2107.13072 Typ Preprint Autor Moosbrugger M -
2021
Titel Fire! DOI 10.4204/eptcs.335.13 Typ Journal Article Autor Fruzsa K Journal Electronic Proceedings in Theoretical Computer Science Seiten 139-153 Link Publikation -
2021
Titel Certified DQBF Solving by Definition Extraction DOI 10.1007/978-3-030-80223-3_34 Typ Book Chapter Autor Reichl F Verlag Springer Nature Seiten 499-517 -
2021
Titel MORA -- Automatic Generation of Moment-Based Invariants DOI 10.48550/arxiv.2103.03908 Typ Preprint Autor Bartocci E -
2021
Titel Pruning external minimality checking for answer set programs using semantic dependencies DOI 10.1016/j.artint.2020.103402 Typ Journal Article Autor Eiter T Journal Artificial Intelligence Seiten 103402 Link Publikation -
2021
Titel Unit Disk Representations of Embedded Trees, Outerplanar and Multi-Legged Graphs DOI 10.48550/arxiv.2103.08416 Typ Preprint Autor Bhore S -
2021
Titel Cutoffs for Symmetric Point-to-Point Distributed Algorithms DOI 10.1007/978-3-030-67087-0_21 Typ Book Chapter Autor Tran T Verlag Springer Nature Seiten 329-346 -
2021
Titel Eliminating Message Counters in Synchronous Threshold Automata DOI 10.1007/978-3-030-67067-2_10 Typ Book Chapter Autor Stoilkovska I Verlag Springer Nature Seiten 196-218 -
2021
Titel Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper) DOI 10.1007/978-3-030-67067-2_2 Typ Book Chapter Autor Humenberger A Verlag Springer Nature Seiten 17-28 -
2021
Titel Formalizing Graph Trail Properties in Isabelle/HOL DOI 10.48550/arxiv.2103.03607 Typ Preprint Autor Kovacs L -
2021
Titel MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties DOI 10.48550/arxiv.2104.14333 Typ Preprint Autor Bartocci E -
2021
Titel Strong-Separation Logic DOI 10.1007/978-3-030-72019-3_24 Typ Book Chapter Autor Pagel J Verlag Springer Nature Seiten 664-692 Link Publikation -
2021
Titel Mutation testing with hyperproperties DOI 10.1007/s10270-020-00850-1 Typ Journal Article Autor Fellner A Journal Software and Systems Modeling Seiten 405-427 Link Publikation -
2016
Titel The Next 700 Impossibility Results in Time-Varying Graphs DOI 10.15803/ijnc.6.1_27 Typ Journal Article Autor Braud-Santoni N Journal International Journal of Networking and Computing Seiten 27 Link Publikation -
2016
Titel Temporal Logic as Filtering DOI 10.1145/2883817.2883839 Typ Conference Proceeding Abstract Autor Rodionova A Seiten 11-20 Link Publikation -
2016
Titel Long Distance Q-Resolution with Dependency Schemes DOI 10.1007/978-3-319-40970-2_31 Typ Book Chapter Autor Peitl T Verlag Springer Nature Seiten 500-518 Link Publikation -
2016
Titel On the maximization of menu-dependent interval orders DOI 10.1007/s00355-016-1007-7 Typ Journal Article Autor Aguilera J Journal Social Choice and Welfare Seiten 357-366 -
2016
Titel System Description: GAPT 2.0 DOI 10.1007/978-3-319-40229-1_20 Typ Book Chapter Autor Ebner G Verlag Springer Nature Seiten 293-301 -
2023
Titel A topological completeness theorem for transfinite provability logic DOI 10.1007/s00153-023-00863-9 Typ Journal Article Autor Aguilera J Journal Archive for Mathematical Logic Seiten 751-788 Link Publikation -
2023
Titel On Dynamics in Structured Argumentation Formalisms DOI 10.1613/jair.1.14481 Typ Journal Article Autor Rapberger A Journal Journal of Artificial Intelligence Research Seiten 563-643 Link Publikation -
2023
Titel MoonLight: a lightweight tool for monitoring spatio-temporal properties DOI 10.1007/s10009-023-00710-5 Typ Journal Article Autor Nenzi L Journal International Journal on Software Tools for Technology Transfer Seiten 503-517 Link Publikation -
2023
Titel Automated Sensitivity Analysis for Probabilistic Loops DOI 10.48550/arxiv.2305.15259 Typ Preprint Autor Moosbrugger M -
2023
Titel (Un)Solvable Loop Analysis DOI 10.48550/arxiv.2306.01597 Typ Preprint Autor Amrollahi D -
2023
Titel Prediction of Tourism Flow with Sparse Geolocation Data DOI 10.48550/arxiv.2308.14516 Typ Preprint Autor Lemmel J -
2023
Titel Computing optimal hypertree decompositions with SAT DOI 10.1016/j.artint.2023.104015 Typ Journal Article Autor Schidler A Journal Artificial Intelligence Seiten 104015 Link Publikation -
2023
Titel Knowledge Compilation and More with SharpSAT-TD DOI 10.24963/kr.2023/40 Typ Conference Proceeding Abstract Autor Kiesel R Seiten 406-416 Link Publikation -
2023
Titel The Impact of Structure in Answer Set Counting: Fighting Cycles and its Limits DOI 10.24963/kr.2023/34 Typ Conference Proceeding Abstract Autor Hecher M Seiten 344-354 Link Publikation -
2023
Titel Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs DOI 10.48550/arxiv.2307.10902 Typ Preprint Autor Müllner J -
2023
Titel Even shorter proofs without new variables DOI 10.48550/arxiv.2307.12098 Typ Preprint Autor Rebola-Pardo A -
2023
Titel A case study on parametric verification of failure detectors DOI 10.46298/lmcs-19(1:17)2023 Typ Journal Article Autor Widder J Journal Logical Methods in Computer Science Link Publikation -
2023
Titel Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker DOI 10.46298/lmcs-19(1:5)2023 Typ Journal Article Autor Widder J Journal Logical Methods in Computer Science Link Publikation