Graph explorer

Andrea Turrini

Andrea Turrini contributes to research discovery and scholarly infrastructure.

8 nodes7 linksoverview previewAndrea Turrini
8 nodes7 links
Andrea Turrini8 visible / 8 total nodes / 7 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAAndrea TurriniResearcherWCost Preserving Bisimul...preprint / 2015WDivide-and-Conquer Dete...preprint / 2022WProving Non-Inclusion o...preprint / 2020WDeciding Probabilistic ...preprint / 2012WAn Efficient Synthesis ...preprint / 2016WLazy Probabilistic Mode...preprint / 2015WModular Mix-and-Match C...preprint / 2023
PersonSignal 107 links

Andrea Turrini

Researcher

Open