Stefania Gnesi

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 Ugo Montanari

> Home > Persons > Stefania Gnesi

Publications

2004
[c38]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/vveis/FerrariGMRTT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vveis/FerrariGMRTT04
Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto:
Verication On The Web Of Mobile Systems. VVEIS 2004: 72-74
2003
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/FerrariGMP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/FerrariGMP03
Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore:
A model-checking verification environment for mobile processes. ACM Trans. Softw. Eng. Methodol. 12(4): 440-473 (2003)
2002
[c28]
- 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
1998
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/FerrariGMPR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FerrariGMPR98
Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori:
Verifying Mobile Processes in the HAL Environment. CAV 1998: 511-515
1997
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/FerrariFGMPR97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FerrariFGMPR97
Gian-Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori:
An Automated Based Verification Environment for Mobile Processes. TACAS 1997: 275-289
1987
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/esec/FantechiGIM87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/FantechiGIM87
Alessandro Fantechi, Stefania Gnesi, Paola Inverardi, Ugo Montanari:
An Executon Environment for the Formal Definiton of Ada. ESEC 1987: 327-335
1981
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/GnesiMM81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/GnesiMM81
Stefania Gnesi, Ugo Montanari, Alberto Martelli:
Dynamic Programming as Graph Searching: An Algebraic Approach. J. ACM 28(4): 737-751 (1981)
1978
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/CatalanoGM78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/CatalanoGM78
Alfonso Catalano, Stefania Gnesi, Ugo Montanari:
Shortest Path Problems and Tree Grammars: An Algebraic Framework. Graph-Grammars and Their Application to Computer Science and Biology 1978: 167-179

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.