Darren Cofer
Darren Cofer publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Software, on topics such as Formal Methods in Verification, Distributed systems and fault tolerance and Petri Nets in System Modeling.
- World rank
- #633,165 of 1,633,909 ranked researchers
- Rank in United States
- #195,943 of 358,040
- Works
- 24
- Citations
- 105
- Citations per work
- 4.4
What does Darren Cofer 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 Mathematics30% of their works
- 2Artificial Intelligence14% of their works
- 3Software14% of their works
- 4Computer Networks and Communications12% of their works
- 5Hardware and Architecture9% of their works
- 6Control and Systems Engineering9% of their works
Research topics
Which keywords describe Darren Cofer's research?
The keywords of their largest research topics: Model Checking, Symbolic Model Checker, Distributed Systems, Fault Tolerance, Machine Learning, Deadlock Prevention, Petri Nets and Automated Testing.
- Deep Learning
- Adversarial Examples
- Scheduling Algorithms
- Hard Real-Time Systems
- Automated Testing
- Deadlock Prevention
- Fault Tolerance
- Symbolic Model Checker
- Model Checking
- Distributed Systems
- Machine Learning
- Petri Nets
- Fault Detection
- Process Monitoring
- Software Fault Localization
- Autonomic Computing
- Self-Adaptive 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 17 words, with their numbers
- Model Checking91 topic
- Symbolic Model Checker91 topic
- Distributed Systems51 topic
- Fault Tolerance51 topic
- Machine Learning52 topics
- Deadlock Prevention41 topic
- Petri Nets41 topic
- Automated Testing31 topic
- Fault Detection31 topic
- Hard Real-Time Systems31 topic
- Process Monitoring31 topic
- Scheduling Algorithms31 topic
- Software Fault Localization31 topic
- Adversarial Examples21 topic
- Autonomic Computing21 topic
- Deep Learning21 topic
- Self-Adaptive Systems21 topic
Where does Darren Cofer work?
Darren Cofer's main affiliation in the publication record is Rockwell Automation (United States), United States.
How many publications and citations does Darren Cofer have?
Science Explorer counts 24 works and 105 citations for Darren Cofer, ranking #633,165 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.