| 2025 | TIME | A Better Algorithm for Converting an STNU into Minimal Dispatchable Form. | Luke Hunsberger, Roberto Posenato |
| 2024 | EDBT | Ride-Sharing in Medical Transportations: Dealing with Temporal Requirements. | Giovanni Alberto Beltrame, Carlo Combi, Alessandro Farinelli, Roberto Posenato, Giuseppe Pozzi |
| 2024 | ICAART | Foundations of Dispatchability for Simple Temporal Networks with Uncertainty. | Luke Hunsberger, Roberto Posenato |
| 2024 | ICAPS | Converting Simple Temporal Networks with Uncertainty into Minimal Equivalent Dispatchable Form. | Luke Hunsberger, Roberto Posenato |
| 2024 | TIME | Agile Controllability of Simple Temporal Networks with Uncertainty and Oracles. | Johann Eder, Roberto Posenato, Carlo Combi, Marco Franceschetti, Franziska S. Hollauf |
| 2024 | TIME | A Faster Algorithm for Finding Negative Cycles in Simple Temporal Networks with Uncertainty. | Luke Hunsberger, Roberto Posenato |
| 2024 | TIME | Faster Algorithm for Converting an STNU into Minimal Dispatchable Form. | Luke Hunsberger, Roberto Posenato |
| 2024 | TIME | Robust Execution of Probabilistic STNs. | Luke Hunsberger, Roberto Posenato |
| 2023 | SAC | Dynamic Controllability of Parameterized CSTNUs. | Marco Franceschetti, Roberto Posenato, Carlo Combi, Johann Eder |
| 2023 | TIME | Converting Simple Temporal Networks with Uncertainty into Dispatchable Form - Faster (Extended Abstract). | Luke Hunsberger, Roberto Posenato |
| 2022 | AAAI | Speeding Up the RUL¯ Dynamic-Controllability-Checking Algorithm for Simple Temporal Networks with Uncertainty. | Luke Hunsberger, Roberto Posenato |
| 2021 | TIME | Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk). | Luke Hunsberger, Roberto Posenato |
| 2018 | BPM | Managing Decision Tasks and Events in Time-Aware Business Process Models. | Roberto Posenato, Francesca Zerbato, Carlo Combi |
| 2018 | IJCAI | Simpler and Faster Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks. | Luke Hunsberger, Roberto Posenato |
| 2018 | TIME | Extending Conditional Simple Temporal Networks with Partially Shrinkable Uncertainty. | Carlo Combi, Roberto Posenato |
| 2018 | TIME | Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty. | Luke Hunsberger, Roberto Posenato |
| 2018 | TIME | Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking. | Luke Hunsberger, Roberto Posenato |
| 2017 | BPM | Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty. | Matteo Zavatteri, Carlo Combi, Roberto Posenato, Luca Vigan |
| 2017 | ICAART | Access Controlled Temporal Networks. | Carlo Combi, Roberto Posenato, Luca Vigan, Matteo Zavatteri |
| 2017 | TIME | Incorporating Decision Nodes into Conditional Simple Temporal Networks. | Massimo Cairo, Carlo Combi, Carlo Comin, Luke Hunsberger, Roberto Posenato, Romeo Rizzi, Matteo Zavatteri |
| 2017 | TIME | A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results. | Massimo Cairo, Luke Hunsberger, Roberto Posenato, Romeo Rizzi |
| 2016 | CaiSE | Controlling Time-Awareness in Modularized Processes. | Andreas Lanz, Roberto Posenato, Carlo Combi, Manfred Reichert |
| 2016 | CP | A New Approach to Checking the Dynamic Consistency of Conditional Simple Temporal Networks. | Luke Hunsberger, Roberto Posenato |
| 2015 | ICAART | Simple Temporal Networks with Partially Shrinkable Uncertainty. | Andreas Lanz, Roberto Posenato, Carlo Combi, Manfred Reichert |
| 2015 | TIME | A Sound-and-Complete Propagation-Based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks. | Luke Hunsberger, Roberto Posenato, Carlo Combi |
| 2014 | TIME | Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation. | Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato, Marco Roveri |
| 2014 | TIME | A Tractable Generalization of Simple Temporal Networks and Its Relation to Mean Payoff Games. | Carlo Comin, Roberto Posenato, Romeo Rizzi |
| 2013 | ICAART | An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty. | Carlo Combi, Luke Hunsberger, Roberto Posenato |
| 2013 | ICAART | An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty - Revisited. | Carlo Combi, Luke Hunsberger, Roberto Posenato |
| 2013 | TIME | Optimal Design of Consistent Simple Temporal Networks. | Romeo Rizzi, Roberto Posenato |
| 2012 | SAC | On the complexity of temporal controllabilities for workflow schemata. | Carlo Combi, Roberto Posenato |
| 2010 | TIME | Towards Temporal Controllabilities for Workflow Schemata. | Carlo Combi, Roberto Posenato |
| 2009 | BPM | Controllability in Temporal Conceptual Workflow Schemata. | Carlo Combi, Roberto Posenato |
| 2006 | WAW | Traps and Pitfalls of Topic-Biased PageRank. | Paolo Boldi, Roberto Posenato, Massimo Santini, Sebastiano Vigna |
| 2005 | ICNC | Analysis of a Genetic Model with Finite Populations. | Alberto Bertoni, Paola Campadelli, Roberto Posenato |
| 2004 | ICWE | A Framework for the Internationalization of Data-Intensive Web Applications. | Alberto Belussi, Roberto Posenato |
| 1998 | FQAS | A Schema-Based Approach to Modeling and Querying WWW Data. | Sara Comai, Ernesto Damiani, Roberto Posenato, Letizia Tanca |
| 1997 | WG | An Upper Bound for the Maximum Cut Mean Value. | Alberto Bertoni, Paola Campadelli, Roberto Posenato |
| 1995 | PDP | A neural circuit for the maximum 2-satisfiability problem. | Maria Alberta Alberti, Alberto Bertoni, Paola Campadelli, Giuliano Grossi, Roberto Posenato |