Alberto L. Sangiovanni-Vincentelli
Artificial Intelligence · 1993–2020
A researcher in the Science corpus: 15 papers; trusts 297 researchers and is trusted by 17 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 199 citations into it
- Computer Vision and Pattern Recognition — 195 citations into it
- Hardware and Architecture — 33 citations into it; #194 of 1,551 by trust here, #281 by citations
- Software — 26 citations into it
- Computational Theory and Mathematics — 24 citations into it
- Generative Models — 22 citations into it
- Computer Networks and Communications — 12 citations into it; #3,778 of 9,886 by trust here, #3,523 by citations
- Electrical and Electronic Engineering — 9 citations into it
Whom Alberto L. Sangiovanni-Vincentelli trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Thomas A. Henzinger
- Edward A. Lee
- Kaiming He
- Iroon Polytechniou
- Luca de Alfaro
- Frank Ghenassia
- Diederik P. Kingma
- Geoffrey E. Hinton
- Alex Krizhevsky
- Karen Simonyan
Who trusts Alberto L. Sangiovanni-Vincentelli overall
- Rajeev Alur
- Albert Benveniste
- Jürgen Teich
- Benoît Caillaud
- Dejan Nickovic
- Roberto Passerone
- Andy D. Pimentel
- Sanjit A. Seshia
Papers from Alberto L. Sangiovanni-Vincentelli's perspective
Ordered by how strongly the researchers Alberto L. Sangiovanni-Vincentelli trusts endorse each paper. Same corpus, a different order for every researcher.
- Deep Residual Learning for Image Recognition (Computer Vision and Pattern Recognition)
- ImageNet classification with deep convolutional neural networks
- Adam: A Method for Stochastic Optimization (International Conference on Learning Representations)
- Gradient-based learning applied to document recognition
- ImageNet: A large-scale hierarchical image database
- Very Deep Convolutional Networks for Large-Scale Image Recognition (International Conference on Learning Representations)
- Long Short-Term Memory
- Attention is All you Need (Neural Information Processing Systems)
- ImageNet Large Scale Visual Recognition Challenge
- GENERATIVE ADVERSARIAL NETS
Their papers
- Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems (2012) — 349 citations
- Theory of latency-insensitive design (2001) — 447 citations
- Modeling Cyber–Physical Systems (2012) — 775 citations
- Model predictive control with signal temporal logic specifications (2014) — 295 citations
- A Review of Single-Source Deep Unsupervised Visual Domain Adaptation (2020) — 338 citations
- Domain Randomization and Pyramid Consistency: Simulation-to-Real Generalization Without Accessing Target Domain Data (2019) — 472 citations
- Contracts for System Design (2018) — 298 citations
- Counterexample-Guided Data Augmentation (2018) — 68 citations
- Scenic: a language for scenario specification and scene generation (2018) — 325 citations
- Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design (2007) — 392 citations
- Metropolis: An Integrated Electronic System Design Environment (2003) — 594 citations
- Design of Observers for Hybrid Systems (2002) — 332 citations
- Platform-Based Design and Software Design Methodology for Embedded Systems (2001) — 466 citations
- Addressing the system-on-a-chip interconnect woes through communication-based design (2001) — 403 citations
- ESPRESSO-SIGNATURE: A New Exact Minimizer for Logic Functions (1993)