Graph explorer

Research map

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

Raphaël Khoury
Map detail
Raphaël Khoury3 visible / 3 total nodes / 2 links

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

AuthorshipAuthorshipRaphaël KhouryARaphaël KhouryResearcherRuntime Enforcement With Partial ControlWRuntime Enforcement Wit...preprint / 2015An Alternating Automaton for First-Order Linear Temporal Logic--Tech ReportWAn Alternating Automato...preprint / 2016
Person2 links

Raphaël Khoury

Researcher