2026 Sergio Yovine: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	37	10467	10172	1	1	80	12237

Discipline name

D-Index

World Ranking

Current World Ranking

National Ranking

Current National Ranking

Publications

Citations

Computer Science

10467

10172

12237

Overview

Sergio Yovine is affiliated with Universidad Ort Uruguay in Uruguay and focuses on research within the field of Computer Science, specifically emphasizing areas such as Artificial Intelligence and Software. Their work includes contributions across multiple subfields, including Electrical and Electronic Engineering.

Their research topics cover:

Machine Learning and Algorithms
Adversarial Robustness in Machine Learning
Software Testing and Debugging Techniques
Ferroelectric and Negative Capacitance Devices
Privacy-Preserving Technologies in Data
Internet Traffic Analysis and Secure E-voting
Cryptography and Data Security

Notable recent papers authored or coauthored by Sergio Yovine include:

"An Assessment of the Application of Private Aggregation of Ensemble Models to Sensible Data," 2021, published in Machine Learning and Knowledge Extraction
"Property Checking with Interpretable Error Characterization for Recurrent Neural Networks," 2021, published in Machine Learning and Knowledge Extraction (coauthored with Franz Mayr)
"Towards Efficient Active Learning of PDFA," 2022, published on arXiv (Cornell University) (coauthored with Franz Mayr)

They frequently collaborate with coauthors such as Franz Mayr, Ramiro Visca, Sebastiàn Sosa, Federico Pan, and Nicolas Basset.

Sergio Yovine's research has appeared primarily in venues such as Machine Learning and Knowledge Extraction and arXiv (Cornell University).

Best Publications

The algorithmic analysis of hybrid systems

Rajeev Alur;Costas Courcoubetis;Nicolas Halbwachs;Thomas A. Henzinger

2742
Citations
Symbolic model checking for real-time systems

Thomas A. Henzinger;Xavier Nicollin;Joseph Sifakis;Sergio Yovine

2191
Citations
KRONOS: a verification tool for real-time systems

Sergio Yovine

1005
Citations
The tool KRONOS

C. Daws;A. Olivero;S. Tripakis;S. Yovine

695
Citations
Kronos : A model-checking tool for real-time systems

M. Bozga;C. Daws;O. Maler;A. Olivero

495
Citations
From ATP to timed graphs and hybrid systems

Xavier Nicollin;Joseph Sifakis;Sergio Yovine

325
Citations
Symbolic Reachability Computation for Families of Linear Vector Fields

Gerardo Lafferriere;George J. Pappas;Sergio Yovine

300
Citations
A New Class of Decidable Hybrid Systems

Gerardo Lafferriere;George J. Pappas;Sergio Yovine

296
Citations
An Approach to the Description and Analysis of Hybrid Systems

Xavier Nicollin;Alfredo Olivero;Joseph Sifakis;Sergio Yovine

289
Citations
Model Checking Timed Automata

Sergio Yovine

266
Citations
Analysis of Timed Systems Using Time-Abstracting Bisimulations

Stavros Tripakis;Sergio Yovine

242
Citations
Two examples of verification of multirate timed automata with Kronos

C. Daws;S. Yovine

227
Citations
Reducing the number of clock variables of timed automata

C. Daws;S. Yovine

221
Citations
Compiling real-time specifications into extended automata

X. Nicollin;J. Sifakis;S. Yovine

219
Citations
Verifying ET-LOTOS programmes with KRONOS.

Conrado Daws;Alfredo Olivero;Sergio Yovine

213
Citations
Integration Graphs: A Class of Decidable Hybrid Systems

Yonit Kesten;Amir Pnueli;Joseph Sifakis;Sergio Yovine

209
Citations
A framework for scheduler synthesis

K. Altisen;G. Gossler;A. Pnueli;J. Sifakis

166
Citations
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Unknown

145
Citations
Some Progress in the Symbolic Verification of Timed Automata

Marius Bozga;Oded Maler;Amir Pnueli;Sergio Yovine

143
Citations
Compositional Specification of Timed Systems (Extended Abstract)

Joseph Sifakis;Sergio Yovine

137
Citations
On-the-fly symbolic model checking for real-time systems

A. Bouajjani;S. Tripakis;S. Yovine

133
Citations

Frequent Co-Authors

Joseph Sifakis Verimag

Stavros Tripakis Northeastern University

Marius Bozga Grenoble Alpes University

Oded Maler Grenoble Alpes University

Amir Pnueli Weizmann Institute of Science

Eugene Asarin Université Paris Cité

Thomas A. Henzinger Institute of Science and Technology Austria

George J. Pappas University of Pennsylvania

Rajeev Alur University of Pennsylvania

Costas Courcoubetis Chinese University of Hong Kong, Shenzhen

External Links

Personal website of Sergio Yovine

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

As you consider a future in Computer Science, there are several related degree and career options to explore. For those interested in flexible learning, a computer science degree online can be a fast and convenient route to this dynamic field. Online programs allow you to balance studies with other commitments and can often be completed in less time than traditional degrees.

If your interests blend technology with environmental concerns, pursuing an environmental engineering degree online can open doors to careers focused on sustainable solutions and environmental protection. Additionally, for those looking at affordable routes in engineering, exploring the cheapest online mechanical engineering degree programs can help minimize tuition costs while preparing you for a robust engineering career.

Diverse combinations, such as jobs with elementary education and environmental science degree, reflect the broad possibilities across STEM and education. By surveying these options, you can find the perfect online program tailored to your passions and career goals.