Marius Minea

University of California, Berkeley, Carnegie Mellon University

论文数

4

总引用数

188

H-Index

4

关于

暂无简介。

研究焦点

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

主要成就

4
H 指数
4
论文
188
总引用数
47
篇均引用
🏆 最高被引论文
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
78 次引用 · 2001
📈 最高产年份: 1995 (2 论文)
🤝 主要合作者: 7
🏛 所属机构: University of California, Berkeley, Carnegie Mellon University

代表论文

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

主要合作者

SCSérgio Campos3 篇合著论文EME. M. Clarke2 篇合著论文TAThomas A. Henzinger1 篇合著论文WMW. Marrero1 篇合著论文EMEdmund M. Clarke1 篇合著论文VSVinayak S. Prabhu1 篇合著论文WMW. Marrero1 篇合著论文
尚未生成