A neural circuit for the maximum 2-satisfiability problem. - Maria Alberta Alberti; Alberto Bertoni; Paola Campadelli; Giuliano Grossi; Roberto Posenato (PDP, 1995)

An Upper Bound for the Maximum Cut Mean Value. - Alberto Bertoni; Paola Campadelli; Roberto Posenato (WG, 1997)

Approximability of the Ground State Problem for Certain Ising Spin Glasses. - Alberto Bertoni; Paola Campadelli; Cristina Gangai; Roberto Posenato (J. Complex., 1997)

A Neural Algorithm for MAX-2SAT: Performance Analysis and Circuit Implementation. - Maria Alberta Alberti; Alberto Bertoni; Paola Campadelli; Giuliano Grossi; Roberto Posenato (Neural Networks, 1997)

A Schema-Based Approach to Modeling and Querying WWW Data. - Sara Comai; Ernesto Damiani; Roberto Posenato; Letizia Tanca (FQAS, 1998)

A New Lower Bound on Approximability of the Ground State Problem for Tridimensional Ising Spin Glasses. - Roberto Posenato; Massimo Santini 001 (Inf. Process. Lett., 1998)

A Distributed Algorithm for Max Independent Set Problem Based on Hopfield Networks. - Giuliano Grossi; Roberto Posenato (WIRN, 2002)

A Framework for the Internationalization of Data-Intensive Web Applications. - Alberto Belussi; Roberto Posenato (ICWE, 2004)

Analysis of a Genetic Model with Finite Populations. - Alberto Bertoni; Paola Campadelli; Roberto Posenato (ICNC (3), 2005)

Traps and Pitfalls of Topic-Biased PageRank. - Paolo Boldi; Roberto Posenato; Massimo Santini 001; Sebastiano Vigna (WAW, 2006)

Solving maximum independent set by asynchronous distributed hopfield-type neural networks. - Giuliano Grossi; Massimo Marchi; Roberto Posenato (RAIRO Theor. Informatics Appl., 2006)

Controllability in Temporal Conceptual Workflow Schemata. - Carlo Combi; Roberto Posenato (BPM, 2009)

Towards Temporal Controllabilities for Workflow Schemata. - Carlo Combi; Roberto Posenato (TIME, 2010)

Modelling temporal, data-centric medical processes. - Carlo Combi; Mauro Gambini; Sara Migliorini; Roberto Posenato (IHI, 2012)

On the complexity of temporal controllabilities for workflow schemata. - Carlo Combi; Roberto Posenato (SAC, 2012)

The Dynamic Controllability of Conditional STNs with Uncertainty - Luke Hunsberger; Roberto Posenato; Carlo Combi (CoRR, 2012)

Conceptual modeling of flexible temporal workflows. - Carlo Combi; Matteo Gozzi; Roberto Posenato; Giuseppe Pozzi (ACM Trans. Auton. Adapt. Syst., 2012)

An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty. - Carlo Combi; Luke Hunsberger; Roberto Posenato (ICAART (2), 2013)

An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty - Revisited. - Carlo Combi; Luke Hunsberger; Roberto Posenato (ICAART (Revised Selected Papers), 2013)

Controllability of Time-Aware Processes at Run Time. - Andreas Lanz; Roberto Posenato; Carlo Combi; Manfred Reichert (OTM Conferences, 2013)

Optimal Design of Consistent Simple Temporal Networks. - Romeo Rizzi; Roberto Posenato (TIME, 2013)

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 (TIME, 2014)

A Tractable Generalization of Simple Temporal Networks and Its Relation to Mean Payoff Games. - Carlo Comin; Roberto Posenato; Romeo Rizzi (TIME, 2014)

Representing Business Processes Through a Temporal Data-Centric Workflow Modeling Language: An Application to the Management of Clinical Pathways. - Carlo Combi; Mauro Gambini; Sara Migliorini; Roberto Posenato (IEEE Trans. Syst. Man Cybern. Syst., 2014)

Simple Temporal Networks with Partially Shrinkable Uncertainty. - Andreas Lanz; Roberto Posenato; Carlo Combi; Manfred Reichert (ICAART (2), 2015)

A Sound-and-Complete Propagation-Based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks. - Luke Hunsberger; Roberto Posenato; Carlo Combi (TIME, 2015)

Hyper Temporal Networks. - Carlo Comin; Roberto Posenato; Romeo Rizzi (CoRR, 2015)

Checking the Dynamic Consistency of Conditional Temporal Networks with Bounded Reaction Times. - Luke Hunsberger; Roberto Posenato (ICAPS, 2016)

Controlling Time-Awareness in Modularized Processes. - Andreas Lanz; Roberto Posenato; Carlo Combi; Manfred Reichert (BMMDS/EMMSAD, 2016)

A New Approach to Checking the Dynamic Consistency of Conditional Simple Temporal Networks. - Luke Hunsberger; Roberto Posenato (CP, 2016)

Dynamic controllability via Timed Game Automata. - Alessandro Cimatti; Luke Hunsberger; Andrea Micheli; Roberto Posenato; Marco Roveri (Acta Informatica, 2016)

Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty. - Matteo Zavatteri; Carlo Combi; Roberto Posenato; Luca Viganò 001 (BPM, 2017)

Access Controlled Temporal Networks. - Carlo Combi; Roberto Posenato; Luca Viganò 001; Matteo Zavatteri (ICAART (2), 2017)

Incorporating Decision Nodes into Conditional Simple Temporal Networks. - Massimo Cairo; Carlo Combi; Carlo Comin; Luke Hunsberger; Roberto Posenato; Romeo Rizzi; Matteo Zavatteri (TIME, 2017)

A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results. - Massimo Cairo; Luke Hunsberger; Roberto Posenato; Romeo Rizzi (TIME, 2017)

Hyper temporal networks - A tractable generalization of simple temporal networks and its relation to mean payoff games. - Carlo Comin; Roberto Posenato; Romeo Rizzi (Constraints An Int. J., 2017)

Managing Decision Tasks and Events in Time-Aware Business Process Models. - Roberto Posenato; Francesca Zerbato; Carlo Combi (BPM, 2018)

Simpler and Faster Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks. - Luke Hunsberger; Roberto Posenato (IJCAI, 2018)

Extending Conditional Simple Temporal Networks with Partially Shrinkable Uncertainty. - Carlo Combi; Roberto Posenato (TIME, 2018)

Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty. - Luke Hunsberger; Roberto Posenato (TIME, 2018)

Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking. - Luke Hunsberger; Roberto Posenato (TIME, 2018)

Propagating Piecewise-Linear Weights in Temporal Networks. - Luke Hunsberger; Roberto Posenato (ICAPS, 2019)

Conditional Simple Temporal Networks with Uncertainty and Resources. - Carlo Combi; Roberto Posenato; Luca Viganò 001; Matteo Zavatteri (J. Artif. Intell. Res., 2019)

Managing time-awareness in modularized processes. - Roberto Posenato; Andreas Lanz; Carlo Combi; Manfred Reichert (Softw. Syst. Model., 2019)

Faster Dynamic-Consistency Checking for Conditional Simple Temporal Networks. - Luke Hunsberger; Roberto Posenato (ICAPS, 2020)

Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk). - Luke Hunsberger; Roberto Posenato (TIME, 2021)

Speeding Up the RUL¯ Dynamic-Controllability-Checking Algorithm for Simple Temporal Networks with Uncertainty. - Luke Hunsberger; Roberto Posenato (AAAI, 2022)

Adding flexibility to uncertainty: Flexible Simple Temporal Networks with Uncertainty (FTNU). - Roberto Posenato; Carlo Combi (Inf. Sci., 2022)

TimeAwareBPMN-js: An editor and temporal verification tool for Time-Aware BPMN processes. - Mario Ocampo-Pineda; Roberto Posenato; Francesca Zerbato (SoftwareX, 2022)

CSTNU Tool: A Java library for checking temporal networks. - Roberto Posenato (SoftwareX, 2022)

Dynamic Controllability of Parameterized CSTNUs. - Marco Franceschetti; Roberto Posenato; Carlo Combi; Johann Eder (SAC, 2023)

Converting Simple Temporal Networks with Uncertainty into Dispatchable Form - Faster (Extended Abstract). - Luke Hunsberger; Roberto Posenato (TIME, 2023)

A faster algorithm for converting simple temporal networks with uncertainty into dispatchable form. - Luke Hunsberger; Roberto Posenato (Inf. Comput., 2023)

Flexible temporal constraint management in modularized processes. - Roberto Posenato; Carlo Combi (Inf. Syst., 2023)

Introducing Agile Controllability in Temporal Business Processes. - Roberto Posenato; Marco Franceschetti; Carlo Combi; Johann Eder (BPMDS/EMMSAD@CAiSE, 2024)

Ride-Sharing in Medical Transportations: Dealing with Temporal Requirements. - Giovanni Alberto Beltrame; Carlo Combi; Alessandro Farinelli; Roberto Posenato; Giuseppe Pozzi (EDBT/ICDT Workshops, 2024)

Foundations of Dispatchability for Simple Temporal Networks with Uncertainty. - Luke Hunsberger; Roberto Posenato (ICAART (2), 2024)

Converting Simple Temporal Networks with Uncertainty into Minimal Equivalent Dispatchable Form. - Luke Hunsberger; Roberto Posenato (ICAPS, 2024)

Agile Controllability of Simple Temporal Networks with Uncertainty and Oracles. - Johann Eder; Roberto Posenato; Carlo Combi; Marco Franceschetti; Franziska S. Hollauf (TIME, 2024)

A Faster Algorithm for Finding Negative Cycles in Simple Temporal Networks with Uncertainty. - Luke Hunsberger; Roberto Posenato (TIME, 2024)

Faster Algorithm for Converting an STNU into Minimal Dispatchable Form. - Luke Hunsberger; Roberto Posenato (TIME, 2024)

Robust Execution of Probabilistic STNs. - Luke Hunsberger; Roberto Posenato (TIME, 2024)

Temporal representation and reasoning in data-intensive systems. - Alexander Artikis; Roberto Posenato; Stefano Tonetta (Inf. Syst., 2024)