More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Rosario Pugliese

> Home > Persons

Person information

affiliation: University of Florence, Italy

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

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

2023
[j30]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/BettiniBPT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BettiniBPT23
Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi:
Coordinating and programming multiple ROS-based robots with X-KLAIM. Int. J. Softw. Tools Technol. Transf. 25(5): 747-764 (2023)
2020
[j29]
- 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)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/PuglieseT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/PuglieseT20
Rosario Pugliese, Francesco Tiezzi:
Replacement freeness: A criterion for separating process calculi. J. Log. Algebraic Methods Program. 116: 100579 (2020)
[j27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/BasileBP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/BasileBP20
Davide Basile, Maurice H. ter Beek, Rosario Pugliese:
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services. Log. Methods Comput. Sci. 16(2) (2020)
2019
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/MargheriMPT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/MargheriMPT19
Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi:
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies. IEEE Trans. Software Eng. 45(1): 2-33 (2019)
2017
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/soca/CesariPT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/soca/CesariPT17
Luca Cesari, Rosario Pugliese, Francesco Tiezzi:
Blind-date conversation joining. Serv. Oriented Comput. Appl. 11(3): 265-283 (2017)
2016
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/wc/ChitiFLP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/wc/ChitiFLP16
Francesco Chiti, Romano Fantacci, Michele Loreti, Rosario Pugliese:
Context-aware wireless mobile autonomic computing and communications: research trends and emerging applications. IEEE Wirel. Commun. 23(2): 86-92 (2016)
2014
[j23]
- 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)
2013
[j22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/KovacsPST13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/KovacsPST13
Laura Kovács, Rosario Pugliese, Josep Silva, Francesco Tiezzi:
Special issue on Automated Specification and Verification of Web Systems. J. Log. Algebraic Methods Program. 82(8): 241-242 (2013)
2012
[j21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/japll/PuglieseT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/japll/PuglieseT12
Rosario Pugliese, Francesco Tiezzi:
A calculus for orchestration of web services. J. Appl. Log. 10(1): 2-31 (2012)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/jms/MasiPT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jms/MasiPT12
Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi:
Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios. J. Medical Syst. 36(6): 3695-3711 (2012)
[j19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/LapadulaPT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LapadulaPT12
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
Using formal methods to develop WS-BPEL applications. Sci. Comput. Program. 77(3): 189-213 (2012)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/FantechiGLMPT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/FantechiGLMPT12
Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi:
A logical verification methodology for service-oriented computing. ACM Trans. Softw. Eng. Methodol. 21(3): 16:1-16:46 (2012)
2011
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/LapadulaPT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/LapadulaPT11
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
A WSDL-based type system for asynchronous WS-BPEL processes. Formal Methods Syst. Des. 38(2): 119-157 (2011)
[j16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/BantiPT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/BantiPT11
Federico Banti, Rosario Pugliese, Francesco Tiezzi:
An accessible verification environment for UML models of services. J. Symb. Comput. 46(2): 119-149 (2011)
2010
[j15]
- 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)
2009
[j14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/GorlaP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/GorlaP09
Daniele Gorla, Rosario Pugliese:
Dynamic management of capabilities in a network aware coordination language. J. Log. Algebraic Methods Program. 78(8): 665-689 (2009)
2007
[j13]
- 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)
[j12]
- 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)
2006
[j11]
- 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)
[j10]
- 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)
2004
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/FerrariMP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/FerrariMP04
Gian-Luigi Ferrari, Eugenio Moggi, Rosario Pugliese:
MetaKlaim: a type safe multi-stage language for global computing. Math. Struct. Comput. Sci. 14(3): 367-395 (2004)
2002
[j8]
- 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)
[j7]
- 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)
2001
[j6]
- 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)
[j5]
- 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)
2000
[j4]
- 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)
[j3]
- 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)
1999
[j2]
- 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)
1998
[j1]
- 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)

Conference and Workshop Papers

see FAQ

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

2024
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BettiniFLPTT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BettiniFLPTT24
Lorenzo Bettini, Gian-Luigi Ferrari, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Emilio Tuosto:
Klaim in the Making. ISoLA (1) 2024: 27-49
2023
[c83]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/dlt2/BrunoEGKPT023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlt2/BrunoEGKPT023
Tania Bruno, Ettore Etenzi, Luca Gualandi, Eraldo Katra, Rosario Pugliese, Alessio Taranto, Francesco Tiezzi:
Incentivizing Customer Reviews in the Grocery Industry: The Re-Taled Project's Approach. DLT 2023
2022
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BettiniBPT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BettiniBPT22
Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi:
Programming Multi-robot Systems with X-KLAIM. ISoLA (3) 2022: 283-300
2020
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BettiniBPT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BettiniBPT20
Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi:
Writing Robotics Applications with X-Klaim. ISoLA (2) 2020: 361-379
2019
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BasilePTDF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BasilePTDF19
Davide Basile, Rosario Pugliese, Francesco Tiezzi, Pierpaolo Degano, Gian-Luigi Ferrari:
Automata-Based Behavioural Contracts with Action Correlation. From Software Engineering to Formal Methods and Tools, and Back 2019: 131-151
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BasileBP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BasileBP19
Davide Basile, Maurice H. ter Beek, Rosario Pugliese:
Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies. COORDINATION 2019: 129-147
2018
[c78]
- 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
2016
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/MargheriNNP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/MargheriNNP16
Andrea Margheri, Hanne Riis Nielson, Flemming Nielson, Rosario Pugliese:
Towards Static Analysis of Policy-Based Self-adaptive Computing Systems. ISoLA (1) 2016: 554-569
2015
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/MontanariPT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/MontanariPT15
Ugo Montanari, Rosario Pugliese, Francesco Tiezzi:
Programming Autonomic Systems with Multiple Constraint Stores. Software, Services, and Systems 2015: 641-661
[c75]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MargheriPT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MargheriPT15
Andrea Margheri, Rosario Pugliese, Francesco Tiezzi:
On Properties of Policy-Based Specifications. WWV 2015: 33-50
2014
[c74]
- 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
[c73]
- 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
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LoretiMPT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LoretiMPT14
Michele Loreti, Andrea Margheri, Rosario Pugliese, Francesco Tiezzi:
On Programming and Policing Autonomic Computing Systems. ISoLA (1) 2014: 164-183
2013
[c71]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/biostec/MargheriMPT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/biostec/MargheriMPT13
Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi:
On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data. HEALTHINF 2013: 263-268
[c70]
- 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
[c69]
- 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
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/saso/MayerKHPTPKB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saso/MayerKHPTPKB13
Philip Mayer, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Toma Bure:
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing. SASO Workshops 2013: 89-94
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/uic/MargheriPT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uic/MargheriPT13
Andrea Margheri, Rosario Pugliese, Francesco Tiezzi:
Linguistic Abstractions for Programming and Policing Autonomic Computing Systems. UIC/ATC 2013: 404-409
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/MargheriMPT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/MargheriMPT13
Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi:
Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - - A Practical Approach -. WS-FM 2013: 85-105
[c65]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CesariPT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CesariPT13
Luca Cesari, Rosario Pugliese, Francesco Tiezzi:
Blind-date Conversation Joining. WWV 2013: 3-18
2012
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/essos/MasiPT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/essos/MasiPT12
Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi:
Formalisation and Implementation of the XACML Access Control Mechanism. ESSoS 2012: 60-74
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/GjondrekajLPTPBBD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/GjondrekajLPTPBBD12
Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Carlo Pinciroli, Manuele Brambilla, Mauro Birattari, Marco Dorigo:
Towards a Formal Verification Methodology for Collective Robotic Systems. ICFEM 2012: 54-70
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/models/BuschKMPT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/BuschKMPT12
Marianne Busch, Nora Koch, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi:
Towards model-driven development of access control policies for web applications. MDsec@MoDELS 2012: 4
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/GjondrekajLPT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/GjondrekajLPT12
Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi:
Modeling adaptation with a tuple-based coordination language. SAC 2012: 1522-1527
2011
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/africom/MasiPT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/africom/MasiPT11
Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi:
e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience. AFRICOMM 2011: 187-196
[c59]
- 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
2010
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/CesariLPT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/CesariLPT10
Luca Cesari, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
A tool for rapid development of WS-BPEL applications. SAC 2010: 2438-2442
[c57]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1011-6430
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1011-6430
Federico Banti, Rosario Pugliese, Francesco Tiezzi:
A criterion for separating process calculi. EXPRESS 2010: 16-30
2009
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/PuglieseTY09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/PuglieseTY09
Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida:
On Observing Dynamic Prioritised Actions in SOC. ICALP (2) 2009: 558-570
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/iciss/MasiPT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iciss/MasiPT09
Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi:
On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals. ICISS 2009: 55-70
[c54]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BocchiFLPT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BocchiFLPT09
Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
From Architectural to Behavioural Specification of Services. FESCA@ETAPS 2009: 3-21
2008
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/LapadulaPT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/LapadulaPT08
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
Specifying and Analysing SOC Applications with COWS. Concurrency, Graphs and Models 2008: 701-720
[c52]
- 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
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/LapadulaPT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/LapadulaPT08
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
A Formal Account of WS-BPEL. COORDINATION 2008: 199-215
[c50]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/FantechiGLMPT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/FantechiGLMPT08
Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi:
A Model Checking Approach for Verifying COWS Specifications. FASE 2008: 230-245
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/WirsingHABCFGGGKLMMPSTTV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/WirsingHABCFGGGKLMMPSTTV08
Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró:
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA 2008: 170-190
[c48]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BantiLPT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BantiLPT09
Federico Banti, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study. WWV 2008: 71-105
[c47]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PuglieseTY09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PuglieseTY09
Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida:
A Symbolic Semantics for a Calculus for Service-Oriented Computing. PLACES@DisCoTec 2008: 135-164
2007
[c46]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/LapadulaPT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/LapadulaPT07
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
A Calculus for Orchestration of Web Services. ESOP 2007: 33-47
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/Lapadula07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/Lapadula07
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
Regulating Data Exchange in Service Oriented Applications. FSEN 2007: 223-239
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/LapadulaPT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/LapadulaPT07
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
C-clock-WS: A Timed Service-Oriented Calculus. ICTAC 2007: 275-290
[c43]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LapadulaPT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LapadulaPT08
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
Service Discovery and Negotiation With COWS. WWV 2007: 133-154
2006
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/LapadulaPT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/LapadulaPT06
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
A WSDL-Based Type System for WS-BPEL. COORDINATION 2006: 145-163
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/CrescenziLP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/CrescenziLP06
Pilu Crescenzi, Michele Loreti, Rosario Pugliese:
Assessing CS1 java skills: a three-year experience. ITiCSE 2006: 348
2005
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/CoppoCDGP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/CoppoCDGP05
Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese:
A Mobility Calculus with Local and Dependent Types. Processes, Terms and Cycles 2005: 404-444
[c39]
- 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
[c38]
- 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
[c37]
- 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
[c36]
- 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
2004
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/ifipTCS/CoppoDGP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifipTCS/CoppoDGP04
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese:
Dynamic and Local Typing for Mobile Ambients. IFIP TCS 2004: 577-590
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/GorlaP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/GorlaP04
Daniele Gorla, Rosario Pugliese:
Controlling data movement in global computing applications. SAC 2004: 1462-1467
[c33]
- 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
2003
[c32]
- 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
[c31]
- 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
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/GorlaP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/GorlaP03
Daniele Gorla, Rosario Pugliese:
Resource Access and Mobility Control with Dynamic Privileges Acquisition. ICALP 2003: 119-132
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/spc/GorlaP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spc/GorlaP03
Daniele Gorla, Rosario Pugliese:
Enforcing Security Policies via Types. SPC 2003: 86-100
2002
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/BettiniLP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/BettiniLP02
Lorenzo Bettini, Michele Loreti, Rosario Pugliese:
An infrastructure language for open nets. SAC 2002: 373-377
[c27]
- 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
[c26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FerrariMP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FerrariMP02
Gian-Luigi Ferrari, Eugenio Moggi, Rosario Pugliese:
Guardians for Ambient-based Monitoring. F-WAN@ICALP 2002: 52-75
2001
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/saig/FerrariMP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saig/FerrariMP01
Gian-Luigi Ferrari, Eugenio Moggi, Rosario Pugliese:
MetaKlaim: Meta-programming for Global Computing. SAIG 2001: 183-198
[c24]
- 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
[c23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FerrariMP01a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FerrariMP01a
Gian-Luigi Ferrari, Eugenio Moggi, Rosario Pugliese:
Global Types and Network Services. ConCoord 2001: 35-48
[c22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FerrariMP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FerrariMP01
Gian-Luigi Ferrari, Eugenio Moggi, Rosario Pugliese:
Higher-Order Types and Meta-Programming for Global Computing. TOSCA 2001: 52-68
[c21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BettiniLP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BettiniLP01
Lorenzo Bettini, Michele Loreti, Rosario Pugliese:
Modelling Node Connectivity in Dynamically Evolving Networks. ConCoord 2001: 81-91
2000
[c20]
- 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
[c19]
- 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
[c18]
- 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
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/BettiniLP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/BettiniLP00
Lorenzo Bettini, Michele Loreti, Rosario Pugliese:
Structured Nets in KLAIM. SAC (1) 2000: 174-180
[c16]
- 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
[c15]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/woa/FerrariPT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/woa/FerrariPT00
Gian-Luigi Ferrari, Rosario Pugliese, Emilio Tuosto:
Calculi for Network Aware Programming. WOA 2000: 23-28
1999
[c14]
- 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
[c13]
- 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
[c12]
- 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
[c11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/IngolfsdottirP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/IngolfsdottirP99
Anna Ingólfsdóttir, Rosario Pugliese:
Towards Verified Lazy Implementation of Concurrent Value-Passing Languages. EXPRESS 1999: 18-24
1998
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/FantechiGMPT98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/FantechiGMPT98
Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci:
A Symbolic Model Checker for ACTL. FM-Trends 1998: 228-242
[c9]
- 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
[c8]
- 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
1997
[c7]
- 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
[c6]
- 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
[c5]
- 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
[c4]
- 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
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/PuglieseT96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/PuglieseT96
Rosario Pugliese, Enrico Tronci:
Automatic Verification of a Hydroelectric Power Plant. FME 1996: 425-444
[c2]
- 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
[c1]
- 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

Parts in Books or Collections

see FAQ

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

2015
[p5]
- 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
[p4]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/CombazBTMPK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/CombazBTMPK15
Jacques Combaz, Saddek Bensalem, Francesco Tiezzi, Andrea Margheri, Rosario Pugliese, Jan Kofron:
Correctness of Service Components and Service Component Ensembles. The ASCENS Approach 2015: 107-159
[p3]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/MayerVKHPTPKB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/MayerVKHPTPKB15
Philip Mayer, José Velasco, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Tomás Bures:
The Autonomic Cloud. The ASCENS Approach 2015: 495-512
2011
[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/GnesiPT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/sensoria2011/GnesiPT11
Stefania Gnesi, Rosario Pugliese, Francesco Tiezzi:
The Sensoria Approach Applied to the Finance Case Study. Results of the SENSORIA Project 2011: 698-718

Editorship

see FAQ

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

2019
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/2019denicola
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2019denicola
Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese:
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 11665, Springer 2019, ISBN 978-3-030-21484-5 [contents]
2014
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/2014
Eva Kühn, Rosario Pugliese:
Coordination Models and Languages - 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings. Lecture Notes in Computer Science 8459, Springer 2014, ISBN 978-3-662-43375-1 [contents]
2011
[e1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-2085
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-2085
Laura Kovács, Rosario Pugliese, Francesco Tiezzi:
Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, WWV 2011, Reykjavik, Iceland, 9th June 2011. EPTCS 61, 2011 [contents]

Informal and Other Publications

see FAQ

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

2019
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1910-00849
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-00849
Davide Basile, Maurice H. ter Beek, Rosario Pugliese:
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services. CoRR abs/1910.00849 (2019)
[i2]
- 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)
2016
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/MargheriMPT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MargheriMPT16
Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi:
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies. CoRR abs/1612.09339 (2016)

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.