Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Shima Alizadeh
Claudia Calabrese
Hao Mao
Ching-Tang Wang
Peter Malec
Giovanni Venturelli
Chen Ma
Yassine Ridouane
Radu Timofte
Kuanrui Yin
Home
/
Author
/
LEOPOLD HALLER
Author Info
Open Visualization
Name
Affiliation
Papers
LEOPOLD HALLER
University of Oxford, Oxford, United Kingdom
13
Collaborators
Citations
PageRank
15
127
6.93
Referers
Referees
References
203
316
280
Search Limit
100
316
Publications (13 rows)
Collaborators (15 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Lifting CDCL to Template-based Abstract Domains for Program Verification.
0
0.34
2017
Abstract satisfaction
5
0.39
2014
Deciding floating-point logic with abstract conflict driven clause learning
22
0.86
2014
Abstract conflict driven learning
13
0.57
2013
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL.
13
0.57
2013
An Abstract Interpretation Of Dpll(T)
3
0.39
2013
Satisfiability solvers are static analysers
9
0.50
2012
Numeric bounds analysis with conflict-driven learning
28
0.86
2012
Strengthening induction-based race checking with lightweight static analysis
6
0.47
2011
Software verification using k-induction
22
0.80
2011
A SAT Solver for Circuits Based on the Tableau Method
1
0.36
2010
Relieving capacity limits on FPGA-based SAT-solvers
4
0.44
2010
Finding Lean Induced Cycles in Binary Hypercubes
1
0.36
2009
1