Department of Mathematics and Computer Science &ndash; Research Output

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

Learning systems

Automation

Students

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

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

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

Computational Diffusion MRI: 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

Magnetic resonance imaging

Fiber

Sparsity

Fibers

Working Memory

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

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

Computer programming languages

Semantics

Satellites

Bandwidth

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

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

Computer science

Knowledge engineering

Formal languages

Graph theory

Coloring

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

Model Transformation

Paradigm

Strategy

Language

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

Diffusion Magnetic Resonance Imaging

Germany

Education

Brain Mapping

Mathematics

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

Mathematical programming

Artificial intelligence

Learning systems

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

Model checking

Model Checking

Software

Model Verification

Temporal logic

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

Satellites

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

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

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

Software architecture

Software engineering

Railroad cars

Automotive engineering

Industrial research

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

Embedded systems

Feedback

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

Software design

Computer programming

Teaching

Students

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

bacteria

group dynamics

multiscale models

readers

kinetic equations

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

25 Citations (Scopus)

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

Software engineering

Computer software maintenance

Requirements engineering

Glossaries

Ecosystems

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

Inspection

Flow graphs

Model checking

Static analysis

Electric network analysis

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

Information theory

Signal processing

Recovery

Data acquisition

Students

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

Computer science

Teaching

Specifications

Industry

Formal verification

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

Descriptor Systems

Algebraic Differential Equations

Model Order Reduction

Co-simulation

Splitting Method