Antônio Eduardo Carrilho da Cunha
Antônio Eduardo Carrilho da Cunha publishes mostly in Computational Theory and Mathematics, Industrial and Manufacturing Engineering and Computer Networks and Communications, on topics such as Petri Nets in System Modeling, Formal Methods in Verification and Flexible and Reconfigurable Manufacturing Systems.
- World rank
- #1,315,051 of 1,633,909 ranked researchers
- Rank in Brazil
- #29,987 of 38,702
- Works
- 19
- Citations
- 21
- Citations per work
- 1.1
What does Antônio Eduardo Carrilho da Cunha 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 Mathematics36% of their works
- 2Industrial and Manufacturing Engineering14% of their works
- 3Computer Networks and Communications11% of their works
- 4Education7% of their works
- 5Software7% of their works
- 6Hardware and Architecture7% of their works
Research topics
Which keywords describe Antônio Eduardo Carrilho da Cunha's research?
The keywords of their largest research topics: Deadlock Prevention, Petri Nets, Model Checking, Symbolic Model Checker, Flexible Automation, Reconfigurable Manufacturing Systems, Distributed Systems and Hard Real-Time Systems.
- Self-Adaptive Systems
- Network Virtualization
- Fault Tolerance
- Autonomic Computing
- Hard Real-Time Systems
- Reconfigurable Manufacturing Systems
- Symbolic Model Checker
- Petri Nets
- Deadlock Prevention
- Model Checking
- Flexible Automation
- Distributed Systems
- Scheduling Algorithms
- Consistency
- Log Analysis
- Performance Prediction
- Software-Defined Networking
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
- Deadlock Prevention61 topic
- Petri Nets61 topic
- Model Checking41 topic
- Symbolic Model Checker41 topic
- Flexible Automation31 topic
- Reconfigurable Manufacturing Systems31 topic
- Distributed Systems22 topics
- Hard Real-Time Systems21 topic
- Scheduling Algorithms21 topic
- Autonomic Computing11 topic
- Consistency11 topic
- Fault Tolerance11 topic
- Log Analysis11 topic
- Network Virtualization11 topic
- Performance Prediction11 topic
- Self-Adaptive Systems11 topic
- Software-Defined Networking11 topic
Where does Antônio Eduardo Carrilho da Cunha work?
Antônio Eduardo Carrilho da Cunha's main affiliation in the publication record is Military Institute of Engineering, Brazil.
How many publications and citations does Antônio Eduardo Carrilho da Cunha have?
Science Explorer counts 19 works and 21 citations for Antônio Eduardo Carrilho da Cunha, ranking #1,315,051 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.