1. P.Bottoni, M.Koch, F.Parisi-Presicce, G.Taentzer, Consistency Checking and Visualization of OCL Constraints, in Proc. UML 2000 - The Unified Modeling Language (A.Evans, S.Kent, B.Selic, eds.), Lect.Notes Comp.Sci. 1939, Springer-Verlag 2000, pp.294-308  pdf
  2. M.Koch, L.V.Mancini, F.Parisi-Presicce, A formal Model for Role-Based Access Control using Graph Transformations, in Proc. ESORICS2000 (F.Cuppens et al., eds.) Lect.Notes Comp.Sci. 1895, Springer-Verlag 2000, pp.122-139 pdf
  3. P.Bottoni, B.Meyer, F.Parisi-Presicce, Visual Multiset Rewriting, in Proc. Workshop on Multiset Processing, Center for Discrete Math. and Theoret.Comp.Sci., Tech.Univ. Auckland, 2000, pp.35-50
  4. F.Parisi-Presicce, Which Graphs for Visual Modelling ?, (invited) in Proc. ICALP Workshop Graph Transformation and Visual Modelling Techniques (GVMT 2000) (J.D.P.Rolim,A.Z.Broder,A.Corradini,R.Gorrieri,R.Heckel, J.Hromkovic,U.Vaccaro,J.B.Wells, eds.), Carleton Scientific, Waterloo, Ontario, Canada, 2000, pp.383-386
  5. F.Parisi-Presicce, A.L.Wolf, Foundations for Software Configuration Management Policies using Graph Transformations, in Proc. FASE 2000 (T.Maibaum, ed.), Lect.Notes Comp. Sci. 1783, Springer-Verlag 2000 pp. 304-318
  6. P. Bottoni, F.Parisi-Presicce: Patterns on Graphs, in Proc. GRATRA 2000 Workshop (H.Ehrig, G.Taentzer, eds.) Tech. Rep. 2000-02 Fachbereich Informatik, Tech.Univ. Berlin 2000, pp. 180-188 ( http://tfs.cs.tu-berlin.de/gratra2000/)
  7. M.Große-Rhode, F.Parisi-Presicce, M.Simeoni, G.Taentzer: Modelling Distributed Systems by Modular Graph Transformations based on Refinements via Rule Expressions, in Proc. Internat. Workshop AGTIVE99, (M.Nagl, A.Schuerr, M.Münch eds.) Lect.Notes Comp.Sci. 1779, Springer-Verlag 2000, pp.31-46
  8. P.Bottoni, F.Parisi-Presicce, M.Simeoni: On a Uniform Representation of Transformation Systems, in Proc. Internat. Workshop AGTIVE99, (M.Nagl, A.Schürr, M.Münch, eds.) Lect.Notes Comp.Sci. 1779, Springer-Verlag 2000, pp.63-78
  9. M.Große-Rhode, F.Parisi-Presicce, M. Simeoni: Refinements of Graph Transformation Systems via Rule Expressions, in Graph Grammars and their applications to Comp. Sci. 6th Internat. Workshop,(Selected Papers), (H.Ehrig, G.Engels, H.-J.Kreowski, G.Rozenberg, eds.) Lect.Notes Comp.Sci. 1764, Springer-Verlag 2000, pp.368-382
  10. P.Bottoni, F.Parisi-Presicce, M.Simeoni: From Formulae to Rewriting Systems, in Graph Grammars and their applications to Comp.Sci. 6th Internat. Workshop, (Selected Papers), (H.Ehrig, G.Engels, H.-J.Kreowski, G.Rozenberg eds.) Lect.Notes Comp.Sci. 1764, Springer-Verlag 2000, pp.267-280
  11. H.Ehrig, M.Gajewsky, F. Parisi-Presicce: High-Level Replacement Systems with applications to Algebraic Specifications and Petri Nets , in Handbook of Graph Grammars vol 3 : Concurrency, Parallelism and Distribution (H.Ehrig, H.-J.Kreowski, U.Montanari, G.Rozenberg, eds.), World Scientific 1999, pp. 341-400
  12. M.Große-Rhode, F.Parisi Presicce, M.Simeoni,: Refinement and Modules for Typed Graph Transformation Systems,in Recent Trends in Algebraic Development Techniques (Selected papers from WADT98),(J.L. Fiadeiro ed.) Lect.Notes Comp.Sci. 1589, Springer-Verlag 1999, pp.137-151
  13. F.Parisi-Presicce, S.Veglioni: Composition and Interaction for Behavioural Specifications, Proc. IFIP TC6 3rd Internat. Conference on Formal Methods for Open Object-based Distributed Systems, (P.Ciancarini, A.Fantechi, R.Gorrieri eds.) Kluwer Acad.Publ. 1999, pp.149-160
  14. M.Große-Rhode, F.Parisi-Presicce, M.Simeoni: Spatial and Temporal Refinement of Typed Graph Transformation Systems, Proc. Math. Found. of Comp. Sci. 1998, (L.Brim, J.Gruska, J.Zlatuvska eds.) Lect. Notes Comp.Sci.1450, Springer-Verlag 1998, pp.553-561 pdf
  15. M.Gogolla, F.Parisi-Presicce,State Diagrams in UML: a formal semantics using Graph Transformations, Proc. Workshop on Precise Semantics for Software Modeling Techniques, Kyoto (Japan) April 1998, TUM-I9803, pp.55-72
  16. F.Parisi-Presicce (Ed.), Recent Trends in Algebraic Development Techniques, Selected Papers of the 12th Internat. Workshop WADT 97, Lect.Notes Comp.Sci.1376, Springer-Verlag 1998
  17. S.Cicerone, F.Parisi-Presicce, On the Complexity of Specification Morphisms, Theoret. Comp. Sci. 189,1-2 (1997) pp.239-248
  18. F.Parisi-Presicce, A.Pierantonio, On the Algebraic Specification of Classes and Inheritance in OOP, in "Advances in the Design of Symbolic Computation Systems" (A.Miola, M.Temperini, eds.) Texts and Monographs in Symbolic Computation, Springer 1997, pp.145-163
  19. F.Parisi-Presicce Transformations of Graph Grammars, Proc. 5th International Workshop on Graph Grammars 1994, (J.Cuny, H.Ehrig, G.Engels, G.Rozenberg, eds.), Lect.Notes in Comp. Sci. 1073, Springer-Verlag 1996, pp.428-442
  20. F.Parisi-Presicce, A.Pierantonio, Dynamical Behavior of Object Systems, in "Recent Trends in Data Type Specification" 10th ADT Workshop (E.Astesiano, G.Reggio, A.Tarlecki, eds.) Lect.Notes Comp.Sci. 906, Springer-Verlag 1995, pp.406-419
  21. F.Parisi-Presicce, G.Piersanti, Multilevel Graph Grammars, in Proc. 20th Internat. Workshop Graph Theoretic Concepts in Comp.Sci. (E.W.Meyer, G. Schmidt, G.Tinhofer eds.) Lect.Notes Comp.Sci. 903, Springer-Verlag 1995, pp.51-64
  22. F.Parisi-Presicce, A.Pierantonio, An Algebraic Theory of Class Specification, ACM Transactions on Software Engineering and Methodology (TOSEM), vol 3, n. 2 (April 1994) pp.166-199
  23. F.Parisi-Presicce, A.Pierantonio, Reusing Object Oriented Design: an Algebraic Approach, in "Object Oriented Methodology and Systems" (E.Bertino, S.Urban, eds.), Lect.Notes Comp.Sci. 858, Springer-Verlag (1994) pp.329-345
  24. S.Cicerone, F.Parisi-Presicce, Strategies in modular system design by interface rewriting, Proc.5th European Symposium on Programming (D.Sannella ed.), Lect.Notes in Comp.Sci. 788, Springer-Verlag (1994) pp. 165-179
  25. F.Parisi-Presicce, A.Pierantonio, Structured Inheritance for Algebraic Class Specifications, in "Recent Trends in Data Type Specification" 9th ADT Workshop (H.Ehrig, F.Orejas, eds.), Lect.Notes Comp.Sci.785, Springer-Verlag (1994) pp.295-309
  26. F.Parisi-Presicce, S.Veglioni, Heterogeneous Unified Algebras, Proc. Math. Found. of Comp.Sci. 1993 (A.M.Borzyszkowski, S.Sokolowski, eds.),  Lect.Notes Comp.Sci. 711, Springer-Verlag (1993) pp.618-628
  27. H.Ehrig, F.Parisi-Presicce, Interaction between Algebraic Specification Grammars and Modular System Design, in Algebraic Methodology and Software Technology AMAST 93 (M.Nivat, C.Rattray, T.Rus, G.Scollo, eds.), Springer-Verlag 1993, pp. 219-226
  28. F.Parisi-Presicce, Single vs. double pushout derivations of Graphs, in Proc. 18th Workshop Graph Theoretic Concepts in Comp.Sci. (E.W.Meyer, ed.) Lect.Notes Comp.Sci. 657, Springer-Verlag 1993, pp.248-262
  29. H.Ehrig, F.Parisi-Presicce, Nonequivalence of categories for equational algebraic specifications, in "Recent Trends in Data Type Specification" 8th ADT/ 3rd COMPASS Workshop (M.Bidoit, C.Choppy, eds.), Lect.Notes Comp.Sci.655, Springer-Verlag 1993, pp. 222-235
  30. F.Parisi-Presicce, A.Pierantonio, Toward an Algebraic Specification of Classes in Object Oriented Programming, in "Current Trends in Theoretical Computer Science" (G.Rozenberg, A.Salomaa eds) World Scientific 1993, pag.183-194
  31. F.Parisi-Presicce, On the Reusability of Specifications and Implementations, in Algebraic Methodology and Software Technology AMAST 91; (M.Nivat, C.Rattray, T.Rus, G.Scollo, eds.), Springer-Verlag 1992, pp. 43-56
  32. F.Parisi-Presicce, A.Pierantonio, System Design by Deriving using Rewriting, Proc. 4th International Conference on Software Engineering and Knowledge Engineering SEKE92 , IEEE Computer Science Press (1992) pp.317-324
  33. H.Ehrig, F.Parisi-Presicce, High Level Replacement Systems for Equational Algebraic Specifications, Proc.3rd International Conference on Algebraic and Logic Programming, Lect. Notes Comp. Sci. 632, Springer-Verlag 1992, pp. 3-20
  34. F.Parisi-Presicce, Foundations for Rule-based Design of Modular Systems, Theoretical Comp.Sci. 83 (1991) pp. 131-155
  35. H.Ehrig, A.Habel, H.-J.Kreowski, F. Parisi-Presicce, Parallelism and Concurrency in High Level Replacement Systems, Math. Struct. in Comp. Science (1991), vol 1, pp.361-404
  36. F.Parisi-Presicce, A.Pierantonio, An Algebraic view of Inheritance and Subtyping in Object Oriented Programming, Proc. European Software Engineering Conf. ESEC91, Lect. Notes Comp.Sci. 550, Springer-Verlag 1991, pp. 364-379
  37. H.Ehrig, F.Parisi-Presicce, A Match Operation for Rule-Based Modular System Design, Proc. 7th International Workshop on Abstract Data Types 1990, Lect. Notes Comp.Sci. 534, Springer-Verlag 1991, pp. 74-97
  38. H.Ehrig, F.Parisi-Presicce, Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars, Proc. 4th International Workshop on Graph Grammars 1990, Lect. Notes in Comp.Sci. 532, Springer-Verlag 1991, pp.292-310
  39. H.Ehrig, A.Habel, H.-J.Kreowski, F.Parisi-Presicce, From Graph Grammars to High Level Replacement Systems, Proc. 4th International Workshop on Graph Grammars 1990, Lect. Notes in Comp.Sci. 532, Springer-Verlag 1991, pp.269-291
  40. A.Corradini, F.Rossi, F.Parisi-Presicce, Logic Programming as Hypergraph Rewriting, Proc.CAAP91/TAPSOFT 91, Lect. Notes in Comp.Sci. 493, Springer-Verlag 1991, pp. 275-295
  41. H.Ehrig, W.Fey, H.Hansen, M.Lowe, D.Jacobs, F.Parisi-Presicce, Compatibility Problems in the Development of Algebraic Module Specifications, Theoret.Comp.Sci. 77, 1/2 (1990) pp.27-71
  42. F. Parisi-Presicce, A Rule-Based Approach to Modular System Design, Proc. 12th IEEE Intern. Conference on Software Engineering ICSE90, Nice (FR) 1990, pp.202-211
  43. H.Ehrig, P.Boehm, C.Rieckhoff, C.Dimitrovici, M.Große-Rhode, F.Parisi-Presicce, Combining Data Type and Recursive Process Specification using Projection Algebras, Theoret.Comp.Sci. 71 (1990) pp.347-380
  44. H.Ehrig, W.Fey, H.Hansen, M.Lowe, F.Parisi-Presicce, Categories for the Development of Algebraic Module Specifications, in Proc.Workshop "Categorical Methods in Comp.Sci. with aspects of Topology", Lect.Notes in Comp.Sci. 393, Springer-Verlag 1989, pp. 157-184
  45. F.Parisi-Presicce, Modular System Design applying Graph Grammar Techniques, Proc. 16th ICALP, Lect. Notes in Comp.Sci. 372, Springer-Verlag 1989, pp.621-636
  46. H.Ehrig, W.Fey, H.Hansen, M.Lowe, D.Jacobs, A.Langen, F.Parisi-Presicce, Algebraic Specification of Modules and Configuration Families, J. Inf. Process. Cybern. EIK 25, 5/6(1989), pp.205-232
  47. H.Ehrig, F.Parisi-Presicce, P.Boehm, C.Rieckhoff, C.Dimitrovici, M.Große-Rhode, Algebraic Data Type and Process Specification based on Projection Spaces, in Recent Trends in Data Type Specification (D.Sannella, A.Tarlecki, eds.) Lect. Notes in Comp.Sci. 332, Springer-Verlag 1988, pp.23-43
  48. F.Parisi-Presicce, Product and Iteration of Module Specification, Proc. CAAP 88, Lect.Notes in Comp.Sci.299, Springer-Verlag 1988, pp.149-164
  49. F.Parisi-Presicce, Union and Actualization of Module Specifications: Some Compatibility Results, J. Comput. System Sci. 35, 1 (August 1987) pp. 72-95.
  50. E.K.Blum, H.Ehrig, F.Parisi-Presicce, Algebraic Specification of Modules and their Basic Interconnections, J. Comput. System Sci. 34, 2/3 (April/May 1987) pp.293-339.
  51. H.Ehrig, W.Fey, F. Parisi-Presicce,Distributive Laws for Composition and Union of Module Specifications for Software Systems, Proc. IFIP TC2 Working Conf. on Program Specification and Transformation, (L.G.L.T.Meertens ed.) North-Holland 1987, pp.293-312
  52. D.Moldovan, F.Parisi-Presicce, Parallelism Analysis in Rule-Based Systems using Graph Grammars, Proc. 3rd International Workshop on Graph Grammars, Lect. Notes Comp. Sci. 291, Springer-Verlag 1987, pp.427-439
  53. F.Parisi-Presicce, H.Ehrig, U.Montanari, Graph Rewriting with Unification and Composition, Proc. 3rd International Workshop on Graph Grammars, Lect. Notes Comp.Sci. 291, Springer-Verlag 1987, pp.496-514
  54. F.Parisi-Presicce, Partial Composition and Recursion of Module Specifications, Proc. CAAP87/ TAPSOFT87, Lect. Notes Comp.Sci. 249, Springer-Verlag 1987, pp.217-231
  55. H.Ehrig, W.Fey, E.K.Blum, F.Parisi-Presicce, Algebraic Theory of Module Specifications with Constraints, Proc. Math. Found. of Comp.Sci., Lect. Notes Comp.Sci. 233, Springer-Verlag 1986, pp. 59-77
  56. F.Parisi-Presicce, Inner and Mutual Compatibility of basic Operations on Module Specifications, Proc. CAAP 86, Lect. Notes Comp.Sci. 214, Springer-Verlag 1986, pp. 30-44. (Long Version: Tech. Rep. 86-06, Tech.Univ. Berlin, April 1986)
  57. E.K. Blum, F. Parisi-Presicce, The Semantics of Shared Submodule Specifications, Proc. CAAP85/ TAPSOFT85, Lect. Notes Comp.Sci. 185, Springer-Verlag 1985, pp. 359-373
  58. F. Parisi-Presicce, Iterative Factor Algebras and Induced Metrics, Theoret. Comput. Sci. 28 (1984), pp. 287-298.
  59. J.A.B. Fortes, F. Parisi-Presicce, Optimal Linear Schedules for the Parallel Execution of Algorithms, Proc. 1984 International Conference on Parallel Processing, Bellaire (MI), Aug 1984, pp. 322-329 .
  60. F. Parisi-Presicce, Extensions of Iterative Congruences on Free Iterative Algebras, J. Comput. System Sci. 27, 2 (1983) pp.200-220.
  61. I.Guessarian, F. Parisi-Presicce, Iterative vs. Regular Factor Algebras, SIGACT News 12, 3 (1983), pp. 32-44
  62. E.K.Blum, F.Parisi-Presicce, Implementation of Data Types by Algebraic Methods, J. Comput. System Sci. 27, 2 (1983), pp. 304-330
  63. F. Parisi-Presicce, On the faithful regular extension of iterative algebras, Proc. 13th ACM Symp. on Theory of Computing STOC81, Milwaukee(WI), May 1981, pp. 368-374.