Rajeev Alur

Artificial Intelligence · 2000–2018

A researcher in the Science corpus: 11 papers; trusts 42 researchers and is trusted by 18 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 45 citations into it; #12,728 of 35,345 by trust here, #5,970 by citations
• Computational Theory and Mathematics — 36 citations into it; #3,351 of 12,182 by trust here, #963 by citations
• Software — 35 citations into it; #619 of 1,227 by trust here, #98 by citations
• Computer Networks and Communications — 17 citations into it
• Hardware and Architecture — 17 citations into it
• Information Systems — 15 citations into it; #6,345 of 8,771 by trust here, #3,540 by citations
• Code Generation & Program Synthesis — 12 citations into it
• Natural Language Processing — 11 citations into it; #5,582 of 5,688 by trust here, #2,808 by citations

Whom Rajeev Alur trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. André Platzer
2. Thomas Ball
3. Sumit Gulwani
4. Antoine Girard
5. Alberto L. Sangiovanni-Vincentelli
6. Armando Solar-Lezama
7. Dana Angluin
8. Sriram K. Rajamani
9. Rastislav Bodík
10. Hao Chen

Who trusts Rajeev Alur overall

1. Edward A. Lee
2. George Pappas
3. Antoine Girard
4. Betty H. C. Cheng
5. Paulo Tabuada
6. Swarat Chaudhuri
7. Georgios Fainekos
8. Hadas Kress-Gazit
9. Sanjit A. Seshia
10. Oleksandr Polozov

Papers from Rajeev Alur's perspective

Ordered by how strongly the researchers Rajeev Alur trusts endorse each paper. Same corpus, a different order for every researcher.

1. Adam: A Method for Stochastic Optimization (International Conference on Learning Representations)
2. Deep Residual Learning for Image Recognition (Computer Vision and Pattern Recognition)
3. Gradient-based learning applied to document recognition
4. ImageNet classification with deep convolutional neural networks
5. Attention is All you Need (Neural Information Processing Systems)
6. The SLAM project: debugging system software via static analysis
7. Long Short-Term Memory
8. Et al
9. Sequence to Sequence Learning with Neural Networks (Neural Information Processing Systems)
10. ImageNet: A large-scale hierarchical image database

Their papers

• Syntax-guided synthesis (2013) — 909 citations
• Accelerating search-based program synthesis using learned probabilistic models (2018) — 126 citations
• Discrete abstractions of hybrid systems (2000) — 903 citations
• Synthesis of interface specifications for Java classes (2005) — 352 citations
• Optimal Paths in Weighted Timed Automata (2001) — 357 citations
• Formal verification of hybrid systems (2011) — 259 citations
• A Temporal Logic of Nested Calls and Returns (2004) — 3,365 citations
• Inference of message sequence charts (2000) — 342 citations
• Principles of Cyber-Physical Systems (2015) — 429 citations
• Adding nesting structure to words (2006) — 405 citations
• Visibly pushdown languages (2004) — 608 citations