PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Kovács, Laura"

Author of the publication

copydeleteadd this publication to your clipboard
Aligator.jl - A Julia Package for Loop Invariant Generation.

, , and . CoRR, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

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

 

Other publications of authors with the same name

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