VINCENZO CIANCIA
- Type
- Persona (Classe)
- Label
- VINCENZO CIANCIA (literal)
- VINCENZO CIANCIA (literal)
- Http://www.w3.org/2002/07/owl#sameAs
- VINCENZO CIANCIA (Unità di personale esterno)
- Persona in rapporto
- Rapporto con CNR di DOTT. VINCENZO CIANCIA (Rapporto con CNR)
- Autore CNR di
- Specifying and verifying properties of space. Extended Version. (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- QUANTICOL - D6.1 - Dissemination plan for the project (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Quantitative Evaluation of Enforcement Strategies (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Data verification for collective adaptive systems: spatial model-checking of vehicle location data (Contributo in atti di convegno) (Prodotto della ricerca)
- Logics of space and time (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities (Articolo in rivista) (Prodotto della ricerca)
- Specifying and Verifying Properties of Space (Contributo in atti di convegno) (Prodotto della ricerca)
- Interaction and observation: categorical semantics of reactive systems trough dialgebras (Contributo in atti di convegno) (Prodotto della ricerca)
- A tool for the synthesis of cryptographic orchestrators (Contributo in atti di convegno) (Prodotto della ricerca)
- Coautore
- FABIO MARTINELLI (Unità di personale interno)
- ILARIA MATTEUCCI (Unità di personale interno)
- STEFANIA GNESI (Unità di personale interno)
- MIEKE MASSINK (Unità di personale interno)
- DIEGO LATELLA (Unità di personale interno)
- MAURICE HENRI TER BEEK (Unità di personale interno)
- MARINELLA PETROCCHI (Persona)
- LUCA BORTOLUSSI (Unità di personale esterno)
- CHARLES MORISSET (Persona)
- MAURICE HENRI TER BEEK (Unità di personale esterno)
- Nome
- VINCENZO (literal)
- Cognome
- CIANCIA (literal)
- Afferisce a
Incoming links:
- Coautore
- MIEKE MASSINK (Unità di personale interno)
- DIEGO LATELLA (Unità di personale interno)
- FABIO MARTINELLI (Unità di personale interno)
- STEFANIA GNESI (Unità di personale interno)
- MARINELLA PETROCCHI (Persona)
- MAURICE HENRI TER BEEK (Unità di personale interno)
- LUCA BORTOLUSSI (Unità di personale esterno)
- CHARLES MORISSET (Persona)
- MAURICE HENRI TER BEEK (Unità di personale esterno)
- ILARIA MATTEUCCI (Unità di personale interno)
- Ha afferente
- Rapporto con persona
- Rapporto con CNR di DOTT. VINCENZO CIANCIA (Rapporto con CNR)
- Autore CNR
- Logics of space and time (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- A tool for the synthesis of cryptographic orchestrators (Contributo in atti di convegno) (Prodotto della ricerca)
- Quantitative Evaluation of Enforcement Strategies (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Interaction and observation: categorical semantics of reactive systems trough dialgebras (Contributo in atti di convegno) (Prodotto della ricerca)
- Specifying and verifying properties of space. Extended Version. (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- QUANTICOL - D6.1 - Dissemination plan for the project (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Specifying and Verifying Properties of Space (Contributo in atti di convegno) (Prodotto della ricerca)
- A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities (Articolo in rivista) (Prodotto della ricerca)
- Data verification for collective adaptive systems: spatial model-checking of vehicle location data (Contributo in atti di convegno) (Prodotto della ricerca)
