Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
8 links
Martin Nordio
Researcher
PaperCollaborative Software Development on the WebAuthorship / preprint / 2012PaperVerifying Eiffel Programs with BoogieAuthorship / preprint / 2011PaperC to O-O Translation: Beyond the Easy StuffAuthorship / preprint / 2013PaperContracts in PracticeAuthorship / preprint / 2014PaperAutomated Fixing of Programs with ContractsAuthorship / preprint / 2014PaperAutoProof: Auto-active Functional Verification of Object-oriented ProgramsAuthorship / preprint / 2015PaperCode-based Automated Program FixingAuthorship / preprint / 2011PaperStateful Testing: Finding More Errors in Code and ContractsAuthorship / preprint / 2011