Francesco Parisi-Presicce

Available identifiers

zbMath Open parisi-presicce.francescoMaRDI QIDQ790605

List of research outcomes

Publication	Date of Publication	Type
Multilevel graph grammars	2024-01-05	Paper
A Formal Model for Role-Based Access Control Using Graph Transformation	2022-03-07	Paper
Decidability of Safety in Graph-Based Models for Access Control	2022-02-16	Paper
Transformations of graph grammars	2019-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q2848078	2013-09-25	Paper
On Modifying High Level Replacement Systems1 1Partially supported by the European Community under TMR GETGRATS and Esprit WG APPLIGRAPH	2013-05-24	Paper
Graph Transformations for the Specification of Access Control Policies	2013-05-24	Paper
A Formal Framework for Petri Net Class Transformations	2011-04-08	Paper
A Model for Distribution and Revocation of Certificates	2010-10-04	Paper
Graph-based specification of access control policies	2005-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q4738228	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4474005	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4471716	2004-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4438781	2003-12-10	Paper
https://portal.mardi4nfdi.de/entity/Q4435867	2003-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q4417838	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4409819	2003-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4547843	2002-08-21	Paper
Formal software specification with refinements and modules of typed graph transformation systems	2002-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q2769436	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q2728864	2001-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q2736348	2001-08-29	Paper
https://portal.mardi4nfdi.de/entity/Q4502818	2000-11-07	Paper
https://portal.mardi4nfdi.de/entity/Q4941931	2000-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4251106	2000-01-09	Paper
https://portal.mardi4nfdi.de/entity/Q4281650	1999-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4218129	1998-11-11	Paper
On the complexity of specification morphisms	1998-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q4037314	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4037315	1993-05-18	Paper
Parallelism and concurrency in high-level replacement systems	1992-09-26	Paper
Foundations of rule-based design of modular systems	1992-06-25	Paper
Combining data type and recursive process specifications using projection algebras	1990-01-01	Paper
Compatibility problems in the development of algebraic module specifications	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4205088	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4732088	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3792213	1988-01-01	Paper
Union and actualization of module specifications: Some compatibility results	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3785985	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4721637	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3718136	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3677150	1985-01-01	Paper
Iterative factor algebras and induced metrics	1984-01-01	Paper
Extensions of iterative congruences of free iterative algebras	1983-01-01	Paper
Implementation of data types by algebraic methods	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3317088	1983-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Francesco Parisi-Presicce