Research Output 1968 2019

Filter
Book editing
2017

42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmark

Larsen, K. G. (ed.), Bodlaender, H. L. (ed.) & Raskin, J-F. (ed.), 2017, Saarbrücken: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. (LIPIcs; vol. 83)

Research output: Book/ReportBook editingAcademicpeer-review

Open Access

Graph-theoretic concepts in computer science : 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, Revised Selected Papers

Bodlaender, H. L. (ed.) & Woeginger, G. J. (ed.), 2017, Cham: Springer. (Lecture Notes in Computer Science; vol. 10520)

Research output: Book/ReportBook editingAcademicpeer-review

2015

Automata, languages, and programming: 42nd International colloquium, ICALP 2015 Kyoto, Japan, july 6–10, 2015 proceedings, part I

Halldórsson, M. M. (ed.), Iwama, K. (ed.), Kobayashi, N. (ed.) & Speckmann, B. (ed.), 2015, Dordrecht: Springer. (Lecture Notes in Computer Science; vol. 9134)

Research output: Book/ReportBook editingAcademicpeer-review

Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015 Kyoto, Japan, July 6-10, 2015 Proceedings, Part II

Halldórsson, M. M. (ed.), Iwama, K. (ed.), Kobayashi, N. (ed.) & Speckmann, B. (ed.), 2015, Dordrecht: Springer. (Lecture Notes in Computer Science; vol. 9135)

Research output: Book/ReportBook editingAcademicpeer-review

2014

Proceedings 3rd workshop on GRAPH inspection and traversal engineering : Grenoble, France, April 5, 2014

Bosnacki, D. (ed.), Edelkamp, S. (ed.), Lluch Lafuente, A. (ed.) & Wijs, A. J. (ed.), 2014, EPTCS. 99 p. (Electronic Proceedings in Theoretical Computer Science (EPTCS); vol. 159)

Research output: Book/ReportBook editingAcademic

Open Access
Inspection
Flow graphs
Model checking
Static analysis
Electric network analysis
2013

Proceedings 2nd Workshop on GRAPH Inspection and Traversal Engineering (Rome, Italy, March 24, 2013)

Wijs, A. J. (ed.), Bosnacki, D. (ed.) & Edelkamp, S. (ed.), 2013, EPTCS. (Electronic Proceedings in Theoretical Computer Science; vol. 138)

Research output: Book/ReportBook editingAcademic

Inspection
Parallel architectures
Model checking
Computer science
Artificial intelligence

Virtual Realities (Dagstuhl Seminar 13241, June 9-14, 2013)

Brunnett, G. (ed.), Coquillart, S. (ed.), Liere, van, R. (ed.) & Welch, G. F. (ed.), 2013, Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 38 p. (Dagstuhl Reports; vol. 3(6))

Research output: Book/ReportBook editingAcademic

working group
virtual reality
expert
2012

Graph Drawing : 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011. Revised Selected Papers

Kreveld, van, M. J. (ed.) & Speckmann, B. (ed.), 2012, Berlin: Springer. (Lecture notes in computer science; vol. 7034)(Graph drawing, GD : international symposium : proceedings; vol. 2011)

Research output: Book/ReportBook editingAcademic

Netherlands
Inspection
Parallel architectures
Model checking
Computer science
Artificial intelligence
2010

Algorithms - ESA 2010 : 18th annual European symposium, Liverpool, UK, September 6-8, 2010 : proceedings, part I

Berg, de, M. T. (ed.) & Meyer, U. (ed.), 2010, Berlin: Springer. (Lecture notes in computer science; vol. 6346)

Research output: Book/ReportBook editingAcademic

Computational geometry
Bioinformatics
Computer science
Data structures
Students

Algorithms - ESA 2010 : 18th annual European symposium, Liverpool, UK, September 6-8, 2010 : proceedings, part II

Berg, de, M. T. (ed.) & Meyer, U. (ed.), 2010, Berlin: Springer. (Lecture notes in computer science; vol. 6347)

Research output: Book/ReportBook editingAcademic

Computational geometry
Bioinformatics
Computer science
Data structures
Students
2009

Trends in interactive visualization : state-of-the-art survey

Zudilova-Seinstra, E. (ed.), Adriaansen, T. (ed.) & Liere, van, R. (ed.), 2009, London: Springer. (Advanced information and knowledge processing)

Research output: Book/ReportBook editingAcademic

Visualization
2007

Proceedings IEEE Visualization Conference and IEEE Information Visualization Conference (VIS'07 and INFOVIS'07, Sacramento CA, USA, October 28-November 1, 2007)

Chen, M. (ed.), Hansen, C. (ed.), North, C. (ed.), Pang, A. (ed.) & Wijk, van, J. J. (ed.), 2007, Los Alamitos CA: IEEE Computer Society. (IEEE Transactions on Visualization and Computer Graphics; vol. 13, no. 6)

Research output: Book/ReportBook editingAcademic

visualization
imagery
communication
world
rate
2005
Open Access
File
Computational geometry

Discrete optimization

Aardal, K. I. (ed.), Nemhauser, G. L. (ed.) & Weismantel, R. (ed.), 2005, 1st ed. ed. Amsterdam: Elsevier. 620 p. (Handbooks in operations research and management science; vol. 12)

Research output: Book/ReportBook editingProfessional

2004

ASCI 2004 : proceedings of the tenth annual conference of the Advanced School for Computing and Imaging, Port Zélande, Ouddorp, The Netherlands, June 2-4, 2004

Wijk, van, J. J. (ed.), Heijnsdijk, J. W. J. (ed.), Langendoen, K. G. (ed.) & Veltkamp, R. C. (ed.), 2004, Delft: Advanced School for Computing and Imaging (ASCI). 388 p. (ASCI : Advanced School for Computing and Imaging : annual conference : proceedings; vol. 10)

Research output: Book/ReportBook editingAcademic

IEEE visualization 2004, October 10-15, 2004, Austin, Texas : proceedings

Rushmeier, H. (ed.), Turk, G. (ed.) & Wijk, van, J. J. (ed.), 2004, Washington, D.C.: IEEE Computer Society. 597 p. (VIS : IEEE visualization conference; vol. 15)

Research output: Book/ReportBook editingProfessional

2003

IEEE Visualization : Seattle, Washington, October 19-24, 2003 : proceedings

Turk, G. (ed.), Wijk, van, J. J. (ed.) & Moorhead II, R. J. (ed.), 2003, Piscataway: IEEE Press. 642 p. (VIS : IEEE visualization conference; vol. 14)

Research output: Book/ReportBook editingProfessional

1997

Local search in combinatorial optimization

Aarts, E. H. L. (ed.) & Lenstra, J. K. (ed.), 1997, Chichester: Wiley-Interscience. 512 p. (Wiley-Interscience series in discrete mathematics and optimization)

Research output: Book/ReportBook editingAcademic

Proceedings of the ACID-WG/EXACT Workshop on Asynchronous Data Processing (1993)

Josephs, M. B. (ed.) & Mak, R. H. (ed.), 1993, Eindhoven: Technische Universiteit Eindhoven. 266 p.

Research output: Book/ReportBook editingAcademic

1992

Design and implementation of asynchronous circuits : proceedings of the workshop, Amsterdam, 10-14 November 1991

van der Korst, M. J. (ed.), Peeters, A. M. G. (ed.) & Schols, H. M. J. L. (ed.), 1992, Amsterdam: North-Holland Publishing Company. 60 p. (Koninklijke Nederlandse Akademie van Wetenschappen : verhandelingen, afd. natuurkunde, eerste reeks; vol. 37)

Research output: Book/ReportBook editingProfessional

7 Citations (Scopus)

Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings

Bakker, de, J. W. (ed.), Huizing, C. (ed.), Roever, de, W. P. (ed.) & Rozenberg, G. (ed.), 1992, Berlin: Springer. 723 p. (Lecture notes in computer science; vol. 600)

Research output: Book/ReportBook editingProfessional

1991

C.S. Scholten dedicata : van oude machines en nieuwe rekenwijzen

Feijen, W. H. J. (ed.) & Gasteren, van, A. J. M. (ed.), 1991, Schoonhoven: Academic Service. 247 p.

Research output: Book/ReportBook editingProfessional

PARLE '91 : parallel architectures and languages Europe: volume I: Parallel architectures and algorithms, Eindhoven, The Netherlands, June 10-13, 1991 : proceedings

Aarts, E. H. L. (ed.), Leeuwen, van, J. (ed.) & Rem, M. (ed.), 1991, Berlin: Springer. 423 p. (Lecture notes in computer science; vol. 505)(PARLE, parallel architectures and languages Europe : conference : proceedings; vol. 3)

Research output: Book/ReportBook editingProfessional

PARLE '91 : parallel architectures and languages Europe: Volume II: Parallel languages, Eindhoven, The Netherlands, June 10-13, 1991 : proceedings

Aarts, E. H. L. (ed.), Leeuwen, van, J. (ed.) & Rem, M. (ed.), 1991, Berlin: Springer. 489 p. (Lecture notes in computer science; vol. 506)(PARLE, parallel architectures and languages Europe : conference : proceedings; vol. 3)

Research output: Book/ReportBook editingProfessional

1990

Beauty is our business : a birthday salute to Edsger W. Dijkstra

Feijen, W. H. J. (ed.), Gasteren, van, A. J. M. (ed.), Gries, D. (ed.) & Misra, J. (ed.), 1990, Berlin: Springer. 453 p. (Texts and monographs in computer science)

Research output: Book/ReportBook editingAcademic

1986

Data structures for raster graphics : proceedings of a workshop held at Steensel, The Netherlands, June 24-28, 1985

Kessener, L. R. A. (ed.), Peters, F. J. (ed.) & Lierop, van, M. L. P. (ed.), 1986, Berlin: Springer. 201 p. (EurographicSeminars : tutorials and perspectives in computer graphics)

Research output: Book/ReportBook editingProfessional