Rosario Pugliese

Available identifiers

zbMath Open pugliese.rosarioDBLPp/RosarioPuglieseWikidataQ38640406 ScholiaQ38640406MaRDI QIDQ859967

List of research outcomes

Publication	Date of Publication	Type
Pattern Matching over a Dynamic Network of Tuple Spaces	2021-05-20	Paper
https://portal.mardi4nfdi.de/entity/Q4963996	2021-02-24	Paper
Replacement freeness: a criterion for separating process calculi	2020-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q5114827	2020-06-26	Paper
A formal approach to the engineering of domain-specific distributed systems	2020-01-31	Paper
Basic observables for processes	2018-07-04	Paper
Programming Autonomic Systems with Multiple Constraint Stores	2015-06-22	Paper
Programming and Verifying Component Ensembles	2014-07-24	Paper
On the expressive power of \textsc{Klaim}-based calculi	2013-09-25	Paper
A WSDL-based type system for asynchronous WS-BPEL processes	2011-05-23	Paper
An accessible verification environment for UML models of services	2011-01-14	Paper
From flow logic to static type systems for coordination languages	2010-04-29	Paper
Verification: Theory and Practice	2010-03-23	Paper
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems	2010-02-05	Paper
Dynamic management of capabilities in a network aware coordination language	2009-11-04	Paper
On Observing Dynamic Prioritised Actions in SOC	2009-07-14	Paper
C WS: A Timed Service-Oriented Calculus	2008-09-17	Paper
Regulating Data Exchange in Service Oriented Applications	2008-07-01	Paper
Specifying and Analysing SOC Applications with COWS	2008-06-19	Paper
Basic observables for a calculus for global computing	2007-10-10	Paper
A Calculus for Orchestration of Web Services	2007-09-04	Paper
Global computing in a dynamic network of tuple spaces	2007-01-22	Paper
Processes, Terms and Cycles: Steps on the Road to Infinity	2006-11-13	Paper
Confining data and processes in global computing applications	2006-10-25	Paper
On the expressive power of \textsc{Klaim}-based calculi	2006-05-29	Paper
Automata, Languages and Programming	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4673434	2005-04-29	Paper
MetaKlaim: a type safe multi-stage language for global computing	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4449169	2004-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4445774	2004-02-02	Paper
Klava: a Java package for distributed and mobile applications	2003-02-04	Paper
Trace and testing equivalence on asynchronous processes	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4536592	2002-11-28	Paper
Proof techniques for cryptographic processes	2002-04-23	Paper
Divergence in testing and readiness semantics	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q4499204	2001-08-22	Paper
Types for access control	2000-08-21	Paper
Linda-based applicative and imperative process algebras	2000-08-21	Paper
Basic observables for processes	2000-01-12	Paper

Research outcomes over time

This page was built for person: Rosario Pugliese