A jodcyan electromos potentiálja

von Kovács, Laura
Veröffentlicht 1910

What Else is Undecidable About Loops?

von Kovács, Laura
Veröffentlicht in International Conference on Relational and Algebraic Methods in Computer Science (20. : 2023 : Augsburg) Relational and algebraic methods in computer science (2023)

Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper)

von Humenberger, Andreas
Veröffentlicht in VMCAI (22. : 2021 : Online) Verification, model checking, and abstract interpretation (2021)

Formalizing Graph Trail Properties in Isabelle/HOL

von Kovács, Laura
Veröffentlicht in CICM (13. : 2020 : Online) Intelligent computer mathematics (2020)

Integer Induction in Saturation

von Hozzová, Petra
Veröffentlicht in CADE (28. : 2021 : Online) Automated Deduction - CADE 28 (2021)

Automated Generation of Exam Sheets for Automated Deduction

von Hozzová, Petra
Veröffentlicht in CICM (14. : 2021 : Online) Intelligent Computer Mathematics (2021)

Subsumption Demodulation in First-Order Theorem Proving

von Gleiss, Bernhard
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 1 (2020)

Satisfiability Modulo Custom Theories in Z3

von Bjorner, Nikolaj
Veröffentlicht in VMCAI (24. : 2023 : Boston) Verification, model checking, and abstract interpretation (2023)

Algebra-Based Loop Synthesis

von Humenberger, Andreas
Veröffentlicht in iFM (16. : 2020 : Online) Integrated formal methods (2020)

Mora - Automatic Generation of Moment-Based Invariants

von Bartocci, Ezio
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2020)

Analysis of Bayesian Networks via Prob-Solvable Loops

von Bartocci, Ezio
Veröffentlicht in ICTAC (17. : 2020 : Online) Theoretical aspects of computing - ICTAC 2020 (2020)

SAT-Based Subsumption Resolution

von Coutelier, Robin
Veröffentlicht in International Conference on Automated Deduction (29. : 2023 : Rom) Automated deduction - CADE 29 (2023)

Non-Classical Logics in Satisfiability Modulo Theories

von Eisenhofer, Clemens
Veröffentlicht in TABLEAUX (32. : 2023 : Prag) Automated reasoning with analytic tableaux and related methods (2023)

Automated Termination Analysis of Polynomial Probabilistic Programs

von Moosbrugger, Marcel
Veröffentlicht in ESOP (30. : 2021 : Online) Programming languages and systems (2021)

Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, proceedings

Veröffentlicht 2022

The Probabilistic Termination Tool Amber

von Moosbrugger, Marcel
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)

Induction with Generalization in Superposition Reasoning

von Hajdú, Marton
Veröffentlicht in CICM (13. : 2020 : Online) Intelligent computer mathematics (2020)

Summing up Smart Transitions

von Elad, Neta
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)

Tests and proofs : 16th International Conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022, proceedings

Veröffentlicht 2022

Inductive Benchmarks for Automated Reasoning

von Hajdu, Märton
Veröffentlicht in CICM (14. : 2021 : Online) Intelligent Computer Mathematics (2021)