Benjamin Lion

SRI International, Leiden University, Centrum Wiskunde & Informatica

Papers

5

Total Citations

22

H-Index

3

About

No biography available yet.

Research Focus

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

Key Achievements

3
H-Index
5
Papers
22
Total Citations
4
Avg Citations/Paper
🏆 Most Cited Paper
A Semantic Model for Interacting Cyber-Physical Systems
6 citations · 2021
📈 Most Prolific Year: 2022 (3 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: SRI International, Leiden University, Centrum Wiskunde & Informatica

Top Papers

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

Key Collaborators

FAFarhad Arbab5 shared papersCTCarolyn Talcott5 shared papers
Not generated yet