Academic Ancestry

a person in the record

Ralf Wimmer

Researcherborn 1980

Doctorate in 2011 under Bernd Becker. Linked to Wikidata, ORCID, and GND.

Open the full sheetCiteData

How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred

Advisors1

  • cited by a thesis recordstated by Wikidata

    Bernd Becker“Symbolische Methoden für die probabilistische Verifikation : Zustandsraumreduktion und Gegenbeispiele”

    2011 · doctoral

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.

Theses1

Education and career9

From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.

Works1

2011 · held from 1 repository · a work missing?

What their ORCID record lists

The works their own ORCID record lists, as they claim them: shown apart from the record's works, never checked or counted with them.

ORCID is asked for the list when this part is opened.

Papers in OpenAlex84

2004: 12005: 12006: 42007: 22008: 62009: 22010: 52011: 52012: 52013: 62014: 72015: 82016: 32017: 92018: 72019: 62020: 32021: 12022: 12024: 2
2004most in 2017: 92024
84works
1,208citations
22h-index
37i10-index

last at University of Freiburg

writes on Formal Methods in Verification, Logic, programming, and type systems, Petri Nets in System Modeling, Logic, Reasoning, and Knowledge, Software Testing and Debugging Techniques

the 25 most cited of 84

Coauthors in OpenAlex74

People who share works with them in OpenAlex, the most shared first: indexed, and never counted with the lineage.

OpenAlex lists 64 more people who share a work with them.