( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Learning Concise Models from Long Execution Traces.

, , , и . DAC, стр. 1-6. IEEE, (2020)

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.

Helga Kroening

Elisabeth Erika Kroening

Daniel

Daniel

Daniel Dirkmann

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

Другие публикации лиц с тем же именем

Strengthening Induction-Based Race Checking with Lightweight Static Analysis., , и . VMCAI, том 6538 из Lecture Notes in Computer Science, стр. 169-183. Springer, (2011)Software Verification Using k-Induction., , , и . SAS, том 6887 из Lecture Notes in Computer Science, стр. 351-368. Springer, (2011)Soundness of Data Flow Analyses for Weak Memory Models., , , , и . APLAS, том 7078 из Lecture Notes in Computer Science, стр. 272-288. Springer, (2011)Understanding Counterexamples with explain., , и . CAV, том 3114 из Lecture Notes in Computer Science, стр. 453-456. Springer, (2004)Interpolating Quantifier-Free Presburger Arithmetic., , и . LPAR (Yogyakarta), том 6397 из Lecture Notes in Computer Science, стр. 489-503. Springer, (2010)Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs., , и . ESOP, том 9032 из Lecture Notes in Computer Science, стр. 661-684. Springer, (2015)Termination Analysis with Compositional Transition Invariants., , , и . CAV, том 6174 из Lecture Notes in Computer Science, стр. 89-103. Springer, (2010)ExpliSAT: Guiding SAT-Based Software Verification with Explicit States., , , , и . Haifa Verification Conference, том 4383 из Lecture Notes in Computer Science, стр. 138-154. Springer, (2006)An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits Along Cyclic Attractors., , и . AB, том 4545 из Lecture Notes in Computer Science, стр. 140-154. Springer, (2007)Measuring Change Impact on Program Behaviour., и . Validation of Evolving Software, Springer, (2015)