( en | de | ru )

 

Disambiguation of "Haller, Leopold"

Author of the publication

copydeleteadd this publication to your clipboard
Lifting CDCL to Template-Based Abstract Domains for Program Verification.

, , , , and . ATVA, volume 10482 of Lecture Notes in Computer Science, page 307-326. Springer, (2017)

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.

Leopold Sauheitl

Direct amino acid uptake by plants related to grassland diversity: methodological and ecological investigations. Uni Bayreuth, (2009)

Silja Haller

Volkmar Haller

Johannes Haller

Lydia Haller

 

Other publications of authors with the same name

Abstract conflict driven learning., , and . POPL, page 143-154. ACM, (2013)Strengthening Induction-Based Race Checking with Lightweight Static Analysis., , and . VMCAI, volume 6538 of Lecture Notes in Computer Science, page 169-183. Springer, (2011)Software Verification Using k-Induction., , , and . SAS, volume 6887 of Lecture Notes in Computer Science, page 351-368. Springer, (2011)Abstract satisfaction., , and . POPL, page 139-150. ACM, (2014)Relieving capacity limits on FPGA-based SAT-solvers., and . FMCAD, page 217-220. IEEE, (2010)Finding Lean Induced Cycles in Binary Hypercubes., , , and . SAT, volume 5584 of Lecture Notes in Computer Science, page 18-31. Springer, (2009)Numeric Bounds Analysis with Conflict-Driven Learning., , , and . TACAS, volume 7214 of Lecture Notes in Computer Science, page 48-63. Springer, (2012)Satisfiability Solvers Are Static Analysers., , and . SAS, volume 7460 of Lecture Notes in Computer Science, page 317-333. Springer, (2012)Abstract satisfaction.. University of Oxford, UK, (2013)British Library, EThOS.