RM

Rupak Majumdar

Max Planck Institute for Software Systems 0000-0003-2136-0542

480

Publications

14,512

Citations

60

h-index

206

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (259)
Preprint (110)
Book Chapter (97)
Book (6)
Paratext (3)

Filter by Open Access Type

Open Access (229)
Closed Access (251)

Filter by Authors

Rupak Majumdar (480)
Thomas A. Henzinger (63)
Sadegh Soudjani (52)
Ranjit Jhala (42)
Anne-Kathrin Schmuck (31)

Filter by Topics

Formal Methods in Verification (266)
Logic, programming, and type systems (125)
Software Testing and Debugging Techniques (92)
Petri Nets in System Modeling (65)
Distributed systems and fault tolerance (61)