Graph explorer

Research map

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

Henrich Lauko
Map detail
Henrich Lauko3 visible / 3 total nodes / 2 links

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

AuthorshipAuthorshipHenrich LaukoAHenrich LaukoResearcherOn the Optimization of Equivalent Concurrent ComputationsWOn the Optimization of ...preprint / 2022From Spot 2.0 to Spot 2.10: What's New?WFrom Spot 2.0 to Spot 2...preprint / 2022
Person2 links

Henrich Lauko

Researcher