Stephan Ellner
Google (United States)(US)
Publications by Year
Research Areas
Distributed systems and fault tolerance, Logic, programming, and type systems, Advanced Database Systems and Queries, Parallel Computing and Optimization Techniques, Formal Methods in Verification
Most-Cited Works
- → F1(2013)254 cited
- → Generating Heap-Bounded Programs in a Functional Setting(2003)21 cited
- → The semantics of graphical languages(2007)8 cited
- → Shasta(2016)5 cited
- PreVIEW: An Untyped Graphical Calculus for Resource-aware Programming(2004)