Carlo Ferigato

According to our database, Carlo Ferigato authored at least 13 papers between 2003 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

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

2020

Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence.

Luca Bernardinello, Carlo Ferigato, Lucia Pomello

Fundam. Informaticae, 2020

2019

Two Operations for Stable Structures of Elementary Regions.

Federica Adobbati, Carlo Ferigato, Stefano Gandelli, Adrián Puerto Aubel

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2019 Satellite event of the conferences: 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and 19th International Conference on Application of Concurrency to System Design ACSD 2019, 2019

2018

On Stability of Regional Orthomodular Posets.

Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel

Trans. Petri Nets Other Model. Concurr., 2018

On the Decomposition of Regional Events in Elementary Systems.

Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, 2018

2017

Synthesis of Transition Systems from Quantum Logics.

Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel

Fundam. Informaticae, 2017

2014

Closed Sets in Occurrence Nets with Conflicts.

Luca Bernardinello, Carlo Ferigato, Stefan Haar, Lucia Pomello

Fundam. Informaticae, 2014

2012

Between quantum logic and concurrency.

Luca Bernardinello, Carlo Ferigato, Lucia Pomello

Proceedings of the Proceedings 9th Workshop on Quantum Physics and Logic, 2012

A model of distributed key generation for industrial control systems.

Görkem Kilinç, Igor Nai Fovino, Carlo Ferigato, Ahmet Koltuksuz

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

2009

Closure Operators Associated to Partially Ordered Sets.

Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Stefania Rombolà

Proceedings of the Workshop on Non-Classical Models for Automata and Applications - NCMA 2009, Wroclaw, Poland, August 31, 2009

2008

Petri Net Security Checker: Structural Non-interference at Work.

Simone Frau, Roberto Gorrieri, Carlo Ferigato

Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008

2007

Design of a Platform for Information Exchange on Protection of Critical Infrastructures.

Carlo Ferigato, Marcelo Masera

Proceedings of the Critical Information Infrastructures Security, 2007

2003

An algebraic model of observable properties in distributed systems.

Luca Bernardinello, Carlo Ferigato, Lucia Pomello

Theor. Comput. Sci., 2003