( en | de | ru )

 

Disambiguation of "Larraz, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
Speeding up the Constraint-Based Method in Difference Logic.

, , , , and . SAT, volume 9710 of Lecture Notes in Computer Science, page 284-301. Springer, (2016)

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.

Daniel

Daniel

Daniel Stanze

Systematische Analyse von Rezeptoren und Effektormechanismen der pulmonalen angeborenen Immunität. Uni Marburg, (2009)

Daniel Wied

Zivilprozessuale Qualifikationsprobleme im Spannungsfeld von Vertrag und Delikt: ein Beitrag zur Auslegung nationalen Zivilprozessrechts in europäischer Perspektive. Uni Regensburg, (2009)

Daniel Dirkmann

In-vitro-Untersuchungen zum Effekt von Hypothermie und Azidose auf Variablen thrombelastometrischer Messungen der Blutgerinnung. Uni Duisburg-Essen, (2009)
 

Other publications of authors with the same name

Extending enumerative function synthesis via SMT-driven classification., , , and . FMCAD, page 212-220. IEEE, (2019)Proving Termination Through Conditional Termination., , , , , and . TACAS (1), volume 10205 of Lecture Notes in Computer Science, page 99-117. (2017)Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers., , , , and . CoRR, (2020)SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces., , , , , and . FMCAD, page 93-103. IEEE, (2020)Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions., , , and . SAT, volume 8561 of Lecture Notes in Computer Science, page 333-350. Springer, (2014)Speeding up the Constraint-Based Method in Difference Logic., , , , and . SAT, volume 9710 of Lecture Notes in Computer Science, page 284-301. Springer, (2016)SMT-Based Array Invariant Generation., , and . VMCAI, volume 7737 of Lecture Notes in Computer Science, page 169-188. Springer, (2013)VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System., , , , , , , , , and 5 other author(s). Syst., 9 (1): 18 (2021)Realizability Checking of Contracts with Kind 2., and . CoRR, (2022)Merit and Blame Assignment with Kind 2., , and . FMICS, volume 12863 of Lecture Notes in Computer Science, page 212-220. Springer, (2021)