prefetch
Max RoboticsMax Robotics
  • Robots
  • Curiosity
  • China Robots
  • Breakthroughs
  • Education
  • Careers
  • Talent
  • Research
  • News & Live Feeds
  • Weird
  • Startups
  • Map
  • Stories
  • Challenges
  • Compliance & Regulations
  • Community
  • Developer
🇺🇸EN/🇨🇳中文

E. M. Clarke

Carnegie Mellon University

Papers

3

Total Citations

86

H-Index

3

About

No biography available yet.

Research Focus

Computer science3 · 86 citations
Programming language3 · 86 citations
Model checking2 · 58 citations
Finite-state machine2 · 58 citations
Theoretical computer science2 · 58 citations
State (computer science)2 · 58 citations
Algorithm1 · 46 citations
Binary decision diagram1 · 46 citations
Embedded system1 · 46 citations
Graph1 · 46 citations
Interval (graph theory)1 · 46 citations
Real-time operating system1 · 46 citations

Key Achievements

3
H-Index
3
Papers
86
Total Citations
29
Avg Citations/Paper
🏆 Most Cited Paper
Verus
46 citations · 1995
📈 Most Prolific Year: 1995 (2 Papers)
🤝 Key Collaborators: 5
🏛 Institutions: Carnegie Mellon University

Top Papers

  1. 1
    Verus
    46 citations · 1995
  2. 2
    Verus
    28 citations · 1995
  3. 3
    Deadlock prevention in flexible manufacturing systems using symbolic model checking
    12 citations · 2002

Key Collaborators

SCSérgio Campos3 shared papersMMMarius Minea2 shared papersWMW. Marrero1 shared papersVHV. Hartonas-Garmhausen1 shared papersWMW. Marrero1 shared papers
Not generated yet

Max Robotics

Service robots from verified suppliers.

  • terry.tao@max-robotics.com
  • Contact us

For Visitors

  • Browse robots
  • Search
  • Industry news
  • Robot Wiki
  • World map
  • Virtual show
  • Community forum

For Suppliers

  • Become a supplier
  • Display a product
  • Virtual booth
  • Request a quote

Certification

  • 🤖 AI-guided application
  • Cert Tracker
  • Certification Services
  • US Agent
  • FCC ID verifier
  • ⚖️ Sample & Eval Import Guide
  • Knowledge base

WeChat

WeChat: terrytaosandiego
© 2026 Max Robotics. All rights reserved.