Roberto Posenato

67 papers A* 6A 4B 2C 21Misc 2Journal 20Unranked 12

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