Graph explorer

Research map

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

Noemi Passing
Map detail
Noemi Passing3 visible / 3 total nodes / 2 links

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

AuthorshipAuthorshipNoemi PassingANoemi PassingResearcherCompositional Synthesis of Modular Systems (Full Version)WCompositional Synthesis...preprint / 2022Temporal Stream Logic modulo Theories (Full Version)WTemporal Stream Logic m...preprint / 2022
Person2 links

Noemi Passing

Researcher