POSENATO, Roberto
POSENATO, Roberto
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.004 secondi).
A note on speeding up DC-checking for STNUs
2021-01-01 Hunsberger, Luke; Posenato, Roberto
Approximability of GROUND STATE Problem for Tridimensional Ising Spin Glasses
1998-01-01 Alberto, Bertoni; Paola, Campadelli; Posenato, Roberto; Massimo, Santini
Controlling Time-Awareness in Modularized Processes (Extended Version)
2015-01-01 Andreas, Lanz; Posenato, Roberto; Combi, Carlo; Manfred, Reichert
Dynamic Controllability Checking for Conditional Simple Temporal Networks with Uncertainty: New Sound-and-Complete Algorithms based on Constraint Propagation
2018-01-01 Husberger, Luke; Posenato, Roberto
Dynamic-Consistency Checking for Conditional Simple Temporal Networks: Strengthening the Theoretical Foundations and Presenting a Faster Algorithm
2018-01-01 Hunsberger, Luke; Posenato, Roberto
Internationalizing Data-Intensive Web Applications
2004-01-01 Belussi, Alberto; Posenato, Roberto
Reducing Dynamic-Consistency (DC) Checking for Conditional Simple Temporal Networks (CSTNs) with Bounded Reaction Times to Standard DC Checking for CSTNs
2018-01-01 Hunsberger, Luke; Posenato, Roberto
Simple Temporal Networks with Partially Shrinkable Uncertainty (extended Version)
2014-01-01 Andreas, Lanz; Posenato, Roberto; Combi, Carlo; Manfred, Reichert
Some results and challenges Extending Dynamic Controllability to Agile Controllability in Simple Temporal Networks with Uncertainties
2023-01-01 Posenato, Roberto; Franceschetti, Marco; Combi, Carlo; Eder, Johann