Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Rosario Pugliese

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Federico Banti

> Home > Persons > Rosario Pugliese

Publications

2011
[j16]
- view
  - electronic edition via DOI (open access)
  - references & 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
[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
2008
[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)
  - references & 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

a service of

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.