POSENATO, Roberto

POSENATO, Roberto  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 63 (tempo di esecuzione: 0.027 secondi).
Titolo Data di pubblicazione Autore(i) File
Access Controlled Temporal Networks 1-gen-2017 Combi, Carlo; Posenato, Roberto; Vigano', Luca; Zavatteri, Matteo
Adding flexibility to uncertainty: Flexible Simple Temporal Networks with Uncertainty (FTNU) 1-gen-2022 Posenato, Roberto; Combi, Carlo
An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty 1-gen-2013 Combi, Carlo; Luke, Hunsberger; Posenato, Roberto
An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty - Revisited 1-gen-2014 Combi, Carlo; Luke, Hunsberger; Posenato, Roberto
An Algorithm for the Selection of High-Contrast Color Sets 1-gen-1999 Paola, Campadelli; Posenato, Roberto; Raimondo, Schettini
Analysis of a Genetic Model with Finite Populations 1-gen-2005 Alberto, Bertoni; Paola, Campadelli; Posenato, Roberto
Approximability of GROUND STATE Problem for Tridimensional Ising Spin Glasses 1-gen-1998 Alberto, Bertoni; Paola, Campadelli; Posenato, Roberto; Massimo, Santini
Approximability of GROUND STATE Problem on Tridimensional Ising Spin Glasses 1-gen-1995 Alberto, Bertoni; Paola, Campadelli; Posenato, Roberto; Massimo, Santini
Approximability of the Ground State Problem for Certain Ising Spin Glasses 1-gen-1997 Alberto, Bertoni; Paola, Campadelli; Cristina, Gangai; Posenato, Roberto
Checking the Dynamic Consistency of Conditional Temporal Networks with Bounded Reaction Times 1-gen-2016 Hunsberger, Luke; Posenato, Roberto
Conceptual Modeling of Flexible Temporal Workflows 1-gen-2012 Combi, Carlo; Gozzi, Matteo; Posenato, Roberto; Giuseppe, Pozzi
Conditional Simple Temporal Networks with Uncertainty and Resources 1-gen-2019 Combi, Carlo; Posenato, Roberto; Vigano', Luca; Zavatteri, Matteo
Controllability in Temporal Conceptual Workflow Schemata 1-gen-2009 Combi, Carlo; Posenato, Roberto
Controllability of Time-Aware Processes at Run Time 1-gen-2013 Andreas, Lanz; Posenato, Roberto; Combi, Carlo; Manfred, Reichert
Controlling Time-Awareness in Modularized Processes 1-gen-2016 Lanz, Andreas; Posenato, Roberto; Combi, Carlo; Reichert, Manfred
Controlling Time-Awareness in Modularized Processes (Extended Version) 1-gen-2015 Andreas, Lanz; Posenato, Roberto; Combi, Carlo; Manfred, Reichert
CSTNU Tool: A Java library for checking temporal networks 1-gen-2022 Posenato, Roberto
A Distributed Algorithm for Max Independent Set Problem Based on Hopfield Networks 1-gen-2002 Giuliano, Grossi; Posenato, Roberto
Dynamic Controllability Checking for Conditional Simple Temporal Networks with Uncertainty: New Sound-and-Complete Algorithms based on Constraint Propagation 1-gen-2018 Husberger, Luke; Posenato, Roberto
The Dynamic Controllability of Conditional STNs with Uncertainty 1-gen-2012 Luke, Hunsberger; Posenato, Roberto; Combi, Carlo