Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Haller, Leopold
40  Ergebnisse:
Personensuche X
?
1

Abstract satisfaction:

D'Silva, Vijay ; Haller, Leopold ; Kroening, Daniel
ACM SIGPLAN Notices.  49 (2014)  1 - p. 139-150 , 2014
Link: https://doi.org/10.1145/..
 
?
2

Abstract satisfaction:

, In: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
D'Silva, Vijay ; Haller, Leopold ; Kroening, Daniel - p. 139-150 , 2014
Link: https://dl.acm.org/doi/1..
 
?
3

Abstract conflict driven learning:

, In: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,
D'Silva, Vijay ; Haller, Leopold ; Kroening, Daniel - p. 143-154 , 2013
Link: https://dl.acm.org/doi/1..
 
?
4

Abstract conflict driven learning:

D'Silva, Vijay ; Haller, Leopold ; Kroening, Daniel
ACM SIGPLAN Notices.  48 (2013)  1 - p. 143-154 , 2013
Link: https://doi.org/10.1145/..
 
?
5

Deciding floating-point logic with abstract conflict driven..:

Brain, Martin ; D'Silva, Vijay ; Griggio, Alberto..
Formal Methods in System Design.  45 (2013)  2 - p. 213-245 , 2013
Link: https://doi.org/10.1007/..
 
?
6

Strengthening Induction-Based Race Checking with Lightweigh..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Donaldson, Alastair F. ; Haller, Leopold ; Kroening, Daniel - p. 169-183 , 2011
Link: https://doi.org/10.1007/..
 
?
7

Strengthening induction-based race checking with lightweigh..:

, In: Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation,
Donaldson, Alastair F. ; Haller, Leopold ; Kroening, Daniel - p. 169-183 , 2011
Link: https://dl.acm.org/doi/1..
 
?
8

A SAT Solver for Circuits Based on the Tableau Method:

Egly, Uwe ; Haller, Leopold
KI - Künstliche Intelligenz.  24 (2010)  1 - p. 15-23 , 2010
Link: https://doi.org/10.1007/..
 
?
9

Relieving capacity limits on FPGA-based SAT-solvers:

, In: Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design,
Haller, Leopold ; Singh, Satnam - p. 217-220 , 2010
Link: https://dl.acm.org/doi/1..
 
?
10

Made in Germany: A Quality Indicator Not Only in the Automo..:

Haller, Herbert Leopold ; Rapp, Matthias ; Popp, Daniel..
Medicina.  57 (2021)  2 - p. 143 , 2021
Link: https://doi.org/10.3390/..
 
?
11

Oxygen, pH, Lactate, and Metabolism—How Old Knowledge and N..:

Haller, Herbert Leopold ; Sander, Frank ; Popp, Daniel...
Medicina.  57 (2021)  11 - p. 1190 , 2021
Link: https://doi.org/10.3390/..
 
?
12

Lifting CDCL to Template-based Abstract Domains for Program..:

Mukherjee, Rajdeep ; Schrammel, Peter ; Haller, Leopold..
http://arxiv.org/abs/1707.02011.  , 2017
Link: http://arxiv.org/abs/170..
 
?
13

Finding lean induced cycles in binary hypercubes:

Chebiryak, Yury ; Wahl, Thomas ; Haller, Leopold.
http://hdl.handle.net/20.500.11850/68636.  , 2009
Link: https://hdl.handle.net/2..
 
?
14

Made in Germany: A Quality Indicator Not Only in the Automo..:

Haller, Herbert Leopold ; Rapp, Matthias ; Popp, Daniel..
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7914466/.  , 2021
Link: http://www.ncbi.nlm.nih...
 
?
15

Platin 

Platin : <Syst.-Nr. 68>T. D:

, In: , In: Gmelin handbook of inorganic and organometallic chemistry = Gmelins Handbuch der anorganischen Chemie / prep. and issued by Gmelin-Institut für Anorganische Chemie und Grenzgebiete in der Max-Planck-Gesellschaft zur Förderung der Wissenschaften. Director: Ekkehard Fluck. Founded by Leopold Gmelin,
Komplexverbindungen mit neutralen Liganden 
Haller, Emma ; Gmelin, Leopold ; Meyer, Richard Josef.. - 8. ed. . , 1957
Exemplar:  Zentrale:E02 h che 250 gf/01a-68,D
 
1-15