BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Roberto Bagnara
SearchCollections
Map detail
Roberto Bagnara9 visible / 9 total nodes / 8 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipRoberto BagnaraARoberto BagnaraResearcherCorrect Approximation of IEEE 754 Floating-Point Arithmetic for Program VerificationWCorrect Approximation o...preprint / 2021A Practical Approach to Interval Refinement for math.h/cmath FunctionsWA Practical Approach to...preprint / 2020BARR-C:2018 and MISRA C:2012: Synergy Between the Two Most Widely Used C Coding StandardsWBARR-C:2018 and MISRA C...preprint / 2020The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged VersionWThe Automatic Synthesis...preprint / 2012Eventual Linear Ranking FunctionsWEventual Linear Ranking...preprint / 2013Exploiting Binary Floating-Point Representations for Constraint Propagation: The Complete Unabridged VersionWExploiting Binary Float...preprint / 2015Coding Guidelines for PrologWCoding Guidelines for P...preprint / 2011Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming SystemsWProceedings of the 12th...preprint / 2013
Person8 links

Roberto Bagnara

Researcher

PaperCorrect Approximation of IEEE 754 Floating-Point Arithmetic for Program VerificationAuthorship / preprint / 2021PaperA Practical Approach to Interval Refinement for math.h/cmath FunctionsAuthorship / preprint / 2020PaperBARR-C:2018 and MISRA C:2012: Synergy Between the Two Most Widely Used C Coding StandardsAuthorship / preprint / 2020PaperThe Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged VersionAuthorship / preprint / 2012PaperEventual Linear Ranking FunctionsAuthorship / preprint / 2013PaperExploiting Binary Floating-Point Representations for Constraint Propagation: The Complete Unabridged VersionAuthorship / preprint / 2015PaperCoding Guidelines for PrologAuthorship / preprint / 2011PaperProceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming SystemsAuthorship / preprint / 2013

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)