IMDEA Food

🇪🇸 ES

论文数

2

总引用数

12

H-Index

2

研究人员

2

关于

暂无简介。

研究焦点

Computer science2 · 12 次引用
Model checking1 · 9 次引用
Programming language1 · 9 次引用
Bounded function1 · 9 次引用
Mathematics1 · 9 次引用
Flexibility (engineering)1 · 3 次引用
Mobile edge computing1 · 3 次引用
Software deployment1 · 3 次引用
Automation1 · 3 次引用
Virtual network1 · 3 次引用

主要成就

2
H 指数
2
论文
12
总引用数
2
教职员与研究人员
🏆 最高被引论文
Bounded Model Checking for Hyperproperties
9 次引用 · 2021
📊 篇均引用: 6
📈 最高产年份: 2021 (2)
🔬 研究焦点: Computer science, Model checking, Programming language, Bounded function, Mathematics, Flexibility (engineering)

代表论文

  1. 1
    Bounded Model Checking for Hyperproperties
    9 次引用 · 2021
  2. 2
    Delay and Reliability-Constrained VNF Placement on Mobile and Volatile 5G Infrastructure
    3 次引用 · 2021

教职员与研究人员

…

尚未生成