Joseph Sifakis (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Joseph Sifakis" in English language version.

refsWebsite

Global rank English rank

5doi.org

2^nd place

3worldcat.org

5^th place

2archives-ouvertes.fr

1,031^st place

879^th place

1artist-embedded.org

low place

1usinenouvelle.com

4,154^th place

low place

1epfl.ch

4,521^st place

4,877^th place

1twitter.com

23^rd place

32^nd place

1nih.gov

4^th place

1handle.net

102^nd place

76^th place

1springer.com

274^th place

309^th place

1ieee.org

652^nd place

515^th place

1semanticscholar.org

11^th place

8^th place

1acm.org

1,185^th place

840^th place

1sefi.be

low place

1academie-sciences.fr

7,547^th place

low place

1ae-info.org

low place

1academie-technologies-prod.s3.amazonaws.com

low place

1amacad.org

3,464^th place

2,377^th place

1nae.edu

low place

7,932^nd place

1thepaper.cn

1,497^th place

4,253^rd place

academie-sciences.fr

"Joseph Sifakis | Liste des membres de l'Académie des sciences / S | Listes par ordre alphabétique | Listes des membres | Membres | Nous connaître". academie-sciences.fr. Retrieved 3 September 2022.

academie-technologies-prod.s3.amazonaws.com

https://academie-technologies-prod.s3.amazonaws.com/2020/06/24/06/46/20/8f0cbef7-2ba0-4ed4-be6f-cc9467251a42/LISTE%20MEMBRES%20AVEC%20COLLEGES%202020%20MAJ230620.pdf ^{[bare URL PDF]}

acm.org

awards.acm.org

"Joseph Sifakis". awards.acm.org. Retrieved 4 October 2021.

ae-info.org

"Academy of Europe: Sifakis Joseph". ae-info.org. Retrieved 3 September 2022.

amacad.org

"Member Directory | American Academy of Arts and Sciences". amacad.org. Retrieved 3 September 2022.

archives-ouvertes.fr

tel.archives-ouvertes.fr

Sifakis, Joseph (22 March 1974). Modèles temporels des systèmes logiques (phdthesis thesis) (in French). Université Joseph-Fourier – Grenoble I.
Sifakis, Joseph (25 June 1979). Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique (phdthesis thesis) (in French). Institut National Polytechnique de Grenoble – INPG; Université Joseph-Fourier – Grenoble I.

artist-embedded.org

"ArtistDesign NoE – Strategic Management Board – Artist2 NoE". artist-embedded.org. Retrieved 28 September 2021.

doi.org

Marniemi, J.; Parkki, M. G. (1 September 1975). "Radiochemical assay of glutathione S-epoxide transferase and its enhancement by phenobarbital in rat liver in vivo". Biochemical Pharmacology. 24 (17): 1569–1572. doi:10.1016/0006-2952(75)90080-5. ISSN 0006-2952. PMID 9.
Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P. -H.; Nicollin, X.; Olivero, A.; Sifakis, J.; Yovine, S. (6 February 1995). "The algorithmic analysis of hybrid systems". Theoretical Computer Science. 138 (1): 3–34. doi:10.1016/0304-3975(94)00202-T. ISSN 0304-3975.
Henzinger, T. A.; Nicollin, X.; Sifakis, J.; Yovine, S. (1 June 1994). "Symbolic Model Checking for Real-Time Systems". Information and Computation. 111 (2): 193–244. doi:10.1006/inco.1994.1045. hdl:1813/6182. ISSN 0890-5401.
Maler, Oded; Pnueli, Amir; Sifakis, Joseph (1995). "On the synthesis of discrete controllers for timed systems: An extended abstract". In Mayr, Ernst W.; Puech, Claude (eds.). Stacs 95. Lecture Notes in Computer Science. Vol. 900. Berlin, Heidelberg: Springer. pp. 229–242. doi:10.1007/3-540-59042-0_76. ISBN 978-3-540-49175-0.
Basu, A.; Bozga, M.; Sifakis, J. (September 2006). "Modeling Heterogeneous Real-time Components in BIP". Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06). pp. 3–12. doi:10.1109/SEFM.2006.27. ISBN 0-7695-2678-0. S2CID 1926067.

epfl.ch

actu.epfl.ch

Evangelista, Sandy (30 September 2011). "News at EPFL".

handle.net

hdl.handle.net

Henzinger, T. A.; Nicollin, X.; Sifakis, J.; Yovine, S. (1 June 1994). "Symbolic Model Checking for Real-Time Systems". Information and Computation. 111 (2): 193–244. doi:10.1006/inco.1994.1045. hdl:1813/6182. ISSN 0890-5401.

ieee.org

ieeexplore.ieee.org

Basu, A.; Bozga, M.; Sifakis, J. (September 2006). "Modeling Heterogeneous Real-time Components in BIP". Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06). pp. 3–12. doi:10.1109/SEFM.2006.27. ISBN 0-7695-2678-0. S2CID 1926067.

nae.edu

"Professor Joseph Sifakis". NAE Website. Retrieved 3 September 2022.

nih.gov

pubmed.ncbi.nlm.nih.gov

Marniemi, J.; Parkki, M. G. (1 September 1975). "Radiochemical assay of glutathione S-epoxide transferase and its enhancement by phenobarbital in rat liver in vivo". Biochemical Pharmacology. 24 (17): 1569–1572. doi:10.1016/0006-2952(75)90080-5. ISSN 0006-2952. PMID 9.

sefi.be

"Awards – SEFI". Retrieved 4 October 2021.

semanticscholar.org

api.semanticscholar.org

Basu, A.; Bozga, M.; Sifakis, J. (September 2006). "Modeling Heterogeneous Real-time Components in BIP". Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06). pp. 3–12. doi:10.1109/SEFM.2006.27. ISBN 0-7695-2678-0. S2CID 1926067.

springer.com

link.springer.com

Maler, Oded; Pnueli, Amir; Sifakis, Joseph (1995). "On the synthesis of discrete controllers for timed systems: An extended abstract". In Mayr, Ernst W.; Puech, Claude (eds.). Stacs 95. Lecture Notes in Computer Science. Vol. 900. Berlin, Heidelberg: Springer. pp. 229–242. doi:10.1007/3-540-59042-0_76. ISBN 978-3-540-49175-0.

thepaper.cn

"2019年中科院院士增选结果揭晓，64人当选_科学湃_澎湃新闻-The Paper". thepaper.cn. Retrieved 3 September 2022.

twitter.com

"Welcome Sifakis @ SUCTech". Twitter. 30 January 2019. Retrieved 3 November 2023.

usinenouvelle.com

Nouvelle, L'Usine (18 September 2008). "Une chaire Inria-Schneider" (in French). {{cite journal}}: Cite journal requires |journal= (help)

worldcat.org

search.worldcat.org

Marniemi, J.; Parkki, M. G. (1 September 1975). "Radiochemical assay of glutathione S-epoxide transferase and its enhancement by phenobarbital in rat liver in vivo". Biochemical Pharmacology. 24 (17): 1569–1572. doi:10.1016/0006-2952(75)90080-5. ISSN 0006-2952. PMID 9.
Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P. -H.; Nicollin, X.; Olivero, A.; Sifakis, J.; Yovine, S. (6 February 1995). "The algorithmic analysis of hybrid systems". Theoretical Computer Science. 138 (1): 3–34. doi:10.1016/0304-3975(94)00202-T. ISSN 0304-3975.
Henzinger, T. A.; Nicollin, X.; Sifakis, J.; Yovine, S. (1 June 1994). "Symbolic Model Checking for Real-Time Systems". Information and Computation. 111 (2): 193–244. doi:10.1006/inco.1994.1045. hdl:1813/6182. ISSN 0890-5401.