Sfoglia per Autore
CSTNU Tool: A Java library for checking temporal networks
2022-01-01 Posenato, Roberto
Adding flexibility to uncertainty: Flexible Simple Temporal Networks with Uncertainty (FTNU)
2022-01-01 Posenato, Roberto; Combi, Carlo
TimeAwareBPMN-js: An editor and temporal verification tool for Time-Aware BPMN processes
2022-01-01 Ocampo-Pineda, Mario; Posenato, Roberto; Zerbato, Francesca
Proceedings of the 29th International Symposium on Temporal Representation and Reasoning
2022-01-01 Artikis, Alexander; Posenato, Roberto; Tonetta, Stefano
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
Converting Simple Temporal Networks with Uncertainty into Dispatchable Form - Faster (Extended Abstract)
2023-01-01 Hunsberger, Luke; Posenato, Roberto
Dynamic Controllability of Parameterized CSTNUs
2023-01-01 Franceschetti, Marco; Posenato, Roberto; Combi, Carlo; Eder, Johann
Flexible temporal constraint management in modularized processes
2023-01-01 Posenato, Roberto; Combi, Carlo
A Faster Algorithm for Converting Simple Temporal Networks with Uncertainty into Dispatchable Form
2023-01-01 Hunsberger, Luke; Posenato, Roberto
Ride-Sharing in Medical Transportations: Dealing with Temporal Requirements
2024-01-01 Beltrame, GIOVANNI ALBERTO; Combi, Carlo; Farinelli, Alessandro; Posenato, Roberto; Pozzi, Giuseppe
Foundations of Dispatchability for Simple Temporal Networks with Uncertainty
2024-01-01 Hunsberger, Luke; Posenato, Roberto
Temporal representation and reasoning in data-intensive systems
2024-01-01 Artikis, Alexander; Posenato, Roberto; Tonetta, Stefano
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