Hannes Pretorius

| About . Research . Publications

Dissertation

Visualization of State Transition Graphs
A.J. Pretorius
PhD dissertation, Eindhoven University of Technology, ISBN 978-90-386-1405-2, 2008.

Articles

What does the user want to see? What do the data want to be?
A.J. Pretorius and J.J. van Wijk
To appear in Information Visualization Journal, vol. 8, no. 3, 2009.

Visual inspection of multivariate graphs
A.J. Pretorius and J.J. van Wijk
Computer Graphics Forum (Proc. Eurographics/IEEE EuroVis), vol. 27, no. 3, pp. 967-974, 2008.

Assessing state spaces using Petri net synthesis and attribute-based visualization H.M.W. Verbeek, A.J. Pretorius, W.M.P. van der Aalst and J.J. van Wijk
LNCS Transactions on Petri Nets and Other Models of Concurrency, LNCS 5100, 2008.

Multiple views on system traces
A.J. Pretorius and J.J. van Wijk
Proc. 2008 IEEE Pacific Visualization Symposium, Kyoto, Japan, pp. 95-102, 2008.

Bridging the semantic gap: visualization of transition graphs with user-defined diagrams
A.J. Pretorius and J.J. van Wijk
IEEE Computer Graphics and Applications, vol. 27, no. 5, pp. 58-66, 2007.

Verified design of an automated parking garage
A. Mathijssen and A.J. Pretorius
Proc. 11th Int'l Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006), LNCS 4346, pp. 165-180, 2007.

Visual analysis of multivariate state transition graphs
A.J. Pretorius and J.J. van Wijk
IEEE Transactions on Visualization and Computer Graphics vol. 12, no. 5, pp. 685-692, 2006.

Visualization of large transition systems
A.J. Pretorius
IEEE Visualization/VAST Doctoral Colloquium, 2006.

Multidimensional visualization of transition systems
A.J. Pretorius and J.J. van Wijk
Proc. 9th Int'l Conf. Information Visualisation (IV05), London, UK, pp. 323-328, 2005.

Visual analysis for ontology engineering
A.J. Pretorius
J. Visual Languages and Computing vol. 16, no. 4, pp. 359-381, 2005.

Lexon visualization: visualizing binary fact types in ontology bases
A.J. Pretorius
Proc. 8th Int'l Conf. Information Visualisation (IV04), London, UK, pp. 58-63, 2004.

Automatic initiation of an ontology
M.-L. Reinberger, P. Spyns and A.J. Pretorius
LNCS 3290, pp. 600-617, 2004.

Evaluating DOGMA-lexons generated automatically from a text corpus
P. Spyns, A.J. Pretorius, M.-L. Reinberger and W. Daelemans
Proc. 14th Int'l Conf. Knowledge Eng. and Knowledge Management (EKAW04), pp. 38-44, 2004.

Technical reports

Visualizing state spaces with Petri nets
H.M.W. Verbeek, A.J. Pretorius, W.M.P. van der Aalst and J.J. van Wijk
Dept. Math and Computer Science, Technische Universiteit Eindhoven, Eindhoven, CS Rep. 0701, 2007.

Specification, analysis and verification of an automated parking garage
A. Mathijssen and A.J. Pretorius
Dept. Math and Computer Science, Technische Universiteit Eindhoven, Eindhoven, CS Rep. 0525, 2005.

Ontology modeling in knowledge engineering: challenges and strategies
G. Zhao, A.J. Pretorius and R. Meersman
STARLab, Vrije Universteit Brussel, Brussels, Tech. Rep. 23, 2004.

Posters

Parameter visualization for biomedical image analysis
Presented at Visualizing Biological Data (VIZBI), Cambridge, MA, USA, 2011.

User-defined diagrams for state space visualization
Presented at the NIRICT Conference (Netherlands Institute for Research on ICT), Utrecht, The Netherlands, 2007.

Visual analysis of multivariate transition systems
Presented at the 12th Annual Conf. of the Advanced School for Computing and Imaging (ASCI 2006), Lommel, Belgium, 2006.

Visualization of large transition systems
Presented at the Scientific ICT Research Event The Netherlands (SIREN 2005), Eindhoven, The Netherlands, 2005.

Multidimensional visualization of transition systems
Presented at the 11th Annual Conf. of the Advanced School for Computing and Imaging (ASCI 2005), Heijen, The Netherlands, 2005.

Copyright 2008. A.J. Pretorius. All rights reserved.