Follow
Roberto Posenato
Roberto Posenato
Associate Professor of Computer Science, University of Verona (Italy)
Verified email at univr.it - Homepage
Title
Cited by
Cited by
Year
The Dynamic Controllability of Conditional STNs with Uncertainty
L Hunsberger, R Posenato, C Combi
Proceedings of the Workshop on Planning and Plan Execution for Real-World …, 2012
972012
Controllability in temporal conceptual workflow schemata
C Combi, R Posenato
International Conference on Business Process Management, 64-79, 2009
952009
Representing business processes through a temporal data-centric workflow modeling language: An application to the management of clinical pathways
C Combi, M Gambini, S Migliorini, R Posenato
IEEE Transactions on Systems, Man, and Cybernetics: Systems 44 (9), 1182-1203, 2014
692014
A sound-and-complete propagation-based algorithm for checking the dynamic consistency of conditional simple temporal networks
L Hunsberger, R Posenato, C Combi
Temporal Representation and Reasoning (TIME), 2015 22nd International …, 2015
622015
Conceptual modeling of flexible temporal workflows
C Combi, M Gozzi, R Posenato, G Pozzi
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 7 (2), 1-29, 2012
512012
Sound and complete algorithms for checking the dynamic controllability of temporal networks with uncertainty, disjunction and observation
A Cimatti, L Hunsberger, A Micheli, R Posenato, M Roveri
2014 21st International Symposium on Temporal Representation and Reasoning …, 2014
492014
Towards temporal controllabilities for workflow schemata
C Combi, R Posenato
2010 17th International Symposium on Temporal Representation and Reasoning …, 2010
472010
Controllability of time-aware processes at run time
A Lanz, R Posenato, C Combi, M Reichert
On the Move to Meaningful Internet Systems: OTM 2013 Conferences …, 2013
452013
Dynamic controllability via timed game automata
A Cimatti, L Hunsberger, A Micheli, R Posenato, M Roveri
Acta Informatica 53, 681-722, 2016
442016
An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty
C Combi, L Hunsberger, R Posenato
Proceedings of 5th International Conference on Agents and Artificial …, 2013
442013
A schema-based approach to modeling and querying WWW data
S Comai, E Damiani, R Posenato, L Tanca
Flexible Query Answering Systems: Third International Conference, FQAS'98 …, 1998
361998
An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty-Revisited
C Combi, L Hunsberger, R Posenato
International Conference on Agents and Artificial Intelligence, 314-331, 2014
352014
Conditional simple temporal networks with uncertainty and resources
C Combi, R Posenato, L Viganò, M Zavatteri
Journal of Artificial Intelligence Research 64, 931–985-931–985, 2019
302019
A streamlined model of conditional simple temporal networks-semantics and equivalence results
M Cairo, L Hunsberger, R Posenato, R Rizzi
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 90, 1-19, 2017
282017
Incorporating decision nodes into conditional simple temporal networks
M Cairo, C Combi, C Comin, L Hunsberger, R Posenato, R Rizzi, ...
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 90, 1-18, 2017
272017
Traps and pitfalls of topic-biased PageRank
P Boldi, R Posenato, M Santini, S Vigna
International Workshop on Algorithms and Models for the Web-Graph, 107-116, 2008
272008
An algorithm for the selection of high‐contrast color sets
P Campadelli, R Posenato, R Schettini
Color Research & Application: Endorsed by Inter‐Society Color Council, The …, 1999
241999
Checking the Dynamic Consistency of Conditional Temporal Networks with Bounded Reaction Times
L Hunsberger, R Posenato
Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016
232016
Controlling time-awareness in modularized processes
A Lanz, R Posenato, C Combi, M Reichert
Enterprise, Business-Process and Information Systems Modeling: 17th …, 2016
232016
Access Controlled Temporal Networks
C Combi, R Posenato, L Vigano, M Zavatteri
9th International Conference on Agents and Artificial Intelligence (ICAART …, 2017
222017
The system can't perform the operation now. Try again later.
Articles 1–20