Graph explorer

Andrea Turrini

Andrea Turrini contributes to research discovery and scholarly infrastructure.

10 nodes9 linksoverview mapAndrea Turrini
10 nodes9 links
Andrea Turrini10 visible / 10 total nodes / 9 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAAndrea TurriniResearcherWCost Preserving Bisimul...preprint / 2015WDivide-and-Conquer Dete...preprint / 2022WProving Non-Inclusion o...preprint / 2020WDeciding Probabilistic ...preprint / 2012WAn Efficient Synthesis ...preprint / 2016WSynthesising Strategy I...preprint / 2016WCompositional Reasoning...preprint / 2016WLazy Probabilistic Mode...preprint / 2015WModular Mix-and-Match C...preprint / 2023
PersonSignal 109 links

Andrea Turrini

Researcher

Open