| 2006 | CCS | Safety analysis of usage control authorization models. | Xinwen Zhang, Ravi S. Sandhu, Francesco Parisi-Presicce |
| 2006 | IWSEC | Towards Remote Policy Enforcement for Runtime Protection of Mobile Code Using Trusted Computing. | Xinwen Zhang, Francesco Parisi-Presicce, Ravi S. Sandhu |
| 2005 | DBSEC | Blind Custodians: A Database Service Architecture That Supports Privacy Without Encryption. | Amihai Motro, Francesco Parisi-Presicce |
| 2005 | ICSE | Risky trust: risk-based analysis of software systems. | Zaid Dwaikat, Francesco Parisi-Presicce |
| 2004 | DBSEC | Information Flow Analysis for File Systems and Databases Using Labels. | Ehud Gudes, Luigi V. Mancini, Francesco Parisi-Presicce |
| 2004 | SACMAT | Administrative scope in the graph-based framework. | Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce |
| 2004 | SACMAT | A logical specification for usage control. | Xinwen Zhang, Jaehong Park, Francesco Parisi-Presicce, Ravi S. Sandhu |
| 2003 | CCS | Formal access control analysis in the software development process. | Manuel Koch, Francesco Parisi-Presicce |
| 2003 | FASE | Visual Specifications of Policies and Their Verification. | Manuel Koch, Francesco Parisi-Presicce |
| 2002 | ESORICS | Decidability of Safety in Graph-Based Models for Access Control. | Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce |
| 2002 | FOSSACS | Conflict Detection and Resolution in Access Control Policy Specifications. | Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce |
| 2001 | FOSSACS | Foundations for a Graph-Based Approach to the Specification of Access Control Policies. | Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce |
| 2001 | SACMAT | On the specification and evolution of access control policies. | Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce |
| 2000 | ESORICS | A Formal Model for Role-Based Access Control Using Graph Transformation. | Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce |
| 2000 | FASE | Foundations for Software Configuration Management Policies Using Graph Transformations. | Francesco Parisi-Presicce, Alexander L. Wolf |
| 2000 | ICALP | Which Graphs for Visual Modeling? | Francesco Parisi-Presicce |
| 1998 | MFCS | Spatial and Temporal Refinement of Typed Graph Transformation Systems. | Martin Groe-Rhode, Francesco Parisi-Presicce, Marta Simeoni |
| 1996 | WG | Closure Properties of Context-Tree Hyperedge Replacement Systems. | Ornella Ciotti, Francesco Parisi-Presicce |
| 1994 | COMPASS | Dynamical Behavior of Object Systems. | Francesco Parisi-Presicce, Alfonso Pierantonio |
| 1994 | ESOP | Strategies in Modular System Design by Interface Rewriting. | Serafino Cicerone, Francesco Parisi-Presicce |
| 1994 | WG | Multilevel Graph Grammars. | Francesco Parisi-Presicce, Gabriele Piersanti |
| 1993 | MFCS | Heterogeneous Unified Algebras. | Francesco Parisi-Presicce, S. Veglioni |
| 1992 | COMPASS | Structured Inheritance for Algebraic Class Specifications. | Francesco Parisi-Presicce, Alfonso Pierantonio |
| 1992 | SEKE | System Design as Derivation via Rewriting. | Francesco Parisi-Presicce, Alfonso Pierantonio |
| 1992 | WG | Single vs. Double Pushout Derivations of Graphs. | Francesco Parisi-Presicce |
| 1991 | COMPASS | Non-Equivalence of Categories for Equational Algebraic Specifications. | Hartmut Ehrig, Francesco Parisi-Presicce |
| 1990 | ICSE | A Rule-Based Approach to Modular System Design. | Francesco Parisi-Presicce |
| 1989 | ICALP | Modular System Design Applying Graph Grammars Techniques. | Francesco Parisi-Presicce |
| 1986 | MFCS | Algebraic Theory of Module Specification with Constraints. | Hartmut Ehrig, Werner Fey, Francesco Parisi-Presicce, Edward K. Blum |
| 1981 | STOC | On the Faithful Regular Extensions of Iterative Algebras | Francesco Parisi-Presicce |