a person in the record
Rupak Majumdar
Supervised 12 doctoral students at Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau and Technische Universität Kaiserslautern. Linked to Wikidata, ORCID, and DBLP.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Students12
- cited by a thesis record
Rosa Abbasi“Pushing the Boundary on Automated Modular Floating-Point Verification”
2026 · Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau · doctoral - cited by a thesis record
Rajarshi Roy“Learning Temporal Properties for Explainability and Verification”
2024 · Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau · doctoral - cited by a thesis record2024 · Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau · doctoral
- cited by a thesis record
Mahmoud Salamati“Formal Controller Synthesis for Dynamical Systems: Decidability & Scalability”
2024 · Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau · doctoral - cited by a thesis record
Felix Stutz“Implementability of Asynchronous Communication Protocols – The Power of Choice”
2023 · Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau · doctoral - cited by a thesis record
Aman Shankar Mathur“Programmatic Interfaces for Design & Simulation”
2023 · Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau · doctoral - cited by a thesis record
Ivan Gavran“Planning and Specification Problems for Multi-Robot Systems, Powered by Formal Methods”
2022 · Technische Universität Kaiserslautern · doctoral - cited by a thesis record
Kaushik Mallik“Pushing the Barriers in Controller Synthesis for Cyber-Physical Systems”
2022 · Technische Universität Kaiserslautern · doctoral - cited by a thesis record
Soham Chakraborty“Correct Compilation of Relaxed Memory Concurrency”
2019 · Technische Universität Kaiserslautern · doctoral - cited by a thesis record
Filip Niksic“Combinatorial Constructions for Effective Testing”
2019 · Technische Universität Kaiserslautern · doctoral - cited by a thesis record
Johannes Kloos“Heap-based reasoning about asynchronous programs”
2018 · Technische Universität Kaiserslautern · doctoral - cited by a thesis record
Zilong Wang“Algorithms and Tools for Verification and Testing of Asynchronous Programs”
2016 · Technische Universität Kaiserslautern · doctoral
The line above and below
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.
Below them, within 3 steps, the record reaches 12 people: 12 cited by thesis records.