Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Francesco Parisi-Presicce - MaRDI portal

Francesco Parisi-Presicce

From MaRDI portal
Person:790605

Available identifiers

zbMath Open parisi-presicce.francescoMaRDI QIDQ790605

List of research outcomes

PublicationDate of PublicationType
Multilevel graph grammars2024-01-05Paper
A Formal Model for Role-Based Access Control Using Graph Transformation2022-03-07Paper
Decidability of Safety in Graph-Based Models for Access Control2022-02-16Paper
Transformations of graph grammars2019-01-10Paper
https://portal.mardi4nfdi.de/entity/Q28480782013-09-25Paper
On Modifying High Level Replacement Systems1 1Partially supported by the European Community under TMR GETGRATS and Esprit WG APPLIGRAPH2013-05-24Paper
Graph Transformations for the Specification of Access Control Policies2013-05-24Paper
A Formal Framework for Petri Net Class Transformations2011-04-08Paper
A Model for Distribution and Revocation of Certificates2010-10-04Paper
Graph-based specification of access control policies2005-08-05Paper
https://portal.mardi4nfdi.de/entity/Q47382282004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44740052004-08-04Paper
https://portal.mardi4nfdi.de/entity/Q44717162004-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44387812003-12-10Paper
https://portal.mardi4nfdi.de/entity/Q44358672003-11-20Paper
https://portal.mardi4nfdi.de/entity/Q44178382003-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44098192003-07-01Paper
https://portal.mardi4nfdi.de/entity/Q45478432002-08-21Paper
Formal software specification with refinements and modules of typed graph transformation systems2002-08-04Paper
https://portal.mardi4nfdi.de/entity/Q27694362002-02-05Paper
https://portal.mardi4nfdi.de/entity/Q27288642001-11-06Paper
https://portal.mardi4nfdi.de/entity/Q27363482001-08-29Paper
https://portal.mardi4nfdi.de/entity/Q45028182000-11-07Paper
https://portal.mardi4nfdi.de/entity/Q49419312000-03-19Paper
https://portal.mardi4nfdi.de/entity/Q42511062000-01-09Paper
https://portal.mardi4nfdi.de/entity/Q42816501999-06-09Paper
https://portal.mardi4nfdi.de/entity/Q42181291998-11-11Paper
On the complexity of specification morphisms1998-06-30Paper
https://portal.mardi4nfdi.de/entity/Q40373141993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q40373151993-05-18Paper
Parallelism and concurrency in high-level replacement systems1992-09-26Paper
Foundations of rule-based design of modular systems1992-06-25Paper
Combining data type and recursive process specifications using projection algebras1990-01-01Paper
Compatibility problems in the development of algebraic module specifications1990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q42050881989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47320881989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37922131988-01-01Paper
Union and actualization of module specifications: Some compatibility results1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37859851987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47216371987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37181361986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36771501985-01-01Paper
Iterative factor algebras and induced metrics1984-01-01Paper
Extensions of iterative congruences of free iterative algebras1983-01-01Paper
Implementation of data types by algebraic methods1983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33170881983-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Francesco Parisi-Presicce