Francesco Parisi-Presicce Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bottoni, Francesco Parisi-Presicce, Simone Pulcini, Gabriele Taentzer: Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse. Electr. Notes Theor. Comput. Sci. 211: 87-98 (2008)
2007
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Parisi-Presicce: Special section: International Conference on Graph Transformation ICGT 2004. Software and System Modeling 6(3): 267-268 (2007)
2006
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXinwen Zhang, Ravi S. Sandhu, Francesco Parisi-Presicce: Safety analysis of usage control authorization models. ASIACCS 2006: 243-254
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXinwen Zhang, Francesco Parisi-Presicce, Ravi S. Sandhu: Towards Remote Policy Enforcement for Runtime Protection of Mobile Code Using Trusted Computing. IWSEC 2006: 179-195
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bottoni, Kathrin Hoffmann, Francesco Parisi-Presicce: Termination of Algebraic Rewriting with Inhibitors. ECEASST 4: (2006)
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor Engels, Fernando Orejas, Francesco Parisi-Presicce: Special Issue with Selected Papers from ICGT 2004. Fundam. Inform. 74(1): (2006)
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Francesco Parisi-Presicce: UML specification of access control policies and their formal verification. Software and System Modeling 5(4): 429-447 (2006)
2005
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmihai Motro, Francesco Parisi-Presicce: Blind Custodians: A Database Service Architecture That Supports Privacy Without Encryption. DBSec 2005: 338-352
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZaid Dwaikat, Francesco Parisi-Presicce: Risky trust: risk-based analysis of software systems. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXinwen 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)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKathrin Hoffmann, Till Mossakowski, Francesco Parisi-Presicce: Higher-Order Nets for Mobile Policies. Electr. Notes Theor. Comput. Sci. 127(2): 87-105 (2005)
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer: Termination of High-Level Replacement Units with Application to Model Transformation. Electr. Notes Theor. Comput. Sci. 127(4): 71-86 (2005)
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Graph-based specification of access control policies. J. Comput. Syst. Sci. 71(1): 1-33 (2005)
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo 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)
2004
83no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg: Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings Springer 2004
82no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEhud Gudes, Luigi V. Mancini, Francesco Parisi-Presicce: Information Flow Analysis for File Systems and Databases Using Labels. DBSec 2004: 125-141
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXinwen Zhang, Jaehong Park, Francesco Parisi-Presicce, Ravi S. Sandhu: A logical specification for usage control. SACMAT 2004: 1-10
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Administrative scope in the graph-based framework. SACMAT 2004: 97-104
2003
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer: Specifying Integrated Refactoring with Distributed Graph Transformations. AGTIVE 2003: 220-235
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Francesco Parisi-Presicce: Visual Specifications of Policies and Their Verification. FASE 2003: 278-293
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Francesco Parisi-Presicce: Formal access control analysis in the software development process. FMSE 2003: 67-76
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Parisi-Presicce: A Formal Framework for Petri Net Class Transformations. Petri Net Technology for Communication-Based Systems 2003: 409-430
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDuminda 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)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer: Coordinated Distributed Diagram Transformation for Software Evolution. Electr. Notes Theor. Comput. Sci. 72(4): (2003)
2002
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Decidability of Safety in Graph-Based Models for Access Control. ESORICS 2002: 229-243
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Conflict Detection and Resolution in Access Control Policy Specifications. FoSSaCS 2002: 223-237
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Francesco Parisi-Presicce: Describing Policies with Graph Constraints and Rules. ICGT 2002: 223-238
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Mecella, Francesco Parisi-Presicce, Barbara Pernici: Modeling E -service Orchestration through Petri Nets. TES 2002: 38-47
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: A graph-based formalism for RBAC. ACM Trans. Inf. Syst. Secur. 5(3): 332-365 (2002)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin 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)
2001
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÅsa Hagström, Sushil Jajodia, Francesco Parisi-Presicce, Duminda Wijesekera: Revocations-A Classification. CSFW 2001: 44-58
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Foundations for a Graph-Based Approach to the Specification of Access Control Policies. FoSSaCS 2001: 287-302
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bottoni, Bernd Meyer, Francesco Parisi-Presicce: On a Uniform Logical Framework for Diagrammatic Reasoning. HCC 2001: 64-71
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bottoni, Bernd Meyer, Kim Marriott, Francesco Parisi-Presicce: Deductive Parsing of Visual Languages. LACL 2001: 79-94
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: On the specification and evolution of access control policies. SACMAT 2001: 121-130
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer: A Visualization of OCL Using Collaborations. UML 2001: 257-271
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Gajewsky, Francesco Parisi-Presicce: On the Compatibility of Model and Model-Class Transformations. WADT 2001: 109-127
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Parisi-Presicce: On Modifying High Level Replacement Systems. Electr. Notes Theor. Comput. Sci. 44(4): (2001)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Annegret Habel, Francesco Parisi-Presicce: Basic Results for Two Types of High-Level Replacement Systems. Electr. Notes Theor. Comput. Sci. 51: (2001)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Graph Transformations for the Specification of Access Control Policies. Electr. Notes Theor. Comput. Sci. 51: (2001)
2000
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: A Formal Model for Role-Based Access Control Using Graph Transformation. ESORICS 2000: 122-139
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Parisi-Presicce, Alexander L. Wolf: Foundations for Software Configuration Management Policies Using Graph Transformations. FASE 2000: 304-318
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Parisi-Presicce: Which Graphs for Visual Modeling? ICALP Satellite Workshops 2000: 383-386
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer: Consistency Checking and Visualization of OCL Constraints. UML 2000: 294-308
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bottoni, Bernd Meyer, Francesco Parisi-Presicce: Visual Multiset Rewriting: Applications to Diagram Parsing and Reasoning. WMP 2000: 45-68
1999
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin 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
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bottoni, Francesco Parisi-Presicce, Marta Simeoni: On a Uniform Representation of Transformation Systems. AGTIVE 1999: 63-78
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLS. Veglioni, Francesco Parisi-Presicce: Composition and Interaction for Behavioural Specifications. FMOODS 1999
1998
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni: Spatial and Temporal Refinement of Typed Graph Transformation Systems. MFCS 1998: 553-561
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bottoni, Francesco Parisi-Presicce, Marta Simeoni: From Formulae to Rewriting Systems. TAGT 1998: 267-280
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni: Refinements of Graph Transformation Systems via Rule Expressions. TAGT 1998: 368-382
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni: Refinements and Modules for Typed Graph Transformation Systems. WADT 1998: 138-151
1997
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Parisi-Presicce: Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers Springer 1997
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerafino Cicerone, Francesco Parisi-Presicce: On the Complexity of Specification Morphisms. Theor. Comput. Sci. 189(1-2): 239-248 (1997)
1996
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrnella Ciotti, Francesco Parisi-Presicce: Closure Properties of Context-Tree Hyperedge Replacement Systems. WG 1996: 101-113
1994
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Parisi-Presicce, Alfonso Pierantonio: Dynamical Behavior of Object Systems. COMPASS/ADT 1994: 406-419
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerafino Cicerone, Francesco Parisi-Presicce: Strategies in Modular System Design by Interface Rewriting. ESOP 1994: 165-179
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Parisi-Presicce, Alfonso Pierantonio: Reusing Object Oriented Design: An Algebraic Approach. ISOOMS 1994: 329-345
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Parisi-Presicce: Transformations of Graph Grammars. TAGT 1994: 428-442
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Parisi-Presicce, Gabriele Piersanti: Multilevel Graph Grammars. WG 1994: 51-64
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Parisi-Presicce, Alfonso Pierantonio: An Algebraic Theory of Class Specification. ACM Trans. Softw. Eng. Methodol. 3(2): 166-199 (1994)
1993
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Francesco Parisi-Presicce: Interaction between Algebraic Specification Grammars and Modular System Design. AMAST 1993: 217-224
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Parisi-Presicce, S. Veglioni: Heterogeneous Unified Algebras. MFCS 1993: 618-628
1992
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Francesco Parisi-Presicce: High-Level-Replacement Systems for Equational Algebraic Specifications. ALP 1992: 3-20
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Parisi-Presicce, Alfonso Pierantonio: Structured Inheritance for Algebraic Class Specifications. COMPASS/ADT 1992: 295-309
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Parisi-Presicce, Alfonso Pierantonio: System Design as Derivation via Rewriting. SEKE 1992: 317-324
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Parisi-Presicce: Single vs. Double Pushout Derivations of Graphs. WG 1992: 248-262
1991
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Parisi-Presicce: On the Reusability of Specifications and Implementations. AMAST 1991: 43-56
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Francesco Parisi-Presicce: Non-Equivalence of Categories for Equational Algebraic Specifications. COMPASS/ADT 1991: 222-235
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Parisi-Presicce, Alfonso Pierantonio: An Algebraic View of Inheritance and Subtyping in Object Oriented Programming. ESEC 1991: 364-379
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Francesca Rossi, Francesco Parisi-Presicce: Logic Programming as Hypergraph Rewriting. TAPSOFT, Vol.1 1991: 275-295
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Parisi-Presicce, Alfonso Pierantonio: Towards the Algebraic Specification of Classes in Object Oriented Programming. Bulletin of the EATCS 45: 85-97 (1991)
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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)
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Parisi-Presicce: Foundations of Rule-Based Design of Modular Systems. Theor. Comput. Sci. 83(1): 131-155 (1991)
1990
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Francesco Parisi-Presicce: A Match Operation for Rule-Based Modular System Design. ADT 1990: 74-97
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Parisi-Presicce: A Rule-Based Approach to Modular System Design. ICSE 1990: 202-211
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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)
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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)
1989
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Parisi-Presicce: Modular System Design Applying Graph Grammars Techniques. ICALP 1989: 621-636
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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)
1988
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Parisi-Presicce: Product and Iteration of Module Specifications. CAAP 1988: 149-164
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Parisi-Presicce: Partial Composition and Recursion of Module Specifications. TAPSOFT, Vol.1 1987: 217-231
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdward 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)
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Parisi-Presicce: Union and Actualization of Module Specifications: Some Compatibility Results. J. Comput. Syst. Sci. 35(1): 72-95 (1987)
1986
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Parisi-Presicce: Inner and Mutual Compatibility of Basic Operations on Module Specifications. CAAP 1986: 30-44
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDan 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
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Parisi-Presicce, Hartmut Ehrig, Ugo Montanari: Graph rewriting with unification and composition. Graph-Grammars and Their Application to Computer Science 1986: 496-514
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Werner Fey, Francesco Parisi-Presicce, Edward K. Blum: Algebraic Theory of Module Specification with Constraints. MFCS 1986: 59-77
1985
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdward K. Blum, Francesco Parisi-Presicce: The Semantics of Shared Submodules Specifications. TAPSOFT, Vol.1 1985: 359-373
1984
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Parisi-Presicce: Iterative Factor Algebras and Induced Metrics. Theor. Comput. Sci. 28: 287-298 (1984)
1983
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Parisi-Presicce: Extensions of Iterative Congruences on Free Iterative Algebras. J. Comput. Syst. Sci. 27(2): 200-220 (1983)
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdward K. Blum, Francesco Parisi-Presicce: Implementation of Data Types by Algebraic Methods. J. Comput. Syst. Sci. 27(2): 304-330 (1983)
1981
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Parisi-Presicce: On the Faithful Regular Extensions of Iterative Algebras STOC 1981: 368-374

Coauthor Index

1Edward K. Blum [2] [5] [6] [11]
2Paul Boehm [13] [19]
3Paolo Bottoni [48] [51] [53] [54] [62] [64] [65] [74] [79] [84] [86] [93] [97]
4Serafino Cicerone [41] [44]
5Ornella Ciotti [43]
6Andrea Corradini [27]
7Christian Dimitrovici [13] [19]
8Zaid Dwaikat [89]
9Hartmut Ehrig [6] [7] [11] [13] [14] [16] [18] [19] [21] [22] [23] [25] [29] [34] [36] [59] [83]
10Gregor Engels [83] [92]
11Werner Fey [6] [14] [16] [18]
12Magdalena Gajewsky [61]
13Martin Große-Rhode [13] [19] [46] [47] [49] [52] [68]
14Ehud Gudes [82]
15Annegret Habel [22] [25] [59]
16Åsa Hagström [67] [75]
17Horst Hansen [14] [16] [18]
18Kathrin Hoffmann [84] [87] [93]
19Dean Jacobs [16] [18]
20Sushil Jajodia [67] [75]
21Manuel Koch [54] [57] [58] [62] [63] [66] [69] [71] [72] [73] [77] [78] [80] [85] [86] [91]
22Hans-Jörg Kreowski [22] [25]
23Anno Langen [16]
24Michael Löwe [14] [16] [18]
25Luigi V. Mancini [57] [58] [63] [66] [69] [72] [73] [80] [82] [85]
26Kim Marriott [64]
27Massimo Mecella [70]
28Bernd Meyer [53] [64] [65]
29Dan I. Moldovan [8]
30Ugo Montanari [7]
31Till Mossakowski [87]
32Amihai Motro [90]
33Fernando Orejas [92]
34Jaehong Park [81] [88]
35Barbara Pernici [70]
36Alfonso Pierantonio [26] [28] [32] [33] [37] [40] [42]
37Gabriele Piersanti [38]
38Simone Pulcini [97]
39Catharina Rieckhoff [13] [19]
40Francesca Rossi [27]
41Grzegorz Rozenberg [83]
42Ravi S. Sandhu [81] [88] [94] [95]
43Marta Simeoni [46] [47] [48] [49] [51] [52] [68]
44Gabriele Taentzer [52] [54] [62] [74] [79] [84] [86] [97]
45S. Veglioni [35] [50]
46Duminda Wijesekera [67] [75]
47Alexander L. Wolf [56]
48Xinwen Zhang [81] [88] [94] [95]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)