Rosario Pugliese

Available identifiers

zbMath Open pugliese.rosarioWikidataQ38640406 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
https://portal.mardi4nfdi.de/entity/Q2848139	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Rosario Pugliese