Roberto Segala
Roberto Segala publishes mostly in Computational Theory and Mathematics, Computer Networks and Communications and Artificial Intelligence, on topics such as Formal Methods in Verification, Petri Nets in System Modeling and Real-Time Systems Scheduling.
- World rank
- #173,762 of 1,633,909 ranked researchers
- Rank in Italy
- #5,120 of 65,712
- Works
- 30
- Citations
- 183
- Citations per work
- 6.1
What does Roberto Segala research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computational Theory and Mathematics32% of their works
- 2Computer Networks and Communications22% of their works
- 3Artificial Intelligence18% of their works
- 4Hardware and Architecture12% of their works
- 5General Health Professions5% of their works
- 6Information Systems2% of their works
Research topics
Which keywords describe Roberto Segala's research?
The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Cryptanalysis, Deadlock Prevention, Hard Real-Time Systems, Petri Nets and Scheduling Algorithms.
- Static Analysis
- Homomorphic Encryption
- Formal Verification
- Key Exchange
- Distributed Systems
- Scheduling Algorithms
- Hard Real-Time Systems
- Cryptanalysis
- Satisfiability Modulo Theories
- Model Checking
- Symbolic Model Checker
- Deadlock Prevention
- Petri Nets
- Authentication
- Fault Tolerance
- Block Ciphers
- Hash Functions
- Identity-Based Encryption
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
- Model Checking102 topics
- Satisfiability Modulo Theories81 topic
- Symbolic Model Checker81 topic
- Cryptanalysis52 topics
- Deadlock Prevention41 topic
- Hard Real-Time Systems41 topic
- Petri Nets41 topic
- Scheduling Algorithms41 topic
- Authentication31 topic
- Distributed Systems31 topic
- Fault Tolerance31 topic
- Key Exchange31 topic
- Block Ciphers21 topic
- Formal Verification21 topic
- Hash Functions21 topic
- Homomorphic Encryption21 topic
- Identity-Based Encryption21 topic
- Static Analysis21 topic
Where does Roberto Segala work?
Roberto Segala's main affiliation in the publication record is University of Verona, Italy.
How many publications and citations does Roberto Segala have?
Science Explorer counts 30 works and 183 citations for Roberto Segala, ranking #173,762 of 1,633,909 researchers worldwide on the composite 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 are in the interactive view on the map. Is this your page? Request a correction or removal.