Roberto Posenato
Roberto Posenato
Associate Professor of Computer Science, University of Verona (Italy)
Verified email at univr.it - Homepage
TitleCited byYear
Controllability in temporal conceptual workflow schemata
C Combi, R Posenato
International Conference on Business Process Management, 64-79, 2009
612009
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
572012
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
462014
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
462013
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
422014
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
Conceptual modeling of flexible temporal workflows
C Combi, M Gozzi, R Posenato, G Pozzi
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 7 (2), 19, 2012
382012
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
372014
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
352013
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
322015
Dynamic controllability via timed game automata
A Cimatti, L Hunsberger, A Micheli, R Posenato, M Roveri
Acta Informatica 53 (6-8), 681-722, 2016
282016
Towards temporal controllabilities for workflow schemata
C Combi, R Posenato
2010 17th International Symposium on Temporal Representation and Reasoning …, 2010
262010
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
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
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
152017
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
152016
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
142015
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
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
132012
Approximability of the ground state problem for certain Ising spin glasses
A Bertoni, P Campadelli, C Gangai, R Posenato
Journal of Complexity 13 (3), 326-339, 1997
131997
The system can't perform the operation now. Try again later.
Articles 1–20