Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Zameer Papasaheb
Fulya Horozal
Bhupendra Singh
Marco Vannucci
Silvia Scirpoli
Stylianos Ioannis Mimilakis
Songhua Li
Sebastian Magda
David MacDonald
Meng Jiang
Home
/
Author
/
DOMINIK DIETRICH
Author Info
Open Visualization
Name
Papers
Collaborators
DOMINIK DIETRICH
2
3
Citations
PageRank
Referers
0
0.68
0
Referees
References
54
14
Publications (2 rows)
Collaborators (3 rows)
Referers (0 rows)
Referees (54 rows)
Title
Citations
PageRank
Year
Polar: A Framework for Proof Refactoring.
0
0.34
2013
Interleaving Planning and Plan Execution with Incomplete Knowledge in the Event Calculus.
0
0.34
2012
1