The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Francesco Parisi-Presicce: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Edward K. Blum, Hartmut Ehrig, Francesco Parisi-Presicce
    Algebraic Specification of Modules and Their Basic Interconnections. [Citation Graph (1, 0)][DBLP]
    J. Comput. Syst. Sci., 1987, v:34, n:2/3, pp:293-339 [Journal]
  2. Hartmut Ehrig, Francesco Parisi-Presicce
    A Match Operation for Rule-Based Modular System Design. [Citation Graph (0, 0)][DBLP]
    ADT, 1990, pp:74-97 [Conf]
  3. 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. [Citation Graph (0, 0)][DBLP]
    ADT, 1987, pp:23-43 [Conf]
  4. Paolo Bottoni, Francesco Parisi-Presicce, Marta Simeoni
    On a Uniform Representation of Transformation Systems. [Citation Graph (0, 0)][DBLP]
    AGTIVE, 1999, pp:63-78 [Conf]
  5. Paolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer
    Specifying Integrated Refactoring with Distributed Graph Transformations. [Citation Graph (0, 0)][DBLP]
    AGTIVE, 2003, pp:220-235 [Conf]
  6. Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni, Gabriele Taentzer
    Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions. [Citation Graph (0, 0)][DBLP]
    AGTIVE, 1999, pp:31-45 [Conf]
  7. Hartmut Ehrig, Francesco Parisi-Presicce
    High-Level-Replacement Systems for Equational Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:3-20 [Conf]
  8. Hartmut Ehrig, Francesco Parisi-Presicce
    Interaction between Algebraic Specification Grammars and Modular System Design. [Citation Graph (0, 0)][DBLP]
    AMAST, 1993, pp:217-224 [Conf]
  9. Francesco Parisi-Presicce
    On the Reusability of Specifications and Implementations. [Citation Graph (0, 0)][DBLP]
    AMAST, 1991, pp:43-56 [Conf]
  10. Francesco Parisi-Presicce
    Inner and Mutual Compatibility of Basic Operations on Module Specifications. [Citation Graph (0, 0)][DBLP]
    CAAP, 1986, pp:30-44 [Conf]
  11. Francesco Parisi-Presicce
    Product and Iteration of Module Specifications. [Citation Graph (0, 0)][DBLP]
    CAAP, 1988, pp:149-164 [Conf]
  12. Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Francesco Parisi-Presicce
    Categories for the Development of Algebraic Module Specifications. [Citation Graph (0, 0)][DBLP]
    Categorial Methods in Computer Science, 1988, pp:157-184 [Conf]
  13. Manuel Koch, Francesco Parisi-Presicce
    Formal access control analysis in the software development process. [Citation Graph (0, 0)][DBLP]
    FMSE, 2003, pp:67-76 [Conf]
  14. Xinwen Zhang, Ravi S. Sandhu, Francesco Parisi-Presicce
    Safety analysis of usage control authorization models. [Citation Graph (0, 0)][DBLP]
    ASIACCS, 2006, pp:243-254 [Conf]
  15. Francesco Parisi-Presicce, Alfonso Pierantonio
    Structured Inheritance for Algebraic Class Specifications. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1992, pp:295-309 [Conf]
  16. Francesco Parisi-Presicce, Alfonso Pierantonio
    Dynamical Behavior of Object Systems. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1994, pp:406-419 [Conf]
  17. Hartmut Ehrig, Francesco Parisi-Presicce
    Non-Equivalence of Categories for Equational Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1991, pp:222-235 [Conf]
  18. Åsa Hagström, Sushil Jajodia, Francesco Parisi-Presicce, Duminda Wijesekera
    Revocations-A Classification. [Citation Graph (0, 0)][DBLP]
    CSFW, 2001, pp:44-58 [Conf]
  19. Ehud Gudes, Luigi V. Mancini, Francesco Parisi-Presicce
    Information Flow Analysis for File Systems and Databases Using Labels. [Citation Graph (0, 0)][DBLP]
    DBSec, 2004, pp:125-141 [Conf]
  20. Amihai Motro, Francesco Parisi-Presicce
    Blind Custodians: A Database Service Architecture That Supports Privacy Without Encryption. [Citation Graph (0, 0)][DBLP]
    DBSec, 2005, pp:338-352 [Conf]
  21. Francesco Parisi-Presicce
    A Formal Framework for Petri Net Class Transformations. [Citation Graph (0, 0)][DBLP]
    Petri Net Technology for Communication-Based Systems, 2003, pp:409-430 [Conf]
  22. Francesco Parisi-Presicce, Alfonso Pierantonio
    An Algebraic View of Inheritance and Subtyping in Object Oriented Programming. [Citation Graph (0, 0)][DBLP]
    ESEC, 1991, pp:364-379 [Conf]
  23. Serafino Cicerone, Francesco Parisi-Presicce
    Strategies in Modular System Design by Interface Rewriting. [Citation Graph (0, 0)][DBLP]
    ESOP, 1994, pp:165-179 [Conf]
  24. Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
    A Formal Model for Role-Based Access Control Using Graph Transformation. [Citation Graph (0, 0)][DBLP]
    ESORICS, 2000, pp:122-139 [Conf]
  25. Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
    Decidability of Safety in Graph-Based Models for Access Control. [Citation Graph (0, 0)][DBLP]
    ESORICS, 2002, pp:229-243 [Conf]
  26. Manuel Koch, Francesco Parisi-Presicce
    Visual Specifications of Policies and Their Verification. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:278-293 [Conf]
  27. Francesco Parisi-Presicce, Alexander L. Wolf
    Foundations for Software Configuration Management Policies Using Graph Transformations. [Citation Graph (0, 0)][DBLP]
    FASE, 2000, pp:304-318 [Conf]
  28. S. Veglioni, Francesco Parisi-Presicce
    Composition and Interaction for Behavioural Specifications. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  29. Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
    Foundations for a Graph-Based Approach to the Specification of Access Control Policies. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2001, pp:287-302 [Conf]
  30. Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
    Conflict Detection and Resolution in Access Control Policy Specifications. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2002, pp:223-237 [Conf]
  31. Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce
    From Graph Grammars to High Level Replacement Systems. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science, 1990, pp:269-291 [Conf]
  32. Hartmut Ehrig, Francesco Parisi-Presicce
    Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science, 1990, pp:292-310 [Conf]
  33. Manuel Koch, Francesco Parisi-Presicce
    Describing Policies with Graph Constraints and Rules. [Citation Graph (0, 0)][DBLP]
    ICGT, 2002, pp:223-238 [Conf]
  34. Dan I. Moldovan, Francesco Parisi-Presicce
    Parallelism analysis in rule-based systems using graph grammars. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science, 1986, pp:427-439 [Conf]
  35. Francesco Parisi-Presicce, Hartmut Ehrig, Ugo Montanari
    Graph rewriting with unification and composition. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science, 1986, pp:496-514 [Conf]
  36. Francesco Parisi-Presicce
    Which Graphs for Visual Modeling? [Citation Graph (0, 0)][DBLP]
    ICALP Satellite Workshops, 2000, pp:383-386 [Conf]
  37. Francesco Parisi-Presicce
    Modular System Design Applying Graph Grammars Techniques. [Citation Graph (0, 0)][DBLP]
    ICALP, 1989, pp:621-636 [Conf]
  38. Francesco Parisi-Presicce
    A Rule-Based Approach to Modular System Design. [Citation Graph (0, 0)][DBLP]
    ICSE, 1990, pp:202-211 [Conf]
  39. Francesco Parisi-Presicce, Alfonso Pierantonio
    Reusing Object Oriented Design: An Algebraic Approach. [Citation Graph (0, 0)][DBLP]
    ISOOMS, 1994, pp:329-345 [Conf]
  40. Xinwen Zhang, Francesco Parisi-Presicce, Ravi S. Sandhu
    Towards Remote Policy Enforcement for Runtime Protection of Mobile Code Using Trusted Computing. [Citation Graph (0, 0)][DBLP]
    IWSEC, 2006, pp:179-195 [Conf]
  41. Paolo Bottoni, Bernd Meyer, Kim Marriott, Francesco Parisi-Presicce
    Deductive Parsing of Visual Languages. [Citation Graph (0, 0)][DBLP]
    LACL, 2001, pp:79-94 [Conf]
  42. Hartmut Ehrig, Werner Fey, Francesco Parisi-Presicce, Edward K. Blum
    Algebraic Theory of Module Specification with Constraints. [Citation Graph (0, 0)][DBLP]
    MFCS, 1986, pp:59-77 [Conf]
  43. Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni
    Spatial and Temporal Refinement of Typed Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    MFCS, 1998, pp:553-561 [Conf]
  44. Francesco Parisi-Presicce, S. Veglioni
    Heterogeneous Unified Algebras. [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:618-628 [Conf]
  45. Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
    On the specification and evolution of access control policies. [Citation Graph (0, 0)][DBLP]
    SACMAT, 2001, pp:121-130 [Conf]
  46. Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
    Administrative scope in the graph-based framework. [Citation Graph (0, 0)][DBLP]
    SACMAT, 2004, pp:97-104 [Conf]
  47. Xinwen Zhang, Jaehong Park, Francesco Parisi-Presicce, Ravi S. Sandhu
    A logical specification for usage control. [Citation Graph (0, 0)][DBLP]
    SACMAT, 2004, pp:1-10 [Conf]
  48. Francesco Parisi-Presicce, Alfonso Pierantonio
    System Design as Derivation via Rewriting. [Citation Graph (0, 0)][DBLP]
    SEKE, 1992, pp:317-324 [Conf]
  49. Francesco Parisi-Presicce
    On the Faithful Regular Extensions of Iterative Algebras [Citation Graph (0, 0)][DBLP]
    STOC, 1981, pp:368-374 [Conf]
  50. Paolo Bottoni, Francesco Parisi-Presicce, Marta Simeoni
    From Formulae to Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    TAGT, 1998, pp:267-280 [Conf]
  51. Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni
    Refinements of Graph Transformation Systems via Rule Expressions. [Citation Graph (0, 0)][DBLP]
    TAGT, 1998, pp:368-382 [Conf]
  52. Francesco Parisi-Presicce
    Transformations of Graph Grammars. [Citation Graph (0, 0)][DBLP]
    TAGT, 1994, pp:428-442 [Conf]
  53. Edward K. Blum, Francesco Parisi-Presicce
    The Semantics of Shared Submodules Specifications. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1985, pp:359-373 [Conf]
  54. Andrea Corradini, Francesca Rossi, Francesco Parisi-Presicce
    Logic Programming as Hypergraph Rewriting. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1991, pp:275-295 [Conf]
  55. Francesco Parisi-Presicce
    Partial Composition and Recursion of Module Specifications. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1987, pp:217-231 [Conf]
  56. Massimo Mecella, Francesco Parisi-Presicce, Barbara Pernici
    Modeling E -service Orchestration through Petri Nets. [Citation Graph (0, 0)][DBLP]
    TES, 2002, pp:38-47 [Conf]
  57. Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer
    Consistency Checking and Visualization of OCL Constraints. [Citation Graph (0, 0)][DBLP]
    UML, 2000, pp:294-308 [Conf]
  58. Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer
    A Visualization of OCL Using Collaborations. [Citation Graph (0, 0)][DBLP]
    UML, 2001, pp:257-271 [Conf]
  59. Paolo Bottoni, Bernd Meyer, Francesco Parisi-Presicce
    On a Uniform Logical Framework for Diagrammatic Reasoning. [Citation Graph (0, 0)][DBLP]
    HCC, 2001, pp:64-71 [Conf]
  60. Magdalena Gajewsky, Francesco Parisi-Presicce
    On the Compatibility of Model and Model-Class Transformations. [Citation Graph (0, 0)][DBLP]
    WADT, 2001, pp:109-127 [Conf]
  61. Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni
    Refinements and Modules for Typed Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:138-151 [Conf]
  62. Ornella Ciotti, Francesco Parisi-Presicce
    Closure Properties of Context-Tree Hyperedge Replacement Systems. [Citation Graph (0, 0)][DBLP]
    WG, 1996, pp:101-113 [Conf]
  63. Francesco Parisi-Presicce
    Single vs. Double Pushout Derivations of Graphs. [Citation Graph (0, 0)][DBLP]
    WG, 1992, pp:248-262 [Conf]
  64. Francesco Parisi-Presicce, Gabriele Piersanti
    Multilevel Graph Grammars. [Citation Graph (0, 0)][DBLP]
    WG, 1994, pp:51-64 [Conf]
  65. Paolo Bottoni, Bernd Meyer, Francesco Parisi-Presicce
    Visual Multiset Rewriting: Applications to Diagram Parsing and Reasoning. [Citation Graph (0, 0)][DBLP]
    WMP, 2000, pp:45-68 [Conf]
  66. Francesco Parisi-Presicce, Alfonso Pierantonio
    Towards the Algebraic Specification of Classes in Object Oriented Programming. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1991, v:45, n:, pp:85-97 [Journal]
  67. Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Anno Langen, Francesco Parisi-Presicce
    Algebraic Specification of Modules and Configuration Families. [Citation Graph (0, 0)][DBLP]
    Elektronische Informationsverarbeitung und Kybernetik, 1989, v:25, n:5/6, pp:205-232 [Journal]
  68. Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer
    Termination of High-Level Replacement Units with Application to Model Transformation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:4, pp:71-86 [Journal]
  69. Paolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer
    Coordinated Distributed Diagram Transformation for Software Evolution. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:72, n:4, pp:- [Journal]
  70. Hartmut Ehrig, Annegret Habel, Francesco Parisi-Presicce
    Basic Results for Two Types of High-Level Replacement Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  71. Kathrin Hoffmann, Till Mossakowski, Francesco Parisi-Presicce
    Higher-Order Nets for Mobile Policies. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:2, pp:87-105 [Journal]
  72. Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
    Graph Transformations for the Specification of Access Control Policies. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  73. Francesco Parisi-Presicce
    On Modifying High Level Replacement Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:4, pp:- [Journal]
  74. Gregor Engels, Fernando Orejas, Francesco Parisi-Presicce
    Special Issue with Selected Papers from ICGT 2004. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:74, n:1, pp:- [Journal]
  75. Edward K. Blum, Francesco Parisi-Presicce
    Implementation of Data Types by Algebraic Methods. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1983, v:27, n:2, pp:304-330 [Journal]
  76. Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni
    Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2002, v:64, n:2, pp:171-218 [Journal]
  77. Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
    Graph-based specification of access control policies. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2005, v:71, n:1, pp:1-33 [Journal]
  78. Francesco Parisi-Presicce
    Extensions of Iterative Congruences on Free Iterative Algebras. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1983, v:27, n:2, pp:200-220 [Journal]
  79. Francesco Parisi-Presicce
    Union and Actualization of Module Specifications: Some Compatibility Results. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1987, v:35, n:1, pp:72-95 [Journal]
  80. Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce
    Parallelism and Concurrency in High-Level Replacement Systems. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1991, v:1, n:3, pp:361-404 [Journal]
  81. Serafino Cicerone, Francesco Parisi-Presicce
    On the Complexity of Specification Morphisms. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:189, n:1-2, pp:239-248 [Journal]
  82. Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Francesco Parisi-Presicce
    Compatibility Problems in the Development of Algebraic Module Specifications. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:77, n:1&2, pp:27-71 [Journal]
  83. 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. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:71, n:3, pp:347-380 [Journal]
  84. Francesco Parisi-Presicce
    Iterative Factor Algebras and Induced Metrics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:28, n:, pp:287-298 [Journal]
  85. Francesco Parisi-Presicce
    Foundations of Rule-Based Design of Modular Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:83, n:1, pp:131-155 [Journal]
  86. Xinwen Zhang, Francesco Parisi-Presicce, Ravi S. Sandhu, Jaehong Park
    Formal model and policy specification of usage control. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Inf. Syst. Secur., 2005, v:8, n:4, pp:351-387 [Journal]
  87. Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
    A graph-based formalism for RBAC. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Inf. Syst. Secur., 2002, v:5, n:3, pp:332-365 [Journal]
  88. Duminda Wijesekera, Sushil Jajodia, Francesco Parisi-Presicce, Åsa Hagström
    Removing permissions in the flexible authorization framework. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Database Syst., 2003, v:28, n:3, pp:209-229 [Journal]
  89. Francesco Parisi-Presicce, Alfonso Pierantonio
    An Algebraic Theory of Class Specification. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1994, v:3, n:2, pp:166-199 [Journal]
  90. Paolo Bottoni, Kathrin Hoffmann, Francesco Parisi-Presicce, Gabriele Taentzer
    High-level replacement units and their termination properties. [Citation Graph (0, 0)][DBLP]
    J. Vis. Lang. Comput., 2005, v:16, n:6, pp:485-507 [Journal]

  91. A Model for Distribution and Revocation of Certificates. [Citation Graph (, )][DBLP]


  92. Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse. [Citation Graph (, )][DBLP]


Search in 0.014secs, Finished in 0.019secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002