Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Federico Garbuglia
Daniel P. Kennedy
Dan Graur
Barbara Aquilani
Maximilian Haslbeck
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Run Jiang
Home
/
Author
/
ALEXANDER KRAUSS
Author Info
Open Visualization
Name
Affiliation
Papers
ALEXANDER KRAUSS
Institut für Informatik, Technische Universität München, Germany
14
Collaborators
Citations
PageRank
15
215
11.99
Referers
Referees
References
252
233
231
Search Limit
100
252
Publications (14 rows)
Collaborators (15 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Partiality and recursion in interactive theorem provers - an overview.
0
0.34
2016
Data refinement in Isabelle/HOL
13
0.63
2013
Scalable LCF-Style proof translation
17
0.90
2013
Proof Pearl: Regular Expression Equivalence and Relation Algebra
35
1.25
2012
Termination of Isabelle functions via termination of rewriting
6
0.56
2011
Monotonicity Inference for Higher-Order Formulas
6
0.69
2011
Regular Sets and Expressions.
1
0.44
2010
Partial and Nested Recursive Function Definitions in Higher-order Logic
19
0.99
2010
A mechanized translation from higher-order logic to set theory
11
0.64
2010
Recursive Definitions of Monadic Functions
9
0.56
2010
Imperative Functional Programming with Isabelle/HOL
41
1.91
2008
Finding lexicographic orders for termination proofs in Isabelle/HOL
19
1.07
2007
Certified Size-Change Termination
15
0.79
2007
Partial recursive functions in higher-order logic
23
1.22
2006
1