Faculty of Electrical Engineering, Mathematics & Computer Science

Research Output 1967 2019

Filter
Book editing
2019

Data-Driven Process Discovery and Analysis: 7th IFIP WG 2.6 International Symposium, SIMPDA 2017, Neuchatel, Switzerland, December 6-8, 2017, Revised Selected Papers

Ceravolo, P. (ed.), van Keulen, M. (ed.) & Stoffel, K. (ed.), 2019, Springer. 129 p. (Lecture Notes in Business Information Processing; vol. 340)

Research output: Book/ReportBook editingAcademic

Switzerland
Symposium
4 Downloads (Pure)

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III

Beyer, D. (ed.), Huisman, M. (ed.), Kordon, F. (ed.) & Steffen, B. (ed.), 2019, Springer. (Lecture Notes in Computer Science; vol. 11429)

Research output: Book/ReportBook editingAcademic

Open Access
File
2018

Brain-Computer Interfaces Handbook: Technological and Theoretical Advances

Nam, C. S. (ed.), Nijholt, A. (ed.) & Lotte, F. (ed.), 24 Jan 2018, Oxford: CRC Press. 788 p.

Research output: Book/ReportBook editingAcademic

Brain-Computer Interfaces
Cognition
Brain
Technology
Research

Digital Economy. Emerging Technologies and Business Innovation: Third International Conference, ICDEc 2018, Brest, France, May 3-5, 2018

Bach Tobji, M. A. (ed.), Jallouli, R. (ed.), Koubaa, Y. (ed.) & Nijholt, A. (ed.), 20 Jul 2018, Cham: Springer. 197 p. (Lecture Notes in Business Information Processing; vol. 325)

Research output: Book/ReportBook editingAcademic

Emerging technologies
Information systems
Business innovation
Technology innovation
France

Direct and Large-Eddy Simulation X

Grigoriadis, D. G. E., Geurts, B. J., Kuerten, J. G. M., Fröhlich, J. & Armenio, V., 2018, Springer. (ERCOFTAC Series)

Research output: Book/ReportBook editingAcademic

44 Downloads (Pure)

Multi-Sensory Human-Food Interaction

Velasco, C. (ed.), Nijholt, A. (ed.) & Karunanayaka, K. (ed.), 1 Jul 2018, Lausanne: Frontiers Media S.A. 101 p.

Research output: Book/ReportBook editingAcademic

Open Access
File

Proceedings of the 13th International Conference on Software Technologies: July 26-28, 2018, in Porto, Portugal

Maciaszek, L. A. & van Sinderen, M. J., 28 Jul 2018, SCITEPRESS. 897 p.

Research output: Book/ReportBook editingAcademic

Software engineering
Engineers
Communication
Computer systems
Electronic equipment

Proceedings of the 15th International Joint Conference on e-Business and Telecommunications (Volume 2)

Callegari, C., van Sinderen, M., Novais, P., Sarigiannidis, P. G., Battiato, S., Serrano Sanches de Leon, A., Lorenz, P. & Obaidat, M. S., 2018, Setúbal: SCITEPRESS.

Research output: Book/ReportBook editingAcademic

Proceedings of the 3rd International Workshop on Multisensory Approaches to Human-Food Interaction (MHFI 2018)

Nijholt, A. (ed.), Velasco, C. (ed.), Obrist, M. (ed.), Okajima, K. (ed.) & Spence, C. (ed.), 16 Oct 2018, New York: Association for Computing Machinery (ACM). 59 p.

Research output: Book/ReportBook editingAcademic

Fragrances
Flavors
Communication

Proceedings of the 8th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA 2018)

Ceravolo, P. (ed.), Teresa Gómez López, M. (ed.) & Van Keulen, M. (ed.), Dec 2018, CEUR-WS.org. 77 p. (CEUR Workshop Proceedings; vol. 2270)

Research output: Book/ReportBook editingAcademic

Open Access
1 Downloads (Pure)

Software Technologies: 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Papers

Cabello, E., Cardoso, J. S., Maciaszek, L. A. & van Sinderen, M. J., 24 Jul 2018, Cham: Springer. 309 p. (Communications in computer and information science; vol. 868)

Research output: Book/ReportBook editingAcademic

2017

Digital Economy. Emerging Technologies and Business Innovation: Second International Conference, ICDEc 2017, Sidi Bou Said, Tunisia, May 4–6, 2017, Proceedings

Jallouli, R. (ed.), Zaïane, O. R. Z. (ed.), Bach Tobji, M. A. (ed.), Srarfi Tabbane, R. (ed.) & Nijholt, A. (ed.), 18 Jul 2017, Cham: Springer. 219 p. ( Lecture Notes in Business Information Processing; vol. 290)

Research output: Book/ReportBook editingAcademic

Emerging technologies
Business innovation
Tunisia
Technology innovation
Digital economy
68 Downloads (Pure)

Game Theory and Applications: 3rd Joint China-Dutch Workshop and 7th China Meeting, GTA 2016, Fuzhou, China, November 20-23, 2016, Revised Selected Papers

Li, D-F. (ed.), Yang, X-G. (ed.), Uetz, M. (ed.) & Xi, G-J. (ed.), 2017, Singapore: Springer. 369 p. (Communications in Computer and Information Science; vol. 758)

Research output: Book/ReportBook editingAcademic

Open Access
File

ICETE 2017: Proceedings of the 14th International Joint Conference on e-Business and Telecommunications

van Sinderen, M. J. (ed.), Obaidat, M. S. & Cabello, E., 26 Jul 2017, ICE-B ed. Madrid: SCITEPRESS.

Research output: Book/ReportBook editingAcademic

Markov Decision Processes in Practice

Boucherie, R. J. (ed.) & van Dijk, N. M. (ed.), 2017, Cham: Springer. (International Series in Operations Research & Management Science; vol. 248)

Research output: Book/ReportBook editingAcademic

decision process
textbook
art
modeling
method

MHFI’17: Proceedings of the 2nd ACM SIGCHI InternationalWorkshop on Multisensory Approaches to Human-Food Interaction

Velasco, C. (ed.), Nijholt, A. (ed.), Obrist, M. (ed.), Okajima, K. (ed.), Schifferstein, R. (ed.) & Spence, C. (ed.), 13 Nov 2017, New York: Association for Computing Machinery (ACM). 33 p.

Research output: Book/ReportBook editingAcademic

46 Downloads (Pure)

ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Katoen, J-P., Langerak, R. & Rensink, A., 2017, Springer. 390 p. (Lecture Notes in Computer Science; vol. 10500)

Research output: Book/ReportBook editingAcademic

Open Access
File
Birthday
Formal Methods
Festschrift
Mathematics
Language Modeling
47 Downloads (Pure)

Playable Cities: The City as a Digital Playground

Nijholt, A. (ed.), 2017, Singapore: Springer. 253 p. (Gaming Media and Social Effects)

Research output: Book/ReportBook editingAcademic

File
playground
city
art
sensor
public

Proceedings of the 7th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA 2017)

Ceravolo, P. (ed.), Van Keulen, M. (ed.) & Stoffel, K. (ed.), Dec 2017, CEUR-WS.org. 162 p. (CEUR Workshop Proceedings; vol. 2016)

Research output: Book/ReportBook editingAcademic

Open Access
Industry
Automation
2016

Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Abraham, E. (ed.) & Huisman, M. (ed.), Jun 2016, London: Springer. 538 p. (Lecture Notes in Computer Science; vol. 9681)

Research output: Book/ReportBook editingAcademic

Management and Security in the Age of Hyperconnectivity: 10th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2016, Munich, Germany, June 20-23, 2016, Proceedings

Badonnel, R. (ed.), Koch, R. (ed.), Pras, A. (ed.), Drašar, M. (ed.) & Stiller, B., 2016, Springer. (Lecture notes in computer science; vol. 9701)

Research output: Book/ReportBook editingAcademic

10 Downloads (Pure)

Operator Theory, Function Spaces, and Applications: International Workshop on Operator Theory and Applications, Amsterdam, July 2014

Eisner, T. (ed.), Jacob, B., Ran, A. (ed.) & Zwart, H. J. (ed.), 3 Oct 2016, Cham, Switzerland: Birkhauser. 233 p. (Operator Theory Advances and Applications; vol. 255)

Research output: Book/ReportBook editingAcademic

47 Downloads (Pure)

Proceedings of the 1st Workshop on Multi-Sensorial Approaches to Human-Food Interaction

Nijholt, A. (ed.), Velasco, C. (ed.), Huisman, G. (ed.) & Karunanayaka, K., 16 Nov 2016, New York, NY, USA: Association for Computing Machinery (ACM). 48 p.

Research output: Book/ReportBook editingAcademic

File
471 Downloads (Pure)

Requirements engineering: foundation for software quality

Daneva, M. (ed.) & Pastor, O. (ed.), 6 Mar 2016, London: Springer. 300 p. (Lecture Notes in Computer Science; vol. 9619, no. 6919)

Research output: Book/ReportBook editingAcademic

File
2015
52 Downloads (Pure)

Algorithms and Models for the Web Graph

Gleich, D. F., Komjathy, J. & Litvak, N. (ed.), 10 Dec 2015, Switzerland: Springer. 207 p. (Lecture Notes in Computer Science; vol. 9479, no. 9479)

Research output: Book/ReportBook editingAcademic

File

Direct and Large-Eddy Simulation IX

Fröhlich, J. (ed.), Kuerten, J. G. M. (ed.), Geurts, B. J. (ed.) & Armenio, V., 28 Jan 2015, Switserland: Springer. 656 p. (ERCOFTAC Series; vol. 20)

Research output: Book/ReportBook editingAcademic

19 Downloads (Pure)

More playful user interfaces: interfaces that invite social and physical interaction

Nijholt, A. (ed.), 18 May 2015, Singapore: Springer. 247 p. (Gaming media and social effects)

Research output: Book/ReportBook editingAcademic

User interfaces
Interfaces (computer)
Sensors
Actuators
Human computer interaction
27 Downloads (Pure)

Using neurophysiological signals that reflect cognitive or affective state

Brouwer, A-M., Zander, T. O. & van Erp, J. B. F. (ed.), 2015, Lausanne, Switzerland: Frontiers Media S.A. 316 p.

Research output: Book/ReportBook editingAcademic

File
2014
55 Downloads (Pure)

Entertaining the whole world

Cheok, A. D., Nijholt, A. (ed.) & Romão, T. (ed.), 1 Oct 2014, London: Springer. 156 p. (Human-Computer Interaction Series)

Research output: Book/ReportBook editingAcademic

Open Access
File
Entertainment
Creativity
Nepal
Developing world
World Wide Web
32 Downloads (Pure)

Fundamental Approaches to Software Engineering

Gnesi, S. (ed.) & Rensink, A. (ed.), Apr 2014, Berlin: Springer. 429 p. (Lecture Notes in Computer Science; vol. 8411)(Advanced Research in Computing and Software Science)

Research output: Book/ReportBook editingAcademic

Software engineering
15 Downloads (Pure)

Intelligent Technologies for Interactive Entertainment: 6th International Conference, INTETAIN 2014, Chicago, IL, USA, July 9-11, 2014. Proceedings

Reidsma, D. (ed.), Choi, I. (ed.) & Bargar, R. (ed.), Jul 2014, Berlin: Springer. 151 p. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; vol. 136)

Research output: Book/ReportBook editingAcademic

Open Access
File
Innovation

Playful User Interfaces: Interfaces that Invite Social and Physical Interaction

Nijholt, A. (ed.), 18 Feb 2014, Berlin: Springer. 352 p. (Gaming Media and Social Effects)

Research output: Book/ReportBook editingAcademic

User interfaces
Interfaces (computer)
Boring
Chemical elements
Mobile devices
38 Downloads (Pure)

Proceedings First International Workshop on Graphical Models for Security, GraMSec 2014, Grenoble, France, 12th April, 2014

Kordy, B. (ed.), Kordy, B., Mauw, S. (ed.), Mauw, S. & Pieters, W. (ed.), 12 Apr 2014, Ithaca, NY, USA: EPTCS.ORG. 93 p. (EPTCS; vol. 148)

Research output: Book/ReportBook editingAcademic

File

Proceedings of the 2014 7th IFIP Wireless and Mobile Networking Conference (WMNC)

Monteiro, E. (ed.), Curado, M. (ed.), Heijenk, G. (ed.), Braun, T. (ed.) & Granjal, J. (ed.), May 2014, USA: IEEE. 1 p.

Research output: Book/ReportBook editingAcademic

326 Downloads (Pure)

Social collective intelligence: combining the powers of humans and machines to build a smarter society

Miorandi, D. (ed.), Maltese, V., Rovatsos, M. (ed.), Nijholt, A. (ed.) & Stewart, J. (ed.), 17 Sep 2014, Heidelberg: Springer. 276 p. (Springer Series on Computational Social Sciences; vol. 5)

Research output: Book/ReportBook editingAcademic

File

Software Technologies - 8th International Joint Conference, ICSOFT 2013 : Revised Selected Papers

Cordeiro, J. (ed.) & van Sinderen, M. J. (ed.), 2014, Heidelberg: Springer. 321 p. (Communications in Computer and Information Science; vol. 457)

Research output: Book/ReportBook editingAcademic

Stochastic systems
Model checking
Stochastic models
Speech recognition
Computer science
2013
60 Downloads (Pure)

2nd Joint ERCIM eMobility and MobiSense Workshop

Dimitrova, D. C. (ed.), Brogle, M. (ed.), Braun, T. (ed.) & Heijenk, G. (ed.), Jun 2013, Bern, Switzerland: University of Bern. 71 p.

Research output: Book/ReportBook editingAcademic

File
12 Downloads (Pure)

Advances in Computer Entertainment: 10th International Conference, ACE 2013, Boekelo, The Netherlands, November 12-15, 2013. Proceedings

Reidsma, D. (ed.), Katayose, H. (ed.) & Nijholt, A. (ed.), 11 Nov 2013, London: Springer. 668 p. (Lecture Notes in Computer Science; vol. 8253)

Research output: Book/ReportBook editingAcademic

Open Access
File
Technical presentations
Information technology
Demonstrations

Emerging Management Mechanisms for the Future Internet: 7th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2013, Barcelona, Spain, June 25-28, 2013. Proceedings

Doyen, G. (ed.), Waldburger, M. (ed.), Čeleda, P. (ed.), Sperotto, A. (ed.) & Stiller, B. (ed.), 25 Jun 2013, Berlin: Springer. 200 p. (Lecture Notes in Computer Science; vol. 7943)

Research output: Book/ReportBook editingAcademic

11 Downloads (Pure)

Enterprise Interoperability: 5th International IFIP Working Conference, IWEI 2013, Enschede, The Netherlands, March 27-28, 2013. Proceedings

van Sinderen, M. (ed.), Oude Luttighuis, P. (ed.), Folmer, E. (ed.) & Bosems, S. (ed.), Mar 2013, Heidelberg: Springer. 224 p. (Lecture Notes in Business Information Processing; vol. 144)

Research output: Book/ReportBook editingPopular

Open Access
File
The Netherlands
Interoperability
Information services
Spain
Germany
2012
64 Downloads (Pure)

2012 IEEE Vehicular Networking Conference (VNC)

Altintas, O. (ed.), Chen, W., Heijenk, G. (ed.), Oh, H. S., Chung, J-M., Dressler, F. (ed.), Kargl, F. (ed.), Pau, G. & Schoch, E., 14 Nov 2012, USA: IEEE. 264 p. (CTIT Workshop Proceedings Series; no. WP 12-03)

Research output: Book/ReportBook editingAcademic

File
23 Downloads (Pure)

Advances in Computer Entertainment: 9th International Conference, ACE 2012, Kathmandu, Nepal, November 3-5, 2012. Proceedings

Nijholt, A. (ed.), Romão, T. (ed.) & Reidsma, D. (ed.), 12 Oct 2012, Heidelberg: Springer. 599 p. (Lecture Notes in Computer Science; vol. 7624)

Research output: Book/ReportBook editingAcademic

Open Access
File
Nepal
entertainment
art
computer science
anthropology
295 Downloads (Pure)

Cloud computing and services science

Ivanov, I. (ed.), van Sinderen, M. J. (ed.) & Shishkov, B. (ed.), 2012, London: Springer. 390 p. (Service Science: Research and Innovations in the Service Economy)

Research output: Book/ReportBook editingAcademic

File
20 Downloads (Pure)

Computational Humor 2012: extended abstacts of the (3rd international) Workshop on Computational Humor

Nijholt, A. (ed.), 8 Jun 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 41 p. (CTIT Workshop Proceedings; no. WP12-02)

Research output: Book/ReportBook editingAcademic

Open Access
File
humor
cognitive ability
Italy
Netherlands
interaction
21 Downloads (Pure)

Enterprise interoperability : 4th International IFIP Working Conference on Enterprise Interoperability, IWEI 2012, China, September 6-7, 2012 : proceedings

van Sinderen, M. J. (ed.), Johnson, P., Xu, X. & Doumeingts, G. (ed.), Sep 2012, London: Springer. 209 p. (Lecture Notes in Business Information Processing; vol. 122, no. 122)

Research output: Book/ReportBook editingAcademic

File
68 Downloads (Pure)

Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings

Stoelinga, M. (ed.) & Pinger, R. (ed.), Aug 2012, London: Springer. 221 p. (Lecture Notes in Computer Science; vol. 7437)

Research output: Book/ReportBook editingAcademic

Open Access
File
research and development
method
industry