Nikos Aréchiga

957 total citations
32 papers, 343 citations indexed

About

Nikos Aréchiga is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Software. According to data from OpenAlex, Nikos Aréchiga has authored 32 papers receiving a total of 343 indexed citations (citations by other indexed papers that have themselves been cited), including 17 papers in Computational Theory and Mathematics, 14 papers in Artificial Intelligence and 13 papers in Software. Recurrent topics in Nikos Aréchiga's work include Formal Methods in Verification (15 papers), Software Testing and Debugging Techniques (8 papers) and Autonomous Vehicle Technology and Safety (7 papers). Nikos Aréchiga is often cited by papers focused on Formal Methods in Verification (15 papers), Software Testing and Debugging Techniques (8 papers) and Autonomous Vehicle Technology and Safety (7 papers). Nikos Aréchiga collaborates with scholars based in United States, Switzerland and Spain. Nikos Aréchiga's co-authors include Jyotirmoy V. Deshmukh, James Kapinski, Sriram Sankaranarayanan, Marco Pavone, André Platzer, Sarah M. Loos, Bruce H. Krogh, Stefan Mitsch, Jan-David Quesel and Andrew Best and has published in prestigious journals such as The International Journal of Robotics Research, Journal of Mechanical Design and IEEE Robotics and Automation Letters.

In The Last Decade

Nikos Aréchiga

32 papers receiving 327 citations

Peers

Countries citing papers authored by Nikos Aréchiga

Since Specialization

Citations

This map shows the geographic impact of Nikos Aréchiga'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 Nikos Aréchiga with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Nikos Aréchiga more than expected).

Fields of papers citing papers by Nikos Aréchiga

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Nikos Aréchiga. 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 Nikos Aréchiga. The network helps show where Nikos Aréchiga may publish in the future.

Co-authorship network of co-authors of Nikos Aréchiga

This figure shows the co-authorship network connecting the top 25 collaborators of Nikos Aréchiga. A scholar is included among the top collaborators of Nikos Aréchiga 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 Nikos Aréchiga. Nikos Aréchiga is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

#	Work	Indexed citations
1	Parametric-ControlNet: Multimodal Control in Foundation Models for Precise Engineering Design Synthesis 2025 ·Journal of Mechanical Design ·Rui Zhou, Yanxia Zhang, (unknown), Frank Permenter, Nikos Aréchiga, (unknown), (unknown)	1
2	Bridging Design Gaps: A Parametric Data Completion Approach With Graph-Guided Diffusion Models 2024 ·Rui Zhou, (unknown), Frank Permenter, Yanxia Zhang, Nikos Aréchiga, (unknown), (unknown)	1
3	A Safe Preference Learning Approach for Personalization With Applications to Autonomous Vehicles 2024 ·IEEE Robotics and Automation Letters ·(unknown), Nikos Aréchiga, Andrew Best, Jonathan DeCastro, Necmiye Özay	5
4	Training Towards Critical Use: Learning to Situate AI Predictions Relative to Human Knowledge 2023 ·(unknown), (unknown), (unknown), (unknown), Matthew L. Lee, (unknown), Nikos Aréchiga, Haiyi Zhu, Kenneth Holstein	7
5	Surrogate Modeling of Car Drag Coefficient With Depth and Normal Renderings 2023 ·Binyang Song, Chenyang Yuan, Frank Permenter, Nikos Aréchiga, Faez Ahmed	6
6	Robust Testing for Cyber-Physical Systems using Reinforcement Learning 2023 ·Xin Qin, Nikos Aréchiga, Jyotirmoy V. Deshmukh, Andrew Best	1
7	Backpropagation through signal temporal logic specifications: Infusing logical structure into gradient-based methods 2022 ·The International Journal of Robotics Research ·(unknown), Nikos Aréchiga, Marco Pavone	17
8	Outlier-robust Inverse Reinforcement Learning and Reward-based Detection of Anomalous Driving Behaviors 2022 ·2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC) ·Dan Li, (unknown), Zexiang Liu, Nikos Aréchiga, Jonathan DeCastro, Necmiye Özay	2
9	Heteroskedastic and Imbalanced Deep Learning with Adaptive Regularization 2021 ·International Conference on Learning Representations ·Kaidi Cao, Yining Chen, Junwei Lu, Nikos Aréchiga, Adrien Gaidon, Tengyu Ma	2
10	Automatic Testing and Falsification with Dynamically Constrained Reinforcement Learning 2019 ·arXiv (Cornell University) ·Xin Qin, Nikos Aréchiga, Andrew Best, Jyotirmoy V. Deshmukh	8
11	Specifying Safety of Autonomous Vehicles in Signal Temporal Logic 2019 ·Nikos Aréchiga	36
12	ADAS Virtual Prototyping using Modelica and Unity Co-simulation via OpenMETA 2016 ·Linköping electronic conference proceedings ·(unknown), Nikos Aréchiga, Shinichi Shiraishi, (unknown), (unknown), Sandeep Neema, (unknown), (unknown)	10
13	ADAS Virtual Prototyping with the OpenMETA Toolchain 2016 ·SAE International journal of passenger cars. Electronic and electrical systems ·(unknown), (unknown), Nikos Aréchiga, Shinichi Shiraishi, (unknown), (unknown), Sandeep Neema, (unknown)	2
14	Efficient statistical validation of machine learning systems for autonomous driving 2016 ·Weijing Shi, Mohamed Baker Alawieh, Xin Li, Huafeng Yu, Nikos Aréchiga, (unknown)	12
15	Forward invariant cuts to simplify proofs of safety 2015 ·Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh	4
16	How to model and prove hybrid systems with KeYmaera: a tutorial on safety 2015 ·International Journal on Software Tools for Technology Transfer ·Jan-David Quesel, Stefan Mitsch, Sarah M. Loos, Nikos Aréchiga, André Platzer	36
17	Using verified control envelopes for safe controller design 2014 ·Nikos Aréchiga, Bruce H. Krogh	10
18	Using theorem provers to guarantee closed-loop system properties 2012 ·Nikos Aréchiga, Sarah M. Loos, André Platzer, Bruce H. Krogh	11
19	Indoor robot gardening: design and implementation 2010 ·Intelligent Service Robotics ·Nikolaus Correll, Nikos Aréchiga, (unknown), (unknown), (unknown), Adam Clayton, (unknown), (unknown), (unknown), Luke B. Johnson, Huan Liu, (unknown), (unknown), Jeremy S. Smith, (unknown), (unknown), (unknown), Daniela Rus	20
20	Building a distributed robot garden 2009 ·Nikolaus Correll, Nikos Aréchiga, (unknown), (unknown), (unknown), Adam Clayton, (unknown), (unknown), (unknown), Luke B. Johnson, Huan Liu, (unknown), (unknown), Jeremy S. Smith, (unknown), (unknown), (unknown), Daniela Rus	37

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