Filters: First Letter Of Last Name is V [Clear All Filters]
"Branching vs. Linear Time: Final Showdown", Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001), vol. 2031: Springer, pp. 1-22, 2001.
"Understanding Spaghetti Models with Sequence Clustering for ProM", Proceedings of BPM 2009 Workshops: Springer, 2009.
"A Survey on Temporal Reasoning in Artificial Intelligence", AI Communication, vol. 7, no. 1, pp. 4-28, 1994.