Federica Adobbati

19 papers Journal 9Unranked 9
YearRankTypeTitle / Venue / Authors
2025 — conf
Applications of deep learning super-resolution methods for coastal ocean modelling.
Ital-IA
Federica Adobbati, Lorenzo Bonin, Gianpiero Cossarini, Valeria Di Biagio, Fábio Giordano, Paolo Lazzari, Luca Manzoni, Stefano Piani, Marco Reale, Stefano Salon, Cosimo Solidoro, Stefano Querin
2025 J jnl
Asynchronous Multi-Agent Systems with Petri nets.
CoRR
Federica Adobbati, Lukasz Mikulski
2024 — conf
A Two Player Asynchronous Game With Privacy Constraints on Petri Nets (short paper).
ICTCS
Federica Adobbati, Luca Bernardinello, Lucia Pomello
2023 J jnl
Analysing Multi-Agent Systems using 1-safe Petri Nets.
CoRR
Federica Adobbati, Lukasz Mikulski
2023 J jnl
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets.
Trans. Petri Nets Other Model. Concurr.
Federica Adobbati, Luca Bernardinello, Görkem Kilinç Soylu, Lucia Pomello
2023 — —
Formal analysis of information flow and control properties in Petri nets.
Federica Adobbati
2023 J jnl
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets.
Trans. Petri Nets Other Model. Concurr.
Federica Adobbati, Luca Bernardinello, Lucia Pomello, Riccardo Stramare
2023 — conf
Solving a Safety Game on the Unfolding of Safe Petri Nets.
PNSE@Petri Nets
Federica Adobbati, Luca Bernardinello, Lucia Pomello
2022 J jnl
A Finite Prefix for Analyzing Information Flow Among Transitions of a Free-Choice Net.
IEEE Access
Federica Adobbati, Görkem Kilinç Soylu, Adrián Puerto Aubel
2022 — conf
Analysing Multi-Agent Systems using 1-safe Petri Nets.
PNSE@Petri Nets
Federica Adobbati, Lukasz Mikulski
2022 — conf
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets.
ATAED@Petri Nets
Federica Adobbati, Luca Bernardinello, Lucia Pomello, Riccardo Stramare
2022 — conf
Information Flow among Transitions of Bounded Equal-Conflict Petri Nets.
PNSE@Petri Nets
Federica Adobbati, Luca Bernardinello, Görkem Kilinç Soylu, Lucia Pomello
2022 J jnl
Looking for winning strategies in two-player games on Petri nets with partial observability.
CoRR
Federica Adobbati, Luca Bernardinello, Lucia Pomello
2021 J jnl
A Two-Player Asynchronous Game on Fully Observable Petri Nets.
Trans. Petri Nets Other Model. Concurr.
Federica Adobbati, Luca Bernardinello, Lucia Pomello
2021 J jnl
Asynchronous games on Petri nets and ATL.
CoRR
Federica Adobbati, Luca Bernardinello, Lucia Pomello
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
2019 — conf
An Asynchronous Game on Distributed Petri Nets.
PNSE@Petri Nets/ACSD
Federica Adobbati, Luca Bernardinello, Lucia Pomello
2019 — conf
Asynchronous Games on Petri Nets and Partial Order.
ICTCS
Federica Adobbati, Luca Bernardinello, 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