De Nicola, Rocco.
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
De Nicola, Rocco 1954-
De Nicola, R.
Rocco De Nicola chercheur en informatique
De Nicola, R. (Rocco)
VIAF ID: 22876634 (Personal)
Permalink: http://viaf.org/viaf/22876634
Preferred Forms
-
100 1 _
‡a
De Nicola, R.
-
100 1 _ ‡a De Nicola, R. ‡q (Rocco)
-
100 1 _ ‡a De Nicola, Rocco
-
100 1 _
‡a
De Nicola, Rocco
-
100 1 _ ‡a De Nicola, Rocco
-
100 1 _
‡a
De Nicola, Rocco
-
100 1 _
‡a
De Nicola, Rocco
-
100 1 _ ‡a De Nicola, Rocco
-
100 1 _ ‡a De Nicola, Rocco
-
100 1 _
‡a
De Nicola, Rocco
‡d
1954-
-
100 1 _
‡a
De Nicola, Rocco
‡d
1954-
-
100 1 _ ‡a De Nicola, Rocco.
-
100 1 _ ‡a De Nicola, Rocco.
-
100 0 _
‡a
Rocco De Nicola
‡c
chercheur en informatique
4xx's: Alternate Name Forms (10)
5xx's: Related Names (3)
- 510 2 _
‡a
IMT Institute for Advanced Studies
‡4
affi
‡4
https://d-nb.info/standards/elementset/gnd#affiliation
‡e
Affiliation
- 510 2 _
‡a
Università degli Studi di Firenze
‡b
Dipartimento di Sistemi e Informatica
‡4
affi
‡4
https://d-nb.info/standards/elementset/gnd#affiliation
‡e
Affiliation
- 510 2 _
‡a
Università degli studi di Roma "La Sapienza"
‡4
affi
‡4
https://d-nb.info/standards/elementset/gnd#affiliation
‡e
Affiliation
Works
| Title | Sources |
|---|---|
| Back and forth bisimulations |
|
| Basic observables for a calculus for global computing |
|
| A calculus for collective-adaptive systems and its behavioural theory. |
|
| CARMA: Collective Adaptive Resource-sharing Markovian Agents |
|
| Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday |
|
| Coordination models and languages : 6th international conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004 : proceedings |
|
| Core Calculi for Service-Oriented Computing |
|
| Domain-specific languages for modeling and simulation |
|
| ESOP 2007 |
|
| ETAPS 2007 |
|
| A Formal Approach to Autonomic Systems Programming |
|
| Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures |
|
| GoAt: Attribute-Based Interaction in Google Go |
|
| Model checking mobile stochastic logic |
|
| Modelling global computations with KLAIM. |
|
| Programming and Verifying Component Ensembles |
|
| Programming languages and systems : 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics [i.e. Practice] of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings |
|
| Programming of CAS Systems by Relying on Attribute-Based Communication |
|
| Replica-Based High-Performance Tuple Space Computing |
|
| The SCEL Language: Design, Implementation, Verification |
|
| Selected papers of the second Workshop on Concurrency and Compositionality, San Miniato, Italy, March 1990 / guest ed. De Nicola and U. Montanari. - Amsterdam, 1992. |
|
| Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings |
|
| Software, Services, and Systems : Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering |
|
| Testing equivalences and fully abstract models for communicating processes |
|
| TGC 2005 |
|
| Three logics for branching bisimulation |
|
| Trustworthy Global Computing : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers |
|
| Verification of Distributed Systems via Sequential Emulation |
|
