Concepedia

Leopold Haller

LH

Statistics

Publications

8

Citations

312

H-Index

8

Active since

2000

Affiliations

University of Oxford(Current)

University of California, Berkeley

Fondazione Bruno Kessler

Leopold Haller is an author at University of Oxford specializing in computer science, computing, and algorithms.

Publications per year

2000–2014

8

Publications

8

Towards an Atlas of Human Helminth Infection in sub-Saharan Africa: The Use of Geographical Information Systems (GIS)

S Brooker, S Brooker, Mark Rowlands et al. · Parasitology Today · 2000 · 130 citations

Veterinary Medicine, Geoinformatics, Infectious Diseases +16

Deciding floating-point logic with systematic abstraction

Leopold Haller, Alberto Griggio, Martin Brain et al. · Oxford University Research Archive (ORA) (University of Oxford) · 2012 · 51 citations · Full text

Computing, Computer Science, Mathematics +14

Deciding floating-point logic with abstract conflict driven clause learning

Martin Brain, Vijay D’Silva, Alberto Griggio et al. · Formal Methods in System Design · 2013 · 49 citations · Full text

Computing, Computer Science, Algorithms +10

Abstract conflict driven learning

Vijay D’Silva, Leopold Haller, Daniel Kroening · 2013 · 31 citations

Computing, Computer Science, Algorithms +13

Abstract satisfaction

Vijay D’Silva, Leopold Haller, Daniel Kroening · 2014 · 19 citations · Full text

Computing, Computer Science, Algorithms +12

1–5 of 8