Felice Balarin
Felice Balarin publishes mostly in Hardware and Architecture, Computational Theory and Mathematics and Electrical and Electronic Engineering, on topics such as Formal Methods in Verification, Embedded Systems Design Techniques and Real-Time Systems Scheduling.
- World rank
- #218,133 of 1,633,909 ranked researchers
- Rank in United States
- #87,097 of 358,040
- Works
- 24
- Citations
- 149
- Citations per work
- 6.2
What does Felice Balarin research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Hardware and Architecture40% of their works
- 2Computational Theory and Mathematics23% of their works
- 3Electrical and Electronic Engineering13% of their works
- 4Artificial Intelligence10% of their works
- 5Software10% of their works
- 6Computer Networks and Communications3% of their works
Research topics
Which keywords describe Felice Balarin's research?
The keywords of their largest research topics: Embedded Systems, Model Checking, Temporal Logic, High-Level Synthesis, Reconfigurable Computing, Satisfiability Modulo Theories, Symbolic Model Checker and Hard Real-Time Systems.
- Modal Logic
- Answer Set Programming
- Static Analysis
- Low-Power
- Automated Testing
- Hard Real-Time Systems
- Satisfiability Modulo Theories
- High-Level Synthesis
- Model Checking
- Embedded Systems
- Temporal Logic
- Reconfigurable Computing
- Symbolic Model Checker
- Scheduling Algorithms
- Formal Verification
- Software Fault Localization
- VLSI Circuits
- Deadlock Prevention
- Petri Nets
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 19 words, with their numbers
- Embedded Systems112 topics
- Model Checking93 topics
- Temporal Logic72 topics
- High-Level Synthesis61 topic
- Reconfigurable Computing61 topic
- Satisfiability Modulo Theories61 topic
- Symbolic Model Checker61 topic
- Hard Real-Time Systems51 topic
- Scheduling Algorithms51 topic
- Automated Testing21 topic
- Formal Verification21 topic
- Low-Power21 topic
- Software Fault Localization21 topic
- Static Analysis21 topic
- VLSI Circuits21 topic
- Answer Set Programming11 topic
- Deadlock Prevention11 topic
- Modal Logic11 topic
- Petri Nets11 topic
Where does Felice Balarin work?
Felice Balarin's main affiliation in the publication record is Cadence Design Systems (United States), United States.
How many publications and citations does Felice Balarin have?
Science Explorer counts 24 works and 149 citations for Felice Balarin, ranking #218,133 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.