Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Carolyn Talcott
Map detail
Carolyn Talcott8 visible / 8 total nodes / 7 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipCarolyn TalcottACarolyn TalcottResearcherThe Immune System: the ultimate fractionated cyber-physical systemWThe Immune System: the ...preprint / 2013Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed IntrudersWTowards the Automated V...preprint / 2016A Semantic Model for Interacting Cyber-Physical SystemsWA Semantic Model for In...preprint / 2022Runtime Composition Of Systems of Interacting Cyber-Physical ComponentsWRuntime Composition Of ...preprint / 2022A Formal Framework for Distributed Cyber-Physical SystemsWA Formal Framework for ...preprint / 2022A Rewriting Framework for Interacting Cyber-Physical AgentsWA Rewriting Framework f...preprint / 2022A Compositional Framework for Preference-Aware AgentsWA Compositional Framewo...preprint / 2016
Person7 links

Carolyn Talcott

Researcher