On the Faithful Regular Extensions of Iterative Algebras - Francesco Parisi-Presicce (STOC, 1981)

Implementation of Data Types by Algebraic Methods. - Edward K. Blum; Francesco Parisi-Presicce (J. Comput. Syst. Sci., 1983)

Extensions of Iterative Congruences on Free Iterative Algebras. - Francesco Parisi-Presicce (J. Comput. Syst. Sci., 1983)

Iterative vs. regular factor algebras. - Irène Guessarian; Francesco Parisi-Presicce (SIGACT News, 1983)

Iterative Factor Algebras and Induced Metrics. - Francesco Parisi-Presicce (Theor. Comput. Sci., 1984)

The Semantics of Shared Submodules Specifications. - Edward K. Blum; Francesco Parisi-Presicce (TAPSOFT, Vol.1, 1985)

Inner and Mutual Compatibility of Basic Operations on Module Specifications. - Francesco Parisi-Presicce (CAAP, 1986)

Parallelism analysis in rule-based systems using graph grammars. - Dan I. Moldovan; Francesco Parisi-Presicce (Graph-Grammars and Their Application to Computer Science, 1986)

Graph rewriting with unification and composition. - Francesco Parisi-Presicce; Hartmut Ehrig; Ugo Montanari (Graph-Grammars and Their Application to Computer Science, 1986)

Algebraic Theory of Module Specification with Constraints. - Hartmut Ehrig; Werner Fey; Francesco Parisi-Presicce; Edward K. Blum (MFCS, 1986)

Algebraic Data Type and Process Specifications based on Projection Spaces. - Hartmut Ehrig; Francesco Parisi-Presicce; Paul Boehm; Catharina Rieckhoff; Christian Dimitrovici; Martin Große-Rhode (ADT, 1987)

Partial Composition and Recursion of Module Specifications. - Francesco Parisi-Presicce (TAPSOFT, Vol.1, 1987)

Algebraic Specification of Modules and Their Basic Interconnections. - Edward K. Blum; Hartmut Ehrig; Francesco Parisi-Presicce (J. Comput. Syst. Sci., 1987)

Union and Actualization of Module Specifications: Some Compatibility Results. - Francesco Parisi-Presicce (J. Comput. Syst. Sci., 1987)

Product and Iteration of Module Specifications. - Francesco Parisi-Presicce (CAAP, 1988)

Categories for the Development of Algebraic Module Specifications. - Hartmut Ehrig; Werner Fey; Horst Hansen; Michael Löwe; Francesco Parisi-Presicce (Categorial Methods in Computer Science, 1988)

Modular System Design Applying Graph Grammars Techniques. - Francesco Parisi-Presicce (ICALP, 1989)

Algebraic Specification of Modules and Configuration Families. - Hartmut Ehrig; Werner Fey; Horst Hansen; Michael Löwe; Dean Jacobs; Anno Langen; Francesco Parisi-Presicce (J. Inf. Process. Cybern., 1989)

A Match Operation for Rule-Based Modular System Design. - Hartmut Ehrig; Francesco Parisi-Presicce (ADT, 1990)

From Graph Grammars to High Level Replacement Systems. - Hartmut Ehrig; Annegret Habel; Hans-Jörg Kreowski; Francesco Parisi-Presicce (Graph-Grammars and Their Application to Computer Science, 1990)

Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars. - Hartmut Ehrig; Francesco Parisi-Presicce (Graph-Grammars and Their Application to Computer Science, 1990)

A Rule-Based Approach to Modular System Design. - Francesco Parisi-Presicce (ICSE, 1990)

Compatibility Problems in the Development of Algebraic Module Specifications. - Hartmut Ehrig; Werner Fey; Horst Hansen; Michael Löwe; Dean Jacobs; Francesco Parisi-Presicce (Theor. Comput. Sci., 1990)

Combining Data Type and Recursive Process Specifications Using Projection Algebras. - Hartmut Ehrig; Francesco Parisi-Presicce; Paul Boehm; Catharina Rieckhoff; Christian Dimitrovici; Martin Große-Rhode (Theor. Comput. Sci., 1990)

On the Reusability of Specifications and Implementations. - Francesco Parisi-Presicce (AMAST, 1991)

Non-Equivalence of Categories for Equational Algebraic Specifications. - Hartmut Ehrig; Francesco Parisi-Presicce (COMPASS/ADT, 1991)

An Algebraic View of Inheritance and Subtyping in Object Oriented Programming. - Francesco Parisi-Presicce; Alfonso Pierantonio (ESEC, 1991)

Logic Programming as Hypergraph Rewriting. - Andrea Corradini 001; Francesca Rossi 001; Francesco Parisi-Presicce (TAPSOFT, Vol.1, 1991)

Towards the Algebraic Specification of Classes in Object Oriented Programming. - Francesco Parisi-Presicce; Alfonso Pierantonio (Bull. EATCS, 1991)

Parallelism and Concurrency in High-Level Replacement Systems. - Hartmut Ehrig; Annegret Habel; Hans-Jörg Kreowski; Francesco Parisi-Presicce (Math. Struct. Comput. Sci., 1991)

Foundations of Rule-Based Design of Modular Systems. - Francesco Parisi-Presicce (Theor. Comput. Sci., 1991)

High-Level-Replacement Systems for Equational Algebraic Specifications. - Hartmut Ehrig; Francesco Parisi-Presicce (ALP, 1992)

Structured Inheritance for Algebraic Class Specifications. - Francesco Parisi-Presicce; Alfonso Pierantonio (COMPASS/ADT, 1992)

System Design as Derivation via Rewriting. - Francesco Parisi-Presicce; Alfonso Pierantonio (SEKE, 1992)

Single vs. Double Pushout Derivations of Graphs. - Francesco Parisi-Presicce (WG, 1992)

Interaction between Algebraic Specification Grammars and Modular System Design. - Hartmut Ehrig; Francesco Parisi-Presicce (AMAST, 1993)

Heterogeneous Unified Algebras. - Francesco Parisi-Presicce; S. Veglioni (MFCS, 1993)

Towards the Algebraic Specification of Classes in Object Oriented Programming. - Francesco Parisi-Presicce; Alfonso Pierantonio (Current Trends in Theoretical Computer Science, 1993)

Dynamical Behavior of Object Systems. - Francesco Parisi-Presicce; Alfonso Pierantonio (COMPASS/ADT, 1994)

Strategies in Modular System Design by Interface Rewriting. - Serafino Cicerone; Francesco Parisi-Presicce (ESOP, 1994)

Reusing Object Oriented Design: An Algebraic Approach. - Francesco Parisi-Presicce; Alfonso Pierantonio (ISOOMS, 1994)

Transformations of Graph Grammars. - Francesco Parisi-Presicce (TAGT, 1994)

Multilevel Graph Grammars. - Francesco Parisi-Presicce; Gabriele Piersanti (WG, 1994)

An Algebraic Theory of Class Specification. - Francesco Parisi-Presicce; Alfonso Pierantonio (ACM Trans. Softw. Eng. Methodol., 1994)

Closure Properties of Context-Tree Hyperedge Replacement Systems. - Ornella Ciotti; Francesco Parisi-Presicce (WG, 1996)

On the Complexity of Specification Morphisms. - Serafino Cicerone; Francesco Parisi-Presicce (Theor. Comput. Sci., 1997)

Spatial and Temporal Refinement of Typed Graph Transformation Systems. - Martin Große-Rhode; Francesco Parisi-Presicce; Marta Simeoni (MFCS, 1998)

From Formulae to Rewriting Systems. - Paolo Bottoni; Francesco Parisi-Presicce; Marta Simeoni (TAGT, 1998)

Refinements of Graph Transformation Systems via Rule Expressions. - Martin Große-Rhode; Francesco Parisi-Presicce; Marta Simeoni (TAGT, 1998)

Refinements and Modules for Typed Graph Transformation Systems. - Martin Große-Rhode; Francesco Parisi-Presicce; Marta Simeoni (WADT, 1998)

On a Uniform Representation of Transformation Systems. - Paolo Bottoni; Francesco Parisi-Presicce; Marta Simeoni (AGTIVE, 1999)

Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions. - Martin Große-Rhode; Francesco Parisi-Presicce; Marta Simeoni; Gabriele Taentzer (AGTIVE, 1999)

Composition and Interaction for Behavioural Specifications. - S. Veglioni; Francesco Parisi-Presicce (FMOODS, 1999)

A Formal Model for Role-Based Access Control Using Graph Transformation. - Manuel Koch; Luigi V. Mancini; Francesco Parisi-Presicce (ESORICS, 2000)

Foundations for Software Configuration Management Policies Using Graph Transformations. - Francesco Parisi-Presicce; Alexander L. Wolf (FASE, 2000)

Which Graphs for Visual Modeling? - Francesco Parisi-Presicce (ICALP Satellite Workshops, 2000)

Consistency Checking and Visualization of OCL Constraints. - Paolo Bottoni; Manuel Koch; Francesco Parisi-Presicce; Gabriele Taentzer (UML, 2000)

Visual Multiset Rewriting: Applications to Diagram Parsing and Reasoning. - Paolo Bottoni; Bernd Meyer 001; Francesco Parisi-Presicce (WMP, 2000)

Revocations-A Classification. - Åsa Hagström; Sushil Jajodia; Francesco Parisi-Presicce; Duminda Wijesekera (CSFW, 2001)

Foundations for a Graph-Based Approach to the Specification of Access Control Policies. - Manuel Koch; Luigi V. Mancini; Francesco Parisi-Presicce (FoSSaCS, 2001)

Deductive Parsing of Visual Languages. - Paolo Bottoni; Bernd Meyer 001; Kim Marriott; Francesco Parisi-Presicce (LACL, 2001)

On the specification and evolution of access control policies. - Manuel Koch; Luigi V. Mancini; Francesco Parisi-Presicce (SACMAT, 2001)

A Visualization of OCL Using Collaborations. - Paolo Bottoni; Manuel Koch; Francesco Parisi-Presicce; Gabriele Taentzer (UML, 2001)

On a Uniform Logical Framework for Diagrammatic Reasoning. - Paolo Bottoni; Bernd Meyer 001; Francesco Parisi-Presicce (HCC, 2001)

On the Compatibility of Model and Model-Class Transformations. - Magdalena Gajewsky; Francesco Parisi-Presicce (WADT, 2001)

Basic Results for Two Types of High-Level Replacement Systems. - Hartmut Ehrig; Annegret Habel; Francesco Parisi-Presicce (GETGRATS Closing Workshop, 2001)

Graph Transformations for the Specification of Access Control Policies. - Manuel Koch; Luigi V. Mancini; Francesco Parisi-Presicce (GETGRATS Closing Workshop, 2001)

On Modifying High Level Replacement Systems. - Francesco Parisi-Presicce (UNIGRA, 2001)

Decidability of Safety in Graph-Based Models for Access Control. - Manuel Koch; Luigi V. Mancini; Francesco Parisi-Presicce (ESORICS, 2002)

Conflict Detection and Resolution in Access Control Policy Specifications. - Manuel Koch; Luigi V. Mancini; Francesco Parisi-Presicce (FoSSaCS, 2002)

Describing Policies with Graph Constraints and Rules. - Manuel Koch; Francesco Parisi-Presicce (ICGT, 2002)

Modeling E -service Orchestration through Petri Nets. - Massimo Mecella; Francesco Parisi-Presicce; Barbara Pernici (TES, 2002)

Coordinated Distributed Diagram Transformation for Software Evolution. - Paolo Bottoni; Francesco Parisi-Presicce; Gabriele Taentzer (Software Evolution Through Transformations @ ICGT, 2002)

Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems. - Martin Große-Rhode; Francesco Parisi-Presicce; Marta Simeoni (J. Comput. Syst. Sci., 2002)

A graph-based formalism for RBAC. - Manuel Koch; Luigi V. Mancini; Francesco Parisi-Presicce (ACM Trans. Inf. Syst. Secur., 2002)

Specifying Integrated Refactoring with Distributed Graph Transformations. - Paolo Bottoni; Francesco Parisi-Presicce; Gabriele Taentzer (AGTIVE, 2003)

Formal access control analysis in the software development process. - Manuel Koch; Francesco Parisi-Presicce (FMSE, 2003)

A Formal Framework for Petri Net Class Transformations. - Francesco Parisi-Presicce (Petri Net Technology for Communication-Based Systems, 2003)

Visual Specifications of Policies and Their Verification. - Manuel Koch; Francesco Parisi-Presicce (FASE, 2003)

Removing permissions in the flexible authorization framework. - Duminda Wijesekera; Sushil Jajodia; Francesco Parisi-Presicce; Åsa Hagström (ACM Trans. Database Syst., 2003)

Information Flow Analysis for File Systems and Databases Using Labels. - Ehud Gudes; Luigi V. Mancini; Francesco Parisi-Presicce (DBSec, 2004)

Administrative scope in the graph-based framework. - Manuel Koch; Luigi V. Mancini; Francesco Parisi-Presicce (SACMAT, 2004)

A logical specification for usage control. - Xinwen Zhang; Jaehong Park; Francesco Parisi-Presicce; Ravi S. Sandhu (SACMAT, 2004)

Termination of High-Level Replacement Units with Application to Model Transformation. - Paolo Bottoni; Manuel Koch; Francesco Parisi-Presicce; Gabriele Taentzer (VLFM, 2004)

Higher-Order Nets for Mobile Policies. - Kathrin Hoffmann; Till Mossakowski; Francesco Parisi-Presicce (PNGT@ICGT, 2004)

Policy Analysis and Verification by Graph Transformation Tools. - Francesco Parisi-Presicce; Yujie Zhao (GraBaTs, 2004)

Blind Custodians: A Database Service Architecture That Supports Privacy Without Encryption. - Amihai Motro; Francesco Parisi-Presicce (DBSec, 2005)

Graph-based specification of access control policies. - Manuel Koch; Luigi V. Mancini; Francesco Parisi-Presicce (J. Comput. Syst. Sci., 2005)

Risky trust: risk-based analysis of software systems. - Zaid Dwaikat; Francesco Parisi-Presicce (ACM SIGSOFT Softw. Eng. Notes, 2005)

Formal model and policy specification of usage control. - Xinwen Zhang; Francesco Parisi-Presicce; Ravi S. Sandhu; Jaehong Park (ACM Trans. Inf. Syst. Secur., 2005)

High-level replacement units and their termination properties. - Paolo Bottoni; Kathrin Hoffmann; Francesco Parisi-Presicce; Gabriele Taentzer (J. Vis. Lang. Comput., 2005)

Safety analysis of usage control authorization models. - Xinwen Zhang; Ravi S. Sandhu; Francesco Parisi-Presicce (AsiaCCS, 2006)

Towards Remote Policy Enforcement for Runtime Protection of Mobile Code Using Trusted Computing. - Xinwen Zhang; Francesco Parisi-Presicce; Ravi S. Sandhu (IWSEC, 2006)

Termination of Algebraic Rewriting with Inhibitors. - Paolo Bottoni; Kathrin Hoffmann; Francesco Parisi-Presicce (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse. - Paolo Bottoni; Francesco Parisi-Presicce; Simone Pulcini; Gabriele Taentzer (GT-VMT@ETAPS, 2006)

Special Issue with Selected Papers from ICGT 2004. - Gregor Engels; Fernando Orejas; Francesco Parisi-Presicce (Fundam. Informaticae, 2006)

UML specification of access control policies and their formal verification. - Manuel Koch; Francesco Parisi-Presicce (Softw. Syst. Model., 2006)

Special section: International Conference on Graph Transformation ICGT 2004. - Francesco Parisi-Presicce (Softw. Syst. Model., 2007)

A Model for Distribution and Revocation of Certificates. - Åsa Hagström; Francesco Parisi-Presicce (ICGT, 2010)

Preserving constraints in horizontal model transformations. - Paolo Bottoni; Andrew Fish; Francesco Parisi-Presicce (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

A Termination Criterion for Graph Transformations with Negative Application Conditions. - Paolo Bottoni; Francesco Parisi-Presicce (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Incremental update of constraint-compliant policy rules. - Paolo Bottoni; Andrew Fish; Francesco Parisi-Presicce (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Modeling context with graph annotations. - Paolo Bottoni; Francesco Parisi-Presicce (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Annotations on Complex Patterns. - Paolo Bottoni; Francesco Parisi-Presicce (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Annotation processes for flexible management of contextual information. - Paolo Bottoni; Francesco Parisi-Presicce (J. Vis. Lang. Comput., 2013)

Conditions, constraints and contracts: On the use of annotations for policy modeling. - Paolo Bottoni; Roberto Navigli; Francesco Parisi-Presicce (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015)

Spider Graphs: a graph transformation system for spider diagrams. - Paolo Bottoni; Andrew Fish; Francesco Parisi-Presicce (Softw. Syst. Model., 2015)

Type Annotation for Adaptive Systems. - Paolo Bottoni; Andrew Fish; Francesco Parisi-Presicce (GaM@ETAPS, 2016)

Resource-aware policies. - Paolo Bottoni; Andrew Fish; Alexander Heußner; Francesco Parisi-Presicce (J. Vis. Lang. Comput., 2017)