Science Explorer Back to mapMap
Discussion
Researcher · Verimag · France

Joseph Sifakis

Joseph Sifakis publishes mostly in Computational Theory and Mathematics, Hardware and Architecture and Artificial Intelligence, on topics such as Formal Methods in Verification, Embedded Systems Design Techniques and Real-Time Systems Scheduling.

ORCID 0000-0003-2447-7981 OpenAlex
World rank
#120,475
of 7,710,434 ranked researchers
Rank in France
#9,165
of 324,115
Works
316
Citations
15k
Citations per work
47.2
h-index
58
i10-index 155Top 0.5% in Computational Theory and Mathematics
Joseph Sifakis

What does Joseph Sifakis research?

Joseph Sifakis's work is mostly in Computer Science (81%), Engineering (2%).

Physical Sciences: 264 works · 83.4% of their workComputer Science: 256 works · 80.9% of their workComputational Theory and Mathematics: 82 works · 26.0% of their workHardware and Architecture: 82 works · 25.8% of their workArtificial Intelligence: 44 works · 13.9% of their workComputer Networks and Communications: 24 works · 7.6% of their workSoftware: 24 works · 7.6% of their workEngineering: 8 works · 2.5% of their workControl and Systems Engineering: 8 works · 2.5% of their workEverything else: 52 works · 16.6% of their workTHEIR WORKJoseph Sifakis316works
Physical Sciences83%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science25680.9%
    2. Engineering82.5%
  2. Everything else5216.6%
  1. 1Computational Theory and Mathematics26% of their works
  2. 2Hardware and Architecture26% of their works
  3. 3Artificial Intelligence14% of their works
  4. 4Software8% of their works
  5. 5Computer Networks and Communications8% of their works
  6. 6Control and Systems Engineering2% of their works

Research topics

Which keywords describe Joseph Sifakis's research?

The keywords of their largest research topics: Model Checking, Embedded Systems, Satisfiability Modulo Theories, Symbolic Model Checker, High-Level Synthesis, Reconfigurable Computing, Hard Real-Time Systems and Scheduling Algorithms.

Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.

All 18 words, with their numbers
  1. Model Checking1962 topics
  2. Embedded Systems1952 topics
  3. Satisfiability Modulo Theories1561 topic
  4. Symbolic Model Checker1561 topic
  5. High-Level Synthesis1011 topic
  6. Reconfigurable Computing1011 topic
  7. Hard Real-Time Systems941 topic
  8. Scheduling Algorithms941 topic
  9. Deadlock Prevention591 topic
  10. Petri Nets591 topic
  11. Autonomic Computing501 topic
  12. Self-Adaptive Systems501 topic
  13. Domain-Specific Languages421 topic
  14. Model-Driven Engineering421 topic
  15. Formal Verification401 topic
  16. Static Analysis401 topic
  17. Distributed Systems351 topic
  18. Fault Tolerance351 topic

Where does Joseph Sifakis work?

Joseph Sifakis's main affiliation in the publication record is Verimag, France.

How many publications and citations does Joseph Sifakis have?

OpenAlex counts 316 works and 14,906 citations for Joseph Sifakis, an h-index of 58, ranking #120,475 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.

Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Joseph Sifakis. Posts are plain text and can be reported.