Graph explorer

Roberto Bagnara

Roberto Bagnara contributes to research discovery and scholarly infrastructure.

8 nodes7 linksoverview previewRoberto Bagnara
8 nodes7 links
Roberto Bagnara8 visible / 8 total nodes / 7 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipARoberto BagnaraResearcherWCorrect Approximation o...preprint / 2021WA Practical Approach to...preprint / 2020WBARR-C:2018 and MISRA C...preprint / 2020WThe Automatic Synthesis...preprint / 2012WEventual Linear Ranking...preprint / 2013WCoding Guidelines for P...preprint / 2011WProceedings of the 12th...preprint / 2013
PersonSignal 107 links

Roberto Bagnara

Researcher

Open