A. Fedeli
A. Fedeli publishes mostly in Hardware and Architecture, Computational Theory and Mathematics and Software, on topics such as Formal Methods in Verification, Embedded Systems Design Techniques and VLSI and Analog Circuit Testing.
- World rank
- #3,656,554 of 7,710,434 ranked researchers
- Rank in Italy
- #123,943 of 242,206
- Works
- 23
- Citations
- 338
- Citations per work
- 14.7
What does A. Fedeli research?
A. Fedeli's work is mostly in Computer Science (76%), Engineering (10%).
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 Sciences2085.7%
- Computer Science1876.1%
- Engineering29.6%
- Everything else314.3%
- 1Hardware and Architecture33% of their works
- 2Computational Theory and Mathematics27% of their works
- 3Software10% of their works
- 4Computer Networks and Communications6% of their works
- 5Electrical and Electronic Engineering5% of their works
- 6Control and Systems Engineering5% of their works
Research topics
Which keywords describe A. Fedeli's research?
The keywords of their largest research topics: Model Checking, Symbolic Model Checker, Embedded Systems, Embedded Cores, High-Level Synthesis, Reconfigurable Computing, Test Data Compression and Automated Testing.
- Deadlock Prevention
- Continuous Queries
- Scheduling Algorithms
- Hard Real-Time Systems
- Automated Testing
- Reconfigurable Computing
- Embedded Cores
- Symbolic Model Checker
- Model Checking
- Embedded Systems
- High-Level Synthesis
- Test Data Compression
- Software Fault Localization
- Radiation Effects
- Soft Errors
- Data Stream Management
- 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. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.
All 17 words, with their numbers
- Model Checking151 topic
- Symbolic Model Checker151 topic
- Embedded Systems122 topics
- Embedded Cores91 topic
- High-Level Synthesis91 topic
- Reconfigurable Computing91 topic
- Test Data Compression91 topic
- Automated Testing41 topic
- Software Fault Localization41 topic
- Hard Real-Time Systems31 topic
- Radiation Effects31 topic
- Scheduling Algorithms31 topic
- Soft Errors31 topic
- Continuous Queries21 topic
- Data Stream Management21 topic
- Deadlock Prevention21 topic
- Petri Nets21 topic
Where does A. Fedeli work?
A. Fedeli's main affiliation in the publication record is STMicroelectronics (Italy), Italy.
How many publications and citations does A. Fedeli have?
OpenAlex counts 23 works and 338 citations for A. Fedeli, an h-index of 10, ranking #3,656,554 of 7,710,434 researchers worldwide on the quality score.
Ranked on field-normalised citation 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.
Other researchers named A. Fedeli
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 A. Fedeli. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.