Browsing by Author FERIGATO Carlo

Showing results 1 to 13 of 13
Publication YearJRC N°TitleAuthor(s), Editor(s), Other Contributor(s)Publication Type
2010JRC56738An application of the Communication Disciplines of C. A. Petri to the analysis and design of a communication systemFERIGATO Carlo; GUSMINI MassimilianoArticles in periodicals and books
2014JRC73932Between quantum logic and concurrencyBERNARDINELLO Luca; FERIGATO Carlo; POMELLO LuciaArticles in periodicals and books
2014JRC78189Closed Sets in Occurrence Nets with ConflictsBERNARDINELLO Luca; FERIGATO Carlo; HAAR Stefan; POMELLO LuciaArticles in periodicals and books
2009JRC52412Closure operators associated to partially ordered setsBERNARDINELLO Luca; FERIGATO Carlo; POMELLO Lucia; ROMBOLÀ StefaniaArticles in periodicals and books
2012JRC70067Design of a Controlled Language for Critical Infrastructures ProtectionCANTARELLA SIMONA; FERIGATO Carlo; OWUSU EVANS BOATENGArticles in periodicals and books
2013JRC82565Dynamically Closed Sets in Occurrence NetsBERNARDINELLO Luca; FERIGATO Carlo; HAAR Stefan; POMELLO LuciaArticles in periodicals and books
2012JRC59332Inference of Local Properties in Petri Nets Composed through an InterfaceFERIGATO Carlo; MANGIONI ElisabettaArticles in periodicals and books
2012JRC72118A model of distributed key generation for industrial control systemsKILINC Gorkem; NAI FOVINO Igor; FERIGATO Carlo; KOLTUKSUZ AhmetArticles in periodicals and books
2014JRC90949On a logic of observations in occurrence netsBERNARDINELLO Luca; FERIGATO Carlo; POMELLO L.; ROMBOLA S.Articles in periodicals and books
2013JRC82566On the composition of regional structures and their logicsBERNARDINELLO Luca; FERIGATO CarloArticles in periodicals and books
2009JRC48323Petri Net Security Checker: Structural Non-interference at WorkFRAU Simone; GORRIERI Roberto; FERIGATO CarloArticles in periodicals and books
2010JRC57466Proceedings of the first JRC-Turkey workshop on ICT securityATAY Serap; KOLTUKSUZ Ahmet; FERIGATO CarloBooks
2009JRC48348Role of Thesauri in a Scientific OrganizationFERIGATO Carlo; MERLO Giuseppe; PANFILI Daniela; RODIGHIERO DarioArticles in periodicals and books