| 2008 |
|---|
| 10 | EE | A. Johannes Pretorius,
Jarke J. van Wijk:
Multiple Views on System Traces.
PacificVis 2008: 95-102 |
| 9 | EE | A. Johannes Pretorius,
Jarke J. van Wijk:
Visual Inspection of Multivariate Graphs.
Comput. Graph. Forum 27(3): 967-974 (2008) |
| 8 | EE | H. M. W. (Eric) Verbeek,
A. Johannes Pretorius,
Wil M. P. van der Aalst,
Jarke J. van Wijk:
Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization.
T. Petri Nets and Other Models of Concurrency 1: 152-171 (2008) |
| 2007 |
|---|
| 7 | EE | A. Johannes Pretorius,
Jarke J. van Wijk:
Bridging the Semantic Gap: Visualizing Transition Graphs with User-Defined Diagrams.
IEEE Computer Graphics and Applications 27(5): 58-66 (2007) |
| 2006 |
|---|
| 6 | EE | Aad Mathijssen,
A. Johannes Pretorius:
Verified Design of an Automated Parking Garage.
FMICS/PDMC 2006: 165-180 |
| 5 | EE | A. Johannes Pretorius,
Jarke J. van Wijk:
Visual Analysis of Multivariate State Transition Graphs.
IEEE Trans. Vis. Comput. Graph. 12(5): 685-692 (2006) |
| 2005 |
|---|
| 4 | EE | A. Johannes Pretorius,
Jarke J. van Wijk:
Multidimensional Visualization of Transition Systems.
IV 2005: 323-328 |
| 3 | EE | A. Johannes Pretorius:
Visual analysis for ontology engineering.
J. Vis. Lang. Comput. 16(4): 359-381 (2005) |
| 2004 |
|---|
| 2 | EE | Marie-Laure Reinberger,
Peter Spyns,
A. Johannes Pretorius,
Walter Daelemans:
Automatic Initiation of an Ontology.
CoopIS/DOA/ODBASE (1) 2004: 600-617 |
| 1 | EE | A. Johannes Pretorius:
Lexon Visualization: Visualizing Binary Fact Types in Ontology Bases.
IV 2004: 58-63 |
