Sotabase

Career

· Professor, University of Texas at Austin2011–
· Full Professor in Computer Science, ETH Zurich2008–
· Researcher, Microsoft Research2007–2008
· Assistant Professor for Software Component Technology, ETH Zurich2003–2008
· Undergraduate Studies, Technical University of Munich1991–1996
· IT Project Manager, Deutsche Bank
· Professor, Duke University
· Professor, INSAIT
· Professor, M.D. Anderson Cancer Center
· PhD Student, Purdue University
· PhD Student, University of Hagen

Publications (115)

TRANSPORTATION AND URBAN FORM: STAGES IN THE SPATIAL EVOLUTION OF THE AMERICAN METROPOLIS
1986
243
cited
SUBURBAN DOWNTOWNS AND THE TRANSFORMATION OF METROPOLITAN ATLANTA'S BUSINESS LANDSCAPE
1989
183
cited
Contemporary suburban America
1981
173
cited
A Component Model for Field Devices
Component Deployment · 2002
133
cited
Components for embedded software: the PECOS approach
International Conference on Compilers, Architecture, and Synthesis for Embedded Systems · 2002
130
cited
Generic Universe Types
European Conference on Object-Oriented Programming · 2007
128
cited
Geography: Realms, Regions, and Concepts
1981
105
cited
The 1st Verified Software Competition: Experience Report
World Congress on Formal Methods · 2011
94
cited
Spaces of Geographical Thought: Deconstructing Human Geography's Binaries
2007
79
cited
A Unified Framework for Verification Techniques for Object Invariants
European Conference on Object-Oriented Programming · 2008
65
cited
Physical Geography: The Global Environment
1997
65
cited
Handbook of Cultural Geography
2003
52
cited
Serializability for eventual consistency: criterion, analysis, and applications
ACM-SIGACT Symposium on Principles of Programming Languages · 2017
52
cited
The Suburban Transformation of the Globalizing American City
1997
48
cited
The outer city: Geographical consequences of the urbanization of the suburbs
1976
44
cited
Tunable Static Inference for Generic Universe Types
European Conference on Object-Oriented Programming · 2011
44
cited
Geography, regions and concepts
1978
39
cited
Universe Types for Topology and Encapsulation
Formal Methods for Components and Objects · 2008
33
cited
PECOS in a Nutshell
2002
31
cited
Static serializability analysis for causal consistency
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2018
29
cited
Sotabase