a person in the record
Sergio Yovine
Ph.D. Institut National Polytechnique de Grenoble 1993
Supervised 1 doctoral student at Université Joseph-Fourier - Grenoble I; doctorate at Institut National Polytechnique de Grenoble - INPG in 1993 under Joseph Sifakis; Wikidata names Iosif Sifakis as doctoral advisor. Linked to Wikidata, Mathematics Genealogy Project, and 2 other registers.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Advisors1
The thesis record names Joseph Sifakis; Wikidata names Iosif Sifakis.
- cited by a thesis record
Joseph Sifakis“Méthodes et outils pour la vérification symbolique de systèmes temporisés”
1993 · Institut National Polytechnique de Grenoble - INPG · doctoral
Students1
- cited by a thesis record
Guillaume Salagnac“Synthèse de gestionnaires mémoire pour applications Java temps-réel embarquées”
2008 · Université Joseph-Fourier - Grenoble I · doctoral
Advisors on Wikidata1
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
The line above and below4 steps
The advisors of their advisors, four steps up at most, in the thesis records and on Wikidata, each kind marked; a person in both is listed once.
- 1 step up
stated by WikidataIosif Sifakiscited by a thesis recordJoseph Sifakis
- 2 steps up
cited by a thesis recordBolliet Louiscited by a thesis recordstated by WikidataJean Kuntzmannstated by WikidataLouis Bolliet
- 3 steps up
stated by WikidataGeorges Valironcited by a thesis recordJulia
- 4 steps up
stated by WikidataÉmile Borel
Below them, within 3 steps, the record reaches 2 people: 2 cited by thesis records.
Theses1
- cited by a thesis record
Méthodes et outils pour la vérification symbolique de systèmes temporisés
1993 · Institut National Polytechnique de Grenoble - INPG · doctoral · in French · the thesis's own page ›
Education and career1
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- undated
Works1
1993 · held from 1 repository · a work missing?
- cited by HAL/TEL OAI's record
Méthodes et outils pour la vérification symbolique de systèmes temporisés
1993 · doctoral thesis · HAL/TEL OAI
Sat beside the lineage4
jury member or referee, not advisor
- cited by a thesis record
Bernardo Jacobo Inclán“Information per time unit in timed automata”
jury member · 2025 · Université Paris Cité · doctoral - cited by a thesis recordjury member · 2023 · Université de Rennes · doctoral
- cited by a thesis recordreferee · 2009 · Université Henri Poincaré - Nancy 1 · doctoral
- cited by a thesis recordreferee · 2002 · École normale supérieure de Cachan - ENS Cachan · doctoral