IMDEA Software Institute

🇪🇸 ES

Papers

8

Total Citations

110

H-Index

5

Researchers

12

About

No biography available yet.

Research Focus

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

Key Achievements

5
H-Index
8
Papers
110
Total Citations
12
Faculty & Researchers
🏆 Most Cited Paper
Bounded Model Checking for Hyperproperties
34 citations · 2021
📊 Avg Citations/Paper: 14
📈 Most Prolific Year: 2021 (2)
🔬 Research Focus: Computer science, Artificial intelligence, Theoretical computer science, Mathematics, Programming language, Algorithm

Top Papers

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

Faculty & Researchers

…

Not generated yet