a person in the record
Uwe Nestmann
German computer scientistborn 1967
Wikidata names Benjamin C. Pierce and Terry Stroup as doctoral advisors and lists 6 doctoral students. Linked to Wikidata, ORCID, and 9 other registers.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Advisors on Wikidata2
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
- stated by Wikidata
Students on Wikidata6
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
The line above and below4 steps
The advisors of their advisors, four steps up at most, in the thesis records and on Wikidata, each kind marked; a person in both is listed once.
- 1 step up
stated by WikidataBenjamin C. Piercestated by WikidataTerry Stroup
- 2 steps up
stated by WikidataJohn C. Reynoldsstated by WikidataRobert Harper
- 3 steps up
stated by WikidataKurt Gottfriedstated by WikidataPaul C. Martinstated by WikidataRobert Lee Constable
- 4 steps up
stated by WikidataJulian Seymour Schwingerstated by WikidataStephen Cole Kleenestated by WikidataVictor Weisskopf
Below them, within 3 steps, the record reaches 6 people: 6 stated by Wikidata.
Education and career8
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- 1991 to 1995
- 1996 to 1996
- 1996 to 1996
- 1997 to 2000worked
- 1997 to 1997
- from 2005
- undated
- undated
Papers in OpenAlex108
1996most in 2014: 92025
last at Technische Universität Berlin
writes on Logic, programming, and type systems, Formal Methods in Verification, Distributed systems and fault tolerance, Petri Nets in System Modeling, Mobile Agent-Based Network Management
- indexed by OpenAlex2000 · Information and Computation · 1 authorcited 99
- indexed by OpenAlex2000 · Information and Computation · 2 authorscited 95
- indexed by OpenAlex1996 · Lecture notes in computer science · 2 authorscited 70
- indexed by OpenAlex2004 · Lecture notes in computer science · 3 authorscited 54
- indexed by OpenAlex2002 · Lecture notes in computer science · 2 authorscited 52
- indexed by OpenAlex2003 · Lecture notes in computer science · 3 authorscited 42
- indexed by OpenAlexcited 41
Full abstraction for expressiveness: history, myths and facts
2014 · Mathematical Structures in Computer Science · 2 authors - indexed by OpenAlex2013 · Lecture notes in computer science · 3 authorscited 36
- indexed by OpenAlex2012 · Lecture notes in computer science · 3 authorscited 32
- indexed by OpenAlex2012 · Lecture notes in computer science · 2 authorscited 30
the 25 most cited of 108
- indexed by OpenAlex2003 · Lecture notes in computer science · 2 authorscited 22
- indexed by OpenAlex2007 · Theoretical Computer Science · 2 authorscited 21
- indexed by OpenAlex2011 · Electronic Proceedings in Theoretical Computer Science · 3 authorscited 20
- indexed by OpenAlexcited 20
Verifying a Structured Peer-to-Peer Overlay Network: The Static Case
2005 · Lecture notes in computer science · 4 authors - indexed by OpenAlexcited 19
Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi
2006 · Lecture notes in computer science · 1 author - indexed by OpenAlex1998 · Electronic Notes in Theoretical Computer Science · 1 authorcited 19
- indexed by OpenAlex2015 · Lecture notes in computer science · 4 authorscited 16
- indexed by OpenAlex2007 · Acta Informatica · 3 authorscited 16
- indexed by OpenAlex1998 · BRICS Report Series · 4 authorscited 16
- indexed by OpenAlex1997 · Electronic Notes in Theoretical Computer Science · 1 authorcited 16
- indexed by OpenAlex2017 · Lecture notes in computer science · 3 authorscited 14
- indexed by OpenAlex2007 · Theoretical Computer Science · 2 authorscited 14
- indexed by OpenAlex2002 · Information and Computation · 4 authorscited 14
- indexed by OpenAlex2019 · Acta Informatica · 3 authorscited 13
- indexed by OpenAlex2005 · Lecture notes in computer science · 2 authorscited 11