POSENATO, Roberto
POSENATO, Roberto
DIPARTIMENTO DI INFORMATICA
A Distributed Algorithm for Max Independent Set Problem Based on Hopfield Networks
2002-01-01 Giuliano, Grossi; Posenato, Roberto
A Faster Algorithm for Converting Simple Temporal Networks with Uncertainty into Dispatchable Form
2023-01-01 Hunsberger, Luke; Posenato, Roberto
A Faster Algorithm for Finding Negative Cycles in Simple Temporal Networks with Uncertainty
2024-01-01 Hunsberger, Luke; Posenato, Roberto
A Framework for the Internationalization of Data-Intensive Web Applications
2004-01-01 Belussi, Alberto; 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 Neural Algorithm for the Maximum Satisfiability Problem
1993-01-01 Maria Alberta, Alberti; Paolo, Marelli; Posenato, Roberto
A Neural Circuit for the Maximum 2-Satisfiability Problem
1995-01-01 Maria Alberta, Alberti; Alberto, Bertoni; Paola, Campadelli; Giuliano, Grossi; Posenato, Roberto
A New Approach to Checking the Dynamic Consistency of Conditional Simple Temporal Networks
2016-01-01 Hunsberger, Luke; 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
A note on speeding up DC-checking for STNUs
2021-01-01 Hunsberger, Luke; Posenato, Roberto
A Schema-based Approach to Modeling and Querying WWW Data
1998-01-01 Sara, Comai; Ernesto, Damiani; Posenato, Roberto; Letizia, Tanca
A Sound-and-Complete Propagation-based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks
2015-01-01 Hunsberger, Luke; Posenato, Roberto; Combi, Carlo
A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results
2017-01-01 Cairo, Massimo; Hunsberger, Luke; Posenato, Roberto; Rizzi, Romeo
A Tractable Generalization of Simple Temporal Networks and its relation to Mean Payoff Games
2014-01-01 Carlo, Comin; Posenato, Roberto; Rizzi, Romeo
Access Controlled Temporal Networks
2017-01-01 Combi, Carlo; Posenato, Roberto; Vigano', Luca; Zavatteri, Matteo
Adding flexibility to uncertainty: Flexible Simple Temporal Networks with Uncertainty (FTNU)
2022-01-01 Posenato, Roberto; Combi, Carlo
Agile Controllability of Simple Temporal Networks with Uncertainty and Oracles
2024-01-01 Eder, Johann; Posenato, Roberto; Combi, Carlo; Franceschetti, Marco; Hollauf, Franziska S.
An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty
2013-01-01 Combi, Carlo; Luke, Hunsberger; Posenato, Roberto
An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty - Revisited
2014-01-01 Combi, Carlo; Luke, Hunsberger; Posenato, Roberto
An algorithm for Learning from Positive Examples Classes of Linearly Separable Boolean Functions
1991-01-01 Bertoni, A.; Campadelli, P.; Morpurgo, A.; Posenato, Roberto