Carlo Ferigato

Publication Activity (10 Years)

Years Active: 2003-2021
Publications (10 Years): 7

Top Topics

Partially Ordered Sets

Stability Analysis

Top Venues

ATAED@Petri Nets/ACSD

Fundam. Informaticae

Trans. Petri Nets Other Model. Concurr.

Publications

Federica Adobbati, Carlo Ferigato, Stefano Gandelli, Adrián Puerto Aubel
Stability of Regional Orthomodular Posets Under Synchronisation and Refinement. Trans. Petri Nets Other Model. Concurr. 15 (2021)
Luca Bernardinello, Carlo Ferigato, Lucia Pomello
Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence. Fundam. Informaticae 171 (1-4) (2020)
Federica Adobbati, Carlo Ferigato, Stefano Gandelli, Adrián Puerto Aubel
Two Operations for Stable Structures of Elementary Regions. ATAED@Petri Nets/ACSD (2019)
Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel
On Stability of Regional Orthomodular Posets. Trans. Petri Nets Other Model. Concurr. 13 (2018)
Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel
On the Decomposition of Regional Events in Elementary Systems. ATAED@Petri Nets/ACSD (2018)
Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel
On Stability of Regional Orthomodular Posets. ATAED@Petri Nets/ACSD (2017)
Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel
Synthesis of Transition Systems from Quantum Logics. Fundam. Informaticae 154 (1-4) (2017)
Luca Bernardinello, Carlo Ferigato, Stefan Haar, Lucia Pomello
Closed Sets in Occurrence Nets with Conflicts. Fundam. Informaticae 133 (4) (2014)
Görkem Kilinç, Igor Nai Fovino, Carlo Ferigato, Ahmet Koltuksuz
A model of distributed key generation for industrial control systems. WODES (2012)
Luca Bernardinello, Carlo Ferigato, Lucia Pomello
Between quantum logic and concurrency. QPL (2012)
Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Stefania Rombolà
Closure Operators Associated to Partially Ordered Sets. NCMA (2009)
Simone Frau, Roberto Gorrieri, Carlo Ferigato
Petri Net Security Checker: Structural Non-interference at Work. Formal Aspects in Security and Trust (2008)
Carlo Ferigato, Marcelo Masera
Design of a Platform for Information Exchange on Protection of Critical Infrastructures. CRITIS (2007)
Luca Bernardinello, Carlo Ferigato, Lucia Pomello
An algebraic model of observable properties in distributed systems. Theor. Comput. Sci. 290 (1) (2003)