DE NICOLA, ROCCO
DE NICOLA, ROCCO
Scuola di Scienze e Tecnologie
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.011 secondi).
A Finite Axiomatization of Nondeterministic Regular Expressions
1999-01-01 Corradini, Flavio; DE NICOLA, Rocco; Labella, A.
A Formal Approach to the Engineering of Domain-Specific Distributed Systems
2018-01-01 De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco
PALM: A Technique for Process ALgebraic Specification Mining
2020-01-01 Belluccini, S.; De Nicola, R.; Re, B.; Tiezzi, F.
Verification of privacy-enhanced collaborations
2020-01-01 Belluccini, S.; De Nicola, R.; Dumas, M.; Pullonen, P.; Re, B.; Tiezzi, F.
| Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
|---|---|---|---|---|
| A Finite Axiomatization of Nondeterministic Regular Expressions | 1-gen-1999 | Corradini, Flavio; DE NICOLA, Rocco; Labella, A. | Articolo | |
| A Formal Approach to the Engineering of Domain-Specific Distributed Systems | 1-gen-2018 | De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
| PALM: A Technique for Process ALgebraic Specification Mining | 1-gen-2020 | Belluccini, S.; De Nicola, R.; Re, B.; Tiezzi, F. | Contributo in atto di convegno su volume | |
| Verification of privacy-enhanced collaborations | 1-gen-2020 | Belluccini, S.; De Nicola, R.; Dumas, M.; Pullonen, P.; Re, B.; Tiezzi, F. | Contributo in atto di convegno su volume |