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.

Giorgio Delzanno
SearchCollections
Map detail
Giorgio Delzanno9 visible / 9 total nodes / 8 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipGiorgio DelzannoAGiorgio DelzannoResearcherThe Cost of Parameterized Reachability in Mobile Ad Hoc NetworksWThe Cost of Parameteriz...preprint / 2012Parameterized Verification of Safety Properties in Ad Hoc Network ProtocolsWParameterized Verificat...preprint / 2011Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood OperationsWParameterized Verificat...preprint / 2014Graph- versus Vector-Based Analysis of a Consensus ProtocolWGraph- versus Vector-Ba...preprint / 2014Automata-based Static Analysis of XML Document AdaptationWAutomata-based Static A...preprint / 2012Verification of Relational Multiagent Systems with Data Types (Extended Version)WVerification of Relatio...preprint / 2014Well Structured Transition Systems with HistoryWWell Structured Transit...preprint / 2015Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal VerificationWProceedings of the Seve...preprint / 2016
Person8 links

Giorgio Delzanno

Researcher

PaperThe Cost of Parameterized Reachability in Mobile Ad Hoc NetworksAuthorship / preprint / 2012PaperParameterized Verification of Safety Properties in Ad Hoc Network ProtocolsAuthorship / preprint / 2011PaperParameterized Verification of Graph Transformation Systems with Whole Neighbourhood OperationsAuthorship / preprint / 2014PaperGraph- versus Vector-Based Analysis of a Consensus ProtocolAuthorship / preprint / 2014PaperAutomata-based Static Analysis of XML Document AdaptationAuthorship / preprint / 2012PaperVerification of Relational Multiagent Systems with Data Types (Extended Version)Authorship / preprint / 2014PaperWell Structured Transition Systems with HistoryAuthorship / preprint / 2015PaperProceedings of the Seventh International Symposium on Games, Automata, Logics and Formal VerificationAuthorship / preprint / 2016

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)