Graph explorer

Matteo Pradella

Matteo Pradella contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview previewMatteo Pradella
13 nodes12 links
Matteo Pradella13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAMatteo PradellaResearcherWA unifying approach to ...preprint / 2011WOperator Precedence ω-l...preprint / 2013WPractical Automated Par...preprint / 2008WStatic Analysis of Infr...preprint / 2022WPrecedence Automata and...preprint / 2011WJavaCtx: Seamless Toolc...preprint / 2011WLogic Characterization ...preprint / 2012WContext-Oriented Progra...preprint / 2012WIntegrated Modeling and...preprint / 2009WBounded Reachability fo...preprint / 2010WSMT-based Verification ...preprint / 2010WConstraint LTL Satisfia...preprint / 2014
PersonSignal 1012 links

Matteo Pradella

Researcher

Open