Antonio Ramírez‐Treviño
Antonio Ramírez‐Treviño publishes mostly in Computational Theory and Mathematics, Hardware and Architecture and Computer Networks and Communications, on topics such as Petri Nets in System Modeling, Formal Methods in Verification and Real-Time Systems Scheduling.
- World rank
- #844,455 of 1,633,909 ranked researchers
- Rank in Mexico
- #4,095 of 8,743
- Works
- 37
- Citations
- 59
- Citations per work
- 1.6
What does Antonio Ramírez‐Treviño 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 Mathematics49% of their works
- 2Hardware and Architecture12% of their works
- 3Computer Networks and Communications10% of their works
- 4Industrial and Manufacturing Engineering7% of their works
- 5Control and Systems Engineering7% of their works
- 6Management Information Systems7% of their works
Research topics
Which keywords describe Antonio Ramírez‐Treviño's research?
The keywords of their largest research topics: Deadlock Prevention, Petri Nets, Model Checking, Symbolic Model Checker, Hard Real-Time Systems, Scheduling Algorithms, Business Process Management and Distributed Systems.
- Wireless Sensor Networks
- Clock Synchronization
- Reconfigurable Manufacturing Systems
- Workflow Mining
- Distributed Systems
- Scheduling Algorithms
- Symbolic Model Checker
- Petri Nets
- Deadlock Prevention
- Model Checking
- Hard Real-Time Systems
- Business Process Management
- Fault Tolerance
- Flexible Automation
- Chaos
- Image 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 16 words, with their numbers
- Deadlock Prevention121 topic
- Petri Nets121 topic
- Model Checking81 topic
- Symbolic Model Checker81 topic
- Hard Real-Time Systems51 topic
- Scheduling Algorithms51 topic
- Business Process Management31 topic
- Distributed Systems31 topic
- Fault Tolerance31 topic
- Workflow Mining31 topic
- Flexible Automation21 topic
- Reconfigurable Manufacturing Systems21 topic
- Chaos11 topic
- Clock Synchronization11 topic
- Image Encryption11 topic
- Wireless Sensor Networks11 topic
Where does Antonio Ramírez‐Treviño work?
Antonio Ramírez‐Treviño's main affiliation in the publication record is Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional, Mexico.
How many publications and citations does Antonio Ramírez‐Treviño have?
Science Explorer counts 37 works and 59 citations for Antonio Ramírez‐Treviño, ranking #844,455 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.