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
7 links
Gianluigi Zavattaro
Researcher
PaperChoreographies and Behavioural Contracts on the Way to Dynamic UpdatesAuthorship / preprint / 2014PaperParameterized Verification of Safety Properties in Ad Hoc Network ProtocolsAuthorship / preprint / 2011PaperAmending ChoreographiesAuthorship / preprint / 2013PaperThe Cost of Parameterized Reachability in Mobile Ad Hoc NetworksAuthorship / preprint / 2012PaperDecidability Problems for Actor SystemsAuthorship / preprint / 2014PaperAdaptable processesAuthorship / preprint / 2012PaperFailure-Resilient and Carbon-Efficient Deployment of Microservices over the Cloud-Edge ContinuumAuthorship / preprint / 2026