Concurrency-Preserving Minimal Process Representation. - Adrián Puerto Aubel (RAMiCS, 2017)

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)

Checking Weak Observable Liveness on Unfoldings Through Asynchronous Games. - Luca Bernardinello; Lucia Pomello; Adrián Puerto Aubel; Alessandro Villa (PNSE@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)

Algebraic Structures for the Analysis of Distributability of Elementary Systems and their Processes. - Adrián Puerto Aubel (2019)

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)

A Finite Prefix for Analyzing Information Flow Among Transitions of a Free-Choice Net. - Federica Adobbati; Görkem Kilinç Soylu; Adrián Puerto Aubel (IEEE Access, 2022)

A Service Composition Engine for Incremental Computation. - Joskel Ngoufo Tagueu; Adrián Puerto Aubel; Maurice Tchoupé Tchendji (CARI, 2024)