IMDEA Food
🇪🇸 ES
Papers
2
Total Citations
12
H-Index
2
Researchers
2
About
No biography available yet.
Research Focus
Computer science2 · 12 citations
Model checking1 · 9 citations
Programming language1 · 9 citations
Bounded function1 · 9 citations
Mathematics1 · 9 citations
Flexibility (engineering)1 · 3 citations
Mobile edge computing1 · 3 citations
Software deployment1 · 3 citations
Automation1 · 3 citations
Virtual network1 · 3 citations
Key Achievements
2
H-Index
2
Papers
12
Total Citations
2
Faculty & Researchers
🏆 Most Cited Paper
Bounded Model Checking for Hyperproperties
9 citations · 2021
📊 Avg Citations/Paper: 6
📈 Most Prolific Year: 2021 (2)
🔬 Research Focus: Computer science, Model checking, Programming language, Bounded function, Mathematics, Flexibility (engineering)
Top Papers
- 1Bounded Model Checking for Hyperproperties9 citations · 2021
- 2
Faculty & Researchers
…
Not generated yet