Roberto Posenato

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 35

Top Topics

Business Processes

Simple Temporal

Top Venues

Publications

Giovanni Alberto Beltrame, Carlo Combi, Alessandro Farinelli, Roberto Posenato, Giuseppe Pozzi
Ride-Sharing in Medical Transportations: Dealing with Temporal Requirements. EDBT/ICDT Workshops (2024)
Luke Hunsberger, Roberto Posenato
Converting Simple Temporal Networks with Uncertainty into Minimal Equivalent Dispatchable Form. ICAPS (2024)
Luke Hunsberger, Roberto Posenato
Foundations of Dispatchability for Simple Temporal Networks with Uncertainty. ICAART (2) (2024)
Alexander Artikis, Roberto Posenato, Stefano Tonetta
Temporal representation and reasoning in data-intensive systems. Inf. Syst. 122 (2024)
Roberto Posenato, Marco Franceschetti, Carlo Combi, Johann Eder
Introducing Agile Controllability in Temporal Business Processes. BPMDS/EMMSAD@CAiSE (2024)
Luke Hunsberger, Roberto Posenato
A faster algorithm for converting simple temporal networks with uncertainty into dispatchable form. Inf. Comput. 293 (2023)
Roberto Posenato, Carlo Combi
Flexible temporal constraint management in modularized processes. Inf. Syst. 118 (2023)
Luke Hunsberger, Roberto Posenato
Converting Simple Temporal Networks with Uncertainty into Dispatchable Form - Faster (Extended Abstract). TIME (2023)
Marco Franceschetti, Roberto Posenato, Carlo Combi, Johann Eder
Dynamic Controllability of Parameterized CSTNUs. SAC (2023)
Roberto Posenato
CSTNU Tool: A Java library for checking temporal networks. SoftwareX 17 (2022)
Roberto Posenato, Carlo Combi
Adding flexibility to uncertainty: Flexible Simple Temporal Networks with Uncertainty (FTNU). Inf. Sci. 584 (2022)
Luke Hunsberger, Roberto Posenato
Speeding Up the RUL¯ Dynamic-Controllability-Checking Algorithm for Simple Temporal Networks with Uncertainty. AAAI (2022)
Mario Ocampo-Pineda, Roberto Posenato, Francesca Zerbato
TimeAwareBPMN-js: An editor and temporal verification tool for Time-Aware BPMN processes. SoftwareX 17 (2022)
Luke Hunsberger, Roberto Posenato
Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk). TIME (2021)
Luke Hunsberger, Roberto Posenato
Faster Dynamic-Consistency Checking for Conditional Simple Temporal Networks. ICAPS (2020)
Carlo Combi, Roberto Posenato, Luca Viganò, Matteo Zavatteri
Conditional Simple Temporal Networks with Uncertainty and Resources. J. Artif. Intell. Res. 64 (2019)
Roberto Posenato, Andreas Lanz, Carlo Combi, Manfred Reichert
Managing time-awareness in modularized processes. Softw. Syst. Model. 18 (2) (2019)
Luke Hunsberger, Roberto Posenato
Propagating Piecewise-Linear Weights in Temporal Networks. ICAPS (2019)
Luke Hunsberger, Roberto Posenato
Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty. TIME (2018)
Luke Hunsberger, Roberto Posenato
Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking. TIME (2018)
Carlo Combi, Roberto Posenato
Extending Conditional Simple Temporal Networks with Partially Shrinkable Uncertainty. TIME (2018)
Luke Hunsberger, Roberto Posenato
Simpler and Faster Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks. IJCAI (2018)
Roberto Posenato, Francesca Zerbato, Carlo Combi
Managing Decision Tasks and Events in Time-Aware Business Process Models. BPM (2018)
Massimo Cairo, Carlo Combi, Carlo Comin, Luke Hunsberger, Roberto Posenato, Romeo Rizzi, Matteo Zavatteri
Incorporating Decision Nodes into Conditional Simple Temporal Networks. TIME (2017)
Matteo Zavatteri, Carlo Combi, Roberto Posenato, Luca Viganò
Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty. BPM (2017)
Carlo Combi, Roberto Posenato, Luca Viganò, Matteo Zavatteri
Access Controlled Temporal Networks. ICAART (2) (2017)
Carlo Comin, Roberto Posenato, Romeo Rizzi
Hyper temporal networks - A tractable generalization of simple temporal networks and its relation to mean payoff games. Constraints An Int. J. 22 (2) (2017)
Massimo Cairo, Luke Hunsberger, Roberto Posenato, Romeo Rizzi
A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results. TIME (2017)
Andreas Lanz, Roberto Posenato, Carlo Combi, Manfred Reichert
Controlling Time-Awareness in Modularized Processes. BMMDS/EMMSAD (2016)
Luke Hunsberger, Roberto Posenato
A New Approach to Checking the Dynamic Consistency of Conditional Simple Temporal Networks. CP (2016)
Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato, Marco Roveri
Dynamic controllability via Timed Game Automata. Acta Informatica 53 (6-8) (2016)
Luke Hunsberger, Roberto Posenato
Checking the Dynamic Consistency of Conditional Temporal Networks with Bounded Reaction Times. ICAPS (2016)
Carlo Comin, Roberto Posenato, Romeo Rizzi
Hyper Temporal Networks. CoRR (2015)
Luke Hunsberger, Roberto Posenato, Carlo Combi
A Sound-and-Complete Propagation-Based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks. TIME (2015)
Andreas Lanz, Roberto Posenato, Carlo Combi, Manfred Reichert
Simple Temporal Networks with Partially Shrinkable Uncertainty. ICAART (2) (2015)
Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato, Marco Roveri
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation. TIME (2014)
Carlo Comin, Roberto Posenato, Romeo Rizzi
A Tractable Generalization of Simple Temporal Networks and Its Relation to Mean Payoff Games. TIME (2014)
Carlo Combi, Mauro Gambini, Sara Migliorini, Roberto Posenato
Representing Business Processes Through a Temporal Data-Centric Workflow Modeling Language: An Application to the Management of Clinical Pathways. IEEE Trans. Syst. Man Cybern. Syst. 44 (9) (2014)
Romeo Rizzi, Roberto Posenato
Optimal Design of Consistent Simple Temporal Networks. TIME (2013)
Carlo Combi, Luke Hunsberger, Roberto Posenato
An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty - Revisited. ICAART (Revised Selected Papers) (2013)
Carlo Combi, Luke Hunsberger, Roberto Posenato
An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty. ICAART (2) (2013)
Andreas Lanz, Roberto Posenato, Carlo Combi, Manfred Reichert
Controllability of Time-Aware Processes at Run Time. OTM Conferences (2013)
Carlo Combi, Roberto Posenato
On the complexity of temporal controllabilities for workflow schemata. SAC (2012)
Carlo Combi, Mauro Gambini, Sara Migliorini, Roberto Posenato
Modelling temporal, data-centric medical processes. IHI (2012)
Luke Hunsberger, Roberto Posenato, Carlo Combi
The Dynamic Controllability of Conditional STNs with Uncertainty CoRR (2012)
Carlo Combi, Matteo Gozzi, Roberto Posenato, Giuseppe Pozzi
Conceptual modeling of flexible temporal workflows. ACM Trans. Auton. Adapt. Syst. 7 (2) (2012)
Carlo Combi, Roberto Posenato
Towards Temporal Controllabilities for Workflow Schemata. TIME (2010)
Carlo Combi, Roberto Posenato
Controllability in Temporal Conceptual Workflow Schemata. BPM (2009)
Paolo Boldi, Roberto Posenato, Massimo Santini, Sebastiano Vigna
Traps and Pitfalls of Topic-Biased PageRank. WAW (2006)
Giuliano Grossi, Massimo Marchi, Roberto Posenato
Solving maximum independent set by asynchronous distributed hopfield-type neural networks. RAIRO Theor. Informatics Appl. 40 (2) (2006)
Alberto Bertoni, Paola Campadelli, Roberto Posenato
Analysis of a Genetic Model with Finite Populations. ICNC (3) (2005)
Alberto Belussi, Roberto Posenato
A Framework for the Internationalization of Data-Intensive Web Applications. ICWE (2004)
Giuliano Grossi, Roberto Posenato
A Distributed Algorithm for Max Independent Set Problem Based on Hopfield Networks. WIRN (2002)
Sara Comai, Ernesto Damiani, Roberto Posenato, Letizia Tanca
A Schema-Based Approach to Modeling and Querying WWW Data. FQAS (1998)
Roberto Posenato, Massimo Santini
A New Lower Bound on Approximability of the Ground State Problem for Tridimensional Ising Spin Glasses. Inf. Process. Lett. 68 (4) (1998)
Alberto Bertoni, Paola Campadelli, Roberto Posenato
An Upper Bound for the Maximum Cut Mean Value. WG (1997)
Maria Alberta Alberti, Alberto Bertoni, Paola Campadelli, Giuliano Grossi, Roberto Posenato
A Neural Algorithm for MAX-2SAT: Performance Analysis and Circuit Implementation. Neural Networks 10 (3) (1997)
Alberto Bertoni, Paola Campadelli, Cristina Gangai, Roberto Posenato
Approximability of the Ground State Problem for Certain Ising Spin Glasses. J. Complex. 13 (3) (1997)
Maria Alberta Alberti, Alberto Bertoni, Paola Campadelli, Giuliano Grossi, Roberto Posenato
A neural circuit for the maximum 2-satisfiability problem. PDP (1995)