Department of Mathematics and Computer Science

Research Output

Filter
Book editing
2019

Automatic machine learning: methods, systems, challenges

Hutter, F., Kotthoff, L. & Vanschoren, J., 2019, New York: Springer. 242 p. (Challenges in Machine Learning)

Research output: Book/Report › Book editing › Academic › peer-review

Open Access
File
256 Downloads (Pure)

Model management and analytics for large scale systems

Tekinerdogan, B. (ed.), Babur, Ö. (ed.), Cleophas, L. G. W. A. (ed.), van den Brand, M. G. J. (ed.) & Aksit, M. (ed.), 17 Sep 2019, Academic Press Inc. 344 p.

Research output: Book/Report › Book editing › Academic › peer-review

Technology Trends: 4th International Conference, CITT 2018, Babahoyo, Ecuador, August 29-31, 2018, revised selected papers

Botto-Tobar, M. (ed.), Pizarro, G. (ed.), Zúñiga-Prieto, M. (ed.), D'Armas, M. (ed.) & Zúñiga Sánchez, M. (ed.), 2019, Dordrecht: Springer. (Communications in Computer and Information Science; vol. 895)

Research output: Book/Report › Book editing › Academic › peer-review

2018

30th Benelux conference on artificial intelligence: BNAIC 2018 preproceedings, November 8-9, 2018, 's-Hertogenbosch, The Netherlands

Atzmüller, M. (ed.) & Duivesteijn, W. (ed.), 2018, 344 p.

Research output: Book/Report › Book editing › Academic › peer-review

1 Downloads (Pure)

Advances in intelligent data analysis XVII: 17th International Symposium, IDA 2018, ’s-Hertogenbosch, The Netherlands, October 24–26, 2018, Proceedings

Duivesteijn, W. (ed.), Siebes, A. (ed.) & Ukkonen, A. (ed.), 2018, Berlin: Springer. (Lecture notes in computer science; vol. 11191)( Information Systems and Applications, incl. Internet/Web, and HCI; vol. 11191)

Research output: Book/Report › Book editing › Academic › peer-review

Analysis of Images, Social Networks and Texts, 6th International Conference, AIST 2017, Moscow, Russia, July 27-29, 2017 : revised selected papers

van der Aalst, W. M. P. (ed.), Ignatov, D. I. (ed.), Khachay, M. (ed.), Kuznetsov, S. O. (ed.), Lempitsky, V. (ed.), Lomazova, I. A. (ed.), Loukachevitch, N. (ed.), Napoli, A. (ed.), Panchenko, A. (ed.), Pardalos, P. M. (ed.), Savchenko, A. V. (ed.) & Wasserman, S. (ed.), 1 Jan 2018, Berlin: Springer. (Lecture Notes in Computer Science)

Research output: Book/Report › Book editing › Academic › peer-review

Discovery science: 21st International Conference, DS 2018, Limassol, Cyprus, October 29–31, 2018, Proceedings

Soldatova, L. (ed.), Vanschoren, J. (ed.), Ceci, M. (ed.) & Papadopoulos, G. (ed.), 2018, Berlin: Springer. (Lecture Notes in Artificial Intelligence; vol. 11198)

Research output: Book/Report › Book editing › Academic › peer-review

Formal methods: 22nd international symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, proceedings

Havelund, K. (ed.), Peleska, J. (ed.), Roscoe, B. (ed.) & de Vink, E. (ed.), 2018, Cham: Springer. (Lecture Notes in Computer Science; vol. 10951)(Programming and software engineering; vol. 10951)

Research output: Book/Report › Book editing › Academic › peer-review

Technology Trends: Third International Conference, CITT 2017, Babahoyo, Ecuador, November 8-10, 2017, Proceedings

Botto-Tobar, M. (ed.), Esparza-Cruz, N. (ed.), León-Acurio, J. (ed.), Crespo-Torres, N. (ed.) & Beltrán-Mora, M. (ed.), 2018, Dordrecht: Springer. (Communications in Computer and Information Science; vol. 798)

Research output: Book/Report › Book editing › Academic › peer-review

26 Downloads (Pure)
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/Report › Book editing › Academic › peer-review

Open Access

Application and theory of Petri Nets and concurrency: 38th International Conference, PETRI NETS 2017 Zaragoza, Spain, June 25–30, 2017 Proceedings

van der Aalst, W. M. P. (ed.) & Best, E. (ed.), 2017, Cham: Springer. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10258 LNCS)

Research output: Book/Report › Book editing › Academic › peer-review

Benelearn 2017: Proceedings of the Twenty-Sixth Benelux Conference on Machine Learning, Technische Universiteit Eindhoven, 9-10 June 2017

Duivesteijn, W. (ed.), Pechenizkiy, M. (ed.), Fletcher, G. H. L. (ed.), Menkovski, V. (ed.), Postma, E. J. (ed.), Vanschoren, J. (ed.) & van der Putten, P. (ed.), 2017, s.l.: s.n. 194 p.

Research output: Book/Report › Book editing › Academic › peer-review

Open Access
File
2666 Downloads (Pure)

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/Report › Book editing › Academic › peer-review

MICCAI Workshop on Computational Diffusion MRI, CDMRI 2016: MICCAI Workshop on Computational Diffusion MRI, CDMRI 2016

Fuster, A., Ghosh, A., Kaden, E., Rathi, Y. & Reisert, M., 2017, Springer. 209 p. (Mathematics and Visualization; vol. Part F2)

Research output: Book/Report › Book editing › Academic › peer-review

Proceedings 15th workshop on Quantitative Aspects of Programming Languages and systems (QAPL 2017): Uppsala, Sweden, 23rd April 2017

Wiklicky, H. & de Vink, E. P., 2017, Electronic Proceedings in Theoretical Computer Science ed. Uppsala. 126 p.

Research output: Book/Report › Book editing › Academic › peer-review

Open Access

Proceedings of the 25th International Conference on Program Comprehension, ICPC 2017, 22-23 May 2017, Buenos Aires, Argentina

Scanniello, G., Lo, D. & Serebrenik, A., 2017, Brussels: IEEE Computer Society.

Research output: Book/Report › Book editing › Academic › peer-review

Open Access
File
20 Downloads (Pure)

SOFSEM 2017: theory and practice of computer science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

Steffen, B. (ed.), Baier, C. (ed.), van den Brand, M. G. J., Eder, J. (ed.), Hinchey, M. (ed.) & Margaria, T. (ed.), 2017, Springer. (Lecture Notes in Computer Science; vol. 10139)

Research output: Book/Report › Book editing › Academic › peer-review

Theory and practice of model transformation: 10th international conference, ICMT 2017 held as part of STAF 2017 Marburg, Germany, July 17–18, 2017 proceedings

Guerra, E. (ed.) & van den Brand, M. (ed.), 2017, Cham: Springer. 183 p. (Lecture Notes in Computer Science; vol. 10374)

Research output: Book/Report › Book editing › Academic › peer-review

2016

AutoML 2016 Workshop Proceedings: Proceedings of the Workshop on Automatic Machine Learning, 24 June 2016, New York, New York, USA

Hutter, F. (ed.), Kotthoff, L. (ed.) & Vanschoren, J. (ed.), 2016, Proceedings of Machine Learning Research. (Proceedings of Machine Learning Research; vol. 64)

Research output: Book/Report › Book editing › Academic › peer-review

Computational Diffusion MRI: MICCAI Workshop, Munich, Germany, October 9th, 2015

Fuster, A. (ed.), Ghosh, A. (ed.), Kaden, E. (ed.), Rathi, Y. (ed.) & Reisert, M. (ed.), 2016, Berlin: Springer. 234 p. (Mathematics and Visualization)

Research output: Book/Report › Book editing › Academic › peer-review

Learning and Intelligent Optimization: 10th International Conference, LION 10, Ischia, Italy, May 29--June 1, 2016, Revised Selected Papers

Festa, P. (ed.), Sellmann, M. (ed.) & Vanschoren, J. (ed.), 2016, Berlin: Springer. (Lecture Notes in Computer Science; vol. 10079)

Research output: Book/Report › Book editing › Academic › peer-review

Macroscopic and large scale phenomena : coarse graining, mean field limits and ergodicity

Muntean, A. (ed.), Rademacher, J. D. M. (ed.) & Zagaris, A. (ed.), 2016, Cham: Springer. 290 p. (Lecture notes in Applied Mathematics and Mechanics; vol. 3)

Research output: Book/Report › Book editing › Academic

Model checking software: 23rd international symposium, SPIN 2016 co-located with ETAPS 2016 Eindhoven, the Netherlands, April 7-8, 2016

Bošnački, D. (ed.) & Wijs, A. J. (ed.), 2016, Berlin: Springer. 245 p. (Lecture Notes in Computer Science; vol. 9641)

Research output: Book/Report › Book editing › Academic › peer-review

Proceedings Second Graphs as Models Workshop, Eindhoven, The Netherlands, April 2-3, 2016

Heußner, A. (ed.), Kissinger, A. (ed.) & Wijs, A. (ed.), 4 Dec 2016, EPTCS. (Electronic Proceedings in Theoretical Computer Science; vol. 231)

Research output: Book/Report › Book editing › Academic › peer-review

Open Access
2015

22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2015, Montreal, QC, Canada, March 2-6, 2015)

Guéhéneuc, Y. G. (ed.), Adams, B. (ed.) & Serebrenik, A. (ed.), 2015, Piscataway: Institute of Electrical and Electronics Engineers.

Research output: Book/Report › Book editing › Academic

Algorithms & Theories for the Analysis of Event Data (ATAED'15, Brussels, Belgium, June 22-23, 2015)

Aalst, van der, W. M. P. (ed.), Bergenthum, R. (ed.) & Carmona, J. (ed.), 2015, Aachen: CEUR-WS.org. 150 p.

Research output: Book/Report › Book editing › Academic

Open Access
File
515 Downloads (Pure)

Algorithms and models for the Web graph : 12th international workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015 : proceedings

Gleich, D. F. (ed.), Komjathy, J. (ed.) & Litvak, N. (ed.), 2015, Berlin: Springer. 262 p. (Lecture notes in computer science; vol. 9479)

Research output: Book/Report › Book editing › Academic › peer-review

Algorithms - ESA 2015 :23rd annual European symposium, Patras, Greece, September 14-16, 2015 : proceedings

Bansal, N. (ed.) & Finocchi, I. (ed.), 2015, Cham: Springer. 1033 p. (Theoretical computer science and general issues; vol. 9294)(Lecture notes in computer science; vol. 9294)

Research output: Book/Report › Book editing › Academic

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/Report › Book editing › Academic › peer-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/Report › Book editing › Academic › peer-review

International Workshop on Meta-Learning and Algorithm Selection (MetaSel 2015, Porto, Portugal September 7, 2015; co-located with ECMLPKDD 2015)

Vanschoren, J. (ed.), Brazdil, P. (ed.), Giraud-Carrier, C. (ed.) & Kotthoff, L. (ed.), 2015, Aachen: CEUR-WS.org.

Research output: Book/Report › Book editing › Academic

1 Downloads (Pure)

Proceedings of the 2015 International Workshop on Meta-Learning and Algorithm Selection (MetaSel 2015), Porto, Portugal, September 7, 2015

Vanschoren, J. (ed.), Brazdil, P. (ed.), Giraud-Carrier, C. (ed.) & Kotthoff, L. (ed.), 2015, CEUR-WS.org. (CEUR Workshop Proceedings; vol. 1455)

Research output: Book/Report › Book editing › Academic › peer-review

Proceedings of the 8th International Conference on Educational Data Mining, EDM 2015, Madrid, Spain, June 26-29, 2015

Santos, O. C. (ed.), Boticario, J. (ed.), Romero, C. (ed.), Pechenizkiy, M. (ed.), Merceron, A. (ed.), Mitros, P. (ed.), Luna, J. M. (ed.), Mihaescu, M. C. (ed.), Moreno, P. (ed.), Hershkovitz, A. (ed.), Ventura, S. (ed.) & Desmarais, M. (ed.), 2015, International Educational Data Mining Society (IEDMS).

Research output: Book/Report › Book editing › Professional

Open Access

Proceedings of the First International Workshop on Automotive Software Architecture (WASA'15, Montreal, Canada, May 4, 2015)

Kruchten, P. (ed.), Dajsuren, Y. (ed.), Altinger, H. (ed.) & Staron, M. (ed.), 2015, New York NY: Association for Computing Machinery, Inc.

Research output: Book/Report › Book editing › Academic

Proceedings of the first international workshop on Investigating dataflow in embedded computing architectures (IDEA 2015), January 21, 2015, Amsterdam, The Netherlands

Ahmad, W. (ed.), Groote, de, R. (ed.), Lele, A. (ed.) & Moreira, O. (ed.), 2015, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Computer science reports; vol. 1502)

Research output: Book/Report › Book editing › Academic

Open Access
File
463 Downloads (Pure)

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data (ATAED 2015, Brussels, Belgium, June 22-23, 2015)

Aalst, van der, W. M. P. (ed.), Bergenthum, R. (ed.) & Carmona, J. (ed.), 2015, Aachen: CEUR-WS.org. 143 p.

Research output: Book/Report › Book editing › Academic

Proceedings of the International Workshop on Meta-learning and Algorithm Selection (MetaSel 2014), Prague, Czech Republic, August 19, 2014

Vanschoren, J. (ed.), Brazdil, P. (ed.), Giraud-Carrier, C. (ed.) & Kotthoff, L. (ed.), 2015, CEUR-WS.org. (CEUR Workshop proceedings; vol. 1201)

Research output: Book/Report › Book editing › Academic › peer-review

Special issue on new ideas and emerging results in understanding software

Vinju, J. J. (ed.), 2015, Amsterdam: Elsevier. 180 p. (Science of computer programming; vol. 97, no. Part 1)

Research output: Book/Report › Book editing › Academic

2014

Collective dynamics from bacteria to crowds : an excursion through modeling, analysis and simulation

Muntean, A. (ed.) & Toschi, F. (ed.), 2014, 1. ed. Vienna: Springer. 177 p. (CISM courses and lectures; vol. 553)

Research output: Book/Report › Book editing › Academic

CRTS 2014 : Proceedings of the 7th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, Rome, Italy, December 2, 2014; In conjunction with : The 35th International Conference on Real-Time Systems (RTSS’14), December 3-5, 2014

Bril, R. J. (ed.) & Lee, J. (ed.), 2014, Eindhoven: Technische Universiteit Eindhoven. 19 p. (Computer science reports; vol. 1407)

Research output: Book/Report › Book editing › Academic

Open Access
File
69 Downloads (Pure)

Evolving software systems

Mens, T. (ed.), Serebrenik, A. (ed.) & Cleve, A. (ed.), 1 Jan 2014, Berlin: Springer. 404 p.

Research output: Book/Report › Book editing › Academic

27 Citations (Scopus)

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/Report › Book editing › Academic

Open Access

Proceedings of the 35th WIC Symposium on Information Theory in the Benelux and the 4th joint WIC/IEEE Symposium on Information Theory and Signal Processing in the Benelux, Eindhoven, the Netherlands May 12-13, 2014

Skoric, B. (ed.) & Ignatenko, T. (ed.), 2014, Eindhoven: Technische Universiteit Eindhoven. 193 p. (Information theory in the Benelux : ... symposium; vol. 35)

Research output: Book/Report › Book editing › Academic

Open Access
File
266 Downloads (Pure)

Proceedings of the International Workshop on Meta-learning and Algorithm Selection (MetaSel 2014, Prague, Czech Republic, August 19, 2014)

Vanschoren, J. (ed.), Brazdil, P. (ed.), Soares, C. (ed.) & Kotthoff, L. (ed.), 2014, Aachen: CEUR-WS.org. 66 p.

Research output: Book/Report › Book editing › Academic

Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications (Vienna, Austria, July 12-13, 2014)

Verbeek, F. (ed.) & Schmaltz, J. (ed.), 2014, EPTCS. 177 p.

Research output: Book/Report › Book editing › Academic

7 Downloads (Pure)

Progress in differential-algebraic equations : Deskriptor 2013

Schöps, S. (ed.), Bartel, A. (ed.), Günther, M. (ed.), Maten, ter, E. J. W. (ed.) & Müller, P. C. (ed.), 2014, Berlin: Springer. 208 p. (Differential-Algebraic Equations Forum)

Research output: Book/Report › Book editing › Academic

Secure Data Management : 10th VLDB workshop, SDM 2013, Trento, Italy, August 30, 2013. Proceedings

Jonker, W. (ed.) & Petkovic, M. (ed.), 2014, Berlin: Springer. (Lecture notes in computer science; vol. 8425)

Research output: Book/Report › Book editing › Academic

Selected Areas in Cryptography - SAC 2013 : 20th International Conference, Burnaby BC, Canada, August 14-16, 2013 : Revised Selected Papers

Lange, T. (ed.), Lauter, K. (ed.) & Lisonek, P. (ed.), 2014, Berlin: Springer. 590 p. (Lecture notes in computer science; vol. 8282)

Research output: Book/Report › Book editing › Academic

Special Theme "Software Quality"

Vinju, J. J. (ed.) & Cleve, A. (ed.), 2014, Sophia Antipolis: ERCIM.

Research output: Book/Report › Book editing › Academic

SPLat 2014 : First International Workshop on Software Product Line Analysis Tools

Legay, A. (ed.) & Vink, de, E. P. (ed.), 2014, New York NY: Association for Computing Machinery, Inc. 353 p.

Research output: Book/Report › Book editing › Academic

1 Citation (Scopus)
1 Downloads (Pure)