default search action

combined dblp search
author search
venue search
publication search

ask others

Francesco Parisi-Presicce

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

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

2017
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/vlc/BottoniFHP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vlc/BottoniFHP17
Paolo Bottoni, Andrew Fish, Alexander Heußner, Francesco Parisi-Presicce:
Resource-aware policies. J. Vis. Lang. Comput. 38: 84-96 (2017)
2016
[c76]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BottoniFP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BottoniFP16
Paolo Bottoni, Andrew Fish, Francesco Parisi-Presicce:
Type Annotation for Adaptive Systems. GaM@ETAPS 2016: 1-15
[e4]
- view
- export record
  dblp key:
  - conf/staf/2016ds
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/2016ds
Catherine Dubois, Francesco Parisi-Presicce, Dimitris S. Kolovos, Nicholas Matragkas:
Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016), Vienna, Austria, July 4-7, 2016. CEUR Workshop Proceedings 1675, CEUR-WS.org 2016 [contents]
2015
[j33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/BottoniNP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/BottoniNP15
Paolo Bottoni, Roberto Navigli, Francesco Parisi-Presicce:
Conditions, constraints and contracts: On the use of annotations for policy modeling. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 73 (2015)
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/BottoniFP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/BottoniFP15
Paolo Bottoni, Andrew Fish, Francesco Parisi-Presicce:
Spider Graphs: a graph transformation system for spider diagrams. Softw. Syst. Model. 14(4): 1421-1453 (2015)
[c75]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/gg/BottoniNP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/BottoniNP15
Paolo Bottoni, Roberto Navigli, Francesco Parisi-Presicce:
Conditions, Constraints and Contracts: On the Use of Annotations for Policy Modeling. GCM@ICGT 2015: 18-33
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/2015
Francesco Parisi-Presicce, Bernhard Westfechtel:
Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings. Lecture Notes in Computer Science 9151, Springer 2015, ISBN 978-3-319-21144-2 [contents]
2013
[j31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/BottoniP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/BottoniP13
Paolo Bottoni, Francesco Parisi-Presicce:
Annotations on Complex Patterns. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58 (2013)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/vlc/BottoniP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vlc/BottoniP13
Paolo Bottoni, Francesco Parisi-Presicce:
Annotation processes for flexible management of contextual information. J. Vis. Lang. Comput. 24(6): 421-440 (2013)
2012
[j29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/BottoniP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/BottoniP12
Paolo Bottoni, Francesco Parisi-Presicce:
Modeling context with graph annotations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 47 (2012)
2011
[j28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/BottoniFP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/BottoniFP11
Paolo Bottoni, Andrew Fish, Francesco Parisi-Presicce:
Incremental update of constraint-compliant policy rules. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 39 (2011)
2010
[j27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/BottoniFP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/BottoniFP10
Paolo Bottoni, Andrew Fish, Francesco Parisi-Presicce:
Preserving constraints in horizontal model transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010)
[j26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/BottoniP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/BottoniP10
Paolo Bottoni, Francesco Parisi-Presicce:
A Termination Criterion for Graph Transformations with Negative Application Conditions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/HagstromP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/HagstromP10
Åsa Hagström, Francesco Parisi-Presicce:
A Model for Distribution and Revocation of Certificates. ICGT 2010: 314-329

2000 – 2009

see FAQ

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

2007
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/Parisi-Presicce07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/Parisi-Presicce07
Francesco Parisi-Presicce:
Special section: International Conference on Graph Transformation ICGT 2004. Softw. Syst. Model. 6(3): 267-268 (2007)
2006
[j24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/BottoniHP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/BottoniHP06
Paolo Bottoni, Kathrin Hoffmann, Francesco Parisi-Presicce:
Termination of Algebraic Rewriting with Inhibitors. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 4 (2006)
[j23]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/EngelsOP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/EngelsOP06
Gregor Engels, Fernando Orejas, Francesco Parisi-Presicce:
Special Issue with Selected Papers from ICGT 2004. Fundam. Informaticae 74(1) (2006)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/KochP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/KochP06
Manuel Koch, Francesco Parisi-Presicce:
UML specification of access control policies and their formal verification. Softw. Syst. Model. 5(4): 429-447 (2006)
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/ZhangSP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/ZhangSP06
Xinwen Zhang, Ravi S. Sandhu, Francesco Parisi-Presicce:
Safety analysis of usage control authorization models. AsiaCCS 2006: 243-254
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/iwsec/ZhangPS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwsec/ZhangPS06
Xinwen Zhang, Francesco Parisi-Presicce, Ravi S. Sandhu:
Towards Remote Policy Enforcement for Runtime Protection of Mobile Code Using Trusted Computing. IWSEC 2006: 179-195
[c71]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BottoniPPT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BottoniPPT08
Paolo Bottoni, Francesco Parisi-Presicce, Simone Pulcini, Gabriele Taentzer:
Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse. GT-VMT@ETAPS 2006: 87-98
2005
[j21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/KochMP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/KochMP05
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce:
Graph-based specification of access control policies. J. Comput. Syst. Sci. 71(1): 1-33 (2005)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/DwaikatP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/DwaikatP05
Zaid Dwaikat, Francesco Parisi-Presicce:
Risky trust: risk-based analysis of software systems. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-7 (2005)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/tissec/ZhangPSP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tissec/ZhangPSP05
Xinwen Zhang, Francesco Parisi-Presicce, Ravi S. Sandhu, Jaehong Park:
Formal model and policy specification of usage control. ACM Trans. Inf. Syst. Secur. 8(4): 351-387 (2005)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/vlc/BottoniHPT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vlc/BottoniHPT05
Paolo Bottoni, Kathrin Hoffmann, Francesco Parisi-Presicce, Gabriele Taentzer:
High-level replacement units and their termination properties. J. Vis. Lang. Comput. 16(6): 485-507 (2005)
[c70]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/dbsec/MotroP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbsec/MotroP05
Amihai Motro, Francesco Parisi-Presicce:
Blind Custodians: A Database Service Architecture That Supports Privacy Without Encryption. DBSec 2005: 338-352
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DwaikatP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DwaikatP05
Zaid Dwaikat, Francesco Parisi-Presicce:
Risky trust: risk-based analysis of software systems. SESS@ICSE 2005: 1-7
2004
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/dbsec/GudesMP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbsec/GudesMP04
Ehud Gudes, Luigi V. Mancini, Francesco Parisi-Presicce:
Information Flow Analysis for File Systems and Databases Using Labels. DBSec 2004: 125-141
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/sacmat/ZhangPPS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sacmat/ZhangPPS04
Xinwen Zhang, Jaehong Park, Francesco Parisi-Presicce, Ravi S. Sandhu:
A logical specification for usage control. SACMAT 2004: 1-10
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/sacmat/KochMP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sacmat/KochMP04
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce:
Administrative scope in the graph-based framework. SACMAT 2004: 97-104
[c65]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BottoniKPT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BottoniKPT05
Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer:
Termination of High-Level Replacement Units with Application to Model Transformation. VLFM 2004: 71-86
[c64]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HoffmannMP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HoffmannMP05
Kathrin Hoffmann, Till Mossakowski, Francesco Parisi-Presicce:
Higher-Order Nets for Mobile Policies. PNGT@ICGT 2004: 87-105
[c63]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Parisi-PresicceZ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Parisi-PresicceZ05
Francesco Parisi-Presicce, Yujie Zhao:
Policy Analysis and Verification by Graph Transformation Tools. GraBaTs 2004: 101-112
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/2004
Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg:
Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings. Lecture Notes in Computer Science 3256, Springer 2004, ISBN 3-540-23207-9 [contents]
2003
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/tods/WijesekeraJPH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tods/WijesekeraJPH03
Duminda Wijesekera, Sushil Jajodia, Francesco Parisi-Presicce, Åsa Hagström:
Removing permissions in the flexible authorization framework. ACM Trans. Database Syst. 28(3): 209-229 (2003)
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/agtive/BottoniPT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agtive/BottoniPT03
Paolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer:
Specifying Integrated Refactoring with Distributed Graph Transformations. AGTIVE 2003: 220-235
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/KochP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/KochP03
Manuel Koch, Francesco Parisi-Presicce:
Formal access control analysis in the software development process. FMSE 2003: 67-76
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/Parisi-Presicce03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/Parisi-Presicce03
Francesco Parisi-Presicce:
A Formal Framework for Petri Net Class Transformations. Petri Net Technology for Communication-Based Systems 2003: 409-430
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/fase/KochP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/KochP03
Manuel Koch, Francesco Parisi-Presicce:
Visual Specifications of Policies and Their Verification. FASE 2003: 278-293
2002
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/Grosse-RhodePS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/Grosse-RhodePS02
Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni:
Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems. J. Comput. Syst. Sci. 64(2): 171-218 (2002)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/tissec/KochMP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tissec/KochMP02
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce:
A graph-based formalism for RBAC. ACM Trans. Inf. Syst. Secur. 5(3): 332-365 (2002)
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/KochMP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/KochMP02
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce:
Decidability of Safety in Graph-Based Models for Access Control. ESORICS 2002: 229-243
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/KochMP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/KochMP02
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce:
Conflict Detection and Resolution in Access Control Policy Specifications. FoSSaCS 2002: 223-237
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/KochP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/KochP02
Manuel Koch, Francesco Parisi-Presicce:
Describing Policies with Graph Constraints and Rules. ICGT 2002: 223-238
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/tes/MecellaPP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tes/MecellaPP02
Massimo Mecella, Francesco Parisi-Presicce, Barbara Pernici:
Modeling E -service Orchestration through Petri Nets. TES 2002: 38-47
[c54]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BottoniPT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BottoniPT03
Paolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer:
Coordinated Distributed Diagram Transformation for Software Evolution. Software Evolution Through Transformations @ ICGT 2002: 59-70
2001
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/HagstromJPW01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/HagstromJPW01
Åsa Hagström, Sushil Jajodia, Francesco Parisi-Presicce, Duminda Wijesekera:
Revocations-A Classification. CSFW 2001: 44-58
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/KochMP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/KochMP01
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce:
Foundations for a Graph-Based Approach to the Specification of Access Control Policies. FoSSaCS 2001: 287-302
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/lacl/BottoniMMP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lacl/BottoniMMP01
Paolo Bottoni, Bernd Meyer, Kim Marriott, Francesco Parisi-Presicce:
Deductive Parsing of Visual Languages. LACL 2001: 79-94
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/sacmat/KochMP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sacmat/KochMP01
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce:
On the specification and evolution of access control policies. SACMAT 2001: 121-130
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/uml/BottoniKPT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uml/BottoniKPT01
Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer:
A Visualization of OCL Using Collaborations. UML 2001: 257-271
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/vl/BottoniMP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vl/BottoniMP01
Paolo Bottoni, Bernd Meyer, Francesco Parisi-Presicce:
On a Uniform Logical Framework for Diagrammatic Reasoning. HCC 2001: 64-71
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/GajewskyP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/GajewskyP01
Magdalena Gajewsky, Francesco Parisi-Presicce:
On the Compatibility of Model and Model-Class Transformations. WADT 2001: 109-127
[c46]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Parisi-Presicce01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Parisi-Presicce01
Francesco Parisi-Presicce:
On Modifying High Level Replacement Systems. UNIGRA 2001: 16-27
[c45]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/EhrigHP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/EhrigHP01
Hartmut Ehrig, Annegret Habel, Francesco Parisi-Presicce:
Basic Results for Two Types of High-Level Replacement Systems. GETGRATS Closing Workshop 2001: 127-138
[c44]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KochMP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KochMP01
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce:
Graph Transformations for the Specification of Access Control Policies. GETGRATS Closing Workshop 2001: 222-232
2000
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/KochMP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/KochMP00
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce:
A Formal Model for Role-Based Access Control Using Graph Transformation. ESORICS 2000: 122-139
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/fase/Parisi-PresicceW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Parisi-PresicceW00
Francesco Parisi-Presicce, Alexander L. Wolf:
Foundations for Software Configuration Management Policies Using Graph Transformations. FASE 2000: 304-318
[c41]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icalp/Parisi-Presicce00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/Parisi-Presicce00
Francesco Parisi-Presicce:
Which Graphs for Visual Modeling? ICALP Satellite Workshops 2000: 383-386
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/uml/BottoniKPT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uml/BottoniKPT00
Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer:
Consistency Checking and Visualization of OCL Constraints. UML 2000: 294-308
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/wmp/BottoniMP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wmp/BottoniMP00
Paolo Bottoni, Bernd Meyer, Francesco Parisi-Presicce:
Visual Multiset Rewriting: Applications to Diagram Parsing and Reasoning. WMP 2000: 45-68

1990 – 1999

see FAQ

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

1999
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/agtive/Grosse-RhodePST99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agtive/Grosse-RhodePST99
Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni, Gabriele Taentzer:
Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions. AGTIVE 1999: 31-45
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/agtive/BottoniPS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agtive/BottoniPS99
Paolo Bottoni, Francesco Parisi-Presicce, Marta Simeoni:
On a Uniform Representation of Transformation Systems. AGTIVE 1999: 63-78
[c36]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fmoods/VeglioniP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/VeglioniP99
S. Veglioni, Francesco Parisi-Presicce:
Composition and Interaction for Behavioural Specifications. FMOODS 1999
1998
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/Grosse-RhodePS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/Grosse-RhodePS98
Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni:
Spatial and Temporal Refinement of Typed Graph Transformation Systems. MFCS 1998: 553-561
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/tagt/BottoniPS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tagt/BottoniPS98
Paolo Bottoni, Francesco Parisi-Presicce, Marta Simeoni:
From Formulae to Rewriting Systems. TAGT 1998: 267-280
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/tagt/Grosse-RhodePS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tagt/Grosse-RhodePS98
Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni:
Refinements of Graph Transformation Systems via Rule Expressions. TAGT 1998: 368-382
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/Grosse-RhodePS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/Grosse-RhodePS98
Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni:
Refinements and Modules for Typed Graph Transformation Systems. WADT 1998: 138-151
1997
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CiceroneP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CiceroneP97
Serafino Cicerone, Francesco Parisi-Presicce:
On the Complexity of Specification Morphisms. Theor. Comput. Sci. 189(1-2): 239-248 (1997)
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/1997
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/1997
Francesco Parisi-Presicce:
Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers. Lecture Notes in Computer Science 1376, Springer 1997, ISBN 3-540-64299-4 [contents]
1996
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/wg/CiottiP96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wg/CiottiP96
Ornella Ciotti, Francesco Parisi-Presicce:
Closure Properties of Context-Tree Hyperedge Replacement Systems. WG 1996: 101-113
1994
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/Parisi-PresicceP94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/Parisi-PresicceP94
Francesco Parisi-Presicce, Alfonso Pierantonio:
An Algebraic Theory of Class Specification. ACM Trans. Softw. Eng. Methodol. 3(2): 166-199 (1994)
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/compass/Parisi-PresicceP94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compass/Parisi-PresicceP94
Francesco Parisi-Presicce, Alfonso Pierantonio:
Dynamical Behavior of Object Systems. COMPASS/ADT 1994: 406-419
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/esop/CiceroneP94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/CiceroneP94
Serafino Cicerone, Francesco Parisi-Presicce:
Strategies in Modular System Design by Interface Rewriting. ESOP 1994: 165-179
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/isooms/Parisi-PresicceP94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isooms/Parisi-PresicceP94
Francesco Parisi-Presicce, Alfonso Pierantonio:
Reusing Object Oriented Design: An Algebraic Approach. ISOOMS 1994: 329-345
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/tagt/Parisi-Presicce94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tagt/Parisi-Presicce94
Francesco Parisi-Presicce:
Transformations of Graph Grammars. TAGT 1994: 428-442
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/wg/Parisi-PresicceP94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wg/Parisi-PresicceP94
Francesco Parisi-Presicce, Gabriele Piersanti:
Multilevel Graph Grammars. WG 1994: 51-64
1993
[c25]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/amast/EhrigP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/EhrigP93
Hartmut Ehrig, Francesco Parisi-Presicce:
Interaction between Algebraic Specification Grammars and Modular System Design. AMAST 1993: 217-224
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/Parisi-PresicceV93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/Parisi-PresicceV93
Francesco Parisi-Presicce, S. Veglioni:
Heterogeneous Unified Algebras. MFCS 1993: 618-628
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/wsscs/Parisi-PresicceP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/wsscs/Parisi-PresicceP93
Francesco Parisi-Presicce, Alfonso Pierantonio:
Towards the Algebraic Specification of Classes in Object Oriented Programming. Current Trends in Theoretical Computer Science 1993: 183-194
1992
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/alp/EhrigP92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/alp/EhrigP92
Hartmut Ehrig, Francesco Parisi-Presicce:
High-Level-Replacement Systems for Equational Algebraic Specifications. ALP 1992: 3-20
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/compass/Parisi-PresicceP92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compass/Parisi-PresicceP92
Francesco Parisi-Presicce, Alfonso Pierantonio:
Structured Inheritance for Algebraic Class Specifications. COMPASS/ADT 1992: 295-309
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/seke/Parisi-PresicceP92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/Parisi-PresicceP92
Francesco Parisi-Presicce, Alfonso Pierantonio:
System Design as Derivation via Rewriting. SEKE 1992: 317-324
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/wg/Parisi-Presicce92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wg/Parisi-Presicce92
Francesco Parisi-Presicce:
Single vs. Double Pushout Derivations of Graphs. WG 1992: 248-262
1991
[j12]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/PresicceP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/PresicceP91
Francesco Parisi-Presicce, Alfonso Pierantonio:
Towards the Algebraic Specification of Classes in Object Oriented Programming. Bull. EATCS 45: 85-97 (1991)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/EhrigHKP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/EhrigHKP91
Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce:
Parallelism and Concurrency in High-Level Replacement Systems. Math. Struct. Comput. Sci. 1(3): 361-404 (1991)
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Parisi-Presicce91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Parisi-Presicce91
Francesco Parisi-Presicce:
Foundations of Rule-Based Design of Modular Systems. Theor. Comput. Sci. 83(1): 131-155 (1991)
[c19]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/amast/Parisi-Presicce91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/Parisi-Presicce91
Francesco Parisi-Presicce:
On the Reusability of Specifications and Implementations. AMAST 1991: 43-56
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/compass/EhrigP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compass/EhrigP91
Hartmut Ehrig, Francesco Parisi-Presicce:
Non-Equivalence of Categories for Equational Algebraic Specifications. COMPASS/ADT 1991: 222-235
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/esec/Parisi-PresicceP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/Parisi-PresicceP91
Francesco Parisi-Presicce, Alfonso Pierantonio:
An Algebraic View of Inheritance and Subtyping in Object Oriented Programming. ESEC 1991: 364-379
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/CorradiniRP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/CorradiniRP91
Andrea Corradini, Francesca Rossi, Francesco Parisi-Presicce:
Logic Programming as Hypergraph Rewriting. TAPSOFT, Vol.1 1991: 275-295
1990
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/EhrigPBRDG90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/EhrigPBRDG90
Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode:
Combining Data Type and Recursive Process Specifications Using Projection Algebras. Theor. Comput. Sci. 71(3): 347-380 (1990)
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/EhrigFHLJP90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/EhrigFHLJP90
Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Francesco Parisi-Presicce:
Compatibility Problems in the Development of Algebraic Module Specifications. Theor. Comput. Sci. 77(1&2): 27-71 (1990)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/adt/EhrigP90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/EhrigP90
Hartmut Ehrig, Francesco Parisi-Presicce:
A Match Operation for Rule-Based Modular System Design. ADT 1990: 74-97
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/EhrigHKP90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/EhrigHKP90
Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce:
From Graph Grammars to High Level Replacement Systems. Graph-Grammars and Their Application to Computer Science 1990: 269-291
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/EhringP90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/EhringP90
Hartmut Ehrig, Francesco Parisi-Presicce:
Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars. Graph-Grammars and Their Application to Computer Science 1990: 292-310
[c12]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/icse/Parisi-Presicce90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Parisi-Presicce90
Francesco Parisi-Presicce:
A Rule-Based Approach to Modular System Design. ICSE 1990: 202-211

1980 – 1989

see FAQ

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

1989
[j7]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eik/EhrigFHLJLP89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eik/EhrigFHLJLP89
Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Anno Langen, Francesco Parisi-Presicce:
Algebraic Specification of Modules and Configuration Families. J. Inf. Process. Cybern. 25(5/6): 205-232 (1989)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/Parisi-Presicce89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/Parisi-Presicce89
Francesco Parisi-Presicce:
Modular System Design Applying Graph Grammars Techniques. ICALP 1989: 621-636
1988
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/caap/Parisi-Presicce88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/Parisi-Presicce88
Francesco Parisi-Presicce:
Product and Iteration of Module Specifications. CAAP 1988: 149-164
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/category/EhrigFHLP88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/category/EhrigFHLP88
Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Francesco Parisi-Presicce:
Categories for the Development of Algebraic Module Specifications. Categorial Methods in Computer Science 1988: 157-184
1987
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/BlumEP87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/BlumEP87
Edward K. Blum, Hartmut Ehrig, Francesco Parisi-Presicce:
Algebraic Specification of Modules and Their Basic Interconnections. J. Comput. Syst. Sci. 34(2/3): 293-339 (1987)
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/Parisi-Presicce87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/Parisi-Presicce87
Francesco Parisi-Presicce:
Union and Actualization of Module Specifications: Some Compatibility Results. J. Comput. Syst. Sci. 35(1): 72-95 (1987)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/adt/EhrigPBRDG87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/EhrigPBRDG87
Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode:
Algebraic Data Type and Process Specifications based on Projection Spaces. ADT 1987: 23-43
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/Parisi-Presicce87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/Parisi-Presicce87
Francesco Parisi-Presicce:
Partial Composition and Recursion of Module Specifications. TAPSOFT, Vol.1 1987: 217-231
1986
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/caap/Parisi-Presicce86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/Parisi-Presicce86
Francesco Parisi-Presicce:
Inner and Mutual Compatibility of Basic Operations on Module Specifications. CAAP 1986: 30-44
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/MoldovanP86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/MoldovanP86
Dan I. Moldovan, Francesco Parisi-Presicce:
Parallelism analysis in rule-based systems using graph grammars. Graph-Grammars and Their Application to Computer Science 1986: 427-439
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/Parisi-PresicceEM86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/Parisi-PresicceEM86
Francesco Parisi-Presicce, Hartmut Ehrig, Ugo Montanari:
Graph rewriting with unification and composition. Graph-Grammars and Their Application to Computer Science 1986: 496-514
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/EhrigFPB86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/EhrigFPB86
Hartmut Ehrig, Werner Fey, Francesco Parisi-Presicce, Edward K. Blum:
Algebraic Theory of Module Specification with Constraints. MFCS 1986: 59-77
1985
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/BlumP85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/BlumP85
Edward K. Blum, Francesco Parisi-Presicce:
The Semantics of Shared Submodules Specifications. TAPSOFT, Vol.1 1985: 359-373
1984
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Parisi-Presicce84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Parisi-Presicce84
Francesco Parisi-Presicce:
Iterative Factor Algebras and Induced Metrics. Theor. Comput. Sci. 28: 287-298 (1984)
1983
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/Parisi-Presicce83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/Parisi-Presicce83
Francesco Parisi-Presicce:
Extensions of Iterative Congruences on Free Iterative Algebras. J. Comput. Syst. Sci. 27(2): 200-220 (1983)
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/BlumP83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/BlumP83
Edward K. Blum, Francesco Parisi-Presicce:
Implementation of Data Types by Algebraic Methods. J. Comput. Syst. Sci. 27(2): 304-330 (1983)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sigact/GuessarianP83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigact/GuessarianP83
Irène Guessarian, Francesco Parisi-Presicce:
Iterative vs. regular factor algebras. SIGACT News 15(2): 32-44 (1983)
1981
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/stoc/Parisi-Presicce81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stoc/Parisi-Presicce81
Francesco Parisi-Presicce:
On the Faithful Regular Extensions of Iterative Algebras. STOC 1981: 368-374

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.