Faculty of Science

Research Output

Research Output per year

1989 2020

• 287 Article
• 279 Conference article in proceeding
• 58 Chapter
• 33 Paper
• 159 More
  • 20 Review article
  • 18 Technical report
  • 17 Commissioned report
  • 17 Doctoral Thesis
  • 10 Abstract
  • 10 Poster
  • 10 Editorial
  • 8 Book
  • 8 Conference Abstract/Poster in journal
  • 7 Comment/Letter to the editor
  • 6 Book editing
  • 6 Conference Abstract/Poster in proceeding
  • 5 Inaugural speech
  • 5 Conference article in journal
  • 3 Foreword/postscript
  • 3 Book/Film/Article review
  • 3 Web publication/site
  • 1 Deliverable
  • 1 Entry for encyclopedia/dictionary
  • 1 Literature review

Research Output per year

Research Output per year

Search results

• 2020

  ÆGIS: Shielding Vulnerable Smart Contracts Against Attacks

  Ferreira Torres, C., Baden, M., Norvill, R., Borja Fiz Pontiveros, B., Jonker, H. L. & Mauw, S., Oct 2020, ASIA CCS '20: Proceedings of the 15th ACM Asia Conference on Computer and Communications Security. New York, NY: Association for Computing Machinery (ACM), p. 584-597 14 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

• Aligning Effectively: The Case of Electronic Medical Records

  Walraven, P., van de Wetering, R., Helms, R. W. & Caniëls, M. C. J., Jun 2020, Proceedings of the 28th European Conference on Information Systems (ECIS): An Online AIS Conference, June 15-17, 2020. online: Association for Information Systems, 16 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  • Electronic Health Records
  • Focus Groups
  • Lenses

• An Evaluation of the Intuitiveness of the PGA Modeling Language Notation

  Roelens, B. F. C. & Bork, D., 2020, Enterprise, Business-Process and Information Systems Modeling: 21st International Conference, BPMDS 2020, 25th International Conference, EMMSAD 2020, Held at CAiSE 2020, Grenoble, France, June 8–9, 2020, Proceedings. Nurcan, S., Reinhartz-Berger, I., Soffer, P. & Zdravkovic, J. (eds.). Cham: Springer Nature Switzerland AG, p. 395-410 16 p. (Lecture Notes in Business Information Processing, Vol. 387).

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  Open Access

  • Modeling languages
  • Industry
  • Testing

• Applying Scrum in Data Science Projects

  Baijens, J., Helms, R. W. & Iren, D., 2020, 2020 IEEE 22nd Conference on Business Informatics (CBI 2020). Guédria, W., Proper, H. A., Verelst, J., Hacks, S., Timm, F., Sandkuhl, K., Fellmann, M., Serapiao, G., Payan, M., Komarov, M., Maltseva, S., Uskenbayeva, R., Nazarov, D., Ge, M., Helfert, M. & Ehrlinger, L. (eds.). Danvers, MA: Institute of Electrical and Electronics Engineers Inc., Vol. 2. p. 30-38 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  • Data Science
  • Software engineering
  • Big data
  • Decision making

• A Reference Model for a Service Level Agreement: In domain of Information Sharing Services

  Hofman, C. C. & Roubtsova, E. E., 2020, Business Modeling and Software Design: 10th International Symposium, BMSD 2020, Berlin, Germany, July 6-8, 2020, Proceedings. Shishkov, B. (ed.). Cham: Springer Nature Switzerland AG, p. 55-68 14 p. (Lecture Notes in Business Information Processing, Vol. 391).

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  • Service Level Agreement
  • Reference Model
  • Information Sharing

• Assessing the Quality of Evolving Haskell Systems by Measuring Structural Inequality

  Kamps, S., Heeren, B. & Jeuring, J., Aug 2020, Haskell 2020: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell. New York, NY, USA: Association for Computing Machinery, p. 67–79 13 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  • Defects
  • Degradation

• Automated feedback for mathematical learning environments

  Heeren, B. & Jeuring, J., 2020, Proceedings of the 14th International Conference on Technology in Mathematics Teaching – ICTMT 14: Essen, Germany, 22nd to 25th of July 2019, University of Duisburg-Essen. Barzel, B., Bebernik, R., Göbel, L., Pohl, M., Ruchniewicz, H., Schacht, F. & Thurm, D. (eds.). Essen, Germany: University of Duisburg-Essen, p. 17-25 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  Open Access

  • Feedback
  • Education
  • Students

• Concepts for Comparison in Models to Support Decision Making

  Roubtsova, E. E. & Bosua, R., 2020, Business Modeling and Software Design: 10th International Symposium, BMSD 2020, Berlin, Germany, July 6-8, 2020, Proceedings. Shishkov, B. (ed.). Cham: Springer, p. 266-275 10 p. (Lecture Notes in Business Information Processing, Vol. 391).

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  • Decision making
  • Decision Making
  • Industry
  • Business Process
  • Business Concept

• Data Analytics Project Methodologies: Which one to choose?

  Baijens, J., Helms, R. W. & Kusters, R., 2020, ICBDM 2020: Proceedings of the 2020 International Conference on Big Data in Management. ACM Digital Library, 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  • Data Analytics
  • Methodology
  • Big Data
  • Expected Value
  • Grouping

• Discourje: Runtime Verification of Communication Protocols in Clojure

  Hamers, R. & Jongmans, S-S., 2020, Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I. Biere, A. & Parker, D. (eds.). Cham: Springer Open, p. 266-284 19 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12078). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12078).

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  Open Access

• Dynamic Enterprise Architecture Capabilities and Organizational Benefits: An empirical mediation study

  Van de Wetering, R., 2020, Proceedings of the Twenty-Eigth European Conference on Information Systems (ECIS2020): ECIS 2020 Research Papers. AIS Electronic Library, p. 1-18 18 p. 93

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  • Enterprise Architecture
  • Mediation
  • Business Transformation
  • Theory Building
  • Strategic Objectives

• Dynamic Process Synchronization using BPMN 2.0 to Support Buffering and (Un)Bundling in Manufacturing

  Traganos, K., Spijkers, D., Grefen, P. W. P. J. & Vanderfeesten, I. T. P., 2020, Business Process Management Forum: BPM Forum 2020, Seville, Spain, September 13–18, 2020, Proceedings. Fahland, D., Ghidini, C., Becker, J. & Dumas, M. (eds.). Cham: Springer Nature Switzerland AG, p. 18-34 17 p. (Lecture Notes in Business Information Processing, Vol. 392).

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

• Exploring New Opportunities for Mental Healthcare Through the Internet of Things (IoT)

  Folkerts, G. B., van de Wetering, R., Bosua, R. & Helms, R. W., 2020, Health Information Science: 9th International Conference, HIS 2020, Amsterdam, The Netherlands, October 20–23, 2020, Proceedings. Huang, Z., Siuly, S., Wang, H., Zhou, R. & Zhang, Y. (eds.). Cham: Springer Nature Switzerland AG, p. 35-46 12 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12435). (Information Systems and Applications, incl. Internet/Web, and HCI, Vol. 12435).

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  • Internet of things
  • Health

• Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types

  Jongmans, S-S. & Yoshida, N., 2020, Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. Müller, P. (ed.). Cham: Springer Open, p. 251-279 29 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12075). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12075).

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  Open Access

  • Chemical analysis

• File Fragmentation in the Wild: A Privacy-Friendly Approach

  van der Meer, V., Jonker, H., Dols, G., van Beek, H., van den Bos, J. & van Eekelen, M., 16 Mar 2020, 2019 IEEE International Workshop on Information Forensics and Security (WIFS): Proceedings . Delft: IEEE, p. 1-6 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  • Fragmentation
  • Privacy
  • Volunteers
  • Obligation

• Highly Automated Formal Proofs over Memory Usage of Assembly Code

  Verbeek, F., Bockenek, J. & Ravindran, B., 2020, Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II. Biere, A. & Parker, D. (eds.). Cham: Springer Open, p. 98-117 20 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12079).

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  Open Access

  • Program assemblers
  • Data storage equipment
  • Theorem proving
  • Flow control
  • Data structures

• History-Based Specification and Verification of Java Collections in KeY

  Hiep, H-D. A., Bian, J., Boer, F. S. D. & Gouw, S. D., 13 Nov 2020, Integrated Formal Methods : 16th International Conference, IFM 2020. Dongol, B. & Troubitsyna, E. (eds.). Lugano, Switzerland: Springer, p. 199-217 19 p. (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  • Specifications

• Hybrid Analysis of BPEL Models with Grammars

  Jager, E. D. & Gouw, S. D., 2020, Proceedings of the SOFSEM 2020 Doctoral Student Research Forum co-located with the 46th International Conference on Current Trends in Theory and Practice of Computer Science : SOFSEM-SRF 2020. Manolopoulos, Y., Papadopoulos, G. A. & Tzouramanis, T. (eds.). Limassol, Cyprus: CEUR-WS.org, Vol. 2568. p. 73-84 12 p. (CEUR Workshop Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  Open Access

  • Taxation
  • Industry
  • Web services
  • Network protocols

• Identification of IT-Needs to Cope with Dynamism in Collaborative Networked Organizations—A Case Study

  van den Heuvel, R., van de Wetering, R., Bos, R. & Trienekens, J. J. M., 2020, Digital Business Transformation: Organizing, Managing and Controlling in the Information Age. Agrifoglio, R., Lamboglia, R., Mancini, D. & Ricciardi, F. (eds.). Cham: Springer Nature Switzerland AG, p. 219-236 18 p. (Lecture Notes in Information Systems and Organisation, Vol. 38).

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  • Dynamism
  • Network Dynamics
  • Dynamic Markets
  • Literature Review
  • Management System

• Improving Agility Through Enterprise Architecture Management: The Mediating Role of Aligning Business and IT

  Pattij, M. M., van de Wetering, R. & Kusters, R. J., 2020, AMCIS 2020 Proceedings: the 26th Americas Conference on Information Systems. Association for Information Systems, 10 p. 3

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  Open Access

  • Enterprise Architecture Management
  • Organizational Agility
  • Agility
  • Alignment
  • Cluster Analysis

• KPI Design as a Simulation Project

  Roubtsova, E. E., Sep 2020, Proceedings of the 32nd European Modeling & Simulation Symposium (EMSS 2020). Affenzeller, M., Bruzzone, A. G., Longo, F. & Petrillo, A. (eds.). Cal-Tek, p. 120-129 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  Open Access

  • Requirements engineering
  • Personnel
  • Industry
  • Experiments

• Preventing Algorithmic Bias in the Development of Algorithmic Decision-Making Systems: A Delphi Study

  Aysolmaz, B., Iren, D. & Dau, N., 7 Jan 2020, Proceedings of the 53rd Hawaii International Conference on System Sciences, 2020. Honolulu: HICSS, p. 5267-5276 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  Open Access

  • Decision making
  • Industry

• Real-Time Multimodal Feedback with the CPR Tutor

  Di Mitri, D., Schneider Barnes, J., Trebing, K., Sopka, S., Specht, M. M. & Drachsler, H. J., 30 Jun 2020, Artificial Intelligence in Education: 21st International Conference, AIED 2020, Ifrane, Morocco, July 6–10, 2020, Proceedings, Part I. Bittencourt, I. I., Cukurova, M., Muldner, K., Luckin, R. & Millán, E. (eds.). Cham: Springer International Publishing, Vol. 1. p. 141-152 12 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12163). (Lecture Notes in Artificial Intelligence (subseries), Vol. 12163).

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  Open Access

  • Resuscitation
  • Feedback
  • Recurrent neural networks
  • Time series
  • Kinematics

• Reference Model for Generic Capabilities in Maturity Models

  Merkus, J., Helms, R. W. & Kusters, R., Sep 2020, ICIME 2020: Proceedings of the 2020 12th International Conference on Information Management and Engineering. New York, NY: Association for Computing Machinery (ACM), p. 10-17 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  • Maturity Model
  • Reference Model
  • Information Systems
  • Sorting
  • Readiness

• Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project

  Jongmans, S-S. & Hamers, R. R., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles. Margaria, T. & Steffen, B. (eds.). Cham: Springer Nature Switzerland AG, p. 489-508 10 p. (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  • project
  • bug
  • library
  • communication
  • monitoring

• Shepherd: A Generic Approach to Automating Website Login

  Jonker, H. L., Karsch, S., Krumnow, B. & Sleegers, M., 2020, Proceedings MADWeb 2020: Workshop on Measurements, Attacks, and Defenses for the Web, February 23, 2020, San Diego, California. Reston: Internet Society, 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  Open Access

  • Websites
  • Testing
  • World Wide Web
  • Gages

• Softmax Recurrent Unit: A new type of RNN cell

  Vos, L. L. & van Laarhoven, T. M., Oct 2020, ESANN 2020 proceedings: 28th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. Bruges, Belgium: European Symposium on Artificial Neural Networks, p. 309-314 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  Open Access

  • Recurrent neural networks
  • Experiments

• Sound C Code Decompilation for a Subset of x86-64 Binaries

  Verbeek, F., Olivier, P. & Ravindran, B., 2020, Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings. de Boer, F. & Cerone, A. (eds.). Cham: Springer Nature Switzerland AG, p. 247-264 18 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12310). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12310).

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  • Formal methods
  • Acoustic waves
  • Virtual machine
  • Process control
  • Recovery

• Tandem: Securing Keys by Using a Central Server While Preserving Privacy

  Lueks, W., Hampiholi, B., Alpár, G. & Troncoso, C., 17 Aug 2020, Proceedings on Privacy Enhancing Technologies. Chatzikokolakis, K. & Johnson, A. (eds.). 3 ed. Sciendo, Vol. 2020. p. 327-355 29 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  Open Access

  • Servers
  • Smartphones
  • Network protocols

• The Value Management Platform and ArchiMate –Towards an Integration? An Illustrative Example for Value Stream Mapping

  Poels, G., Nollet, K., Roelens, B. F. C., de Man, H. & van Donge, T., 17 Mar 2020, VMBO 2020: Proceedings of 14th International Workshop on Value Modelling and Business Ontologies. Roelens, B., Laurier, W., Poels, G. & Weigand, H. (eds.). Brussels, Belgium: CEUR-WS, p. 139-148 10 p. (CEUR Workshop Proceedings (CEUR-WS.org), Vol. 2574).

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  Open Access

  • Industry
  • Specifications
  • Planning

• To Be or Not to Be a Teacher? Exploring CS Students’ Perceptions of a Teaching Career

  Yeni, S., Aivaloglou, E. & Hermans, F., Nov 2020, Koli Calling '20: Proceedings of the 20th Koli Calling International Conference on Computing Education Research. New York, NY: Association for Computing Machinery (ACM), p. 1-11 11 p. 11

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  • computer science
  • career
  • Teaching
  • teacher
  • teacher shortage

• Towards a Framework for Data Analytics Governance Mechanisms

  Baijens, J., Helms, R. W. & Velstra, T., 2020, Proceedings of the 28th European Conference on Information Systems (ECIS2020). AIS Electronic Library, 16 p. 81

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  • Data Analytics
  • Governance Mechanisms
  • Governance
  • IT Governance
  • Literature Review

• Towards a Viable System Model-based Organizing Logic for IT Governance

  Huygh, T. & De Haes, S., 2020, Proceedings of International Conference on Information Systems ICIS 2020: ICIS 2020 PROCEEDINGS. Hyderabad, India: AIS Electronic Library, 2211

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  • Viable System Model
  • IT Governance
  • Organizing
  • Logic
  • IT Business Value

• Verifying OpenJDK's LinkedList using KeY

  Hiep, H-D. A., Maathuis, O., Bian, J., Boer, F. S. D., Eekelen, M. C. J. D. V. & Gouw, S. D., 17 Apr 2020, TACAS 2020: Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software. Biere, A. & Parker, D. (eds.). Cham: Springer, p. 217-234 18 p. (Lecture Notes in Computer Science, Vol. 12079). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12079).

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  Open Access

  • Formal verification
  • Specifications
• 2019

  A Data-Driven Exploration of Hypotheses on Disease Dynamics

  Bueno, M. L. P., Hommersom, A., Lucas, P. J. F. & Janzing, J., 30 May 2019, Artificial Intelligence in Medicine: 17th Conference on Artificial Intelligence in Medicine, AIME 2019, Poznan, Poland, June 26–29, 2019, Proceedings. Riaño, D., Wilk, S. & ten Teije, A. (eds.). Cham: Springer International Publishing AG, p. 170-179 10 p. (Lecture Notes in Computer Science (LNCS), Vol. 11526).

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  • Unsupervised learning
  • Hidden Markov models

• Analysis of SLA Compliance in the Cloud: An Automated, Model-based Approach

  Boer, F. S. D., Giachino, E., Gouw, S. D., Hähnle, R., Johnsen, E. B., Laneve, C., Pun, K. I. & Zavattaro, G., 2019, Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution : Amsterdam, Netherlands, 17th July 2018. Ancona, D. & Pace, G. (eds.). Open Publishing Association, Vol. 302. p. 1-15 15 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  Open Access

  • Static analysis
  • Information technology
  • Compliance
  • Software engineering

• Analytic Pattern and Tool for Analysis of a Gap of Changes in Enterprise Architectures

  Dijkstra, R. & Roubtsova, E. E., 2019, Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering: May 4-5, 2019, in Heraklion, Crete, Greece. E. D., G. S. & L. M. (eds.). Heraklion, Crete, Greece: SCITEPRESS-Science and Technology Publications, Lda., p. 226-233

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  Open Access

  • Industry

• A Pattern Language for Value Modeling in ArchiMate

  Sales, T. P., Roelens, B. F. C., Poels, G., Guizzardi, G., Guarino, N. & Mylopoulos, J., 29 May 2019, Advanced Information Systems Engineering: 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings. Giorgini, P. & Weber, B. (eds.). Cham: Springer, p. 230-245 16 p. (Lecture Notes in Computer Science, Vol. 11483).

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  Open Access

  File

  • Ontology
  • Industry
  • Demonstrations
  • Costs
  69 Downloads (Pure)

• Autism: Implications for Inclusive Education with respect to Software Engineering

  Stuurman, S., Passier, H. J. M., Geven, F. & Barendsen, E., Nov 2019, CSERC '19: Proceedings of the 8th Computer Science Education Research Conference. Rahimi, E. & Stikkolorum, D. (eds.). 1 ed. New York, NY: Association for Computing Machinery (ACM), p. 15-25 11 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  Open Access

  File

  • Education
  • Software engineering
  • Students
  • Computer science
  • Engineers
  108 Downloads (Pure)

• Automated feedback on the structure of hypothesis tests

  Tacoma, S. G., Heeren, B. J., Jeuring, J. T. & Drijvers, P., 2019, Proceedings of the Eleventh Congress of the European Society for Research in Mathematics Education. Jankvist, U. T., van den Heuvel-Panhuizen, M. & Veldhuis, M. (eds.). Freudenthal Group & Freudenthal Institute, Utrecht University and ERME, p. 2969-2976 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  Open Access

  • testing procedure
  • hypothesis testing
  • university statistics
  • student
  • homework

• Automated feedback on the structure of hypothesis tests

  Tacoma, S., Heeren, B., Jeuring, J. & Drijvers, P., 21 Jun 2019, Artificial Intelligence in Education: 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part II. Isotani, S., Millán, E., Ogan, A., Hastings, P., McLaren, B. & Luckin, R. (eds.). Cham: Springer, p. 281-285 5 p. (Science of Computer Programming, Vol. 11626).

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  • hypothesis testing
  • student
  • university statistics
  • testing procedure
  • Group

• Big Data is Power: Business Value from a Process Oriented Analytics Capability

  Van de Wetering, R., Mikalef, P. & Krogstie, J., 2019, Business Information Systems Workshops: BIS 2018 International Workshops, Berlin, Germany, July 18–20, 2018, Revised Papers. Abramowicz, W. & Paschke, A. (eds.). 1 ed. Cham: Springer International Publishing AG, p. 468-480 13 p. (Lecture Notes in Business Information Processing, Vol. 339).

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

• Board IT competence and firm performance

  Joshi, A., van Peteghem, M., Mithas, S., Bollen, L. & De Haes, S., Dec 2019, International Conference on Information Systems (ICIS) 2019 Proceedings. AIS Electronic Library

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic

  • Firm Performance
  • Board Composition
  • Competency
  • Company Value
  • Assets

• Building a Generic Feedback System for Rule-Based Problems

  Naus, N. & Jeuring, J. T., 21 Feb 2019, Trends in Functional Programming: 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers. Van Horn, D. & Hughes, J. (eds.). Cham: Springer, p. 172-191 20 p. (Lecture Notes in Computer Science, Vol. 10447).

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  • DSL
  • Feedback

• Business-IT Alignment Improvement in Co-creation Value Networks: Design of a Reference Model-Based Support

  Bagheri, S., Kusters, R., Trienekens, J. & Grefen, P. W. P. J., 2019, Business Information Systems Workshops: BIS 2018 International Workshops, Berlin, Germany, July 18–20, 2018, Revised Papers. Abramowicz, W. & Paschke, A. (eds.). Springer Nature Switzerland AG, p. 143–155 (Lecture Notes in Business Information Processing, Vol. 339).

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  • Industry

• Categories of Research Methods and Types of Research Results Illustrated with a Continuous Project

  Roubtsova, E. E., 2019, Proceedings of the 21st International Conference on Enterprise Information Systems (ICEIS 2019) - Volume 2. Vol. 2. p. 634-641 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  • Research Methods
  • Enterprise Architecture
  • Guidance

• Continuous Piloting of an Open Source Test Automation Tool in an Industrial Environment

  Aho, P., Vos, T. E. J., Ahonen, S., Piirainen, T., Moilanen, P. & Pastor Ricos, F., 2019, Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019): áceres, septiembre de 2019. Pérez-Benedí, J. (ed.). Sistedes, p. 1-4 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  Open Access

  • Automation
  • Feedback

• Critical success factors of continuous practices in a DevOps context

  Van Belzen, M., Trienekens, J. & Kusters, R., 2019, Information Systems Development: Information Systems Beyond 2020 (ISD2019 Proceedings). Siarheyev, A., Barry, C., Lang, M., Linger, H. & Schneider, C. (eds.). Toulon, France: ISEN Yncréa Méditerranée, 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  Open Access

  • Industry

• Data Governance and Information Governance: Set of Definitions in Relation to Data and Information as Part of DIKW

  Merkus, J., Helms, R. & Kusters, R., 4 May 2019, Proceedings of the 21st International Conference on Enterprise Information Systems - (Volume 2): May 3-5, 2019, in Heraklion, Crete, Greece. Filipe, J., Smialek, M., Brodsky, A. & Hammoudi, S. (eds.). 5 ed. INSTICC Press, Vol. 2. p. 143-154 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  Open Access

  • Governance
  • Multiple Use
  • Literature Review
  • Chaos
  • Peers

• Deep in the Dark: A Novel Threat Detection System using Darknet Traffic

  Kumar, S., Vranken, H. P. E., van Dijk, J. & Hämäläinen, T., Dec 2019, 2019 IEEE International Conference on Big Data. Los Angeles, USA: IEEE, p. 4273-4279 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

  • Machine learning
  • Classifiers
  • Botnet
  • Sensor networks
  • Detectors