Department of Mathematics and Computer Science

Research Output

Filter
Book editing
2019

Automatic machine learning: methods, systems, challenges

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

Research output: Book/ReportBook editingAcademicpeer-review

Open Access
File
354 Downloads (Pure)

Data science for healthcare: methodologies and applications

Consoli, S. (ed.), Recupero, D. R. (ed.) & Petković, M. (ed.), 1 Jan 2019, Cham: Springer. 367 p.

Research output: Book/ReportBook editingAcademicpeer-review

1 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/ReportBook editingAcademicpeer-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/ReportBook editingAcademicpeer-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/ReportBook editingAcademicpeer-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/ReportBook editingAcademicpeer-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/ReportBook editingAcademicpeer-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/ReportBook editingAcademicpeer-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/ReportBook editingAcademicpeer-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/ReportBook editingAcademicpeer-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/ReportBook editingAcademicpeer-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/ReportBook editingAcademicpeer-review

Open Access
File
2823 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/ReportBook editingAcademicpeer-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/ReportBook editingAcademicpeer-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/ReportBook editingAcademicpeer-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/ReportBook editingAcademicpeer-review

Open Access
File
21 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/ReportBook editingAcademicpeer-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/ReportBook editingAcademicpeer-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/ReportBook editingAcademicpeer-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/ReportBook editingAcademicpeer-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/ReportBook editingAcademicpeer-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/ReportBook editingAcademic

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/ReportBook editingAcademicpeer-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/ReportBook editingAcademicpeer-review

Open Access

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/ReportBook editingAcademic

Open Access
File
551 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/ReportBook editingAcademicpeer-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/ReportBook editingAcademic

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

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/ReportBook editingAcademic

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/ReportBook editingAcademicpeer-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/ReportBook editingProfessional

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/ReportBook editingAcademic

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/ReportBook editingAcademic

Open Access
File
490 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.), Giraud-Carrier, C. (ed.) & Kotthoff, L. (ed.), 2015, CEUR-WS.org. (CEUR Workshop proceedings; vol. 1201)

Research output: Book/ReportBook editingAcademicpeer-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/ReportBook editingAcademic

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/ReportBook editingAcademic

Evolving software systems

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

Research output: Book/ReportBook editingAcademic

29 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/ReportBook editingAcademic

Open Access
Open Access
File
282 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/ReportBook editingAcademic

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/ReportBook editingAcademic

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/ReportBook editingAcademic

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/ReportBook editingAcademic

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/ReportBook editingAcademic

Special Theme "Software Quality"

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

Research output: Book/ReportBook editingAcademic