Sami Évangelista
Sami Évangelista publishes mostly in Computational Theory and Mathematics, Computer Networks and Communications and Software, on topics such as Formal Methods in Verification, Petri Nets in System Modeling and Distributed systems and fault tolerance.
- World rank
- #4,013,331 of 7,710,434 ranked researchers
- Rank in France
- #168,963 of 324,115
- Works
- 54
- Citations
- 501
- Citations per work
- 9.3
What does Sami Évangelista research?
Sami Évangelista's work is mostly in Computer Science (84%), Business, Management and Accounting (4%).
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
- Physical Sciences4584.2%
- Computer Science4584.2%
- Everything else612.0%
- Social Sciences23.8%
- 1Computational Theory and Mathematics37% of their works
- 2Computer Networks and Communications18% of their works
- 3Software13% of their works
- 4Artificial Intelligence10% of their works
- 5Hardware and Architecture7% of their works
- 6Management Information Systems4% of their works
Research topics
- Formal Methods in Verification
- Petri Nets in System Modeling
- Distributed systems and fault tolerance
- Model-Driven Software Engineering Techniques
- Software Testing and Debugging Techniques
- Business Process Modeling and Analysis
- Logic, programming, and type systems
- Parallel Computing and Optimization Techniques
Which keywords describe Sami Évangelista's research?
The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Deadlock Prevention, Petri Nets, Distributed Systems, Fault Tolerance and Domain-Specific Languages.
- Performance Optimization
- Formal Verification
- Business Process Management
- Automated Testing
- Domain-Specific Languages
- Distributed Systems
- Deadlock Prevention
- Satisfiability Modulo Theories
- Model Checking
- Symbolic Model Checker
- Petri Nets
- Fault Tolerance
- Model-Driven Engineering
- Software Fault Localization
- Workflow Mining
- Parallel Computing
- Static Analysis
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 17 words, with their numbers
- Model Checking382 topics
- Satisfiability Modulo Theories331 topic
- Symbolic Model Checker331 topic
- Deadlock Prevention231 topic
- Petri Nets231 topic
- Distributed Systems191 topic
- Fault Tolerance191 topic
- Domain-Specific Languages101 topic
- Model-Driven Engineering101 topic
- Automated Testing91 topic
- Software Fault Localization91 topic
- Business Process Management61 topic
- Workflow Mining61 topic
- Formal Verification51 topic
- Parallel Computing51 topic
- Performance Optimization51 topic
- Static Analysis51 topic
Where does Sami Évangelista work?
Sami Évangelista's main affiliation in the publication record is Centre d'études et de recherche en informatique et communications, France.
How many publications and citations does Sami Évangelista have?
OpenAlex counts 54 works and 501 citations for Sami Évangelista, an h-index of 11, ranking #4,013,331 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 Sami Évangelista. Posts are plain text and can be reported.