Marius Minea

University of California, Berkeley, Carnegie Mellon University

Papers

4

Total Citations

188

H-Index

4

About

No biography available yet.

Research Focus

Computer science4 · 188 citations
Programming language4 · 188 citations
Theoretical computer science2 · 124 citations
Embedded system2 · 82 citations
Model checking2 · 82 citations
Component (thermodynamics)1 · 78 citations
Context (archaeology)1 · 78 citations
Key (lock)1 · 78 citations
Divide and conquer algorithms1 · 78 citations
Distributed computing1 · 78 citations
Component-based software engineering1 · 78 citations
Hybrid system1 · 78 citations

Key Achievements

4
H-Index
4
Papers
188
Total Citations
47
Avg Citations/Paper
🏆 Most Cited Paper
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
78 citations · 2001
📈 Most Prolific Year: 1995 (2 Papers)
🤝 Key Collaborators: 7
🏛 Institutions: University of California, Berkeley, Carnegie Mellon University

Top Papers

  1. 1
    Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
    78 citations · 2001
  2. 2
    Verus
    46 citations · 1995
  3. 3
    The verus tool: A quantitative approach to the formal verification of real-time systems
    36 citations · 1997
  4. 4
    Verus
    28 citations · 1995

Key Collaborators

SCSérgio Campos3 shared papersEME. M. Clarke2 shared papersTAThomas A. Henzinger1 shared papersWMW. Marrero1 shared papersEMEdmund M. Clarke1 shared papersVSVinayak S. Prabhu1 shared papersWMW. Marrero1 shared papers
Not generated yet