Rocco De Nicola

发表

Rocco De Nicola, Frits W. Vaandrager, Ugo Montanari, 1990, CONCUR.
Rocco De Nicola, Gianluigi Zavattaro, Vasco Thudichum Vasconcelos, 2011, Results of the SENSORIA Project.
Antonio Cerone, Rocco De Nicola, Farshad Shams, 2015, SEFM Workshops.
Rocco De Nicola, Omar Inverso, Luca Di Stefano, 2018, Front. Robot. AI.
Rocco De Nicola, Matthew Hennessy, R. Nicola, 1987, TAPSOFT, Vol.1.
Rocco De Nicola, Ugo Montanari, Pierpaolo Degano, 1986, Mathematical Models for the Semantics of Parallelism.
Rocco De Nicola, Lorenzo Bettini, Rosario Pugliese, 2002, TOSCA.
Rocco De Nicola, Marinella Petrocchi, Renaud Lambiotte, 2020 .
Rocco De Nicola, Rosario Pugliese, Michele Boreale, 1999, Inf. Comput..
Rocco De Nicola, Francesco Tiezzi, Alessandro Celestini, 2013, IFIPTM.
Rocco De Nicola, Rolf Hennicker, R. Nicola, 2015, Software, Services, and Systems.
Rocco De Nicola, Francesco Tiezzi, Alberto Lluch-Lafuente, 2014, FPS@ETAPS.
Rocco De Nicola, Lorenzo Bettini, Michele Loreti, 2008, COORDINATION.
Rocco De Nicola, Rosario Pugliese, R. Nicola, 2000, Theor. Comput. Sci..
Rocco De Nicola, 2014, J. Log. Algebraic Methods Program..
Rocco De Nicola, Rosario Pugliese, Michele Boreale, 2002, Inf. Comput..
Rocco De Nicola, Franco Mazzanti, Omar Inverso, 2019, From Software Engineering to Formal Methods and Tools, and Back.
Rocco De Nicola, Daniele Gorla, Rosario Pugliese, 2006, Sci. Comput. Program..
Rocco De Nicola, Stefania Gnesi, Alessandro Fantechi, 1993, Comput. Networks ISDN Syst..
Rocco De Nicola, Flavio Corradini, 1994, ICALP.
Rocco De Nicola, Francesco Tiezzi, Andrea Margheri, 2011, TGC.
Diego Latella, Mieke Massink, Rocco De Nicola, 2013, CSUR.
Rocco De Nicola, Michele Loreti, Tan Duong, 2019, COORDINATION.
Roberto Bruni, Rocco De Nicola, Michele Loreti, 2015, Math. Struct. Comput. Sci..
Rocco De Nicola, Ugo Montanari, Pierpaolo Degano, 1988, REX Workshop.
Rocco De Nicola, Lenz Belzner, Martin Wirsing, 2014, Specification, Algebra, and Software.
Rocco De Nicola, Michele Loreti, Yehia Abd Alrahman, 2017, ArXiv.
Rocco De Nicola, Marco Bernardo, Michele Loreti, 2013, Theor. Comput. Sci..
Rocco De Nicola, Giulio Garbi, Yehia Abd Alrahman, 2018, ISoLA.
Rocco De Nicola, Barbara Re, Francesco Tiezzi, 2020, IFM.
Rocco De Nicola, Alberto Lluch-Lafuente, Marina Andric, 2016, Semantics, Logics, and Calculi.
Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, 2000, CONCUR.
Rocco De Nicola, Michele Boreale, 1994 .
Paola Inverardi, Rocco De Nicola, Monica Nesi, 1989, Automatic Verification Methods for Finite State Systems.
Rocco De Nicola, Michele Loreti, R. Nicola, 2004, FMCO.
Stephen Gilmore, Rocco De Nicola, Martin Wirsing, 2008 .
Rocco De Nicola, Gian Luigi Ferrari, Lorenzo Bettini, 2000, WOA.
Rocco De Nicola, Michele Loreti, Giulio Garbi, 2018, FORTE.
Roberto Bruni, Rocco De Nicola, Michele Loreti, 2008, FMOODS.
Marco Gribaudo, Rocco De Nicola, Lenz Belzner, 2015 .
Rocco De Nicola, Michele Loreti, Yehia Abd Alrahman, 2019, Inf. Comput..
Rocco De Nicola, Francesco Tiezzi, Rosario Pugliese, 2019, J. Log. Algebraic Methods Program..
Rocco De Nicola, Claudio Antares Mezzina, Vitaly Buravlev, 2016, COORDINATION.
Rocco De Nicola, Marco Bernardo, Michele Loreti, 2012, Log. Methods Comput. Sci..
José Meseguer, Rocco De Nicola, Pierpaolo Degano, 2008, Concurrency, Graphs and Models.
Rocco De Nicola, Ivona Brandic, Atakan Aral, 2018, CLOSER.
Rocco De Nicola, Daniele Gorla, Rosario Pugliese, 2005, COORDINATION.
Rocco De Nicola, Rosario Pugliese, Michele Boreale, 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Emilio Tuosto, Rocco De Nicola, Gian Luigi Ferrari, 2003, Global Computing.
Rocco De Nicola, R. Nicola, 1987, Acta Informatica.
Diego Latella, Mieke Massink, Rocco De Nicola, 2009, SOS@ICALP.
Franco Zambonelli, Nora Koch, Rocco De Nicola, 2013, 2013 IEEE 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops.
Rocco De Nicola, Martin Wirsing, Stefan Jähnichen, 2020, ISoLA.
Rocco De Nicola, Michele Loreti, Tan Duong, 2021 .
Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, 1997, TAPSOFT.
Diego Latella, Mieke Massink, Joost-Pieter Katoen, 2007, Theor. Comput. Sci..
Roberto Bruni, Ivan Lanese, Rocco De Nicola, 2006, WS-FM.
Rocco De Nicola, Lorenzo Bettini, Rosario Pugliese, 2002 .
Diego Latella, Mieke Massink, Stephen Gilmore, 2015 .
Rocco De Nicola, Anna Labella, 2003, Theor. Comput. Sci..
Rocco De Nicola, Omar Inverso, Luca Di Stefano, 2020, Sci. Comput. Program..
Rocco De Nicola, Daniele Gorla, Rosario Pugliese, 2007, Sci. Comput. Program..
Rocco De Nicola, Lorenzo Bettini, R. Nicola, 2005, SFM.
Rocco De Nicola, Francesco Tiezzi, Michele Loreti, 2015, SAC.
Stephen Gilmore, Rocco De Nicola, Martin Wirsing, 2006, TGC.
Zakaria Maamar, Rocco De Nicola, Gianpiero Costantino, 2014, 2014 IEEE 28th International Conference on Advanced Information Networking and Applications.
Rocco De Nicola, Michele Loreti, 2008, Math. Struct. Comput. Sci..
Joseph Sifakis, Rocco De Nicola, Alessandro Maggi, 2018, ISoLA.
Rocco De Nicola, Francesco Tiezzi, Rafael Brundo Uriarte, 2014, 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing.
Roberto Bruni, Rocco De Nicola, Michele Loreti, 2008, TGC.
Rocco De Nicola, Claudio Antares Mezzina, Alberto Lluch-Lafuente, 2018, 2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP).
Rocco De Nicola, Ugo Montanari, Pierpaolo Degano, 1987, Formal Description of Programming Concepts.
Rocco De Nicola, Marco Bernardo, Michele Loreti, 2015, Acta Informatica.
Rocco De Nicola, Christine Julien, 2013, Lecture Notes in Computer Science.
Rocco De Nicola, Marco Bernardo, Michele Loreti, 2013, TGC.
Joseph Sifakis, Rocco De Nicola, Alessandro Maggi, 2018, ArXiv.
Rocco De Nicola, 2015, Bull. EATCS.
Rocco De Nicola, Gian Luigi Ferrari, Lorenzo Bettini, 1998, Proceedings Seventh IEEE International Workshop on Enabling Technologies: Infrastucture for Collaborative Enterprises (WET ICE '98) (Cat. No.98TB100253).
Rocco De Nicola, Anna Labella, R. Nicola, 1994, MFCS.
Rocco De Nicola, Ugo Montanari, Pierpaolo Degano, 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Rocco De Nicola, Anna Labella, Flavio Corradini, 2002, J. Log. Comput..
Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, 1998, IEEE Trans. Software Eng..
Rocco De Nicola, Marinella Petrocchi, Vittoria Cozza, 2016, FINREC.
Rocco De Nicola, Zhiming Zhao, Huan Zhou, 2020, Concurr. Comput. Pract. Exp..
Rocco De Nicola, Michele Boreale, 1996, Inf. Comput..
Rocco De Nicola, Kyriakos Kritikos, Rafael Brundo Uriarte, 2018, 2018 IEEE International Conference on Cloud Computing Technology and Science (CloudCom).
Rocco De Nicola, Angelo Spognardi, Marinella Petrocchi, 2015, WWV.
Diego Latella, Mieke Massink, Rocco De Nicola, 2005, SAC '05.
Rocco De Nicola, Omar Inverso, Luca Di Stefano, 2020, STAF Workshops.
Diego Latella, Mieke Massink, Rocco De Nicola, 2009, FMICS.
Diego Latella, Mieke Massink, Roberto Bruni, 2002, WADT.
Rocco De Nicola, Rolf Hennicker, 2015, Lecture Notes in Computer Science.
Rocco De Nicola, Catia Trubiani, Omar Inverso, 2017, COORDINATION.
Flemming Nielson, Rocco De Nicola, Hanne Riis Nielson, 2014, TGC.
Emilio Tuosto, Rocco De Nicola, Gian Luigi Ferrari, 2005, COORDINATION.
Rocco De Nicola, Eva Kühn, 2016, Lecture Notes in Computer Science.
Rocco De Nicola, Michele Loreti, 2007, Electron. Notes Theor. Comput. Sci..
Rocco De Nicola, Michele Boreale, R. Nicola, 1992, CONCUR.
Rocco De Nicola, Claudio Antares Mezzina, Hugo Torres Vieira, 2015, Programming Languages with Applications to Biology and Security.
Rocco De Nicola, Marco Bernardo, Michele Loreti, 2012, FoSSaCS.
Christine Julien, Rocco De Nicola, 2013 .
Rocco De Nicola, Ugo Montanari, Pierpaolo Degano, 1990, Theor. Comput. Sci..
Rocco De Nicola, Daniele Gorla, Anna Labella, 2010, Mathematical Structures in Computer Science.
Rocco De Nicola, Flavio Corradini, R. Nicola, 1996, Fundam. Informaticae.
Rocco De Nicola, Rosario Pugliese, Michele Boreale, 1999, FoSSaCS.
Rocco De Nicola, 2006, Electron. Notes Theor. Comput. Sci..
Rocco De Nicola, Rosario Pugliese, Michele Boreale, 1997, ICALP.
Diego Latella, Mieke Massink, Rocco De Nicola, 2011, Results of the SENSORIA Project.
Rocco De Nicola, Gian Luigi Ferrari, Francesco Tiezzi, 2018, COORDINATION.
Rocco De Nicola, Martin Wirsing, Stefan Jähnichen, 2018, ISoLA.
Rocco De Nicola, Catia Trubiani, Omar Inverso, 2017, SOFSEM.
Rocco De Nicola, Frits W. Vaandrager, R. Nicola, 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Daniele Varacca, Rocco De Nicola, Giuseppe Castagna, 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Rocco De Nicola, Lorenzo Bettini, Michele Loreti, 2002, SAC '02.
Guido Caldarelli, Rocco De Nicola, Marinella Petrocchi, 2019, Communications Physics.
Diego Latella, Mieke Massink, Rocco De Nicola, 2009, ICALP.
Rocco De Nicola, Frits W. Vaandrager, 1995, JACM.
Rocco De Nicola, Claudio Antares Mezzina, Vitaly Buravlev, 2018, Concurr. Comput. Pract. Exp..
Rocco De Nicola, Lorenzo Bettini, Michele Loreti, 2005, Automated Software Engineering.
Rocco De Nicola, Stefania Gnesi, Salvatore Larosa, 1995, CHARME.
Rocco De Nicola, Martin Wirsing, Matthias M. Hölzl, 2014, ISoLA.
Rocco De Nicola, Francesco Tiezzi, Vincenzo Scoca, 2019, Future Gener. Comput. Syst..
Rocco De Nicola, Angelo Spognardi, Marinella Petrocchi, 2015, SEFM.
Rocco De Nicola, Daniele Gorla, Rosario Pugliese, 2005, FMOODS.
Rocco De Nicola, Catia Trubiani, Omar Inverso, 2018, Sci. Comput. Program..
Guido Caldarelli, Rocco De Nicola, Michelangelo Puliga, 2018, ITASEC.
Rocco De Nicola, Rosario Pugliese, Michele Boreale, 1998, FoSSaCS.
Rocco De Nicola, Gian Luigi Ferrari, Betti Venneri, 2000, Theor. Comput. Sci..
Emilio Tuosto, Rocco De Nicola, Gian Luigi Ferrari, 2003, Verification: Theory and Practice.
Rocco De Nicola, Daniele Gorla, Rosario Pugliese, 2004, EXPRESS.
Rocco De Nicola, R. Nicola, 2011, Encyclopedia of Parallel Computing.
Diego Latella, Mieke Massink, Rocco De Nicola, 2015 .
Rocco De Nicola, Ugo Montanari, Pierpaolo Degano, 1992, NAPAW.
Rocco De Nicola, Francesco Tiezzi, Michele Loreti, 2008, Trans. Petri Nets Other Model. Concurr..
Rocco De Nicola, Martin Wirsing, Stefan Jähnichen, 2018, ISoLA.
Rocco De Nicola, Lorenzo Bettini, Michele Loreti, 2002, COORDINATION.
Rocco De Nicola, Anna Labella, Flavio Corradini, 1999, RAIRO Theor. Informatics Appl..
Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, 1997, COORDINATION.
Franco Zambonelli, Rocco De Nicola, Francesco Tiezzi, 2013, FACS.
Rocco De Nicola, Marlon Dumas, Barbara Re, 2020, FormaliSE@ICSE.
Rocco De Nicola, Alberto Lluch-Lafuente, Marina Andric, 2015, COORDINATION.
Rocco De Nicola, Gian Luigi Ferrari, G. Ferrari, 1990, FSTTCS.
Rocco De Nicola, Michele Boreale, R. Nicola, 1995, Inf. Comput..
Mieke Massink, Rocco De Nicola, Diego Latella, 2015, The ASCENS Approach.
Rocco De Nicola, Lorenzo Bettini, Michele Loreti, 2007, CoOrg/MTCoord@COORDINATION.
Rocco De Nicola, Frits W. Vaandrager, R. Nicola, 1990, LICS 1990.
Daniele Varacca, Rocco De Nicola, Giuseppe Castagna, 2008, Theor. Comput. Sci..
Rocco De Nicola, Frits W. Vaandrager, R. Nicola, 1990, Semantics of Systems of Concurrent Processes.
Rocco De Nicola, Hernán C. Melgratti, R. Nicola, 2015, TGC.
Rocco De Nicola, Francesco Tiezzi, Alessandro Celestini, 2013, SAC '13.
Rocco De Nicola, Anna Labella, 1998, Electron. Notes Theor. Comput. Sci..
Rocco De Nicola, Marinella Petrocchi, Catia Trubiani, 2019, IDEAL.
Rocco De Nicola, Anna Labella, Flavio Corradini, 1999, FSTTCS.
Alberto Martelli, Rocco De Nicola, Ugo Montanari, 1981, ICDCS.
Rocco De Nicola, Marc Lacoste, Lorenzo Bettini, 2005, DAIS.
Rocco De Nicola, Catia Trubiani, Omar Inverso, 2019, SAC.
Rocco De Nicola, Omar Inverso, Luca Di Stefano, 2018, Front. Robot. AI.
Rocco De Nicola, Daniele Gorla, Rosario Pugliese, 2007, Inf. Comput..
Rocco De Nicola, 1986, IFIP Congress.
Rocco De Nicola, Marinella Petrocchi, Vittoria Cozza, 2019, IRCDL.
Rocco De Nicola, Luca Aceto, Alessandro Fantechi, 1986, Mathematical Models for the Semantics of Parallelism.
Rocco De Nicola, Rosario Pugliese, R. Nicola, 1996, COORDINATION.
Flemming Nielson, Rocco De Nicola, Hanne Riis Nielson, 2010, Sci. Comput. Program..
Rocco De Nicola, Vincenzo Scoca, Rafael Brundo Uriarte, 2017, 2017 IEEE 10th International Conference on Cloud Computing (CLOUD).
Rocco De Nicola, Lorenzo Bettini, Michele Loreti, 2001, Scalable Comput. Pract. Exp..
Rocco De Nicola, Michele Loreti, 2000, AMAST.
Diego Latella, Mieke Massink, Stephen Gilmore, 2015, QAPL.
Franco Zambonelli, Rocco De Nicola, Nicola Capodieci, 2014, ISoLA.
Rocco De Nicola, Anna Labella, 2017, Acta Cybern..
Rocco De Nicola, Anna Labella, Flavio Corradini, 1999, J. Comput. Syst. Sci..
Rocco De Nicola, Alessandro Balestrucci, R. Nicola, 2020, 2020 IEEE Conference on Evolving and Adaptive Intelligent Systems (EAIS).
Rocco De Nicola, Daniele Gorla, Rosario Pugliese, 2006, Theor. Comput. Sci..
Rocco De Nicola, Lucia Acciai, Michele Boreale, 2011, FMOODS/FORTE.
Rocco De Nicola, Omar Inverso, Tan Duong, 2020, ISoLA.
Rocco De Nicola, Lorenzo Bettini, Rosario Pugliese, 2002, Softw. Pract. Exp..
Rocco De Nicola, Roberto Segala, R. Nicola, 1995, Theor. Comput. Sci..
Rocco De Nicola, Rafael Brundo Uriarte, R. Nicola, 2018, IEEE Communications Standards Magazine.
Rocco De Nicola, Rosario Pugliese, R. Nicola, 1995, STRICT.
Rocco De Nicola, Franco Mazzanti, Omar Inverso, 2017, ModelEd, TestEd, TrustEd.
Rocco De Nicola, Francesco Tiezzi, Rafael Brundo Uriarte, 2016, ESOCC.
Rocco De Nicola, Ugo Montanari, Pierpaolo Degano, 1993, Theor. Comput. Sci..
Rocco De Nicola, Michele Loreti, 2004, TOCL.
Rocco De Nicola, Anna Labella, Flavio Corradini, 1995, CONCUR.
Antony I. T. Rowstron, Rocco De Nicola, Rosario Pugliese, 2000, COORDINATION.
Rocco De Nicola, 1999, COORDINATION.
Rocco De Nicola, Flavio Corradini, 1997, Acta Informatica.
Rocco De Nicola, Lorenzo Bettini, R. Nicola, 2001, Mobile Agents.
Rocco De Nicola, Marinella Petrocchi, Irfan Khan Tanoli, 2018, 2018 12th International Conference on Research Challenges in Information Science (RCIS).
Diego Latella, Mieke Massink, Joost-Pieter Katoen, 2006, QAPL.
Rocco De Nicola, Michele Loreti, Yehia Abd Alrahman, 2016, FORTE.
Rocco De Nicola, R. Nicola, 1984, MFCS.
Rocco De Nicola, Davide Sangiorgi, 2005, Acta Informatica.
Rocco De Nicola, Ugo Montanari, Pierpaolo Degano, 1988, Acta Informatica.
Rocco De Nicola, R. Nicola, 2011, Encyclopedia of Parallel Computing.
Rocco De Nicola, Scott A. Smolka, 1996, CSUR.
Rocco De Nicola, Rosario Pugliese, Michele Boreale, 2001, Theor. Comput. Sci..
Rocco De Nicola, Mirco Tribastone, Giulio Iacobelli, 2014, FORTE.
Joseph Sifakis, Rocco De Nicola, Alessandro Maggi, 2020, International Journal on Software Tools for Technology Transfer.
Rocco De Nicola, Rosario Pugliese, Michele Boreale, 2000, FORTE.
Rocco De Nicola, Matthew Hennessy, R. Nicola, 1984, Theor. Comput. Sci..
José Meseguer, Rocco De Nicola, Pierpaolo Degano, 2008, Concurrency, Graphs and Models.
Rocco De Nicola, Simone Veglioni, 1998, CONCUR.
Xiao Jun Chen, Rocco De Nicola, R. Nicola, 2001, Theor. Comput. Sci..
Ada Diaconescu, Yves Demazeau, Rocco De Nicola, 2014 .
Rocco De Nicola, Rosario Pugliese, R. Nicola, 1996, LOMAPS.
Rocco De Nicola, Gian Luigi Ferrari, Michele Loreti, 2011, FMCO.
Rocco De Nicola, Hervé Paulino, Marc Lacoste, 2004, Global Computing.
Rocco De Nicola, Michele Loreti, Yehia Abd Alrahman, 2015 .
Joseph Sifakis, Rocco De Nicola, Alessandro Maggi, 2019, From Reactive Systems to Cyber-Physical Systems.
Rocco De Nicola, Rosario Pugliese, Michele Boreale, 2001, SIAM J. Comput..
Rocco De Nicola, Daniele Gorla, Rosario Pugliese, 2005, ICALP.
Mieke Massink, Rocco De Nicola, M. C. Palmeri, 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).
Rocco De Nicola, Matthew Hennessy, R. Nicola, 1983, ICALP.
Rocco De Nicola, Michele Loreti, Yehia Abd Alrahman, 2016, ISoLA.
Rocco De Nicola, Maurizio Tesconi, Stefano Cresci, 2020, Information Technology & Tourism.
Rocco De Nicola, Frits W. Vaandrager, Ursula Goltz, 2021 .
Rocco De Nicola, Omar Inverso, Aline Uwimbabazi, 2021, FSEN.
Rocco De Nicola, Marinella Petrocchi, Manuel Pratelli, 2021, Inf. Process. Manag..
Rocco De Nicola, Gabriele Costa, Chinmay Siwach, 2021, ITASEC.
Stephen Gilmore, Rocco De Nicola, Martin Wirsing, 2006 .
Rocco De Nicola, R. Nicola, 2006 .
Diego Latella, Mieke Massink, Joost-Pieter Katoen, .
Flemming Nielson, Rocco De Nicola, Hanne Riis Nielson, 2010, COORDINATION.
Rocco De Nicola, Daniele Gorla, Rosario Pugliese, 2006 .