Separating application code from toolkits, Proceedings of the 4th annual ACM symposium on User interface software and technology , UIST '91, pp.211-220 ,
DOI : 10.1145/120782.120805
? The garnet and amulet user interface development environments, Proceedings of ACM CHI'95 Conference on Human Factors in Computing Systems, pp.334-1995 ,
98] Laurence Nigay et Frédéric Vernier. ? Design method of interaction techniques for large information spaces, proceedings of AVI'98, pp.37-46, 1998. ,
03] OECD et UNESCO. ? Literacy Skills for the World of Tomorrow : Further Results from PISA, ? Rapport technique, OECD and UNESCO INSTITUTE FOR STATISTICS, 2000. ,
OpenGL Architecture Review Board et David Shreiner. ? OpenGL Programming Guide : The Official Guide to Learning OpenGL, Version 1.4, OpenGL Architecture Review Board, 2003. ,
Cédric Dumas et Jean-Daniel Fekete. ? Bibliothèques : comparaisons entre le réel et le virtuel en 3d, 2d zoomable et 2d arborescent. ? video proceedings of IHM- HCI, 2001. ,
The World Toolkit Manual, Sense8, 1999. 26. Sun Microsystems Inc. Java Speech API Programmer's Guide, 1998. ,
iStuff, Proceedings of the conference on Human factors in computing systems , CHI '03, pp.537-544, 2003. ,
DOI : 10.1145/642611.642705
A model-based tool for interactive prototyping of highly interactive applications, CHI '02 extended abstracts on Human factors in computing systems , CHI '02, pp.516-517, 2002. ,
DOI : 10.1145/506443.506457
CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets, Proc. of ICATPN'2001: 22nd International Conference on Application and Theory of Petri Nets, pp.71-80, 2001. ,
DOI : 10.1007/3-540-45740-2_6
Visual information seeking: Tight coupling of dynamic query filters with starfield displays, Proc. CHI'94 Conference: Human Factors in Computing Systems, pp.313-321, 1994. ,
PAD++: A zooming graphical user interface for exploring alternate interface physics, Proc. User Interfaces Software and Technology '94, pp.17-27, 1994. ,
Adding imageability features to information displays, Proceedings of the 9th annual ACM symposium on User interface software and technology , UIST '96 ,
DOI : 10.1145/237091.237096
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.4986
Labeling Point Features on Map and Diagrams ,
Readings in Information Visualization: Using Vision to Think ,
A focus+context technique based on hyperbolic geometry for visualizing large hierarchies, Proceedings of the SIGCHI conference on Human factors in computing systems, CHI '95 ,
DOI : 10.1145/223904.223956
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.1530
Viewing personal history records: A comparison of tabular format and graphical presentation using LifeLines, Behaviour & Information Technology, 1998. ,
Visualizing websites using a hierarchical table of contents browser: WebTOC, Proc. 3rd Conference on Human Factors and the Web, 1997. ,
DOI : 10.1016/B978-155860915-0/50026-3
Image-browser taxonomy and guidelines for designers, IEEE Software, vol.12, issue.2, pp.21-32, 1995. ,
DOI : 10.1109/52.368260
LifeLines: Visualizing personal histories LifeLines: Using visualization to enhance navigation and analysis of patient records, Proc. of ACM CHI96 Conference: Human Factors in Computing Systems Proc. of American Medical Informatics Association Conference, pp.221-227, 1996. ,
Visualizing network data, IEEE Transactions on Visualization and Computer Graphics, vol.1, issue.1, pp.16-28 ,
DOI : 10.1109/2945.468391
Sémiologie graphique : Les diagrammes -Les réseaux -Les cartes, 1967. ,
Volume upper bounds for 3D graph drawing, Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research, 1994. ,
VISEXP: visualizing constraint solver dynamics using explanations. in FLAIRS'04: Seventeenth international Florida Artificial Intelligence Research Society conference, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00869112
Using Multilevel Call Matrices in Large Software Projects, Proc. IEEE Symp, pp.227-232, 2003. ,
Graph visualization and navigation in information visualization: A survey, IEEE Transactions on Visualization and Computer Graphics, vol.6, issue.1, pp.24-43 ,
DOI : 10.1109/2945.841119
Random Graph Server, Applied Statistics and Probability for Engineers, 1999. ,
The effects of graph layout, Proceedings 1998 Australasian Computer Human Interaction Conference. OzCHI'98 (Cat. No.98EX234), p.80, 1998. ,
DOI : 10.1109/OZCHI.1998.732199
Empirical Evaluation of Aesthetics-based Graph Layout, Empirical Software Engineering, vol.7, issue.3, pp.233-255 ,
DOI : 10.1023/A:1016344215610
An experimental study of the basis for graph drawing algorithms, Journal of Experimental Algorithmics, vol.2, issue.4, 1997. ,
DOI : 10.1145/264216.264222
Cognitive measurements of graph aesthetics, Information Visualization, vol.1, issue.2, pp.103-110 ,
DOI : 10.1057/palgrave.ivs.9500013
InformationVisualization Evaluation Review, ISRC Tech. Report, Dept. of Information SystemsIV_eval, issue.1, 2004. ,
The challenge of information visualization evaluation, Proceedings of the working conference on Advanced visual interfaces , AVI '04, 2004. ,
DOI : 10.1145/989863.989880
TreeJuxtaposer: Scalable tree comparison using Focus+Context with guaranteed visibility, ACM Transactions on Graphics, pp.3-453, 2003. ,
Zoomology: Comparing Two Large Hierarchical Trees, Poster Compendium of IEEE Information Visualization, 2003. ,
InfoZoom -Analysing Formula One racing results with an interactive data mining and visualization tool, Ebecken, N. Data mining II, pp.455-464, 2000. ,
EVAT -Environment for Visualization and Analysis of Trees, Poster Compendium of IEEE Information Visualization, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-00308270
Comparison of Multiple Taxonomic Hierarchies Using TaxoNote, Poster Compendium of IEEE Information Visualization, 2003. ,
On your marks, get set, browse! (the great CHI'97 Browse Off), Panel description in ACM CHI'97 extended abstracts, pp.113-114, 1997. ,
Visual Information Seeking: Tight Coupling of Dynamic Query Filters with Starfield Displays, Human Factors in Computing Systems. Conference Proceedings CHI'94, pp.313-317, 1994. ,
Shakespeare 2.00 ,
Extensible Markup Language (XML) 1.0, Recommendation of the W3 Consortium. Feb, 1998. ,
Putting Renaissance Women Online New Models and Opportunities, ICCC/IFIP Working Conference on Electronic Publishing '97, 1997. ,
XSL Transformations (XSLT) Version 1.0 W3C Working Draft ,
Comportements et relations sociales en Bretagne vers 1530, d'après les lettres de rémission ,
Pixel-oriented database visualizations, ACM SIGMOD Record, vol.25, issue.4, 1996. ,
DOI : 10.1145/245882.245896
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.882
Lebrave An Integrated Reading and Editing Environment for Scholarly Research on Literary Works and their Handwritten Sources DL'98, Proceedings of the 3rd ACM International Conference on Digital Libraries, pp.144-151, 1998. ,
Interfaces and Tools for the Library of Congress National Digital Library Program Information Processing & Management, pp.535-555, 1998. ,
The Lampeter Corpus of Early Modern English Tracts, Norwegian Computing Centre for the Humanities, pp.61-70, 1997. ,
Sibert The Shape Of Shakespeare, Visualizing Text Using Implicit Surfaces Proceedings IEEE Symposium on Information Visualization, pp.121-129, 1998. ,
Matrix Zoom: A Visual Interface to Semi-External Graphs, IEEE Symposium on Information Visualization, pp.183-190, 2004. ,
DOI : 10.1109/INFVIS.2004.46
Consistency restoration and explanations in dynamic CSPs???Application to configuration, Artificial Intelligence, vol.135, issue.1-2, pp.199-234, 2002. ,
DOI : 10.1016/S0004-3702(01)00162-X
Visualizing network data, IEEE Transactions on Visualization and Computer Graphics, vol.1, issue.1, pp.16-28, 1995. ,
DOI : 10.1109/2945.468391
Semiology of Graphics: Diagrams, Networks, Maps, 1983. ,
A Practical Tracer for Prolog, International Journal of Man-Machine Studies, vol.42, pp.597-631, 1991. ,
Understanding the control flow of Prolog programs, Proceedings of the Logic Programming Workshop, 1980. ,
Readings in Information Visualization: Using Vision to Think, pp.235-261, 1999. ,
A framework for unifying presentation space, Proceedings of the 14th annual ACM symposium on User interface software and technology , UIST '01, pp.61-70, 2001. ,
DOI : 10.1145/502348.502358
03: Sixteenth international Florida Artificial Intelligence Research Society conference, pp.172-176 ,
A truth maintenance system, Artificial Intelligence, vol.12, issue.3, pp.231-272, 1979. ,
DOI : 10.1016/0004-3702(79)90008-0
A Powerful Prolog Trace Package, Sixth European Conference on Artificial Intelligence, 1984. ,
A fine-grained account of Prolog execution for teaching and debugging, Instructional Science, vol.24, issue.9, pp.407-436, 1990. ,
DOI : 10.1007/BF00116447
The truth about Prolog execution Software visualization: programming as a multimedia experience, 1998. ,
CLPGUI: a generic graphical user interface for constraint logic programming over finite domains, ICLP'02 12th Workshop on Logic Programming Environments, 2002. ,
Excentric labeling, Proceedings of the SIGCHI conference on Human factors in computing systems the CHI is the limit, CHI '99, pp.512-519, 1999. ,
DOI : 10.1145/302979.303148
URL : https://hal.archives-ouvertes.fr/hal-00877395
Interactive Information Visualization of a Million Items, Proceedings of IEEE Symposium on Information Visualization, pp.117-124, 2002. ,
URL : https://hal.archives-ouvertes.fr/hal-00875363
Deriving Explanations and Implications for Constraint Satisfaction Problems, Principles and Practice of Constraint Programming, pp.585-589, 2001. ,
DOI : 10.1007/3-540-45578-7_44
VISEXP: Visualizing Constraint Solver Dynamics Using Explanations, FLAIRS'04: Seventeenth international Florida Artificial Intelligence Research Society conference, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00869112
A Comparison of the Readability of Graphs Using Node-Link and Matrix-Based Representations, IEEE Symposium on Information Visualization, pp.17-24, 2004. ,
DOI : 10.1109/INFVIS.2004.1
URL : https://hal.archives-ouvertes.fr/hal-00343819
Dynamic backtracking, Journal of Artificial Intelligence Research, vol.1, pp.25-46, 1993. ,
DOI : 10.1007/3-540-58601-6_105
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.4126
Using Multilevel Call Matrices in Large Software Projects, Proc. IEEE Symp, pp.227-232, 2003. ,
QUICKXPLAIN: Conflict detection for arbitrary constraint propagation algorithms, IJCAI'01 Workshop on Modelling and Solving problems with constraints, 2001. ,
Maintaining Arc-Consistency within Dynamic Backtracking, Principles and Practice of Constraint Programming, pp.249-261, 2000. ,
DOI : 10.1007/3-540-45349-0_19
URL : https://hal.archives-ouvertes.fr/hal-00869126
Local search with constraint propagation and??conflict-based heuristics, Artificial Intelligence, vol.139, issue.1, pp.21-45, 2002. ,
DOI : 10.1016/S0004-3702(02)00221-7
URL : https://hal.archives-ouvertes.fr/hal-00869124
The versatility of using explanations within constraint programming, 2003. ,
URL : https://hal.archives-ouvertes.fr/tel-00293905
Interactive Problem Solving Via Algorithm Visualization, IEEE Symposium on Information Visualization, 2000. ,
Prolog without tears: An evaluation of the effectiveness of a non Byrd Box model for students, 1995. ,
k-relevant explanations for constraint programming, FLAIRS'03: Sixteenth international Florida Artificial Intelligence Research Society conference, pp.192-196, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-00446384
An evaluation of space-filling information visualizations for depicting hierarchical structures, International Journal of Human-Computer Studies, vol.53, issue.5, pp.663-694, 1998. ,
DOI : 10.1006/ijhc.2000.0420
Outline proposal for a Prolog 'Textual Tree Tracer' (TTT). CSRP No, 1991. ,
InterRing: An Interactive Tool for Visually Navigating and Manipulating Hierarchical Structures, Proceedings of IEEE Symposium on Information Visualization, 2002. ,
Analysis and Visualization Tools for Constraint Programming. Number 1870 in LNCS, 1997. ,
The PaLM system: explanationbased constraint programming, Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, pp.118-133, 2000. ,
Choco: implementing a cp kernel, Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, 2000. ,
Impact-Based Search Strategies for Constraint Programming, Proceedings of the 10th intern. Conference on the Principles and Practice of Constraint Programming, pp.557-571, 2004. ,
DOI : 10.1007/978-3-540-30201-8_41