PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Kovács, Laura"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Experimenting with SAT Solvers in Vampire.

, , , und . MICAI (1), Volume 8856 von Lecture Notes in Computer Science, Seite 431-442. Springer, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Laura Kleckner University of Stuttgart

Laura Schmidberger University of Stuttgart

Laura Elflein University of Stuttgart

Laura Bareiß University of Stuttgart

Laura Balange University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Symbolic Computation and Automated Reasoning for Program Analysis.. CoRR, (2017)First-Order Theorem Proving and Vampire., und . CAV, Volume 8044 von Lecture Notes in Computer Science, Seite 1-35. Springer, (2013)ABC: Algebraic Bound Computation for Loops., , , und . LPAR (Dakar), Volume 6355 von Lecture Notes in Computer Science, Seite 103-118. Springer, (2010)Aligator: A Mathematica Package for Invariant Generation (System Description).. IJCAR, Volume 5195 von Lecture Notes in Computer Science, Seite 275-282. Springer, (2008)Invariant and Type Inference for Matrices., , , und . VMCAI, Volume 5944 von Lecture Notes in Computer Science, Seite 163-179. Springer, (2010)First-Order Interpolation and Grey Areas of Proofs (Invited Talk).. CSL, Volume 82 von LIPIcs, Seite 3:1-3:1. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2017)Aligator.jl - A Julia Package for Loop Invariant Generation., , und . CICM, Volume 11006 von Lecture Notes in Computer Science, Seite 111-117. Springer, (2018)A Parametric Interpolation Framework for First-Order Theories., , und . MICAI (1), Volume 8265 von Lecture Notes in Computer Science, Seite 24-40. Springer, (2013)Experimenting with SAT Solvers in Vampire., , , und . MICAI (1), Volume 8856 von Lecture Notes in Computer Science, Seite 431-442. Springer, (2014)Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences., , und . ISSAC, Seite 221-228. ACM, (2017)