Browsing by Author FERIGATO Carlo

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 14 of 14
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 MassimilianoContributions to Conferences
2014JRC73932Between quantum logic and concurrencyBERNARDINELLO Luca; FERIGATO Carlo; POMELLO LuciaContributions to Conferences
2014JRC78189Closed Sets in Occurrence Nets with ConflictsBERNARDINELLO Luca; FERIGATO Carlo; HAAR Stefan; POMELLO LuciaArticles in Journals
2009JRC52412Closure operators associated to partially ordered setsBERNARDINELLO Luca; FERIGATO Carlo; POMELLO Lucia; ROMBOLÀ StefaniaContributions to Conferences
2012JRC70067Design of a Controlled Language for Critical Infrastructures ProtectionCANTARELLA SIMONA; FERIGATO Carlo; OWUSU EVANS BOATENGContributions to Conferences
2013JRC82565Dynamically Closed Sets in Occurrence NetsBERNARDINELLO Luca; FERIGATO Carlo; HAAR Stefan; POMELLO LuciaContributions to Conferences
2012JRC59332Inference of Local Properties in Petri Nets Composed through an InterfaceFERIGATO Carlo; MANGIONI ElisabettaContributions to Conferences
2014JRC90949On a logic of observations in occurrence netsBERNARDINELLO Luca; FERIGATO Carlo; POMELLO L.; ROMBOLA S.Contributions to Conferences
2013JRC82566On the composition of regional structures and their logicsBERNARDINELLO Luca; FERIGATO CarloContributions to Conferences
2009JRC48323Petri Net Security Checker: Structural Non-interference at WorkFRAU Simone; GORRIERI Roberto; FERIGATO CarloContributions to Conferences
2010JRC57466Proceedings of the first JRC-Turkey workshop on ICT securityATAY Serap; KOLTUKSUZ Ahmet; FERIGATO CarloBooks
2015JRC93769Requirements of a Quantum Key Distribution Reference Platform. JRC Project 867 Quantum Cryptography StudyLEWIS Adam; FERIGATO Carlo; BREITENBACH LotharEUR - Scientific and Technical Research Reports
2009JRC48348Role of Thesauri in a Scientific OrganizationFERIGATO Carlo; MERLO Giuseppe; PANFILI Daniela; RODIGHIERO DarioContributions to Conferences
2012JRC76516A Taxonomy for Incidents in Communication SystemsFERIGATO Carlo; GLIGORIJEVIC SASAEUR - Scientific and Technical Research Reports