| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Francesco Parisi-Presicce Manuel Koch , Francesco Parisi-Presicce: Visual Specifications of Policies and Their Verification. FASE 2003 : 278-293 Francesco Parisi-Presicce: A Formal Framework for Petri Net Class Transformations. Petri Net Technology for Communication-Based Systems 2003 : 409-430 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) Manuel Koch , Luigi V. Mancini , Francesco Parisi-Presicce: Decidability of Safety in Graph-Based Models for Access Control. ESORICS 2002 : 229-243 Manuel Koch , Luigi V. Mancini , Francesco Parisi-Presicce: Conflict Detection and Resolution in Access Control Policy Specifications. FoSSaCS 2002 : 223-237 Manuel Koch , Francesco Parisi-Presicce: Describing Policies with Graph Constraints and Rules. ICGT 2002 : 223-238 Massimo Mecella , Francesco Parisi-Presicce, Barbara Pernici : Modeling E -service Orchestration through Petri Nets. TES 2002 : 38-47 Manuel Koch , Luigi V. Mancini , Francesco Parisi-Presicce: A graph-based formalism for RBAC. ACM Trans. Inf. Syst. Secur. 5 (3): 332-365 (2002) 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) Åsa Hagström , Sushil Jajodia , Francesco Parisi-Presicce, Duminda Wijesekera : Revocations-A Classification. CSFW 2001 : 44-58 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 Paolo Bottoni , Bernd Meyer , Francesco Parisi-Presicce: On a Uniform Logical Framework for Diagrammatic Reasoning. HCC 2001 : 64-71 Paolo Bottoni , Bernd Meyer , Kim Marriott , Francesco Parisi-Presicce: Deductive Parsing of Visual Languages. LACL 2001 : 79-94 Manuel Koch , Luigi V. Mancini , Francesco Parisi-Presicce: On the specification and evolution of access control policies. SACMAT 2001 : 121-130 Paolo Bottoni , Manuel Koch , Francesco Parisi-Presicce, Gabriele Taentzer : A Visualization of OCL Using Collaborations. UML 2001 : 257-271 Magdalena Gajewsky , Francesco Parisi-Presicce: On the Compatibility of Model and Model-Class Transformations. WADT 2001 : 109-127 Francesco Parisi-Presicce: On Modifying High Level Replacement Systems. Electr. Notes Theor. Comput. Sci. 44 (4): (2001) Hartmut Ehrig , Annegret Habel , Francesco Parisi-Presicce: Basic Results for Two Types of High-Level Replacement Systems. Electr. Notes Theor. Comput. Sci. 51 : (2001) Manuel Koch , Luigi V. Mancini , Francesco Parisi-Presicce: Graph Transformations for the Specification of Access Control Policies. Electr. Notes Theor. Comput. Sci. 51 : (2001) Manuel Koch , Luigi V. Mancini , Francesco Parisi-Presicce: A Formal Model for Role-Based Access Control Using Graph Transformation. ESORICS 2000 : 122-139 Francesco Parisi-Presicce, Alexander L. Wolf : Foundations for Software Configuration Management Policies Using Graph Transformations. FASE 2000 : 304-318 Francesco Parisi-Presicce: Which Graphs for Visual Modeling? ICALP Satellite Workshops 2000 : 383-386 Paolo Bottoni , Manuel Koch , Francesco Parisi-Presicce, Gabriele Taentzer : Consistency Checking and Visualization of OCL Constraints. UML 2000 : 294-308 Paolo Bottoni , Bernd Meyer , Francesco Parisi-Presicce: Visual Multiset Rewriting: Applications to Diagram Parsing and Reasoning. WMP 2000 : 45-68 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 Paolo Bottoni , Francesco Parisi-Presicce, Marta Simeoni : On a Uniform Representation of Transformation Systems. AGTIVE 1999 : 63-78 S. Veglioni , Francesco Parisi-Presicce: Composition and Interaction for Behavioural Specifications. FMOODS 1999 Martin Große-Rhode , Francesco Parisi-Presicce, Marta Simeoni : Spatial and Temporal Refinement of Typed Graph Transformation Systems. MFCS 1998 : 553-561 Paolo Bottoni , Francesco Parisi-Presicce, Marta Simeoni : From Formulae to Rewriting Systems. TAGT 1998 : 267-280 Martin Große-Rhode , Francesco Parisi-Presicce, Marta Simeoni : Refinements of Graph Transformation Systems via Rule Expressions. TAGT 1998 : 368-382 Martin Große-Rhode , Francesco Parisi-Presicce, Marta Simeoni : Refinements and Modules for Typed Graph Transformation Systems. WADT 1998 : 138-151 Francesco Parisi-Presicce: Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers Springer 1997 Serafino Cicerone , Francesco Parisi-Presicce: On the Complexity of Specification Morphisms. Theor. Comput. Sci. 189 (1-2): 239-248 (1997) Ornella Ciotti , Francesco Parisi-Presicce: Closure Properties of Context-Tree Hyperedge Replacement Systems. WG 1996 : 101-113 Francesco Parisi-Presicce, Alfonso Pierantonio : Dynamical Behavior of Object Systems. COMPASS/ADT 1994 : 406-419 Serafino Cicerone , Francesco Parisi-Presicce: Strategies in Modular System Design by Interface Rewriting. ESOP 1994 : 165-179 Francesco Parisi-Presicce, Alfonso Pierantonio : Reusing Object Oriented Design: An Algebraic Approach. ISOOMS 1994 : 329-345 Francesco Parisi-Presicce: Transformations of Graph Grammars. TAGT 1994 : 428-442 Francesco Parisi-Presicce, Gabriele Piersanti : Multilevel Graph Grammars. WG 1994 : 51-64 Francesco Parisi-Presicce, Alfonso Pierantonio : An Algebraic Theory of Class Specification. ACM Trans. Softw. Eng. Methodol. 3 (2): 166-199 (1994) Hartmut Ehrig , Francesco Parisi-Presicce: Interaction between Algebraic Specification Grammars and Modular System Design. AMAST 1993 : 217-224 Francesco Parisi-Presicce, S. Veglioni : Heterogeneous Unified Algebras. MFCS 1993 : 618-628 Hartmut Ehrig , Francesco Parisi-Presicce: High-Level-Replacement Systems for Equational Algebraic Specifications. ALP 1992 : 3-20 Francesco Parisi-Presicce, Alfonso Pierantonio : Structured Inheritance for Algebraic Class Specifications. COMPASS/ADT 1992 : 295-309 Francesco Parisi-Presicce: Single vs. Double Pushout Derivations of Graphs. WG 1992 : 248-262 Francesco Parisi-Presicce: On the Reusability of Specifications and Implementations. AMAST 1991 : 43-56 Hartmut Ehrig , Francesco Parisi-Presicce: Non-Equivalence of Categories for Equational Algebraic Specifications. COMPASS/ADT 1991 : 222-235 Francesco Parisi-Presicce, Alfonso Pierantonio : An Algebraic View of Inheritance and Subtyping in Object Oriented Programming. ESEC 1991 : 364-379 Andrea Corradini , Francesca Rossi , Francesco Parisi-Presicce: Logic Programming as Hypergraph Rewriting. TAPSOFT, Vol.1 1991 : 275-295 Francesco Parisi-Presicce, Alfonso Pierantonio : Towards the Algebraic Specification of Classes in Object Oriented Programming. Bulletin of the EATCS 45 : 85-97 (1991) Hartmut Ehrig , Annegret Habel , Hans-Jörg Kreowski , Francesco Parisi-Presicce: Parallelism and Concurrency in High-Level Replacement Systems. Mathematical Structures in Computer Science 1 (3): 361-404 (1991) Francesco Parisi-Presicce: Foundations of Rule-Based Design of Modular Systems. Theor. Comput. Sci. 83 (1): 131-155 (1991) Hartmut Ehrig , Francesco Parisi-Presicce: A Match Operation for Rule-Based Modular System Design. ADT 1990 : 74-97 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 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 Francesco Parisi-Presicce: A Rule-Based Approach to Modular System Design. ICSE 1990 : 202-211 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) Hartmut Ehrig , Werner Fey , Horst Hansen , Michael Löwe , Dean Jakobs , Francesco Parisi-Presicce: Compatibility Problems in the Development of Algebraic Module Specifications. Theor. Comput. Sci. 77 (1&2): 27-71 (1990) Francesco Parisi-Presicce: Modular System Design Applying Graph Grammars Techniques. ICALP 1989 : 621-636 Hartmut Ehrig , Werner Fey , Horst Hansen , Michael Löwe , Dean Jacobs , Anno Langen , Francesco Parisi-Presicce: Algebraic Specification of Modules and Configuration Families. Elektronische Informationsverarbeitung und Kybernetik 25 (5/6): 205-232 (1989) Francesco Parisi-Presicce: Product and Iteration of Module Specifications. CAAP 1988 : 149-164 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 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 Francesco Parisi-Presicce: Partial Composition and Recursion of Module Specifications. TAPSOFT, Vol.1 1987 : 217-231 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) Francesco Parisi-Presicce: Union and Actualization of Module Specifications: Some Compatibility Results. J. Comput. Syst. Sci. 35 (1): 72-95 (1987) Francesco Parisi-Presicce: Inner and Mutual Compatibility of Basic Operations on Module Specifications. CAAP 1986 : 30-44 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 Francesco Parisi-Presicce, Hartmut Ehrig , Ugo Montanari : Graph rewriting with unification and composition. Graph-Grammars and Their Application to Computer Science 1986 : 496-514 Hartmut Ehrig , Werner Fey , Francesco Parisi-Presicce, Edward K. Blum : Algebraic Theory of Module Specification with Constraints. MFCS 1986 : 59-77 Edward K. Blum , Francesco Parisi-Presicce: The Semantics of Shared Submodules Specifications. TAPSOFT, Vol.1 1985 : 359-373 Francesco Parisi-Presicce: Iterative Factor Algebras and Induced Metrics. Theor. Comput. Sci. 28 : 287-298 (1984) Francesco Parisi-Presicce: Extensions of Iterative Congruences on Free Iterative Algebras. J. Comput. Syst. Sci. 27 (2): 200-220 (1983) Edward K. Blum , Francesco Parisi-Presicce: Implementation of Data Types by Algebraic Methods. J. Comput. Syst. Sci. 27 (2): 304-330 (1983) Francesco Parisi-Presicce: On the Faithful Regular Extensions of Iterative Algebras STOC 1981 : 368-374 1 [ 2 ] [ 5 ] [ 6 ] [ 11 ] 2 [ 13 ] [ 19 ] 3 [ 47 ] [ 50 ] [ 52 ] [ 53 ] [ 61 ] [ 63 ] [ 64 ] 4 [ 40 ] [ 43 ] 5 [ 42 ] 6 [ 27 ] 7 [ 13 ] [ 19 ] 8 [ 6 ] [ 7 ] [ 11 ] [ 13 ] [ 14 ] [ 16 ] [ 18 ] [ 19 ] [ 21 ] [ 22 ] [ 23 ] [ 25 ] [ 29 ] [ 33 ] [ 35 ] [ 58 ] 9 [ 6 ] [ 14 ] [ 16 ] [ 18 ] 10 [ 60 ] 11 [ 13 ] [ 19 ] [ 45 ] [ 46 ] [ 48 ] [ 51 ] [ 67 ] 12 [ 22 ] [ 25 ] [ 58 ] 13 [ 66 ] [ 73 ] 14 [ 14 ] [ 16 ] [ 18 ] 15 [ 16 ] 16 [ 66 ] [ 73 ] 17 [ 18 ] 18 [ 53 ] [ 56 ] [ 57 ] [ 61 ] [ 62 ] [ 65 ] [ 68 ] [ 70 ] [ 71 ] [ 72 ] [ 75 ] 19 [ 22 ] [ 25 ] 20 [ 16 ] 21 [ 14 ] [ 16 ] [ 18 ] 22 [ 56 ] [ 57 ] [ 62 ] [ 65 ] [ 68 ] [ 71 ] [ 72 ] 23 [ 63 ] 24 [ 69 ] 25 [ 52 ] [ 63 ] [ 64 ] 26 [ 8 ] 27 [ 7 ] 28 [ 69 ] 29 [ 26 ] [ 28 ] [ 32 ] [ 36 ] [ 39 ] [ 41 ] 30 [ 37 ] 31 [ 13 ] [ 19 ] 32 [ 27 ] 33 [ 45 ] [ 46 ] [ 47 ] [ 48 ] [ 50 ] [ 51 ] [ 67 ] 34 [ 51 ] [ 53 ] [ 61 ] 35 [ 34 ] [ 49 ] 36 [ 66 ] [ 73 ] 37 [ 55 ]  ©2004 Association for Computing Machinery |
