Research Output per year
Research Output 1950 2019
- 1 - 50 out of 311 results
- Publication Year, Title (descending)
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/Report › Book editing › Academic › peer-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/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
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 (IEEE).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
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
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
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/Report › Book editing › Academic
book
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
Explosions
2013
2013 IEEE 1st International Workshop on Communicating Business Process and Software Models : quality, understandability, and maintainability (CPSM), September 23, 2013, Eindhoven, The Netherlands)
Brambilla, M. (ed.), Vanderfeesten, I. T. P. (ed.) & Fahland, D. (ed.), 2013, Piscataway NJ: Institute of Electrical and Electronics Engineers (IEEE).Research output: Book/Report › Book editing › Academic
Discrimination and privacy in the information society : data mining and profiling in large databases
Custers, B. H. M. (ed.), Calders, T. G. K. (ed.), Schermer, B. W. (ed.) & Zarsky, T. Z. (ed.), 2013, Berlin: Springer. 370 p. (Studies in applied philosphy, epistemology and rational ethics; vol. 3)Research output: Book/Report › Book editing › Academic