a person in the record
Thomas Wilke
German computer scientistborn 1965
Supervised 5 doctoral students at Christian-Albrechts-Universität zu Kiel between 2002 and 2015; doctorate in 1994 under Wolfgang Thomas; Wikidata names Wolfgang Thomas as doctoral advisor and lists 5 doctoral students. Linked to Wikidata, Mathematics Genealogy Project, and 3 other registers.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlex
Advisors1
The thesis record names Wolfgang Thomas; Wikidata names Wolfgang Thomas.
- cited by a thesis record
Wolfgang Thomas“Automaten und Logiken zur Beschreibung zeitabhängiger Systeme”
1994 · doctoral
Students5
- cited by a thesis record
Sönke Schulmeister“Unterrichtsentwicklung durch Wettbewerbe”
2015 · Christian-Albrechts-Universität zu Kiel · doctoral - cited by a thesis record2014 · Christian-Albrechts-Universität zu Kiel · doctoral
- cited by a thesis record
Detlef Kähler“Strategy properties for cryptographic protocols”
2008 · Christian-Albrechts-Universität zu Kiel · doctoral - cited by a thesis record
Carsten Fritz“Simulation-based simplification of omega-automata”
2006 · Christian-Albrechts-Universität zu Kiel · doctoral - cited by a thesis record
Peer Johannsen“Speeding up hardware verification by automated data path scaling”
2002 · Christian-Albrechts-Universität zu Kiel · doctoral
Advisors on Wikidata1
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
Students on Wikidata5
From Wikidata, shown separately from the thesis records.
- 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 WikidataWolfgang Thomascited by a thesis recordWolfgang Thomas
- 2 steps up
stated by WikidataHeinz-Dieter Ebbinghaus
- 3 steps up
stated by WikidataDieter Röddingstated by WikidataHans Hermes
- 4 steps up
stated by WikidataAdolf Kratzerstated by WikidataGisbert Hasenjaegerstated by WikidataHeinrich Scholz
Below them, within 3 steps, the record reaches 10 people: 5 cited by thesis records, 5 stated by Wikidata.
Theses1
- cited by a thesis record
Automaten und Logiken zur Beschreibung zeitabhängiger Systeme
1994 · doctoral · in German · the thesis's own page ›also named on this thesis
- cited by a thesis recordWellem-Paul de Roeverreferee
Education and career1
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- undatedstudied
Works1
1994 · held from 1 repository · a work missing?
- cited by MACAU, Kiel's record
Automaten und Logiken zur Beschreibung zeitabhängiger Systeme
1994 · doctoral thesis · MACAU, Kiel
Sat beside the lineage3
referee, not advisor
- cited by a thesis record
Viktor Bunimov“Entwicklung von neuen Algorithmen der Computerarithmetik in Hinsicht auf ihre Nutzung in der Kryptographie”
referee · 2005 · Christian-Albrechts-Universität zu Kiel · doctoral - cited by a thesis record
Ralf Huuck“Software Verification for Programmable Logic Controllers”
referee · 2003 · Christian-Albrechts-Universität zu Kiel · doctoral - cited by a thesis record
Karsten Stahl“Exploring the Limits of Parameterized System Verification”
referee · 2003 · Christian-Albrechts-Universität zu Kiel · doctoral