Graph explorer

Research map

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

Lorina Negreanu
Map detail
Lorina Negreanu3 visible / 3 total nodes / 2 links

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

AuthorshipAuthorshipLorina NegreanuALorina NegreanuResearcherA Formal Approach for the Development of Service-Oriented ApplicationsWA Formal Approach for t...preprint / 2013SymNet: scalable symbolic execution for modern networksWSymNet: scalable symbol...preprint / 2016
Person2 links

Lorina Negreanu

Researcher