default search action

combined dblp search
author search
venue search
publication search

ask others

Rocco De Nicola

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j80]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/epjds/PratelliPSN24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/epjds/PratelliPSN24
Manuel Pratelli, Marinella Petrocchi, Fabio Saracco, Rocco De Nicola:
Online disinformation in the 2020 U.S. election: swing vs. safe states. EPJ Data Sci. 13(1): 25 (2024)
[c159]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ictcs/BrogiNI24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictcs/BrogiNI24
Cosimo Perini Brogi, Rocco De Nicola, Omar Inverso:
Simpson's Proof Systems for Process Verification: A Fine-tuning (short paper). ICTCS 2024: 292-299
[c158]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/WirsingNJT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/WirsingNJT24
Martin Wirsing, Rocco De Nicola, Stefan Jähnichen, Mirco Tribastone:
Rigorous Engineering of Collective Adaptive Systems Introduction to the 5^rmth Track Edition. ISoLA (2) 2024: 1-12
[i21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-18664
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-18664
Manuel Pratelli, Marinella Petrocchi, Fabio Saracco, Rocco De Nicola:
Online disinformation in the 2020 U.S. Election: swing vs. safe states. CoRR abs/2402.18664 (2024)
[i20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-15858
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-15858
Simone Soderi, Rocco De Nicola:
CONNECTION: COvert chaNnel NEtwork attaCk Through bIt-rate mOdulatioN. CoRR abs/2404.15858 (2024)
[i19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-19418
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-19418
Zainab Alwaisi, Simone Soderi, Rocco De Nicola:
Energy Cyber Attacks to Smart Healthcare Devices: A Testbed. CoRR abs/2404.19418 (2024)
[i18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-19434
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-19434
Zainab Alwaisi, Simone Soderi, Rocco De Nicola:
Detection of Energy Consumption Cyber Attacks on Smart Devices. CoRR abs/2404.19434 (2024)
[i17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-19480
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-19480
Zainab Alwaisi, Simone Soderi, Rocco De Nicola:
Mitigating and Analysis of Memory Usage Attack in IoE System. CoRR abs/2404.19480 (2024)
[i16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2408-00388
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2408-00388
Irene Amerini, Mauro Barni, Sebastiano Battiato, Paolo Bestagini, Giulia Boato, Tania Sari Bonaventura, Vittoria Bruni, Roberto Caldelli, Francesco G. B. De Natale, Rocco De Nicola, Luca Guarnera, Sara Mandelli, Gian Luca Marcialis, Marco Micheletto, Andrea Montibeller, Giulia Orrù, Alessandro Ortis, Pericle Perazzo, Giovanni Puglisi, Davide Salvi, Stefano Tubaro, Claudia Melis Tonti, Massimo Villari, Domenico Vitulano:
Deepfake Media Forensics: State of the Art and Challenges Ahead. CoRR abs/2408.00388 (2024)
2023
[j79]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/BistarelliNGLMV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/BistarelliNGLMV23
Stefano Bistarelli, Rocco De Nicola, Letterio Galletta, Cosimo Laneve, Ivan Mercanti, Adele Veschetti:
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays. Concurr. Comput. Pract. Exp. 35(16) (2023)
[j78]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/NicolaM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/NicolaM23
Rocco De Nicola, Hernán C. Melgratti:
Multiparty testing preorders. Log. Methods Comput. Sci. 19(1) (2023)
[j77]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/WirsingJN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/WirsingJN23
Martin Wirsing, Stefan Jähnichen, Rocco De Nicola:
Rigorous engineering of collective adaptive systems - 2nd special section. Int. J. Softw. Tools Technol. Transf. 25(5): 617-624 (2023)
[j76]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/NicolaSIV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/NicolaSIV23
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani:
Modelling flocks of birds and colonies of ants from the bottom up. Int. J. Softw. Tools Technol. Transf. 25(5): 675-691 (2023)
[c157]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/NicolaSIV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/NicolaSIV23
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani:
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants. CMSB 2023: 44-61
[c156]
- view
  authority control:
- export record
  dblp key:
  - conf/eisa/SoderiN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eisa/SoderiN23
Simone Soderi, Rocco De Nicola:
CONNECTION: COvert chaNnel NEtwork attaCk Through bIt-rate mOdulatioN. EISA 2023: 164-183
[c155]
- view
  authority control:
- export record
  dblp key:
  - conf/fabulous/AlwaisiSN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fabulous/AlwaisiSN23
Zainab Alwaisi, Simone Soderi, Rocco De Nicola:
Detection of Energy Consumption Cyber Attacks on Smart Devices. FABULOUS 2023: 160-176
[c154]
- view
  authority control:
- export record
  dblp key:
  - conf/www/PratelliPSN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/www/PratelliPSN23
Manuel Pratelli, Marinella Petrocchi, Fabio Saracco, Rocco De Nicola:
Swinging in the States: Does disinformation on Twitter mirror the US presidential election system? WWW (Companion Volume) 2023: 1395-1403
[i15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-12474
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-12474
Manuel Pratelli, Marinella Petrocchi, Fabio Saracco, Rocco De Nicola:
Swinging in the States: Does disinformation on Twitter mirror the US presidential election system? CoRR abs/2303.12474 (2023)
2022
[j75]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/SoderiN22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/SoderiN22
Simone Soderi, Rocco De Nicola:
6G Networks Physical Layer Security Using RGB Visible Light Communications. IEEE Access 10: 5482-5496 (2022)
[j74]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/NicolaSIU22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/NicolaSIU22
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Aline Uwimbabazi:
Automated replication of tuple spaces via static analysis. Sci. Comput. Program. 223: 102863 (2022)
[j73]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/StefanoNI22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/StefanoNI22
Luca Di Stefano, Rocco De Nicola, Omar Inverso:
Verification of Distributed Systems via Sequential Emulation. ACM Trans. Softw. Eng. Methodol. 31(3): 37:1-37:41 (2022)
[c153]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/NicolaSIV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/NicolaSIV22
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani:
Process Algebras and Flocks of Birds. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 512-523
[c152]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/WirsingNJ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/WirsingNJ22
Martin Wirsing, Rocco De Nicola, Stefan Jähnichen:
Rigorous Engineering of Collective Adaptive Systems Introduction to the 4^th Track Edition. ISoLA (3) 2022: 3-12
[c151]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/NicolaSIV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/NicolaSIV22
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani:
Modelling Flocks of Birds from the Bottom Up. ISoLA (3) 2022: 82-96
2021
[j72]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/HajnyRPLGN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/HajnyRPLGN21
Jan Hajny, Sara Ricci, Edmundas Piesarskas, Olivier Levillain, Letterio Galletta, Rocco De Nicola:
Framework, Tools and Good Practices for Cybersecurity Curricula. IEEE Access 9: 94723-94747 (2021)
[j71]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/concurrency/UriarteZKSZN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/UriarteZKSZN21
Rafael Brundo Uriarte, Huan Zhou, Kyriakos Kritikos, Zeshun Shi, Zhiming Zhao, Rocco De Nicola:
Distributed service-level agreement management with smart contracts and blockchain. Concurr. Comput. Pract. Exp. 33(14) (2021)
[j70]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/epjds/CaldarelliNPPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/epjds/CaldarelliNPPS21
Guido Caldarelli, Rocco De Nicola, Marinella Petrocchi, Manuel Pratelli, Fabio Saracco:
Flow of online misinformation during the peak of the COVID-19 pandemic in Italy. EPJ Data Sci. 10(1): 34 (2021)
[j69]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/epjds/CaldarelliNPPS21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/epjds/CaldarelliNPPS21a
Guido Caldarelli, Rocco De Nicola, Marinella Petrocchi, Manuel Pratelli, Fabio Saracco:
Correction to: Flow of online misinformation during the peak of the COVID-19 pandemic in Italy. EPJ Data Sci. 10(1): 38 (2021)
[j68]
- view
  authority control:
- export record
  dblp key:
  - journals/ipm/NicolaPP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipm/NicolaPP21
Rocco De Nicola, Marinella Petrocchi, Manuel Pratelli:
On the efficacy of old features for the detection of new bots. Inf. Process. Manag. 58(6): 102685 (2021)
[j67]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/BottoniNG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BottoniNG21
Paolo Bottoni, Rocco De Nicola, Daniele Gorla:
Tribute to Anna Labella. J. Log. Algebraic Methods Program. 121: 100663 (2021)
[j66]
- view
  authority control:
- export record
  dblp key:
  - journals/osnm/BalestrucciNPT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/osnm/BalestrucciNPT21
Alessandro Balestrucci, Rocco De Nicola, Marinella Petrocchi, Catia Trubiani:
A behavioural analysis of credulous Twitter users. Online Soc. Networks Media 23: 100133 (2021)
[j65]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/NicolaDL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/NicolaDL21
Rocco De Nicola, Tan Duong, Michele Loreti:
Provably correct implementation of the AbC calculus. Sci. Comput. Program. 202: 102567 (2021)
[c150]
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/UwimbabaziIN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/UwimbabaziIN21
Aline Uwimbabazi, Omar Inverso, Rocco De Nicola:
Automated Replication of Tuple Spaces via Static Analysis. FSEN 2021: 18-34
[c149]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/itasec/SiwachCN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itasec/SiwachCN21
Chinmay Siwach, Gabriele Costa, Rocco De Nicola:
Enhancing Malware Classification with Symbolic Features. ITASEC 2021: 509-522
[d3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/StefanoNI21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/StefanoNI21
Luca Di Stefano, Rocco De Nicola, Omar Inverso:
Replication Package for the paper: Verification of Distributed Systems via Sequential Emulation. Zenodo, 2021
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2101-10782
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-10782
Alessandro Balestrucci, Rocco De Nicola, Marinella Petrocchi, Catia Trubiani:
A Behavioural Analysis of Credulous Twitter Users. CoRR abs/2101.10782 (2021)
2020
[j64]
- view
  authority control:
- export record
  dblp key:
  - journals/jitt/UriartePCCNTU20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jitt/UriartePCCNTU20
Yesim Tonga Uriarte, Marinella Petrocchi, Maria Luisa Catoni, Stefano Cresci, Rocco De Nicola, Maurizio Tesconi, Rafael Brundo Uriarte:
Exploring the relation between festivals and host cities on Twitter: a study on the impacts of Lucca Comics & Games. J. Inf. Technol. Tour. 22(4): 625-648 (2020)
[j63]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/NicolaFPT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/NicolaFPT20
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese, Francesco Tiezzi:
A formal approach to the engineering of domain-specific distributed systems. J. Log. Algebraic Methods Program. 111: 100511 (2020)
[j62]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/NicolaSI20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/NicolaSI20
Rocco De Nicola, Luca Di Stefano, Omar Inverso:
Multi-agent systems with virtual stigmergy. Sci. Comput. Program. 187: 102345 (2020)
[j61]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/AlrahmanNL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AlrahmanNL20
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
Programming interactions in collective adaptive systems by relying on attribute-based communication. Sci. Comput. Program. 192: 102428 (2020)
[j60]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/NicolaJW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/NicolaJW20
Rocco De Nicola, Stefan Jähnichen, Martin Wirsing:
Rigorous engineering of collective adaptive systems: special section. Int. J. Softw. Tools Technol. Transf. 22(4): 389-397 (2020)
[j59]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/NicolaMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/NicolaMS20
Rocco De Nicola, Alessandro Maggi, Joseph Sifakis:
The DReAM framework for dynamic reconfigurable architecture modelling: theory and applications. Int. J. Softw. Tools Technol. Transf. 22(4): 437-455 (2020)
[c148]
- view
  authority control:
- export record
  dblp key:
  - conf/eais/BalestrucciN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eais/BalestrucciN20
Alessandro Balestrucci, Rocco De Nicola:
Credulous Users and Fake News: a Real Case Study on the Propagation in Twitter. EAIS 2020: 1-8
[c147]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BellucciniNDP0T20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BellucciniNDP0T20
Sara Belluccini, Rocco De Nicola, Marlon Dumas, Pille Pullonen, Barbara Re, Francesco Tiezzi:
Verification of Privacy-Enhanced Collaborations. FormaliSE@ICSE 2020: 141-152
[c146]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BellucciniN0T20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BellucciniN0T20
Sara Belluccini, Rocco De Nicola, Barbara Re, Francesco Tiezzi:
PALM: A Technique for Process ALgebraic Specification Mining. IFM 2020: 397-418
[c145]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/WirsingNJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/WirsingNJ20
Martin Wirsing, Rocco De Nicola, Stefan Jähnichen:
Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition. ISoLA (2) 2020: 161-170
[c144]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/NicolaDI20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/NicolaDI20
Rocco De Nicola, Tan Duong, Omar Inverso:
Verifying AbC Specifications via Emulation. ISoLA (2) 2020: 261-279
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-03550
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-03550
Alessandro Balestrucci, Rocco De Nicola:
Credulous Users and Fake News: a Real Case Study on the Propagation in Twitter. CoRR abs/2005.03550 (2020)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2010-01913
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-01913
Guido Caldarelli, Rocco De Nicola, Marinella Petrocchi, Manuel Pratelli, Fabio Saracco:
Analysis of online misinformation during the peak of the COVID-19 pandemics in Italy. CoRR abs/2010.01913 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j58]
- view
  authority control:
- export record
  dblp key:
  - journals/fgcs/UriarteNST19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fgcs/UriarteNST19
Rafael Brundo Uriarte, Rocco De Nicola, Vincenzo Scoca, Francesco Tiezzi:
Defining and guaranteeing dynamic service levels in clouds. Future Gener. Comput. Syst. 99: 27-40 (2019)
[j57]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/grid/AralBUNS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/grid/AralBUNS19
Atakan Aral, Ivona Brandic, Rafael Brundo Uriarte, Rocco De Nicola, Vincenzo Scoca:
Addressing Application Latency Requirements through Edge Scheduling. J. Grid Comput. 17(4): 677-698 (2019)
[j56]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/AlrahmanNL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/AlrahmanNL19
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
A calculus for collective-adaptive systems and its behavioural theory. Inf. Comput. 268 (2019)
[c143]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/MaggiNS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/MaggiNS19
Alessandro Maggi, Rocco De Nicola, Joseph Sifakis:
A Logic-Inspired Approach to Reconfigurable System Modelling. From Reactive Systems to Cyber-Physical Systems 2019: 181-201
[c142]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/NicolaDIM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/NicolaDIM19
Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti:
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems. From Software Engineering to Formal Methods and Tools, and Back 2019: 377-396
[c141]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/NicolaDL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/NicolaDL19
Rocco De Nicola, Tan Duong, Michele Loreti:
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. COORDINATION 2019: 111-128
[c140]
- view
  authority control:
- export record
  dblp key:
  - conf/ideal/BalestrucciNPT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ideal/BalestrucciNPT19
Alessandro Balestrucci, Rocco De Nicola, Marinella Petrocchi, Catia Trubiani:
Do You Really Follow Them? Automatic Detection of Credulous Twitter Users. IDEAL (1) 2019: 402-410
[c139]
- view
  authority control:
- export record
  dblp key:
  - conf/ircdl/CozzaHPN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ircdl/CozzaHPN19
Vittoria Cozza, Van Tien Hoang, Marinella Petrocchi, Rocco De Nicola:
Transparency in Keyword Faceted Search: An Investigation on Google Shopping. IRCDL 2019: 29-43
[c138]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/BalestrucciNIT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/BalestrucciNIT19
Alessandro Balestrucci, Rocco De Nicola, Omar Inverso, Catia Trubiani:
Identification of credulous users on Twitter. SAC 2019: 2096-2103
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1905-12687
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-12687
Guido Caldarelli, Rocco De Nicola, Fabio Del Vigna, Marinella Petrocchi, Fabio Saracco:
The role of bot squads in the political propaganda on Twitter. CoRR abs/1905.12687 (2019)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1909-03851
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-03851
Alessandro Balestrucci, Rocco De Nicola, Marinella Petrocchi, Catia Trubiani:
Do you really follow them? Automatic detection of credulous Twitter users. CoRR abs/1909.03851 (2019)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1912-01289
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-01289
Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi:
A Formal Approach to the Engineering of Domain-Specific Distributed Systems. CoRR abs/1912.01289 (2019)
2018
[j55]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/BuravlevNM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/BuravlevNM18
Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina:
Evaluating the efficiency of Linda implementations. Concurr. Comput. Pract. Exp. 30(8) (2018)
[j54]
- view
  authority control:
- export record
  dblp key:
  - journals/csm/UriarteN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csm/UriarteN18
Rafael Brundo Uriarte, Rocco De Nicola:
Blockchain-Based Decentralized Cloud/Fog Solutions: Challenges, Opportunities, and Standards. IEEE Commun. Stand. Mag. 2(3): 22-28 (2018)
[j53]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/firai/NicolaSI18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/firai/NicolaSI18
Rocco De Nicola, Luca Di Stefano, Omar Inverso:
Toward Formal Models and Languages for Verifiable Multi-Robot Systems. Frontiers Robotics AI 5: 94 (2018)
[j52]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/NicolaDIT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/NicolaDIT18
Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani:
AErlang: Empowering Erlang with attribute-based communication. Sci. Comput. Program. 168: 71-93 (2018)
[c137]
- view
  authority control:
- export record
  dblp key:
  - conf/closer/ScocaABNU18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/closer/ScocaABNU18
Vincenzo Scoca, Atakan Aral, Ivona Brandic, Rocco De Nicola, Rafael Brundo Uriarte:
Scheduling Latency-Sensitive Applications in Edge Computing. CLOSER 2018: 158-168
[c136]
- view
  authority control:
- export record
  dblp key:
  - conf/cloudcom/UriarteNK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cloudcom/UriarteNK18
Rafael Brundo Uriarte, Rocco De Nicola, Kyriakos Kritikos:
Towards Distributed SLA Management with Smart Contracts and Blockchain. CloudCom 2018: 266-271
[c135]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/NicolaFPT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/NicolaFPT18
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese, Francesco Tiezzi:
A Formal Approach to the Engineering of Domain-Specific Distributed Systems. COORDINATION 2018: 110-141
[c134]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/AlrahmanNGL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AlrahmanNGL18
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti:
A Distributed Coordination Infrastructure for Attribute-Based Interaction. FORTE 2018: 1-20
[c133]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/NicolaJW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/NicolaJW18
Rocco De Nicola, Stefan Jähnichen, Martin Wirsing:
Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition. ISoLA (3) 2018: 3-12
[c132]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/NicolaMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/NicolaMS18
Rocco De Nicola, Alessandro Maggi, Joseph Sifakis:
DReAM: Dynamic Reconfigurable Architecture Modeling. ISoLA (3) 2018: 13-31
[c131]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/JahnichenNW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/JahnichenNW18
Stefan Jähnichen, Rocco De Nicola, Martin Wirsing:
The Meaning of Adaptation: Mastering the Unforeseen? ISoLA (3) 2018: 109-117
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/AlrahmanNG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/AlrahmanNG18
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi:
GoAt: Attribute-Based Interaction in Google Go. ISoLA (3) 2018: 288-303
[c129]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/itasec/PuligaCCN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itasec/PuligaCCN18
Michelangelo Puliga, Guido Caldarelli, Alessandro Chessa, Rocco De Nicola:
Understanding the Twitter User Networks of Viruses and Ransomware Attacks. ITASEC 2018
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/pdp/BuravlevNLM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdp/BuravlevNLM18
Vitaly Buravlev, Rocco De Nicola, Alberto Lluch-Lafuente, Claudio Antares Mezzina:
Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies. PDP 2018: 302-305
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/rcis/TanoliPN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rcis/TanoliPN18
Irfan Khan Tanoli, Marinella Petrocchi, Rocco De Nicola:
Towards automatic translation of social network policies into controlled natural language. RCIS 2018: 1-12
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/staf/NicolaSI18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/NicolaSI18
Rocco De Nicola, Luca Di Stefano, Omar Inverso:
Multi-agent Systems with Virtual Stigmergy. STAF Workshops 2018: 351-366
[d2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/CozzaHPN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/CozzaHPN18
Vittoria Cozza, Van Tien Hoang, Marinella Petrocchi, Rocco De Nicola:
Transparency in Keyword Faceted Search: a dataset of Google Shopping html pages. Zenodo, 2018
[d1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/GarbiNA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/GarbiNA18
Giulio Garbi, Rocco De Nicola, Yehia Abd Alrahman:
GoAt: Attribute-based Interaction in Google Go. Zenodo, 2018
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1804-08091
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-08091
Rocco De Nicola, Luca Di Stefano, Omar Inverso:
Towards formal models and languages for verifiable Multi-Robot Systems. CoRR abs/1804.08091 (2018)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1805-03724
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-03724
Rocco De Nicola, Alessandro Maggi, Joseph Sifakis:
DReAM: Dynamic Reconfigurable Architecture Modeling (full paper). CoRR abs/1805.03724 (2018)
2017
[j51]
- view
  authority control:
- export record
  dblp key:
  - journals/actaC/LabellaN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/actaC/LabellaN17
Anna Labella, Rocco De Nicola:
Initial Algebra for a System of Right-Linear Functors. Acta Cybern. 23(1): 191-201 (2017)
[c125]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEcloud/ScocaUN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEcloud/ScocaUN17
Vincenzo Scoca, Rafael Brundo Uriarte, Rocco De Nicola:
Smart Contract Negotiation in Cloud Computing. CLOUD 2017: 592-599
[c124]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/NicolaDIM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/NicolaDIM17
Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti:
Verifying Properties of Systems Relying on Attribute-Based Communication. ModelEd, TestEd, TrustEd 2017: 169-190
[c123]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/NicolaDIT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/NicolaDIT17
Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani:
AErlang: Empowering Erlang with Attribute-Based Communication. COORDINATION 2017: 21-39
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/NicolaDIT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/NicolaDIT17
Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani:
AErlang at Work. SOFSEM 2017: 485-497
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1711-06092
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-06092
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication. CoRR abs/1711.06092 (2017)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1711-09762
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-09762
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
A Behavioural Theory for Interactions in Collective-Adaptive Systems. CoRR abs/1711.09762 (2017)
2016
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/AndricNL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/AndricNL16
Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente:
Replicating Data for Better Performances in X10. Semantics, Logics, and Calculi 2016: 236-251
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BuravlevNM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BuravlevNM16
Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina:
Tuple Spaces Implementations and Their Efficiency. COORDINATION 2016: 51-66
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/esocc/UriarteTN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esocc/UriarteTN16
Rafael Brundo Uriarte, Francesco Tiezzi, Rocco De Nicola:
Dynamic SLAs for Clouds. ESOCC 2016: 34-49
[c118]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/finrec/HoangCPN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/finrec/HoangCPN16
Van Tien Hoang, Vittoria Cozza, Marinella Petrocchi, Rocco De Nicola:
Online User Behavioural Modeling with Applications to Price Steering. FINREC 2016: 16-21
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/AlrahmanNL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AlrahmanNL16
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
On the Power of Attribute-Based Communication. FORTE 2016: 1-18
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/AlrahmanNL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/AlrahmanNL16
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
Programming of CAS Systems by Relying on Attribute-Based Communication. ISoLA (1) 2016: 539-553
[e8]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/2016
Rocco De Nicola, Eva Kühn:
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings. Lecture Notes in Computer Science 9763, Springer 2016, ISBN 978-3-319-41590-1 [contents]
[e7]
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/2016
Marco Bernardo, Rocco De Nicola, Jane Hillston:
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. Lecture Notes in Computer Science 9700, Springer 2016, ISBN 978-3-319-34095-1 [contents]
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/AlrahmanNL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AlrahmanNL16
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
On the Power of Attribute-based Communication. CoRR abs/1602.05635 (2016)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/BuravlevNM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BuravlevNM16
Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina:
Tuple spaces implementations and their efficiency. CoRR abs/1612.02979 (2016)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/NicolaM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NicolaM16
Rocco De Nicola, Hernán C. Melgratti:
Multiparty testing preorders. CoRR abs/1612.03191 (2016)
2015
[j50]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BernardoNL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BernardoNL15
Marco Bernardo, Rocco De Nicola, Michele Loreti:
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Acta Informatica 52(1): 61-106 (2015)
[j49]
- view
  - electronic edition @ eatcs.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Nicola15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Nicola15
Rocco De Nicola:
EATCS Fellows 2016 - Call for Nominations. Bull. EATCS 117 (2015)
[j48]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BorealeBNL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BorealeBNL15
Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti:
CaSPiS: a calculus of sessions, pipelines and services. Math. Struct. Comput. Sci. 25(3): 666-709 (2015)
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/NicolaH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/NicolaH15
Rocco De Nicola, Rolf Hennicker:
A Homage to Martin Wirsing. Software, Services, and Systems 2015: 1-12
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/NicolaMV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/NicolaMV15
Rocco De Nicola, Claudio Antares Mezzina, Hugo Torres Vieira:
Global Protocol Implementations via Attribute-Based Communication. Programming Languages with Applications to Biology and Security 2015: 219-237
[c113]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/coordination/AndricNL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/AndricNL15
Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente:
Replica-Based High-Performance Tuple Space Computing. COORDINATION 2015: 3-18
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/AlrahmanNLTV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/AlrahmanNLTV15
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi, Roberto Vigo:
A calculus for attribute-based communication. SAC 2015: 1840-1845
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/ShamsCN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/ShamsCN15
Farshad Shams, Antonio Cerone, Rocco De Nicola:
On Integrating Social and Sensor Networks for Emergency Management. SEFM Workshops 2015: 145-160
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/NicolaMPST15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/NicolaMPST15
Rocco De Nicola, Alessandro Maggi, Marinella Petrocchi, Angelo Spognardi, Francesco Tiezzi:
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. SEFM 2015: 327-343
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/NicolaM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/NicolaM15
Rocco De Nicola, Hernán C. Melgratti:
Multiparty Testing Preorders. TGC 2015: 16-31
[c108]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BortolussiNGGHL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BortolussiNGGHL15
Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink:
CARMA: Collective Adaptive Resource-sharing Markovian Agents. QAPL 2015: 16-31
[c107]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HoangSTPN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HoangSTPN15
Van Tien Hoang, Angelo Spognardi, Francesco Tiezzi, Marinella Petrocchi, Rocco De Nicola:
Domain-specific queries and Web search personalization: some investigations. WWV 2015: 51-58
[p3]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/NicolaLLLMMMPTV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/NicolaLLLMMMPTV15
Rocco De Nicola, Diego Latella, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin:
The SCEL Language: Design, Implementation, Verification. The ASCENS Approach 2015: 3-71
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/2015wirsing
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2015wirsing
Rocco De Nicola, Rolf Hennicker:
Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. Lecture Notes in Computer Science 8950, Springer 2015, ISBN 978-3-319-15544-9 [contents]
2014
[j47]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BernardoNL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BernardoNL14
Marco Bernardo, Rocco De Nicola, Michele Loreti:
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. Log. Methods Comput. Sci. 10(1) (2014)
[j46]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Nicola14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Nicola14
Rocco De Nicola:
Editor's Note. J. Log. Algebraic Methods Program. 83(2): 83 (2014)
[j45]
- view
  authority control:
- export record
  dblp key:
  - journals/taas/NicolaLPT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/taas/NicolaLPT14
Rocco De Nicola, Michele Loreti, Rosario Pugliese, Francesco Tiezzi:
A Formal Approach to Autonomic Systems Programming: The SCEL Language. ACM Trans. Auton. Adapt. Syst. 9(2): 7:1-7:29 (2014)
[j44]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BernardoNL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BernardoNL14
Marco Bernardo, Rocco De Nicola, Michele Loreti:
Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Theor. Comput. Sci. 546: 63-92 (2014)
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/aina/CelestiniCNMMPT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aina/CelestiniCNMMPT14
Alessandro Celestini, Gianpiero Costantino, Rocco De Nicola, Zakaria Maamar, Fabio Martinelli, Marinella Petrocchi, Francesco Tiezzi:
Reputation-Based Composition of Social Web Services. AINA 2014: 735-742
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BelznerNVW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BelznerNVW14
Lenz Belzner, Rocco De Nicola, Andrea Vandin, Martin Wirsing:
Reasoning (on) Service Component Ensembles in Rewriting Logic. Specification, Algebra, and Software 2014: 188-211
[c104]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/etaps/NicolaLLMPST14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etaps/NicolaLLMPST14
Rocco De Nicola, Alberto Lluch-Lafuente, Michele Loreti, Andrea Morichetta, Rosario Pugliese, Valerio Senni, Francesco Tiezzi:
Programming and Verifying Component Ensembles. FPS@ETAPS 2014: 69-83
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/Nicola14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/Nicola14
Rocco De Nicola:
A Formal Approach to Autonomic Systems Programming: The SCEL Language - (Long Abstract). FACS 2014: 24-28
[c102]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/NicolaIT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/NicolaIT14
Rocco De Nicola, Giulio Iacobelli, Mirco Tribastone:
Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction. FORTE 2014: 216-231
[c101]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ictcs/Nicola14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictcs/Nicola14
Rocco De Nicola:
A formal approach to autonomic systems programming: the SCEL language. ICTCS 2014: 1
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/WirsingNH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/WirsingNH14
Martin Wirsing, Rocco De Nicola, Matthias M. Hölzl:
Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track Introduction. ISoLA (1) 2014: 96-98
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/CabriCCNPTZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/CabriCCNPTZ14
Giacomo Cabri, Nicola Capodieci, Luca Cesari, Rocco De Nicola, Rosario Pugliese, Francesco Tiezzi, Franco Zambonelli:
Self-expression and Dynamic Attribute-Based Ensembles in SCEL. ISoLA (1) 2014: 147-163
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/VigoCTNNN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/VigoCTNNN14
Roberto Vigo, Alessandro Celestini, Francesco Tiezzi, Rocco De Nicola, Flemming Nielson, Hanne Riis Nielson:
Trust-Based Enforcement of Security Policies. TGC 2014: 176-191
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/ucc/UriarteTN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ucc/UriarteTN14
Rafael Brundo Uriarte, Francesco Tiezzi, Rocco De Nicola:
SLAC: A Formal Service-Level-Agreement Language for Cloud Computing. UCC 2014: 419-426
2013
[j43]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/NicolaLLM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/NicolaLLM13
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink:
A uniform definition of stochastic process calculi. ACM Comput. Surv. 46(1): 5:1-5:35 (2013)
[j42]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BernardoNL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BernardoNL13
Marco Bernardo, Rocco De Nicola, Michele Loreti:
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Inf. Comput. 225: 29-82 (2013)
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/CesariNPPTZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/CesariNPPTZ13
Luca Cesari, Rocco De Nicola, Rosario Pugliese, Mariachiara Puviani, Francesco Tiezzi, Franco Zambonelli:
Formalising Adaptation Patterns for Autonomic Ensembles. FACS 2013: 100-118
[c95]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifiptm/CelestiniNT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifiptm/CelestiniNT13
Alessandro Celestini, Rocco De Nicola, Francesco Tiezzi:
Network-Aware Evaluation Environment for Reputation Systems. IFIPTM 2013: 231-238
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/CelestiniNT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/CelestiniNT13
Alessandro Celestini, Rocco De Nicola, Francesco Tiezzi:
Specifying and analysing reputation systems with a coordination language. SAC 2013: 1363-1368
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/saso/BuresNGHKKMMPSWZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saso/BuresNGHKKMMPSWZ13
Tomás Bures, Rocco De Nicola, Ilias Gerostathopoulos, Nicklas Hoch, Michal Kit, Nora Koch, Giacoma Valentina Monreale, Ugo Montanari, Rosario Pugliese, Nikola B. Serbedzija, Martin Wirsing, Franco Zambonelli:
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. SASO Workshops 2013: 71-76
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BernardoNL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BernardoNL13
Marco Bernardo, Rocco De Nicola, Michele Loreti:
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations. TGC 2013: 315-330
[c91]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BernardoNL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BernardoNL13
Marco Bernardo, Rocco De Nicola, Michele Loreti:
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes. QAPL 2013: 81-96
[e5]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/2013
Rocco De Nicola, Christine Julien:
Coordination Models and Languages, 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings. Lecture Notes in Computer Science 7890, Springer 2013, ISBN 978-3-642-38492-9 [contents]
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1305-0538
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1305-0538
Marco Bernardo, Rocco De Nicola, Michele Loreti:
A Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities". CoRR abs/1305.0538 (2013)
2012
[c90]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/BernardoNL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/BernardoNL12
Marco Bernardo, Rocco De Nicola, Michele Loreti:
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. FoSSaCS 2012: 195-209
2011
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/NicolaFLP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/NicolaFLP11
Rocco De Nicola, Gian-Luigi Ferrari, Michele Loreti, Rosario Pugliese:
A Language-Based Approach to Autonomic Computing. FMCO 2011: 25-48
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/AcciaiBN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AcciaiBN11
Lucia Acciai, Michele Boreale, Rocco De Nicola:
Linear-Time and May-Testing in a Probabilistic Reactive Setting. FMOODS/FORTE 2011: 29-43
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/NicolaMT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/NicolaMT11
Rocco De Nicola, Andrea Margheri, Francesco Tiezzi:
Orchestrating Tuple-Based Languages. TGC 2011: 160-178
[c86]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-1865
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-1865
Marco Bernardo, Rocco De Nicola, Michele Loreti:
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi. PACO 2011: 66-75
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/sp/sensoria2011/CairesNPVZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/sensoria2011/CairesNPVZ11
Luís Caires, Rocco De Nicola, Rosario Pugliese, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro:
Core Calculi for Service-Oriented Computing. Results of the SENSORIA Project 2011: 153-188
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/sensoria2011/NicolaLLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/sensoria2011/NicolaLLM11
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink:
SoSL: A Service-Oriented Stochastic Logic. Results of the SENSORIA Project 2011: 447-466
[r2]
- view
  authority control:
- export record
  dblp key:
  - reference/parallel/Nicola11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/parallel/Nicola11
Rocco De Nicola:
Behavioral Equivalences. Encyclopedia of Parallel Computing 2011: 120-127
[r1]
- view
  authority control:
- export record
  dblp key:
  - reference/parallel/Nicola11a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/parallel/Nicola11a
Rocco De Nicola:
Process Algebras. Encyclopedia of Parallel Computing 2011: 1624-1636
2010
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/NicolaGL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/NicolaGL10
Rocco De Nicola, Daniele Gorla, Anna Labella:
Tree-functors, determinacy and bisimulations. Math. Struct. Comput. Sci. 20(3): 319-358 (2010)
[j40]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/NicolaGHNNPP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/NicolaGHNNPP10
Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese:
From Flow Logic to static type systems for coordination languages. Sci. Comput. Program. 75(6): 376-397 (2010)
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BernardoNL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BernardoNL10
Marco Bernardo, Rocco De Nicola, Michele Loreti:
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes. TGC 2010: 35-56

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/NicolaLLM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/NicolaLLM09
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink:
On a Uniform Framework for the Definition of Stochastic Process Languages. FMICS 2009: 9-25
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/NicolaLLM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/NicolaLLM09
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink:
Rate-Based Transition Systems for Stochastic Process Calculi. ICALP (2) 2009: 435-446
2008
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/NicolaL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/NicolaL08
Rocco De Nicola, Michele Loreti:
Multiple-Labelled Transition Systems for nominal calculi and their logics. Math. Struct. Comput. Sci. 18(1): 107-143 (2008)
[j38]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CastagnaNV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CastagnaNV08
Giuseppe Castagna, Rocco De Nicola, Daniele Varacca:
Semantic subtyping for the pi-calculus. Theor. Comput. Sci. 398(1-3): 217-242 (2008)
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/CalzolaiNLT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/CalzolaiNLT08
Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi:
TAPAs: A Tool for the Analysis of Process Algebras. Trans. Petri Nets Other Model. Concurr. 1: 54-70 (2008)
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/NicolaDM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/NicolaDM08
Rocco De Nicola, Pierpaolo Degano, José Meseguer:
Ugo Montanari in a Nutshell. Concurrency, Graphs and Models 2008: 1-8
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BettiniNL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BettiniNL08
Lorenzo Bettini, Rocco De Nicola, Michele Loreti:
Implementing Session Centered Calculi. COORDINATION 2008: 17-32
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/NicolaGHNNPP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/NicolaGHNNPP08
Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese:
From Flow Logic to Static Type Systems for Coordination Languages. COORDINATION 2008: 100-116
[c79]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fmoods/BorealeBNL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/BorealeBNL08
Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti:
Sessions and Pipelines for Structured Service Programming. FMOODS 2008: 19-38
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BruniNLM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BruniNLM08
Roberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina:
Provably Correct Implementations of Services. TGC 2008: 69-86
[c77]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/NicolaLLM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/NicolaLLM09
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink:
MarCaSPiS: a Markovian Extension of a Calculus for Services. SOS@ICALP 2008: 11-26
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/2008montanari
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2008montanari
Pierpaolo Degano, Rocco De Nicola, José Meseguer:
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 5065, Springer 2008, ISBN 978-3-540-68676-7 [contents]
2007
[j36]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/NicolaGP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/NicolaGP07
Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
Basic observables for a calculus for global computing. Inf. Comput. 205(10): 1491-1525 (2007)
[j35]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/NicolaGP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/NicolaGP07
Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
Global computing in a dynamic network of tuple spaces. Sci. Comput. Program. 64(2): 187-204 (2007)
[j34]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/NicolaKLLM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/NicolaKLLM07
Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink:
Model checking mobile stochastic logic. Theor. Comput. Sci. 382(1): 42-70 (2007)
[c76]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ictcs/Nicola07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictcs/Nicola07
Rocco De Nicola:
Session Centered Calculi for Service Oriented Computing. ICTCS 2007: 6-10
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/PalmeriNM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/PalmeriNM07
Maria Carla Palmeri, Rocco De Nicola, Mieke Massink:
Basic Observables for Probabilistic May Testing. QEST 2007: 189-200
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/esop/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/2007
Rocco De Nicola:
Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings. Lecture Notes in Computer Science 4421, Springer 2007, ISBN 978-3-540-71314-2 [contents]
2006
[j33]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/NicolaGP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/NicolaGP06
Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
Confining data and processes in global computing applications. Sci. Comput. Program. 63(1): 57-87 (2006)
[j32]
- view
  - electronic edition @ scpe.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/scpe/BettiniNL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scpe/BettiniNL06
Lorenzo Bettini, Rocco De Nicola, Michele Loreti:
Implementing Mobile and Distributed Applications in X-Klaim. Scalable Comput. Pract. Exp. 7(4) (2006)
[j31]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/NicolaGP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/NicolaGP06
Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
On the expressive power of KLAIM-based calculi. Theor. Comput. Sci. 356(3): 387-421 (2006)
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/WirsingNGHLTZ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/WirsingNGHLTZ06
Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro:
SensoriaProcess Calculi for Service-Oriented Computing. TGC 2006: 30-50
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/BorealeBCNLLMMRSVZ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/BorealeBCNLLMMRSVZ06
Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro:
SCC: A Service Centered Calculus. WS-FM 2006: 38-57
[c72]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BettiniNFL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BettiniNFL07
Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Michele Loreti:
Implementing a Distributed Mobile Calculus Using the IMC Framework. CoOrg/MTCoord@COORDINATION 2006: 63-79
[c71]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/NicolaL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/NicolaL07
Rocco De Nicola, Michele Loreti:
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi. LMCS 2006: 133-146
2005
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/NicolaS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/NicolaS05
Rocco De Nicola, Davide Sangiorgi:
Types in concurrency. Acta Informatica 42(2-3): 79-81 (2005)
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/NicolaFMPT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/NicolaFMPT05
Rocco De Nicola, Gian-Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto:
A Process Calculus for QoS-Aware Applications. COORDINATION 2005: 33-48
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/NicolaGP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/NicolaGP05
Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
Global Computing in a Dynamic Network of Tuple Spaces. COORDINATION 2005: 157-172
[c68]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/dais/BettiniNFLL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dais/BettiniNFLL05
Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Michele Loreti:
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing. DAIS 2005: 181-193
[c67]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fmoods/NicolaGP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/NicolaGP05
Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
Pattern Matching over a Dynamic Network of Tuple Spaces. FMOODS 2005: 1-14
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/NicolaGP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/NicolaGP05
Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
Basic Observables for a Calculus for Global Computing. ICALP 2005: 1226-1238
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/Nicola05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/Nicola05
Rocco De Nicola:
Languages and Process Calculi for Network Aware Programming - Short Summary -. ICTAC 2005: 49-52
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/CastagnaNV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/CastagnaNV05
Giuseppe Castagna, Rocco De Nicola, Daniele Varacca:
Semantic Subtyping for the p-Calculus. LICS 2005: 92-101
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/NicolaLM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/NicolaLM05
Rocco De Nicola, Diego Latella, Mieke Massink:
Formal modeling and quantitative analysis of KLAIM-based mobile systems. SAC 2005: 428-435
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/BettiniN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/BettiniN05
Lorenzo Bettini, Rocco De Nicola:
Mobile Distributed Programming in X-Klaim. SFM 2005: 29-68
[c61]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Nicola06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Nicola06
Rocco De Nicola:
From Process Calculi to Klaim and Back. APC 25 2005: 159-162
[c60]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/NicolaKLM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/NicolaKLM06
Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink:
Towards a Logic for Performance and Mobility. QAPL 2005: 161-175
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/2005
Rocco De Nicola, Davide Sangiorgi:
Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3705, Springer 2005, ISBN 3-540-30007-4 [contents]
2004
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/BettiniNL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/BettiniNL04
Lorenzo Bettini, Rocco De Nicola, Michele Loreti:
Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming. Autom. Softw. Eng. 11(3): 245-288 (2004)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/NicolaL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/NicolaL04
Rocco De Nicola, Michele Loreti:
A modal logic for mobile agents. ACM Trans. Comput. Log. 5(1): 79-128 (2004)
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/NicolaL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/NicolaL04
Rocco De Nicola, Michele Loreti:
MoMo: A Modal Logic for Reasoning About Mobility. FMCO 2004: 95-119
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/gc/BettiniNFLLOPV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gc/BettiniNFLLOPV04
Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Luís M. B. Lopes, Licínio Oliveira, Hervé Paulino, Vasco Thudichum Vasconcelos:
A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. Global Computing 2004: 179-207
[c57]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/NicolaGP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/NicolaGP05
Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
On the Expressive Power of Klaim-based Calculi. EXPRESS 2004: 117-130
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/2004
Rocco De Nicola, Gian-Luigi Ferrari, Greg Meredith:
Coordination Models and Languages, 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings. Lecture Notes in Computer Science 2949, Springer 2004, ISBN 3-540-21044-X [contents]
2003
[j27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/NicolaL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/NicolaL03
Rocco De Nicola, Anna Labella:
Nondeterministic regular expressions as solutions of equational systems. Theor. Comput. Sci. 302(1-3): 179-189 (2003)
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/NicolaFMPT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/NicolaFMPT03
Rocco De Nicola, Gian-Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto:
A Formal Basis for Reasoning on Programmable QoS. Verification: Theory and Practice 2003: 436-479
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/global/BettiniBNFGLMPTV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/global/BettiniBNFGLMPTV03
Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian-Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri:
The Klaim Project: Theory and Practice. Global Computing 2003: 88-150
2002
[j26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BorealeNP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BorealeNP02
Michele Boreale, Rocco De Nicola, Rosario Pugliese:
Trace and Testing Equivalence on Asynchronous Processes. Inf. Comput. 172(2): 139-164 (2002)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/CorradiniNL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/CorradiniNL02
Flavio Corradini, Rocco De Nicola, Anna Labella:
An Equational Axiomatization of Bisimulation over Regular Expressions. J. Log. Comput. 12(2): 301-320 (2002)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/BettiniNP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/BettiniNP02
Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese:
Klava: a Java package for distributed and mobile applications. Softw. Pract. Exp. 32(14): 1365-1394 (2002)
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BettiniNL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BettiniNL02
Lorenzo Bettini, Rocco De Nicola, Michele Loreti:
Formalizing Properties of Mobile Agent Systems. COORDINATION 2002: 72-87
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/fidji/BettiniN02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fidji/BettiniN02
Lorenzo Bettini, Rocco De Nicola:
A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces. FIDJI 2002: 175-184
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/BettiniNL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/BettiniNL02
Lorenzo Bettini, Rocco De Nicola, Michele Loreti:
Software update via mobile agent based programming. SAC 2002: 32-36
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/AndradeBBBCNFGGHKKLLLLMMMOPTWWZ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/AndradeBBBCNFGGHKKLLLLMMMOPTWWZ02
Luís Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki:
AGILE: Software Architecture for Mobility. WADT 2002: 1-33
2001
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/siamcomp/BorealeNP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siamcomp/BorealeNP01
Michele Boreale, Rocco De Nicola, Rosario Pugliese:
Proof Techniques for Cryptographic Processes. SIAM J. Comput. 31(3): 947-986 (2001)
[j22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/ChenN01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ChenN01
Xiao Jun Chen, Rocco De Nicola:
Algebraic characterizations of trace and decorated trace equivalences over tree-like structures. Theor. Comput. Sci. 254(1-2): 337-361 (2001)
[j21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BorealeNP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BorealeNP01
Michele Boreale, Rocco De Nicola, Rosario Pugliese:
Divergence in testing and readiness semantics. Theor. Comput. Sci. 266(1-2): 237-248 (2001)
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/ma/BettiniN01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ma/BettiniN01
Lorenzo Bettini, Rocco De Nicola:
Translating Strong Mobility into Weak Mobility. Mobile Agents 2001: 182-197
[c49]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BettiniNP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BettiniNP01
Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese:
XKlaim and Klava: Programming Mobile Code. TOSCA 2001: 24-37
2000
[j20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/NicolaP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/NicolaP00
Rocco De Nicola, Rosario Pugliese:
Linda-based applicative and imperative process algebras. Theor. Comput. Sci. 238(1-2): 389-437 (2000)
[j19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/NicolaFPV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/NicolaFPV00
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese, Betti Venneri:
Types for access control. Theor. Comput. Sci. 240(1): 215-254 (2000)
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/NicolaL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/NicolaL00
Rocco De Nicola, Michele Loreti:
A Modal Logic for KLAIM. AMAST 2000: 339-354
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/NicolaFP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/NicolaFP00
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese:
Programming Access Control: The KLAIM Experience. CONCUR 2000: 48-65
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/NicolaPR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/NicolaPR00
Rocco De Nicola, Rosario Pugliese, Antony I. T. Rowstron:
Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces. COORDINATION 2000: 66-80
[c45]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/BorealeNP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BorealeNP00
Michele Boreale, Rocco De Nicola, Rosario Pugliese:
Process Algebraic Analysis of Cryptographic Protocols. FORTE 2000: 375-392
[c44]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/woa/BettiniNFP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/woa/BettiniNFP00
Lorenzo Bettini, Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese:
Mobile Applications in X-KLAIM. WOA 2000: 1-6

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BorealeNP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BorealeNP99
Michele Boreale, Rocco De Nicola, Rosario Pugliese:
Basic Observables for Processes. Inf. Comput. 149(1): 77-98 (1999)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/ita/CorradiniNL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/CorradiniNL99
Flavio Corradini, Rocco De Nicola, Anna Labella:
A finite axiomatization of nondeterministic regular expressions. RAIRO Theor. Informatics Appl. 33(4/5): 447-466 (1999)
[j16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/CorradiniNL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/CorradiniNL99
Flavio Corradini, Rocco De Nicola, Anna Labella:
Models of Nondeterministic Regular Expressions. J. Comput. Syst. Sci. 59(3): 412-449 (1999)
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/Nicola99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/Nicola99
Rocco De Nicola:
Coordination and Access Control of Mobile Agents. COORDINATION 1999: 1-2
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoopw/NicolaFP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoopw/NicolaFP99
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese:
Types as Specifications of Access Policies. Secure Internet Programming 1999: 118-146
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/BorealeNP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/BorealeNP99
Michele Boreale, Rocco De Nicola, Rosario Pugliese:
A Theory of "May" Testing for Asynchronous Languages. FoSSaCS 1999: 165-179
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/CorradiniNL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/CorradiniNL99
Flavio Corradini, Rocco De Nicola, Anna Labella:
Graded Modalities and Resource Bisimulation. FSTTCS 1999: 381-393
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/BorealeNP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/BorealeNP99
Michele Boreale, Rocco De Nicola, Rosario Pugliese:
Proof Techniques for Cryptographic Processes. LICS 1999: 157-166
1998
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/NicolaFP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/NicolaFP98
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese:
KLAIM: A Kernel Language for Agents Interaction and Mobility. IEEE Trans. Software Eng. 24(5): 315-330 (1998)
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/VeglioniN98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/VeglioniN98
Simone Veglioni, Rocco De Nicola:
Possible Worlds for Process Algebras. CONCUR 1998: 179-193
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/BorealeNP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/BorealeNP98
Michele Boreale, Rocco De Nicola, Rosario Pugliese:
Asynchronous Observations of Processes. FoSSaCS 1998: 95-109
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/wetice/BettiniNPF98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wetice/BettiniNPF98
Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese, Gian-Luigi Ferrari:
Interactive Mobile Agents in X-Klaim. WETICE 1998: 110-117
[c35]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/NicolaL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/NicolaL98
Rocco De Nicola, Anna Labella:
Tree Morphisms and Bisimulations. MFCS Workshop on Concurrency 1998: 46-64
1997
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/CorradiniN97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/CorradiniN97
Flavio Corradini, Rocco De Nicola:
Locality Based Semantics for Process Algebras. Acta Informatica 34(4): 291-324 (1997)
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/NicolaFP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/NicolaFP97
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese:
Coordinating Mobile Agents via Blackboards and Access Rights. COORDINATION 1997: 220-237
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/BorealeNP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/BorealeNP97
Michele Boreale, Rocco De Nicola, Rosario Pugliese:
Basic Observables for Processes. ICALP 1997: 482-492
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/NicolaFP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/NicolaFP97
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese:
Locality Based Linda: Programming with Explicit Localities. TAPSOFT 1997: 712-726
1996
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/NicolaS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/NicolaS96
Rocco De Nicola, Scott A. Smolka:
Concurrency: Theory and Practice. ACM Comput. Surv. 28(4es): 52 (1996)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/CorradiniN96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/CorradiniN96
Flavio Corradini, Rocco De Nicola:
On Four Partial Ordering Semantics for a Process Calculus. Fundam. Informaticae 27(4): 349-383 (1996)
[j11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BorealeN96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BorealeN96
Michele Boreale, Rocco De Nicola:
A Symbolic Semantics for the pi-Calculus. Inf. Comput. 126(1): 34-52 (1996)
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/NicolaP96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/NicolaP96
Rocco De Nicola, Rosario Pugliese:
A Process Algebra Based on LINDA. COORDINATION 1996: 160-178
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/ChenN96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/ChenN96
Xiao Jun Chen, Rocco De Nicola:
Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures. ICALP 1996: 63-74
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/lomaps/NicolaP96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lomaps/NicolaP96
Rocco De Nicola, Rosario Pugliese:
Testing Semantics of Asynchronous Distributed Programs. LOMAPS 1996: 320-344
1995
[j10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BorealeN95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BorealeN95
Michele Boreale, Rocco De Nicola:
Testing Equivalence for Mobile Processes. Inf. Comput. 120(2): 279-303 (1995)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/NicolaV95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/NicolaV95
Rocco De Nicola, Frits W. Vaandrager:
Three Logics for Branching Bisimulation. J. ACM 42(2): 458-487 (1995)
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/NicolaS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/NicolaS95
Rocco De Nicola, Roberto Segala:
A Process Algebraic View of Input/Output Automata. Theor. Comput. Sci. 138(2): 391-423 (1995)
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/charme/NicolaFGLR95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/charme/NicolaFGLR95
Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Gioia Ristori:
Verifying hardware components within JACK. CHARME 1995: 246-260
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/CorradiniNL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/CorradiniNL95
Flavio Corradini, Rocco De Nicola, Anna Labella:
Fully Abstract Models for Nondeterministic Regular Expressions. CONCUR 1995: 130-144
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/strict/NicolaP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/strict/NicolaP95
Rocco De Nicola, Rosario Pugliese:
An Observational Semantics for Linda. STRICT 1995: 129-143
1994
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BorealeN94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BorealeN94
Michele Boreale, Rocco De Nicola:
A Symbolic Semantics for the pi-calculus (Extended Abstract). CONCUR 1994: 299-314
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/CorradiniN94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/CorradiniN94
Flavio Corradini, Rocco De Nicola:
Distribution and Locality of Concurrent Systems. ICALP 1994: 154-165
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/NicolaL94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/NicolaL94
Rocco De Nicola, Anna Labella:
A Completeness Theorem fro Nondeterministic Kleene Algebras. MFCS 1994: 536-545
1993
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/cn/NicolaFGR93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cn/NicolaFGR93
Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori:
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. Comput. Networks ISDN Syst. 25(7): 761-778 (1993)
[j6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DeganoNM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DeganoNM93
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari:
Universal Axioms for Bisimulations. Theor. Comput. Sci. 114(1): 63-91 (1993)
1992
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BorealeN92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BorealeN92
Michele Boreale, Rocco De Nicola:
Testing Equivalence for Mobile Processes (Extended Abstract). CONCUR 1992: 2-16
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/napaw/DeganoNM92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/napaw/DeganoNM92
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari:
Observation Trees. NAPAW 1992: 103-118
1991
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/NicolaFGR91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/NicolaFGR91
Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori:
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. CAV 1991: 37-47
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Nicola91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Nicola91
Rocco De Nicola:
Action and State-based Logics for Process Algebras. CONCUR 1991: 20-22
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/iwssd/NicolaIN91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwssd/NicolaIN91
Rocco De Nicola, Paola Inverardi, Monica Nesi:
Equational reasoning about LOTOS specifications: a rewriting approach. IWSSD 1991: 148-155
1990
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DeganoNM90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DeganoNM90
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari:
A Partial Ordering Semantics for CCS. Theor. Comput. Sci. 75(3): 223-262 (1990)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/NicolaMV90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/NicolaMV90
Rocco De Nicola, Ugo Montanari, Frits W. Vaandrager:
Back and Forth Bisimulations. CONCUR 1990: 152-165
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/NicolaF90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/NicolaF90
Rocco De Nicola, Gian-Luigi Ferrari:
Observational Logics and Concurrency Models. FSTTCS 1990: 301-315
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/NicolaV90a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/NicolaV90a
Rocco De Nicola, Frits W. Vaandrager:
Three Logics for Branching Bisimulation (Extended Abstract). LICS 1990: 118-129
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/litp/NicolaV90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/NicolaV90
Rocco De Nicola, Frits W. Vaandrager:
Action versus State based Logics for Transition Systems. Semantics of Systems of Concurrent Processes 1990: 407-419

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/avmfss/NicolaIN89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/avmfss/NicolaIN89
Rocco De Nicola, Paola Inverardi, Monica Nesi:
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. Automatic Verification Methods for Finite State Systems 1989: 54-67
1988
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/DeganoNM88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/DeganoNM88
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari:
A Distributed Operational Semantics for CCS Based on Condition/Event Systems. Acta Informatica 26(1/2): 59-91 (1988)
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/DeganoNM88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/DeganoNM88
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari:
On the Consistency of "Truly Concurrent" Operational and Denotational Semantics (Extended Abstract). LICS 1988: 133-141
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/rex/DeganoNM88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rex/DeganoNM88
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari:
Partial orderings descriptions and observations of nondeterministic concurrent processes. REX Workshop 1988: 438-466
1987
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/Nicola87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/Nicola87
Rocco De Nicola:
Extensional Equivalences for Transition Systems. Acta Informatica 24(2): 211-237 (1987)
[c10]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip2/DeganoNM87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/DeganoNM87
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari:
Observational equivalences for concurrency models. Formal Description of Programming Concepts 1987: 105-134
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/NicolaH87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/NicolaH87
Rocco De Nicola, Matthew Hennessy:
CCS without tau's. TAPSOFT, Vol.1 1987: 138-152
1986
[b1]
- view
  - electronic edition @ bl.uk
  - details & citations
- export record
  dblp key:
  - phd/ethos/DeNicola86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/DeNicola86
Rocco De Nicola:
Testing equivalences and fully abstract models for communicating systems. University of Edinburgh, UK, 1986
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ac/AcetoNF86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/AcetoNF86
Luca Aceto, Rocco De Nicola, Alessandro Fantechi:
Testing Equivalences for Event Structures. Mathematical Models for the Semantics of Parallelism 1986: 1-20
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ac/DeganoNM86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/DeganoNM86
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari:
CCS is an (Augmented) Contact Free C/E System. Mathematical Models for the Semantics of Parallelism 1986: 144-165
[c6]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip/Nicola86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip/Nicola86
Rocco De Nicola:
Net Theory and Application - Response. IFIP Congress 1986: 833-836
1985
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Nicola85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Nicola85
Rocco De Nicola:
Two Complete Axiom Systems for a Theory of Communicating Sequential Processes. Inf. Control. 64(1-3): 136-172 (1985)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/fct/DeganoNM85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fct/DeganoNM85
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari:
Partial ordering derivations for CCS. FCT 1985: 520-533
1984
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/NicolaH84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/NicolaH84
Rocco De Nicola, Matthew Hennessy:
Testing Equivalences for Processes. Theor. Comput. Sci. 34: 83-133 (1984)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/Nicola84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/Nicola84
Rocco De Nicola:
Models and Operators for Nondeterministic Processes. MFCS 1984: 433-442
1983
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fct/Nicola83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fct/Nicola83
Rocco De Nicola:
A Complete Set of Axioms for a Theory of Communicating Sequential Processes. FCT 1983: 115-126
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/NicolaH83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/NicolaH83
Rocco De Nicola, Matthew Hennessy:
Testing Equivalence for Processes. ICALP 1983: 548-560
1981
[c1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icdcs/MatelliM81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcs/MatelliM81
Rocco De Nicola, Alberto Martelli, Ugo Montanari:
Communication Through Message Passing or Shared Memory: A Formal Comparison. ICDCS 1981: 513-522

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.