Science Explorer Interactive view Map

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?

Computational Theory and Mathematics: 48.8%Hardware and Architecture: 12.2%Computer Networks and Communications: 9.8%Industrial and Manufacturing Engineering: 7.3%other fields: 21.9%49%top field
Computational Theory and Mathematics48.8%Hardware and Architecture12.2%Computer Networks and Communications9.8%Industrial and Manufacturing Engineering7.3%other fields21.9%

Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.

  1. 1Computational Theory and Mathematics49% of their works
  2. 2Hardware and Architecture12% of their works
  3. 3Computer Networks and Communications10% of their works
  4. 4Industrial and Manufacturing Engineering7% of their works
  5. 5Control and Systems Engineering7% of their works
  6. 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.

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
  1. Deadlock Prevention121 topic
  2. Petri Nets121 topic
  3. Model Checking81 topic
  4. Symbolic Model Checker81 topic
  5. Hard Real-Time Systems51 topic
  6. Scheduling Algorithms51 topic
  7. Business Process Management31 topic
  8. Distributed Systems31 topic
  9. Fault Tolerance31 topic
  10. Workflow Mining31 topic
  11. Flexible Automation21 topic
  12. Reconfigurable Manufacturing Systems21 topic
  13. Chaos11 topic
  14. Clock Synchronization11 topic
  15. Image Encryption11 topic
  16. 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.