Adrián Puerto Aubel

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 8

Top Topics

Transition Systems

General Game Playing

Geometric Features

Information Flow

Top Venues

ATAED@Petri Nets/ACSD

Trans. Petri Nets Other Model. Concurr.

PNSE@Petri Nets/ACSD

Fundam. Informaticae

Publications

Federica Adobbati, Görkem Kilinç Soylu, Adrián Puerto Aubel
A Finite Prefix for Analyzing Information Flow Among Transitions of a Free-Choice Net. IEEE Access 10 (2022)
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)
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, Lucia Pomello, Adrián Puerto Aubel, Alessandro Villa
Checking Weak Observable Liveness on Unfoldings Through Asynchronous Games. PNSE@Petri Nets/ACSD (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)