Science Explorer Back to mapMap
Discussion
Researcher · Max Planck Institute for Software Systems · Germany

Rupak Majumdar

Rupak Majumdar publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Software, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Software Testing and Debugging Techniques.

ORCID 0000-0003-2136-0542 OpenAlex
World rank
#118,702
of 7,710,434 ranked researchers
Rank in Germany
#6,238
of 364,343
Works
478
Citations
15k
Citations per work
31.2
h-index
61
i10-index 212Top 0.4% in Computational Theory and Mathematics
Rupak Majumdar

What does Rupak Majumdar research?

Rupak Majumdar's work is mostly in Computer Science (78%), Engineering (4%).

Physical Sciences: 391 works · 81.7% of their workComputer Science: 373 works · 78.0% of their workComputational Theory and Mathematics: 129 works · 26.9% of their workArtificial Intelligence: 104 works · 21.8% of their workSoftware: 61 works · 12.8% of their workComputer Networks and Communications: 42 works · 8.7% of their workHardware and Architecture: 37 works · 7.8% of their workEngineering: 18 works · 3.7% of their workControl and Systems Engineering: 18 works · 3.7% of their workEverything else: 87 works · 18.3% of their workTHEIR WORKRupak Majumdar478works
Physical Sciences82%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science37378.0%
    2. Engineering183.7%
  2. Everything else8718.3%
  1. 1Computational Theory and Mathematics27% of their works
  2. 2Artificial Intelligence22% of their works
  3. 3Software13% of their works
  4. 4Computer Networks and Communications9% of their works
  5. 5Hardware and Architecture8% of their works
  6. 6Control and Systems Engineering4% of their works

Research topics

Which keywords describe Rupak Majumdar's research?

The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis, Automated Testing, Software Fault Localization and Deadlock Prevention.

Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.

All 17 words, with their numbers
  1. Model Checking3882 topics
  2. Satisfiability Modulo Theories2631 topic
  3. Symbolic Model Checker2631 topic
  4. Formal Verification1251 topic
  5. Static Analysis1251 topic
  6. Automated Testing931 topic
  7. Software Fault Localization931 topic
  8. Deadlock Prevention631 topic
  9. Petri Nets631 topic
  10. Distributed Systems601 topic
  11. Fault Tolerance601 topic
  12. Architecture-Based Approach581 topic
  13. Software Reliability Modeling581 topic
  14. Security Policies371 topic
  15. Side-Channel Attacks371 topic
  16. High-Level Synthesis331 topic
  17. Reconfigurable Computing331 topic

Where does Rupak Majumdar work?

Rupak Majumdar's main affiliation in the publication record is Max Planck Institute for Software Systems, Germany.

How many publications and citations does Rupak Majumdar have?

OpenAlex counts 478 works and 14,903 citations for Rupak Majumdar, an h-index of 61, ranking #118,702 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.

Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Rupak Majumdar. Posts are plain text and can be reported.