IMDEA Software Institute

🇪🇸 ES

论文数

8

总引用数

110

H-Index

5

研究人员

12

关于

暂无简介。

研究焦点

Computer science8 · 110 次引用
Artificial intelligence7 · 96 次引用
Theoretical computer science4 · 60 次引用
Mathematics3 · 56 次引用
Programming language4 · 54 次引用
Algorithm2 · 52 次引用
Robot4 · 40 次引用
Model checking2 · 38 次引用
Variety (cybernetics)2 · 38 次引用
Counterexample1 · 34 次引用

主要成就

5
H 指数
8
论文
110
总引用数
12
教职员与研究人员
🏆 最高被引论文
Bounded Model Checking for Hyperproperties
34 次引用 · 2021
📊 篇均引用: 14
📈 最高产年份: 2021 (2)
🔬 研究焦点: Computer science, Artificial intelligence, Theoretical computer science, Mathematics, Programming language, Algorithm

代表论文

  1. 1
    Bounded Model Checking for Hyperproperties
    34 次引用 · 2021
  2. 2
    Towards a Hybrid Approach to Context Reasoning for Underwater Robots
    20 次引用 · 2017
  3. 3
    Invariant Generation for Parametrized Systems Using Self-reflection
    18 次引用 · 2012
  4. 4
    A Survey on Intermediation Architectures for Underwater Robotics
    14 次引用 · 2016
  5. 5
    Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions
    14 次引用 · 2021
  6. 6
    A General Framework for Static Cost Analysis of Parallel Logic Programs
    4 次引用 · 2020
  7. 7
    Decoupled Formal Synthesis for Almost Separable Systems with Temporal Logic Specifications
    4 次引用 · 2016
  8. 8
    Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification
    2 次引用 · 2022

教职员与研究人员

…

尚未生成