POSENATO, Roberto
POSENATO, Roberto
DIPARTIMENTO DI INFORMATICA
A Faster Algorithm for Converting Simple Temporal Networks with Uncertainty into Dispatchable Form
2023-01-01 Hunsberger, Luke; Posenato, Roberto
A Neural Algorithm for MAX-2SAT: Performance Analysis and Circuit Implementation
1997-01-01 Maria Alberta, Alberti; Alberto, Bertoni; Paola, Campadelli; Giuliano, Grossi; Posenato, Roberto
A new lower bound on approximability of the ground state problem for tridimensional Ising spin glasses
1998-01-01 Posenato, Roberto; Santini, Massimo
Adding flexibility to uncertainty: Flexible Simple Temporal Networks with Uncertainty (FTNU)
2022-01-01 Posenato, Roberto; Combi, Carlo
An Algorithm for the Selection of High-Contrast Color Sets
1999-01-01 Paola, Campadelli; Posenato, Roberto; Raimondo, Schettini
Approximability of the Ground State Problem for Certain Ising Spin Glasses
1997-01-01 Alberto, Bertoni; Paola, Campadelli; Cristina, Gangai; Posenato, Roberto
Conceptual Modeling of Flexible Temporal Workflows
2012-01-01 Combi, Carlo; Gozzi, Matteo; Posenato, Roberto; Giuseppe, Pozzi
Conditional Simple Temporal Networks with Uncertainty and Resources
2019-01-01 Combi, Carlo; Posenato, Roberto; Vigano', Luca; Zavatteri, Matteo
CSTNU Tool: A Java library for checking temporal networks
2022-01-01 Posenato, Roberto
Dynamic controllability via Timed Game Automata
2016-01-01 Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco
Flexible temporal constraint management in modularized processes
2023-01-01 Posenato, Roberto; Combi, Carlo
Hyper Temporal Networks
2017-01-01 Comin, Carlo; Posenato, Roberto; Rizzi, Romeo
Managing time-awareness in modularized processes
2019-01-01 Posenato, Roberto; Lanz, Andreas; Combi, Carlo; Reichert, Manfred
Neuronal fiber--tracking via optimal mass transportation
2012-01-01 Daducci, Alessandro; Marigonda, Antonio; Orlandi, Giandomenico; Posenato, Roberto
Representing Business Processes Through a Temporal Data-Centric Workflow Modeling Language: An Application to the Management of Clinical Pathways
2014-01-01 Combi, Carlo; Gambini, Mauro; Migliorini, Sara; Posenato, Roberto
Solving Maximum Independent Set by Asynchronous Distributed Hopfield-Type Neural Networks
2006-01-01 Giuliano, Grossi; Massimo, Marchi; Posenato, Roberto
Temporal representation and reasoning in data-intensive systems
2024-01-01 Artikis, Alexander; Posenato, Roberto; Tonetta, Stefano
TimeAwareBPMN-js: An editor and temporal verification tool for Time-Aware BPMN processes
2022-01-01 Ocampo-Pineda, Mario; Posenato, Roberto; Zerbato, Francesca