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
662012
Controllability in temporal conceptual workflow schemata
C Combi, R Posenato
International Conference on Business Process Management, 64-79, 2009
662009
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
522014
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
512013
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
422014
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
422012
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
412015
A schema-based approach to modeling and querying WWW data
S Comai, E Damiani, R Posenato, L Tanca
International Conference on Flexible Query Answering Systems, 110-125, 1998
391998
Controllability of time-aware processes at run time
A Lanz, R Posenato, C Combi, M Reichert
OTM Confederated International Conferences" On the Move to Meaningful …, 2013
372013
Dynamic controllability via timed game automata
A Cimatti, L Hunsberger, A Micheli, R Posenato, M Roveri
Acta Informatica 53 (6-8), 681-722, 2016
312016
Towards temporal controllabilities for workflow schemata
C Combi, R Posenato
2010 17th International Symposium on Temporal Representation and Reasoning …, 2010
302010
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
252014
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
25*2008
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
202016
A streamlined model of conditional simple temporal networks-semantics and equivalence results
M Cairo, L Hunsberger, R Posenato, R Rizzi
24th International Symposium on Temporal Representation and Reasoning (TIME …, 2017
192017
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
191999
Simple temporal networks with partially shrinkable uncertainty
A Lanz, R Posenato, C Combi, M Reichert
ICAART 2015 - Proceedings of the International Conference on Agents and …, 2015
152015
Modelling temporal, data-centric medical processes
C Combi, M Gambini, S Migliorini, R Posenato
Proceedings of the 2nd ACM SIGHIT symposium on International health …, 2012
152012
An upper bound for the maximum cut mean value
A Bertoni, P Campadelli, R Posenato
International Workshop on Graph-Theoretic Concepts in Computer Science, 78-84, 1997
151997
A neural algorithm for MAX-2SAT: performance analysis and circuit implementation
MA Alberti, A Bertoni, P Campadelli, G Grossi, R Posenato
Neural Networks 10 (3), 555-560, 1997
141997
The system can't perform the operation now. Try again later.
Articles 1–20