An algebraic model of observable properties in distributed systems. - Luca Bernardinello; Carlo Ferigato; Lucia Pomello (Theor. Comput. Sci., 2003)

Design of a Platform for Information Exchange on Protection of Critical Infrastructures. - Carlo Ferigato; Marcelo Masera (CRITIS, 2007)

Petri Net Security Checker: Structural Non-interference at Work. - Simone Frau; Roberto Gorrieri; Carlo Ferigato (Formal Aspects in Security and Trust, 2008)

Closure Operators Associated to Partially Ordered Sets. - Luca Bernardinello; Carlo Ferigato; Lucia Pomello; Stefania Rombolà (NCMA, 2009)

A model of distributed key generation for industrial control systems. - Görkem Kilinç 001; Igor Nai Fovino; Carlo Ferigato; Ahmet Koltuksuz (WODES, 2012)

Between quantum logic and concurrency. - Luca Bernardinello; Carlo Ferigato; Lucia Pomello (QPL, 2012)

Closed Sets in Occurrence Nets with Conflicts. - Luca Bernardinello; Carlo Ferigato; Stefan Haar; Lucia Pomello (Fundam. Informaticae, 2014)

Synthesis of Transition Systems from Quantum Logics. - Luca Bernardinello; Carlo Ferigato; Lucia Pomello; Adrián Puerto Aubel (Fundam. Informaticae, 2017)

On the Decomposition of Regional Events in Elementary Systems. - Luca Bernardinello; Carlo Ferigato; Lucia Pomello; Adrián Puerto Aubel (ATAED@Petri Nets/ACSD, 2018)

On Stability of Regional Orthomodular Posets. - Luca Bernardinello; Carlo Ferigato; Lucia Pomello; Adrián Puerto Aubel (Trans. Petri Nets Other Model. Concurr., 2018)

Two Operations for Stable Structures of Elementary Regions. - Federica Adobbati; Carlo Ferigato; Stefano Gandelli; Adrián Puerto Aubel (ATAED@Petri Nets/ACSD, 2019)

Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence. - Luca Bernardinello; Carlo Ferigato; Lucia Pomello (Fundam. Informaticae, 2020)

Stability of Regional Orthomodular Posets Under Synchronisation and Refinement. - Federica Adobbati; Carlo Ferigato; Stefano Gandelli; Adrián Puerto Aubel (Trans. Petri Nets Other Model. Concurr., 2021)