Roberto Posenato

Orcid: 0000-0003-0944-0419

According to our database1, Roberto Posenato authored at least 54 papers between 1995 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Flexible temporal constraint management in modularized processes.
Inf. Syst., September, 2023

A faster algorithm for converting simple temporal networks with uncertainty into dispatchable form.
Inf. Comput., August, 2023

Converting Simple Temporal Networks with Uncertainty into Dispatchable Form - Faster (Extended Abstract).
Proceedings of the 30th International Symposium on Temporal Representation and Reasoning, 2023

Dynamic Controllability of Parameterized CSTNUs.
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

2022
CSTNU Tool: A Java library for checking temporal networks.
SoftwareX, 2022

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

Adding flexibility to uncertainty: Flexible Simple Temporal Networks with Uncertainty (FTNU).
Inf. Sci., 2022

Speeding Up the RUL¯ Dynamic-Controllability-Checking Algorithm for Simple Temporal Networks with Uncertainty.
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).
Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021

2020
Faster Dynamic-Consistency Checking for Conditional Simple Temporal Networks.
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

2019
Managing time-awareness in modularized processes.
Softw. Syst. Model., 2019

Conditional Simple Temporal Networks with Uncertainty and Resources.
J. Artif. Intell. Res., 2019

Propagating Piecewise-Linear Weights in Temporal Networks.
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.
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.
Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018

Extending Conditional Simple Temporal Networks with Partially Shrinkable Uncertainty.
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.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Managing Decision Tasks and Events in Time-Aware Business Process Models.
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.
Constraints An Int. J., 2017

A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results.
Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

Incorporating Decision Nodes into Conditional Simple Temporal Networks.
Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

Access Controlled Temporal Networks.
Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2017

Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty.
Proceedings of the Business Process Management - 15th International Conference, 2017

2016
Dynamic controllability via Timed Game Automata.
Acta Informatica, 2016

A New Approach to Checking the Dynamic Consistency of Conditional Simple Temporal Networks.
Proceedings of the Principles and Practice of Constraint Programming, 2016

Controlling Time-Awareness in Modularized Processes.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2016

Checking the Dynamic Consistency of Conditional Temporal Networks with Bounded Reaction Times.
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

2015
Hyper Temporal Networks.
CoRR, 2015

A Sound-and-Complete Propagation-Based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks.
Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015

Simple Temporal Networks with Partially Shrinkable Uncertainty.
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.
IEEE Trans. Syst. Man Cybern. Syst., 2014

A Tractable Generalization of Simple Temporal Networks and Its Relation to Mean Payoff Games.
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.
Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014

2013
Optimal Design of Consistent Simple Temporal Networks.
Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

Controllability of Time-Aware Processes at Run Time.
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.
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.
Proceedings of the ICAART 2013, 2013

2012
Conceptual modeling of flexible temporal workflows.
ACM Trans. Auton. Adapt. Syst., 2012

The Dynamic Controllability of Conditional STNs with Uncertainty
CoRR, 2012

On the complexity of temporal controllabilities for workflow schemata.
Proceedings of the ACM Symposium on Applied Computing, 2012

Modelling temporal, data-centric medical processes.
Proceedings of the ACM International Health Informatics Symposium, 2012

2010
Towards Temporal Controllabilities for Workflow Schemata.
Proceedings of the TIME 2010, 2010

2009
Controllability in Temporal Conceptual Workflow Schemata.
Proceedings of the Business Process Management, 7th International Conference, 2009

2006
Solving maximum independent set by asynchronous distributed hopfield-type neural networks.
RAIRO Theor. Informatics Appl., 2006

Traps and Pitfalls of Topic-Biased PageRank.
Proceedings of the Algorithms and Models for the Web-Graph, Fourth International Workshop, 2006

2005
Analysis of a Genetic Model with Finite Populations.
Proceedings of the Advances in Natural Computation, First International Conference, 2005

2004
A Framework for the Internationalization of Data-Intensive Web Applications.
Proceedings of the Web Engineering - 4th International Conference, 2004

2002
A Distributed Algorithm for Max Independent Set Problem Based on Hopfield Networks.
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.
Inf. Process. Lett., 1998

A Schema-Based Approach to Modeling and Querying WWW Data.
Proceedings of the Flexible Query Answering Systems, Third International Conference, 1998

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

Approximability of the Ground State Problem for Certain Ising Spin Glasses.
J. Complex., 1997

An Upper Bound for the Maximum Cut Mean Value.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1997

1995
A neural circuit for the maximum 2-satisfiability problem.
Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), 1995


  Loading...