Vasumathi Raman

2.0k total citations · 1 hit paper
37 papers, 1.1k citations indexed

About

Vasumathi Raman is a scholar working on Computational Theory and Mathematics, Software and Artificial Intelligence. According to data from OpenAlex, Vasumathi Raman has authored 37 papers receiving a total of 1.1k indexed citations (citations by other indexed papers that have themselves been cited), including 26 papers in Computational Theory and Mathematics, 14 papers in Software and 12 papers in Artificial Intelligence. Recurrent topics in Vasumathi Raman's work include Formal Methods in Verification (25 papers), Model-Driven Software Engineering Techniques (9 papers) and Software Testing and Debugging Techniques (8 papers). Vasumathi Raman is often cited by papers focused on Formal Methods in Verification (25 papers), Model-Driven Software Engineering Techniques (9 papers) and Software Testing and Debugging Techniques (8 papers). Vasumathi Raman collaborates with scholars based in United States, United Kingdom and Sweden. Vasumathi Raman's co-authors include Hadas Kress‐Gazit, Sanjit A. Seshia, Alexandre Donzé, Richard M. Murray, Alberto Sangiovanni‐Vincentelli, Mehdi Maasoumy, Dorsa Sadigh, Morteza Lahijanian, Gregory D. Hager and Marin Kobilarov and has published in prestigious journals such as SHILAP Revista de lepidopterología, IEEE Transactions on Robotics and Autonomous Robots.

In The Last Decade

Vasumathi Raman

35 papers receiving 1.0k citations

Hit Papers

Model predictive control with signal temporal logic speci... 2014 2026 2018 2022 2014 50 100 150 200 250
What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the same subfield and year (this is the minimum needed to enter the top 1%, not the average within it), or reaches the top citation threshold in at least one of its specific research topics.

  1. Model predictive control with signal temporal logic specifications
    2014 251 citations Vasumathi Raman, Alexandre Donzé et al. profile →

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Vasumathi Raman United States 17 648 501 270 247 232 37 1.1k
Morteza Lahijanian United States 17 548 0.8× 499 1.0× 220 0.8× 192 0.8× 357 1.5× 67 980
Jana Tůmová Sweden 19 610 0.9× 503 1.0× 218 0.8× 238 1.0× 397 1.7× 79 1.1k
Alexandre Donzé United States 16 727 1.1× 431 0.9× 391 1.4× 262 1.1× 112 0.5× 40 1.2k
Marius Kloetzer Romania 17 782 1.2× 372 0.7× 268 1.0× 251 1.0× 558 2.4× 68 1.3k
André Platzer United States 20 865 1.3× 514 1.0× 386 1.4× 241 1.0× 91 0.4× 73 1.3k
Houssam Abbas United States 14 345 0.5× 193 0.4× 176 0.7× 130 0.5× 88 0.4× 54 634
Meng Guo Sweden 16 320 0.5× 307 0.6× 98 0.4× 194 0.8× 256 1.1× 48 849
Håkan L. S. Younes United States 11 246 0.4× 393 0.8× 162 0.6× 61 0.2× 246 1.1× 16 926
Yasser Shoukry United States 18 144 0.2× 392 0.8× 68 0.3× 401 1.6× 102 0.4× 59 922
P. Pandurang Nayak United States 17 228 0.4× 1.2k 2.4× 270 1.0× 314 1.3× 145 0.6× 31 1.5k

Countries citing papers authored by Vasumathi Raman

Since Specialization
Citations

This map shows the geographic impact of Vasumathi Raman's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Vasumathi Raman with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Vasumathi Raman more than expected).

Fields of papers citing papers by Vasumathi Raman

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Vasumathi Raman. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Vasumathi Raman. The network helps show where Vasumathi Raman may publish in the future.

Co-authorship network of co-authors of Vasumathi Raman

This figure shows the co-authorship network connecting the top 25 collaborators of Vasumathi Raman. A scholar is included among the top collaborators of Vasumathi Raman based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Vasumathi Raman. Vasumathi Raman is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Kress‐Gazit, Hadas, Morteza Lahijanian, & Vasumathi Raman. (2018). Synthesis for Robots: Guarantees and Feedback for Robot Behavior. 1(1). 211–236. 92 indexed citations
2.
Jha, Susmit, Tuhin Sahai, Vasumathi Raman, Alessandro Pinto, & Michael Francis. (2018). Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae. Journal of Automated Reasoning. 63(4). 1055–1075. 8 indexed citations
3.
Alonso–Mora, Javier, Jonathan DeCastro, Vasumathi Raman, Daniela Rus, & Hadas Kress‐Gazit. (2017). Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles. Autonomous Robots. 42(4). 801–824. 47 indexed citations
4.
Shoukry, Yasser, et al.. (2017). Towards a socially responsible smart city. 1–4. 4 indexed citations
5.
Raman, Vasumathi, et al.. (2017). Synthesis of Obfuscation Policies to Ensure Privacy and Utility. Journal of Automated Reasoning. 60(1). 107–131. 36 indexed citations
6.
Raman, Vasumathi & Eric M. Wolff. (2015). Mixed-Integer Linear Programming for Planning with Temporal Logic Tasks [Position Paper]. National Conference on Artificial Intelligence. 1 indexed citations
7.
Raman, Vasumathi, et al.. (2015). Variable elimination for scalable receding horizon temporal logic planning. Lund University Publications (Lund University). 1917–1922. 1 indexed citations
8.
Raman, Vasumathi, et al.. (2015). Online horizon selection in receding horizon temporal logic planning. Lund University Publications (Lund University). 3493–3499. 1 indexed citations
9.
Raman, Vasumathi, et al.. (2015). Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control. IEEE Transactions on Robotics. 31(3). 591–604. 8 indexed citations
10.
DeCastro, Jonathan, Vasumathi Raman, & Hadas Kress‐Gazit. (2015). Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning. 369–376. 6 indexed citations
11.
Farahani, Samira S., Vasumathi Raman, & Richard M. Murray. (2015). Robust Model Predictive Control for Signal Temporal Logic Synthesis. IFAC-PapersOnLine. 48(27). 323–328. 37 indexed citations
12.
Raman, Vasumathi, Alexandre Donzé, Mehdi Maasoumy, et al.. (2014). Model predictive control with signal temporal logic specifications. 81–87. 251 indexed citations breakdown →
13.
Lignos, Constantine, et al.. (2014). Provably correct reactive control from natural language. Autonomous Robots. 38(1). 89–105. 37 indexed citations
14.
15.
Raman, Vasumathi & Hadas Kress‐Gazit. (2013). Towards minimal explanations of unsynthesizability for high-level robot behaviors. 757–762. 16 indexed citations
16.
Brooks, Daniel J., Constantine Lignos, Vasumathi Raman, et al.. (2012). Make it So: Continuous, Flexible Natural Language Interaction with an Autonomous Robot. National Conference on Artificial Intelligence. 19 indexed citations
17.
Raman, Vasumathi & Hadas Kress‐Gazit. (2012). Automated feedback for unachievable high-level robot behaviors. 16 indexed citations
18.
Brooks, Daniel J., Constantine Lignos, Vasumathi Raman, et al.. (2012). Situation understanding bot through language and environment. 419–420. 1 indexed citations
19.
Raman, Vasumathi, et al.. (2012). Temporal logic robot mission planning for slow and fast actions. 251–256. 7 indexed citations
20.
Raman, Vasumathi, et al.. (2003). OBDD extraction from VHDL gate level descriptions at design elaboration. 30–39. 4 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Morteza Lahijanian Breakdown of academic impact, for papers by Jana Tůmová Breakdown of academic impact, for papers by Alexandre Donzé Breakdown of academic impact, for papers by Marius Kloetzer Breakdown of academic impact, for papers by André Platzer Breakdown of academic impact, for papers by Houssam Abbas Breakdown of academic impact, for papers by Meng Guo Breakdown of academic impact, for papers by Håkan L. S. Younes Breakdown of academic impact, for papers by Yasser Shoukry Breakdown of academic impact, for papers by P. Pandurang Nayak
Rankless by CCL
2026