| |
|
| |
In Proceedings of 3rd International Conference on the Theory and Application of Diagrams, Vol. 2980 (March 2004), pp. 29-31.
|
| |
In Proceedings of The International Joint Conference on Automated Reasoning (2004)
|
| |
|
| |
|
| |
In Proceedings of 3rd International Conference on the Theory and Application of Diagrams, Vol. 2980 (2004), pp. 128-141.
|
| |
|
| |
In Euler Diagrams 2004, Vol. 134 (2005), pp. 189-202.
|
| |
Journal on Software and System Modeling, Vol. 3, No. 2. (2004), pp. 136-149.
|
| |
In Proceedings of GT-VMT (2002)
|
| |
In Proceedings LICS workshop on Logic and Diagrammatic Information (1998)
|
| |
In Proceedings of 2nd International Conference on the Theory and Application of Diagrams, Vol. 2317 (2002), pp. 131-145.
|
| |
In Diagrammatic Representation and Reasoning (2001), pp. 371-386.
|
| |
In Proceedings of Euler Diagrams 2004, Vol. 134 (2005)
|
| |
In Logical and Computational Aspects of Model-Based Reasoning (2002), pp. 1-18.
|
| |
In Proceedings of 3rd International Conference on the Theory and Application of Diagrams, Vol. 2980 (2004), pp. 112-127.
|
| |
In Visual Languages and Human Centric Computing, Rome, Italy (September 2004), pp. 91-98.
|
| |
Journal of Logic and Computation, Vol. 14, No. 6. (December 2004), pp. 857-880.
|
| |
|
| |
In 4th International Conference on the Theory and Application of Diagrams (2006), pp. 148-150.
|
| |
In Proceedings of Distributed Multimedia Systems, International Workshop on Visual Languages and Computings (2006), pp. 129-138.
|
| |
In Proceedings of Euler Diagrams 2004, Brighton, UK, Vol. 134 (2005), pp. 127-151.
|
| |
In {E}uler Diagrams 2005 (2005)
|
| |
In 11th International Conference on Distributed Multimedia Systems, International Workshop on Visual Languages and Computing (September 2005)
|
| |
Journal of Logic and Computation, Vol. 15, No. 6. (December 2005), pp. 975-1008.
|
| |
In Proceedings of International Conference on Visual Languages and Computing (2003), pp. 263-270.
|
| |
No. Technical Report VMG06.2. (2006)
|
| |
Cognitive Psychology (1997), pp. 109-159.
|
| |
|
| |
In Logical Reasoning with Diagrams (1996), pp. 81-108.
|
| |
In Logical Reasoning with Diagrams (1996), pp. 27-48.
|
| |
In Proceedings of 3rd International Conference on the Theory and Application of Diagrams, Vol. 2980 (2004), pp. 18-21.
|
| |
In Proceedings 6th CSLI Workshop on Logic, Language and Computation (2000)
|
| |
Journal of Computer and System Sciences, Vol. 67 (2003), pp. 365-380.
|
| |
In Proceedings of the 33rd ACM Symposium on the Theory of Computing (2001), pp. 241-246.
|
| |
In Proceedings of 1st International Conference on the Theory and Application of Diagrams, Vol. 1889 (2000), pp. 271-285.
|
| |
Electronic Journal of Combinatorics (1997)
|
| |
In Visual Languages and Human Centric Computing, Rome, Italy (September 2004), pp. 147-156.
|
| |
|
| |
|
| |
In joint Conference on Declarative Programming (1998)
|
| |
|
| |
|
| |
In Proceedings of the 1st European {MDA} Workshop, {MDA-IA} (January 2004), pp. 83-90.
|
| |
In Technical Report (2004)
|
| |
In Proceedings of the Eleventh International Conference on Distributed Multimedia Systems, International Workshop on Visual Languages and Computing (September 2005), pp. 279-286.
|
| |
In Technical Report (2004)
|
| |
In Proceedings of the 8th International IEEE Enterprise Distributed Object Computing Conference (EDOC 2004) (September 2004)
|
| |
In Proceedings of the {OCL} and Model Driven Engineering Workshop (October 2004)
|
| |
In Graph Drawing (2001), pp. 247-260.
|
