Roberto Posenato

Stefano Tonetta

Inf. Syst., 2024

Robust Execution of Probabilistic STNs.

[BibT_eX]

[DOI]

Proceedings of the 31st International Symposium on Temporal Representation and Reasoning, 2024

Faster Algorithm for Converting an STNU into Minimal Dispatchable Form.

[BibT_eX]

[DOI]

Proceedings of the 31st International Symposium on Temporal Representation and Reasoning, 2024

A Faster Algorithm for Finding Negative Cycles in Simple Temporal Networks with Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 31st International Symposium on Temporal Representation and Reasoning, 2024

Agile Controllability of Simple Temporal Networks with Uncertainty and Oracles.

[BibT_eX]

[DOI]

Proceedings of the 31st International Symposium on Temporal Representation and Reasoning, 2024

Converting Simple Temporal Networks with Uncertainty into Minimal Equivalent Dispatchable Form.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024

Foundations of Dispatchability for Simple Temporal Networks with Uncertainty.

[BibT_eX]

[DOI]

Giovanni Alberto Beltrame

Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

Ride-Sharing in Medical Transportations: Dealing with Temporal Requirements.

[BibT_eX]

[DOI]

Proceedings of the Workshops of the EDBT/ICDT 2024 Joint Conference co-located with the EDBT/ICDT 2024 Joint Conference, 2024

Introducing Agile Controllability in Temporal Business Processes.

[BibT_eX]

[DOI]

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2024

2023

Flexible temporal constraint management in modularized processes.

[BibT_eX]

[DOI]

Inf. Syst., September, 2023

A faster algorithm for converting simple temporal networks with uncertainty into dispatchable form.

[BibT_eX]

[DOI]

Inf. Comput., August, 2023

Converting Simple Temporal Networks with Uncertainty into Dispatchable Form - Faster (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 30th International Symposium on Temporal Representation and Reasoning, 2023

Dynamic Controllability of Parameterized CSTNUs.

[BibT_eX]

[DOI]

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

2022

CSTNU Tool: A Java library for checking temporal networks.

[BibT_eX]

[DOI]

SoftwareX, 2022

TimeAwareBPMN-js: An editor and temporal verification tool for Time-Aware BPMN processes.

[BibT_eX]

[DOI]

Mario Ocampo-Pineda

Francesca Zerbato

SoftwareX, 2022

Adding flexibility to uncertainty: Flexible Simple Temporal Networks with Uncertainty (FTNU).

[BibT_eX]

[DOI]

Inf. Sci., 2022

Speeding Up the RUL¯ Dynamic-Controllability-Checking Algorithm for Simple Temporal Networks with Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021

2020

Faster Dynamic-Consistency Checking for Conditional Simple Temporal Networks.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

2019

Managing time-awareness in modularized processes.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2019

Conditional Simple Temporal Networks with Uncertainty and Resources.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2019

Propagating Piecewise-Linear Weights in Temporal Networks.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2018

Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking.

[BibT_eX]

[DOI]

Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018

Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018

Extending Conditional Simple Temporal Networks with Partially Shrinkable Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018

Simpler and Faster Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Managing Decision Tasks and Events in Time-Aware Business Process Models.

[BibT_eX]

[DOI]

Francesca Zerbato

Proceedings of the Business Process Management - 16th International Conference, 2018

2017

Hyper temporal networks - A tractable generalization of simple temporal networks and its relation to mean payoff games.

[BibT_eX]

[DOI]

Carlo Comin

Constraints An Int. J., 2017

A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results.

[BibT_eX]

[DOI]

Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

Incorporating Decision Nodes into Conditional Simple Temporal Networks.

[BibT_eX]

[DOI]

Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

Access Controlled Temporal Networks.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2017

Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 15th International Conference, 2017

2016

Dynamic controllability via Timed Game Automata.

[BibT_eX]

[DOI]

Acta Informatica, 2016

A New Approach to Checking the Dynamic Consistency of Conditional Simple Temporal Networks.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2016

Controlling Time-Awareness in Modularized Processes.

[BibT_eX]

[DOI]

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2016

Checking the Dynamic Consistency of Conditional Temporal Networks with Bounded Reaction Times.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

2015

Hyper Temporal Networks.

[BibT_eX]

[DOI]

Carlo Comin

CoRR, 2015

A Sound-and-Complete Propagation-Based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015

Simple Temporal Networks with Partially Shrinkable Uncertainty.

[BibT_eX]

Proceedings of the ICAART 2015, 2015

2014

Representing Business Processes Through a Temporal Data-Centric Workflow Modeling Language: An Application to the Management of Clinical Pathways.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2014

A Tractable Generalization of Simple Temporal Networks and Its Relation to Mean Payoff Games.

[BibT_eX]

[DOI]

Carlo Comin

Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014

Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation.

[BibT_eX]

[DOI]

Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014

2013

Optimal Design of Consistent Simple Temporal Networks.

[BibT_eX]

[DOI]

Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

Controllability of Time-Aware Processes at Run Time.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2013 Conferences, 2013

An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty - Revisited.

[BibT_eX]

[DOI]

Proceedings of the Agents and Artificial Intelligence - 5th International Conference, 2013

An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty.

[BibT_eX]

Proceedings of the ICAART 2013, 2013

2012

Conceptual modeling of flexible temporal workflows.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2012

The Dynamic Controllability of Conditional STNs with Uncertainty

[BibT_eX]

[DOI]

CoRR, 2012

On the complexity of temporal controllabilities for workflow schemata.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Applied Computing, 2012

Modelling temporal, data-centric medical processes.

[BibT_eX]

[DOI]

Proceedings of the ACM International Health Informatics Symposium, 2012

2010

Towards Temporal Controllabilities for Workflow Schemata.

[BibT_eX]

[DOI]

Proceedings of the TIME 2010, 2010

2009

Controllability in Temporal Conceptual Workflow Schemata.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management, 7th International Conference, 2009

2006

Solving maximum independent set by asynchronous distributed hopfield-type neural networks.

[BibT_eX]

[DOI]

Giuliano Grossi

Massimo Marchi

RAIRO Theor. Informatics Appl., 2006

Traps and Pitfalls of Topic-Biased PageRank.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Models for the Web-Graph, Fourth International Workshop, 2006

2005

Analysis of a Genetic Model with Finite Populations.

[BibT_eX]

[DOI]

Alberto Bertoni

Paola Campadelli

Proceedings of the Advances in Natural Computation, First International Conference, 2005

2004

A Framework for the Internationalization of Data-Intensive Web Applications.

[BibT_eX]

[DOI]

Alberto Belussi

Proceedings of the Web Engineering - 4th International Conference, 2004

2002

A Distributed Algorithm for Max Independent Set Problem Based on Hopfield Networks.

[BibT_eX]

[DOI]

Giuliano Grossi

Proceedings of the Neural Nets, 13th Italian Workshop on Neural Nets, 2002

1998

A New Lower Bound on Approximability of the Ground State Problem for Tridimensional Ising Spin Glasses.

[BibT_eX]

[DOI]

Massimo Santini

Inf. Process. Lett., 1998

A Schema-Based Approach to Modeling and Querying WWW Data.

[BibT_eX]

[DOI]

Proceedings of the Flexible Query Answering Systems, Third International Conference, 1998

1997

A Neural Algorithm for MAX-2SAT: Performance Analysis and Circuit Implementation.

[BibT_eX]

[DOI]

Maria Alberta Alberti

Neural Networks, 1997

Approximability of the Ground State Problem for Certain Ising Spin Glasses.

[BibT_eX]

[DOI]

J. Complex., 1997

An Upper Bound for the Maximum Cut Mean Value.

[BibT_eX]

[DOI]

Alberto Bertoni

Paola Campadelli