Benjamin Lion

SRI International, Leiden University, Centrum Wiskunde & Informatica

论文数

5

总引用数

22

H-Index

3

关于

暂无简介。

研究焦点

Computer science5 · 22 次引用
Cyber-physical system5 · 22 次引用
Theoretical computer science5 · 22 次引用
Distributed computing5 · 22 次引用
Component (thermodynamics)4 · 17 次引用
Physical system3 · 14 次引用
Programming language3 · 13 次引用
Operational semantics2 · 11 次引用
Semantics (computer science)2 · 11 次引用
Rewriting2 · 11 次引用
Formalism (music)2 · 9 次引用
Composition (language)2 · 9 次引用

主要成就

3
H 指数
5
论文
22
总引用数
4
篇均引用
🏆 最高被引论文
A Semantic Model for Interacting Cyber-Physical Systems
6 次引用 · 2021
📈 最高产年份: 2022 (3 论文)
🤝 主要合作者: 2
🏛 所属机构: SRI International, Leiden University, Centrum Wiskunde & Informatica

代表论文

  1. 1
    A Semantic Model for Interacting Cyber-Physical Systems
    6 次引用 · 2021
  2. 2
    A Rewriting Framework for Interacting Cyber-Physical Agents
    6 次引用 · 2022
  3. 3
    Runtime Composition of Systems of Interacting Cyber-Physical Components
    5 次引用 · 2023
  4. 4
    A semantic model for interacting cyber-physical systems
    3 次引用 · 2022
  5. 5
    A formal framework for distributed cyber-physical systems
    2 次引用 · 2022

主要合作者

FAFarhad Arbab5 篇合著论文CTCarolyn Talcott5 篇合著论文
尚未生成