Federica Adobbati

19 papers Journal 9Unranked 9

Year	Rank	Type	Title / 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