Sfoglia per Autore
A New Approach to Checking the Dynamic Consistency of Conditional Simple Temporal Networks
2016-01-01 Hunsberger, Luke; Posenato, Roberto
Hyper Temporal Networks
2017-01-01 Comin, Carlo; Posenato, Roberto; Rizzi, Romeo
A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results
2017-01-01 Cairo, Massimo; Hunsberger, Luke; Posenato, Roberto; Rizzi, Romeo
Incorporating Decision Nodes into Conditional Simple Temporal Networks
2017-01-01 Cairo, Massimo; Combi, Carlo; Comin, Carlo; Hunsberger, Luke; Posenato, Roberto; Rizzi, Romeo; Zavatteri, Matteo
Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty
2017-01-01 Zavatteri, Matteo; Combi, Carlo; Posenato, Roberto; Vigano', Luca
Access Controlled Temporal Networks
2017-01-01 Combi, Carlo; Posenato, Roberto; Vigano', Luca; Zavatteri, Matteo
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
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
Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking
2018-01-01 Hunsberger, Luke; Posenato, Roberto
Extending Conditional Simple Temporal Networks with Partially Shrinkable Uncertainty
2018-01-01 Combi, Carlo; Posenato, Roberto
Simpler and Faster Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks
2018-01-01 Hunsberger, Luke; Posenato, Roberto
Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty
2018-01-01 Hunsberger, Luke; Posenato, Roberto
Managing Decision Tasks and Events in Time-Aware Business Process Models
2018-01-01 Posenato, Roberto; Zerbato, Francesca; Combi, Carlo
Managing time-awareness in modularized processes
2019-01-01 Posenato, Roberto; Lanz, Andreas; Combi, Carlo; Reichert, Manfred
Conditional Simple Temporal Networks with Uncertainty and Resources
2019-01-01 Combi, Carlo; Posenato, Roberto; Vigano', Luca; Zavatteri, Matteo
Propagating Piecewise-Linear Weights in Temporal Networks
2019-01-01 Hunsberger, Luke; Posenato, Roberto
Faster Dynamic-Consistency Checking for Conditional Simple Temporal Networks
2020-01-01 Hunsberger, Luke; Posenato, Roberto
A note on speeding up DC-checking for STNUs
2021-01-01 Hunsberger, Luke; Posenato, Roberto
Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk)
2021-01-01 Hunsberger, Luke; Posenato, Roberto
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile