Faculteit Wiskunde & Informatica

Onderzoeksoutput 1950 2020

Filter
Boekredactie
2019

Automatic machine learning: methods, systems, challenges

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

Open Access
Bestand
Learning systems
Automation
Students

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

2018

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

Atzmüller, M. (redactie) & Duivesteijn, W. (redactie), 2018, 344 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer 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. (redactie), Ignatov, D. I. (redactie), Khachay, M. (redactie), Kuznetsov, S. O. (redactie), Lempitsky, V. (redactie), Lomazova, I. A. (redactie), Loukachevitch, N. (redactie), Napoli, A. (redactie), Panchenko, A. (redactie), Pardalos, P. M. (redactie), Savchenko, A. V. (redactie) & Wasserman, S. (redactie), 1 jan 2018, Berlin: Springer. (Lecture Notes in Computer Science)

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer 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. (redactie), Peleska, J. (redactie), Roscoe, B. (redactie) & de Vink, E. (redactie), 2018, Cham: Springer. (Lecture Notes in Computer Science; vol. 10951)(Programming and software engineering; vol. 10951)

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

2017

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer 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. (redactie) & Best, E. (redactie), 2017, Cham: Springer. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10258 LNCS)

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

Open Access
Bestand

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

Magnetic resonance imaging
Fiber
Sparsity
Fibers
Working Memory

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 redactie Uppsala. 126 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer 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.

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

Open Access
Bestand

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. (redactie), Baier, C. (redactie), van den Brand, M. G. J., Eder, J. (redactie), Hinchey, M. (redactie) & Margaria, T. (redactie), 2017, Springer. (Lecture Notes in Computer Science; vol. 10139)

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer 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. (redactie) & van den Brand, M. (redactie), 2017, Cham: Springer. 183 blz. (Lecture Notes in Computer Science; vol. 10374)

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer 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. (redactie), Kotthoff, L. (redactie) & Vanschoren, J. (redactie), 2016, Proceedings of Machine Learning Research. (Proceedings of Machine Learning Research; vol. 64)

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer 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. (redactie), Sellmann, M. (redactie) & Vanschoren, J. (redactie), 2016, Berlin: Springer. (Lecture Notes in Computer Science; vol. 10079)

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

Mathematical programming
Artificial intelligence
Learning systems

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer 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. (redactie), Kissinger, A. (redactie) & Wijs, A. (redactie), 4 dec 2016, EPTCS. (Electronic Proceedings in Theoretical Computer Science; vol. 231)

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

Open Access
Satellites
2015

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

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

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

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Open Access

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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. (redactie), Groote, de, R. (redactie), Lele, A. (redactie) & Moreira, O. (redactie), 2015, Eindhoven: Technische Universiteit Eindhoven. 28 blz. (Computer science reports; vol. 1502)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
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. (redactie), Bergenthum, R. (redactie) & Carmona, J. (redactie), 2015, Aachen: CEUR-WS.org. 143 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

Special issue on new ideas and emerging results in understanding software

Vinju, J. J. (redactie), 2015, Amsterdam: Elsevier. 180 blz. (Science of computer programming; vol. 97, nr. Part 1)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Software design
Computer programming
Teaching
Students
2014

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

bacteria
group dynamics
multiscale models
readers
kinetic equations
25 Citaties (Scopus)

Evolving software systems

Mens, T. (redactie), Serebrenik, A. (redactie) & Cleve, A. (redactie), 1 jan 2014, Berlin: Springer. 404 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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. (redactie), Edelkamp, S. (redactie), Lluch Lafuente, A. (redactie) & Wijs, A. J. (redactie), 2014, EPTCS. 99 blz. (Electronic Proceedings in Theoretical Computer Science (EPTCS); vol. 159)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Inspection
Flow graphs
Model checking
Static analysis
Electric network analysis
Open Access
Bestand
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. (redactie), Brazdil, P. (redactie), Soares, C. (redactie) & Kotthoff, L. (redactie), 2014, Aachen: CEUR-WS.org. 66 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

Verbeek, F. (redactie) & Schmaltz, J. (redactie), 2014, EPTCS. 177 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Computer science
Teaching
Specifications
Industry
Formal verification

Progress in differential-algebraic equations : Deskriptor 2013

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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. (redactie) & Petkovic, M. (redactie), 2014, Berlin: Springer. (Lecture notes in computer science; vol. 8425)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

data management
book

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

book

Special Theme "Software Quality"

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

1 Citaat (Scopus)

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Explosions