a person in the record
Rosa Abbasi
Doctorate at Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau in 2026 under Eva Darulova Bruggisser and Rupak Majumdar. Linked to ORCID and OpenAlex.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Advisors2
- cited by a thesis record
Eva Darulova Bruggisser“Pushing the Boundary on Automated Modular Floating-Point Verification”
2026 · Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau · doctoral - cited by a thesis record
Rupak Majumdar“Pushing the Boundary on Automated Modular Floating-Point Verification”
2026 · Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau · doctoral
The line above and below1 step
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
cited by a thesis recordEva Darulova Bruggissercited by a thesis recordRupak Majumdar
Theses1
- cited by a thesis record
Pushing the Boundary on Automated Modular Floating-Point Verification
2026 · Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau · doctoral · Kaiserslautern - Fachbereich Informatik · in English · the thesis's own page ›
Works1
2026 · held from 1 repository · a work missing?
- cited by KLUEDO, RPTU Kaiserslautern's record
Pushing the Boundary on Automated Modular Floating-Point Verification
2026 · doctoral thesis · KLUEDO, RPTU Kaiserslautern
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.