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.

Vincenzo Ciancia
SearchCollections
Map detail
Vincenzo Ciancia9 visible / 9 total nodes / 8 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipVincenzo CianciaAVincenzo CianciaResearcherTowards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic CharacterisationsWTowards Spatial Bisimil...preprint / 2020Interaction and observation, categoricallyWInteraction and observa...preprint / 2011A decidable class of (nominal) omega-regular languages over an infinite alphabetWA decidable class of (n...preprint / 2013Interaction and observation: categorical semantics of reactive systems trough dialgebrasWInteraction and observa...preprint / 2013Specifying and Verifying Properties of Space - Extended VersionWSpecifying and Verifyin...preprint / 2014From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical ImagingWFrom Collective Adaptiv...preprint / 2016Nominal Cellular AutomataWNominal Cellular Automatapreprint / 2016Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model CheckingWWeak Simplicial Bisimil...preprint / 2026
Person8 links

Vincenzo Ciancia

Researcher

PaperTowards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic CharacterisationsAuthorship / preprint / 2020PaperInteraction and observation, categoricallyAuthorship / preprint / 2011PaperA decidable class of (nominal) omega-regular languages over an infinite alphabetAuthorship / preprint / 2013PaperInteraction and observation: categorical semantics of reactive systems trough dialgebrasAuthorship / preprint / 2013PaperSpecifying and Verifying Properties of Space - Extended VersionAuthorship / preprint / 2014PaperFrom Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical ImagingAuthorship / preprint / 2016PaperNominal Cellular AutomataAuthorship / preprint / 2016PaperWeak Simplicial Bisimilarity and Minimisation for Polyhedral Model CheckingAuthorship / preprint / 2026

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)