Carlo Ferigato

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