Department of Mathematics and Computer Science

Research Output 1950 2019

Filter
Book editing
2019

Automatic machine learning: methods, systems, challenges

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

Research output: Book/ReportBook editingAcademicpeer-review

Open Access
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/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

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

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

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

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

Open Access
Satellites

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

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

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

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

Open Access
File
Embedded systems
Feedback

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

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

bacteria
group dynamics
multiscale models
readers
kinetic equations
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/ReportBook editingAcademic

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

Open Access
Inspection
Flow graphs
Model checking
Static analysis
Electric network analysis
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/ReportBook editingAcademic

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

Descriptor Systems
Algebraic Differential Equations
Model Order Reduction
Co-simulation
Splitting Method

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

data management
book

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

book

Special Theme "Software Quality"

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

Research output: Book/ReportBook editingAcademic

1 Citation (Scopus)

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

Explosions
Open Access