Graph explorer

Dino Mandrioli

Dino Mandrioli contributes to research discovery and scholarly infrastructure.

8 nodes7 linksoverview previewDino Mandrioli
8 nodes7 links
Dino Mandrioli8 visible / 8 total nodes / 7 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipADino MandrioliResearcherWPrecedence Automata and...preprint / 2011WNon-null Infinitesimal ...preprint / 2012WLogic Characterization ...preprint / 2012WModeling Time in Comput...preprint / 2010WOperator Precedence ω-l...preprint / 2013WRefinement and Verifica...preprint / 2010WA Syntactic-Semantic Ap...preprint / 2013
PersonSignal 107 links

Dino Mandrioli

Researcher

Open