Faculty of Science

Research output

Research output per year 1989 2015 2016 2017 2018 2019 2020 2021 2022 2023

• 460 Article
• 401 Conference Article in proceeding
• 83 Chapter
• 78 Paper
• 294 More
  • 36 Abstract
  • 30 Technical report
  • 30 Poster
  • 29 Commissioned report
  • 26 Review article
  • 25 Doctoral Thesis
  • 20 Editorial
  • 11 Conference Abstract/Poster in proceeding
  • 11 Comment/Letter to the editor
  • 10 Conference Abstract/Poster in journal
  • 9 Book editing
  • 8 Web publication/site
  • 7 Conference Article in journal
  • 6 Inaugural speech
  • 5 Book
  • 5 Deliverable
  • 5 Preprint
  • 3 Other report (internal)
  • 3 Foreword/postscript
  • 3 Book/Film/Article review
  • 3 Special issue
  • 3 Software
  • 2 Working paper
  • 1 Entry for encyclopedia/dictionary
  • 1 Literature review
  • 1 Digital or Visual Products
  • 1 Discussion paper

Research output per year

Research output per year

Search results

• 2023

  A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests

  Schmid, T., Kappé, T. & Silva, A., 17 Apr 2023, Programming Languages and Systems: 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings. Wies, T. (ed.). Springer, p. 309-336 28 p. (Lecture Notes in Computer Science (LNCS), Vol. 13990).

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

  Open Access

  • Kleene Algebra 100%
  • Free Algebras 85%
  • Axiomatization 39%
  • Fragment 23%
  • Completeness 10%

• Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

  Kappé, T. W. J., 2023, Relational and Algebraic Methods in Computer Science. Glück, R., Santocanale, L. & Winter, M. (eds.). Springer, p. 158-175 18 p. (Lecture Notes in Computer Science book series, Vol. 13896).

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

  Open Access

  • Algebra 100%
  • Derivatives 13%

• GLUE: Generalizing Unbounded Attribute-Based Encryption for Flexible Efficiency Trade-Offs

  Venema, M. & Alpár, G., 2 May 2023, Public-Key Cryptography – PKC 2023. Boldyreva, A. & Kolesnikov, V. (eds.). Cham: Springer Nature Switzerland AG, Vol. 13940. p. 652-682 31 p. (Lecture Notes in Computer Science (LNCS), Vol. 13940).

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

  • Cryptography 100%

• Interpretable Explainability for Face Expression Recognition

  Shingjergi, K., Iren, Y. D., Klemke, R., Urlings, C. C. J. & Böttger, F., 16 Mar 2023, Heterodox Methods for Interpretable and Efficient Artificial Intelligence, 2022. Zenodo, 10 p.

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

  Open Access

  File
  33 Downloads (Pure)

• IT Project Portfolio Management: Development and Validation of a Reference Model

  Wissenburg, R., Kusters, R. J. & Martin, H. H., 10 May 2023, Proceedings of the 25th International Conference on Enterprise Information Systems - (Volume 1). Felipe, J., Smialek, M. & Hammoudi, S. (eds.). Lissabon: SCITEPRESS-Science and Technology Publications, Lda., Vol. 1. p. 202-211

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

  • Project management 100%
  • Industry 10%
• 2022

  Algorithmic Decision Making and Model Explainability Preferences in the Insurance Industry: A Delphi Study

  Schotman, E. & Iren, Y. D., 15 Nov 2022, 2022 IEEE 24th Conference on Business Informatics (CBI). IEEE, 7 p.

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

  • insurance industry 100%
  • transparency 66%
  • insurance 49%
  • decision making 48%
  • conflict 18%

• An agent-based approach to automated game testing: an experience report

  Prasetya, I. S. W. B., Ricós, F. P., Kifetew, F. M., Prandi, D., Shirzadehhajimahmood, S., Vos, T. E. J., Paska, P., Hovorka, K., Ferdous, R., Susi, A. & Davidson, J., 9 Nov 2022, A-TEST 2022: Proceedings of the 13th International Workshop on Automating Test Case Design, Selection and Evaluation. Akos Kiss, Beatriz Marin & Mehrdad Saadatmand (eds.). ACM Digital Library, p. 1-8

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

  • Testing 100%
  • Computer games 96%
  • Intelligent agents 44%
  • Engineers 27%

• API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3

  Cledou, G., Edixhoven, L., Jongmans, S-S. & Proença, J., Jun 2022, 36th European Conference on Object-Oriented Programming: ECOOP 2022. K. A. & J. V. (eds.). Schloss Dagstuhl - LZI GmbH, Vol. 222. p. 27:1-27:28 28 p. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 222).

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

  Open Access

• Artificial Intelligence Ambidexterity, Adaptive Transformation Capability, and Their Impact on Performance Under Tumultuous Times

  van de Wetering, R., Mikalef, P. & Dennehy, D., Sept 2022, The Role of Digital Technologies in Shaping the Post-Pandemic World: 21st IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2022, Newcastle upon Tyne, UK, September 13–14, 2022, Proceedings. Springer, p. 25-37 13 p. (Lecture Notes in Computer Science, Vol. 13454).

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

  • Ambidexterity 100%
  • Artificial Intelligence 85%
  • Structural Equation Model 32%
  • Performance 31%
  • Survey Data 27%

• Branching Pomsets for Choreographies

  Edixhoven, L., Jongmans, S-S., Proença, J. & Cledou, G., 9 Aug 2022, Proceedings 15th Interaction and Concurrency Experience: ICE'22. C. A., C. D. G. & L. S. A. A. S. (eds.). Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 356. p. 37-52 16 p. (Electronic proceedings in theoretical computer science, Vol. 356).

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

  Open Access

  • Semantics 100%

• Can Math Be a Bottleneck? Exploring the Mathematics Perceptions of Computer Science Students

  Alpár, G., Yeni, S., Aivaloglou, E. & Hermans, F., 11 May 2022, Proceedings of the IEEE Global Engineering Education Conference (EDUCON 2022). Kallel, I., Kammoun, H. & Hsairi, L. (eds.). IEEE, p. 217-225 9 p.

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

  • computer science 100%
  • mathematics 77%
  • student 28%
  • triangulation 15%
  • engineering science 15%

• CLIPCAM: A Simple Baseline For Zero-Shot Text-Guided Object And Action Localization

  Hsia, H-A., Lin, C-H., Kung, B-H., Chen, J-T., Tan, D. S., Chen, J-C. & Hua, K-L., May 2022, IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). IEEE, p. 4453-4457 5 p.

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

  • Computer aided manufacturing 100%
  • Deep learning 80%
  • Detectors 70%
  • Semantics 61%
  • Costs 34%

• Comparing Neural Networks for Speech Emotion Recognition in Customer Service Interactions

  Henkel, A. P., Bromuri, S. & Waelbers, B. M. L., 30 Sept 2022, 2022 International Joint Conference on Neural Networks ( IJCNN). IEEE, p. 1-8 8 p.

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

  • Speech recognition 100%
  • Classifiers 75%
  • Neural networks 64%
  • Multilayer neural networks 36%
  • Network architecture 33%

• Conceptualising immersive multimodal environments for psychomotor skills training

  Mat Sanusi, K. A., Iren, Y. D. & Klemke, R., 18 Jan 2022, European Association of Technology Enhanced Learning (EATEL) 2021: EC-TEL Doctoral Consortium. Fominykh, M. & Aristeidou, M. (eds.). CEUR-WS.org, p. 89-95 7 p.

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

  Open Access

  • Feedback 100%
  • Sensors 81%

• Conditional Independence for Iterated Belief Revision

  Kern-Isberner, G., Heyninck, J. L. A. & Beierle, C., 23 Jul 2022, Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI-22). L. D. R. (ed.). International Joint Conferences on Artificial Intelligence, p. 2690-2696 7 p.

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

  Open Access

  • Syntactics 100%
  • Semantics 66%

• Constraint Formalization for Automated Assessment of Enterprise Models

  Joosten, S. M. M., Roubtsova, E. E. & Haddouchi, E. M., 25 Apr 2022, Proceedings of the 24th International Conference on Enterprise Information Systems . Filipe, J., Smialek, M. & Hammoudi, S. (eds.). SCITEPRESS-Science and Technology Publications, Lda., Vol. 2. p. 430-441 12 p.

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

  Open Access

  File

  • Formalization 100%
  • Modeling 55%
  • Enterprise Modeling 24%
  • Violations 18%
  • Language Modeling 14%
  15 Downloads (Pure)

• Data analytics and SMEs: how maturity improves performance

  Baijens, J., Bollen, L. & Helms, R. W., 15 Nov 2022, Proceedings of IEEE 24th Conference on Business Informatics (CBI 2022). IEEE Computer Society Press, p. 31-39 9 p.

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

  • Small and Medium-sized Enterprises (SMEs) 100%
  • Data Analytics 81%
  • Maturity 53%
  • Performance 24%
  • Organizational Performance 19%

• Elysium: Context-Aware Bytecode-Level Patching to Automatically Heal Vulnerable Smart Contracts

  Ferreira Torres, C., Jonker, H. L. & State, R., 26 Oct 2022, RAID '22: Proceedings of the 25th International Symposium on Research in Attacks, Intrusions and Defenses. Association for Computing Machinery (ACM), p. 115-128 14 p.

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

  Open Access

• Evolutionary Scriptless Testing

  Hufkens, L. V., 14 May 2022, Research Challenges in Information Science. Guizzardi, R., Ralyté, J. & Franch, X. (eds.). Cham: Springer International Publishing, p. 779--785 7 p. (Lecture Notes in Business Information Processing, Vol. 446).

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

  • Testing 100%
  • Mathematical operators 59%
  • Evolutionary algorithms 59%

• Experts’ evaluation of a proposed taxonomy for immersive learning systems

  Mat Sanusi, K. A., Iren, Y. D. & Klemke, R., 22 Nov 2022, Games and Learning Alliance Conference, 2022: 11th International Conference, GALA 2022, Tampere, Finland, November 30 - December 2, 2022. Kiili, K., Antti, K., de Rosa, F., Dindar, M. & Kickmeier-Rust, M. (eds.). Springer International Publishing, p. 1-10 11 p. (Lecture Notes in Computer Science book series).

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

  • Taxonomies 100%
  • Learning systems 97%
  • Virtual reality 11%
  • Feedback 8%

• Explaining Argument Acceptance in ADFs

  Rienstra, T., Heyninck, J. L. A., Kern-Isberner, G., Skiba, K. & Thimm, M., 2022, 1st International Workshop on Argumentation for eXplainable AI (ArgXAI, co-located with COMMA ’22). Kristijonas Čyras, Timotheus Kampik, Oana Cocarascu & Antonio Rago (eds.). CEUR-WS.org, Vol. 3209. 12 p. (CEUR Workshop Proceedings, Vol. 3209).

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

  Open Access

• Footprint Logic for Object-Oriented Components

  Boer, F. S. D., Gouw, S. D., Hiep, H-D. A. & Bian, J., 2 Nov 2022, Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings. Tarifa, S. L. T. & Proença, J. (eds.). 1 ed. cham: Springer, Vol. 13712. p. 141-160 20 p. (Lecture Notes in Computer Science).

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

• Formal Specification and Verification of JDK's Identity Hash Map Implementation

  Boer, M. D., Gouw, S. D., Klamroth, J., Jung, C., Ulbrich, M. & Weigl, A., 1 Jun 2022, Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings. Beek, M. H. T. & Monahan, R. (eds.). Cham: Springer, Vol. 13274. p. 45-62 18 p. (Lecture Notes in Computer Science).

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

• GIPPY: Game for Introductory Programming Practice in Python

  Lapeña, A., Marin, B. & Vos, T., Mar 2022, INTED2022: 16th International Technology, Education and Development Conference Proceedings. Luis Gómez Chova, Agustín López Martínez & Ignacio Candel Torres (eds.). Valencia, Spain: IATED, p. 5598-5606 (INTED Proceedings).

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

  • Students 100%
  • Gamification 59%
  • Computer programming languages 41%
  • Teaching 19%
  • Industry 9%

• Gradient-Descent for Randomized Controllers Under Partial Observability

  Heck, L., Spel, J., Junges, S., Moerman, J. & Katoen, J-P., 2022, Verification, model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022 Philadelphia, PA, USA, January 16–18, 2022 Proceedings. Finkbeiner, B. & Wies, T. (eds.). 1 ed. Springer, p. 127-150 24 p. (Lecture Notes in Computer Science, Vol. 13182). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 13182).

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

  • Observability 100%
  • Markov chains 88%
  • Controllers 48%
  • Machine learning 22%

• How EA Information Drives Digital Transformation: A Multiple Case Study and Framework

  Grave, F., van de Wetering, R. & Kusters, R. J., 15 Nov 2022, Proceedings of the 2022 IEEE 24th Conference on Business Informatics (CBI). Amsterdam: IEEE, Vol. 2. p. 176-185 10 p.

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

  • Industry 100%
  • Information use 32%

• How gullible are web measurement tools? a case study analysing and strengthening OpenWPM's reliability

  Krumnow, B., Jonker, H. L. & Karsch, S., 30 Nov 2022, CoNEXT '22: Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies. Giuseppe Bianchi & Alessandro Mei (eds.). New York: Association for Computing Machinery (ACM), p. 171-186 16 p.

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

• IMPECT-Sports: Using an Immersive Learning System to Facilitate the Psychomotor Skills Acquisition Process

  Sanusi, K. A. M., Slupczynski, M., Geisen, M., Iren, D., Klamma, R., Klatt, S. & Klemke, R., 20 Oct 2022, Multimodal Immersive Learning Systems 2022. Khaleel Asyraaf Mat Sanusi, Bibeg Limbu, Jan Schneider, Daniele Di Mitri & Roland Klemke (eds.). CEUR-WS.org, Vol. 3247. p. 34-39 6 p.

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

  Open Access

  • acquisition process 100%
  • Sports 55%
  • learning 26%
  • learning process 19%
  • learning environment 18%

• Interpretable Explainability in Facial Emotion Recognition and Gamification for Data Collection

  Shingjergi, K., Iren, Y. D., Klemke, R., Urlings, C. C. J. & Böttger, F., 25 Nov 2022, IEEE Affective Computing and Intelligent Interaction. IEEE, 8 p.

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

  • Gamification 100%
  • Labeling 24%
  • Labels 21%
  • Machine learning 18%
  • Experiments 8%

• Investigating the design opportunities for mood self-tracking and regulating

  Overdijk, R., Iren, Y. D. & Karahanoglu, A., 25 Jun 2022, Proceedings of DRS2022 Bilbao : Design Research Society International Conference . D. L., S. L., P. H., A. O. & J. S. (eds.). Design Research Society, p. 12

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

  Open Access

  • Mood 100%
  • Health 35%
  • Co-creation 28%
  • Exploratory Study 22%
  • Testing 22%

• IT Project Portfolio Assessment criteria: development and validation of a reference model

  Wissenburg, RJL., Kusters, R. J., Martin, H. H. & Evers-Wagemakers, J., 15 Nov 2022, 2022 IEEE 24th Conference on Business Informatics (CBI). IEEE, Vol. 1.

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

  • Health 100%
  • Project management 36%
  • Monitoring 19%

• Lexicographic Entailment, Syntax Splitting and the Drowning Problem

  Heyninck, J. L. A., Kern-Isberner, G. & Meyer, T., 23 Jul 2022, Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence. Luc De Raedt (ed.). International Joint Conferences on Artificial Intelligence, p. 2662-2668 7 p.

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

  Open Access

  • Drowning 100%
  • Entailment 86%
  • Inference 62%
  • Syntax 52%
  • Belief Bases 28%

• Naturalistic Physical Adversarial Patch for Object Detectors

  Hu, Y-C-T., Kung, B-H., Tan, D. S., Chen, J-C., Hua, K-L. & Cheng, W-H., 28 Feb 2022, Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision : ICCV 2021. IEEE, p. 7828-7837 10 p.

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

  • Detectors 100%
  • Sampling 89%
  • Experiments 45%

• Practically Applicable Enterprise Models: A Research Project Toward a User-oriented Design Method

  van den Oever, M., Roelens, B. F. C. & Bork, D., 16 Jun 2022, Value Modelling and Business Ontologies 2022. Hans Weigand, Tiago Prince Sales & Paul Johanesson (eds.). CEUR-WS, Vol. 3155. 10 p. 2

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

  Open Access

  • Enterprise Modeling 100%
  • Long Period 38%
  • An Enterprise 33%
  • Stakeholders 24%

• Privacy-Preserving and Scalable Affect Detection in Online Synchronous Learning

  Böttger, F., Cetinkaya, U., Mitri, D. D., Gombert, S., Shingjergji, K., Iren, D. & Klemke, R., 5 Sept 2022, Educating for a New Future: Making Sense of Technology-Enhanced Learning Adoption. Hiliger, I., Muñoz-Merino, P. J., De Laet, T., Ortega-Arranz, A. & Farrell, T. (eds.). 1 ed. Cham: Springer, Cham, p. 45-58 14 p. (Springer Lecture Notes in Computer Science (LNCS), Vol. 13450).

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

  File

  • Students 100%
  • Distance education 56%
  • Feedback 28%
  • Computer hardware 26%
  21 Downloads (Pure)

• Rapid Prototyping of Business Rule-Based Systems with Controlled Natural Language and Semantic Web Software

  Rutledge, L. W., Corbijn, J., Cuijpers, B. & Wondal, L., 31 Jul 2022, Business Modeling and Software Design: 12th International Symposium, BMSD 2022, Fribourg Switzerland, June 27-29, 2022, Proceedings. Shishkov, B. (ed.). 1 ed. Cham: Springer International Publishing AG, Vol. 453. p. 3-20 18 p. 1. (Lecture Notes in Business Information Processing, Vol. 453).

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

  • Knowledge based systems 100%
  • Rapid prototyping 99%
  • Semantic Web 92%
  • Industry 39%
  • User interfaces 13%

• Realisability of Branching Pomsets

  Edixhoven, L. & Jongmans, S-S., 2 Nov 2022, Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings. S. L. T. T. & J. P. (eds.). Cham: Springer, Cham, Vol. 13712. p. 185-205 21 p. (Lecture Notes in Computer Science, Vol. 13712).

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

  • Network protocols 100%

• Realisability of Ranking-based Semantics

  Skiba, K., Thimm, M., Rienstra, T., Heyninck, J. L. A. & Kern-Isberner, G., Oct 2022, SAFA’22: Fourth International Workshop on Systems and Algorithms for Formal Argumentation 2022. S. A. G., J-G. M., M. T. & Johannes P. Wallner (eds.). CEUR-WS.org, Vol. 3236. p. 73-85 13 p.

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

  Open Access

• Reasoning About Active Objects: A Sound and Complete Assertional Proof Method

  Boer, F. S. D. & Gouw, S. D., 4 Jul 2022, The Logic of Software. A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday. Ahrendt, W., Beckert, B., Bubel, R. & Johnsen, E. B. (eds.). 1 ed. Cham: Springer, Vol. 13360. p. 173-192 20 p. (Lecture Notes in Computer Science, Vol. 13360).

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

• Relevance in the Computation of Non-monotonic Inferences

  Heyninck, J. L. A. & Meyer, T., 2022, Southern African Conference for Artificial Intelligence Research. Anban Pillay, Edgar Jembere & Aurona Gerber (eds.). 1 ed. Cham: Springer, Cham, Vol. 1734. p. 204-214 13 p. (Communications in Computer and Information Science (CCIS), Vol. 1734).

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

  • Mathematical operators 100%
  • Computational complexity 88%

• Semantic Relations of Sub-Models in an Enterprise Model

  Roubtsova, E. E. & Severin, S., 27 Jun 2022, BMSD 2022. Shishkov, B. (ed.). Cham: Springer Nature Switzerland AG, p. 104-121 18 p. (Lecture Notes in Business Information Processing, Vol. 453).

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

  Open Access

  File

  • An Enterprise 100%
  • Enterprise Modeling 36%
  • Organizational Aspects 11%
  • Modeling 5%

• ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming

  Jongmans, S-S. & Proença, J., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Springer, Cham, p. 460-478 (Lecture Notes in Computer Science, Vol. 13701).

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

  • Blueprints 100%
  • Application programming interfaces (API) 71%
  • Computer programming languages 34%
  • Compliance 33%
  • Network protocols 25%

• State Model Inference Through the GUI Using Run-Time Test Generation

  Mulders, A., Valdes, O. R., Ricós, F. P., Aho, P., Marín, B. & Vos, T. E. J., 13 May 2022, Research Challenges in Information Science: 16th International Conference, RCIS 2022, Barcelona, Spain, May 17–20, 2022, Proceedings. Renata Guizzard, Jolita Ralyté & Xavier Franch (eds.). 1 ed. Cham: Springer, p. 546-563 18 p. (Lecture Notes in Business Information Processing, Vol. 446).

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

  • Graphical user interfaces 100%
  • Testing 22%
  • Software testing 16%
  • Information systems 11%
  • Costs 5%

• The impact of artificial intelligence ambidexterity and strategic flexibility on operational ambidexterity

  van de Wetering, R., 2022, PACIS 2022 Proceedings. AIS Electronic Library, p. 1-17 1218

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

  • Artificial intelligence 100%
  • Latent Class Analysis 20%
  • Momentum 14%
  • Industry 14%
  • Composite materials 9%

• The Impact of Improvisational and Dynamic Capabilities on Business Model Innovation During COVID-19: A Composite-Based Approach

  van de Wetering, R., Doe, J., van den Heuvel, R. & Al Halbusi, H., Sept 2022, The Role of Digital Technologies in Shaping the Post-Pandemic World: 21st IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2022, Newcastle upon Tyne, UK, September 13–14, 2022, Proceedings. Springer, p. 422-433 12 p. (Lecture Notes in Computer Science, Vol. 13454).

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

  • Business Model Innovation 100%
  • Dynamic Capabilities 86%
  • Organizational Capabilities 46%
  • Management System 32%
  • Strategic Capabilities 28%

• The Integration of Process Simulation Within the Business Architecture

  Roelens, B. F. C. & Tierens, L., 29 May 2022, Enterprise, Business-Process and Information Systems Modeling. BPMDS EMMSAD 2022. Adriano Augusto, Asif Gill, Dominik Bork, Selmin Nurcan, Iris Reinhartz-Berger & Rainer Schmidt (eds.). 1 ed. Springer Nature Switzerland AG, Vol. 450. p. 188–202 (Lecture Notes in Business Information Processing, Vol. 450).

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

  Open Access

  File

  • Process Simulation 100%
  • Simulation 46%
  • Business Performance 29%
  • Confidence Interval 25%
  • Design Science Research 23%
  15 Downloads (Pure)

• TinyABE: Unrestricted Ciphertext-Policy Attribute-Based Encryption for Embedded Devices and Low-Quality Networks

  Venema, M. & Alpár, G., 6 Oct 2022, Progress in Cryptology - AFRICACRYPT 2022. Batina, L. & Daemen, J. (eds.). 1 ed. Cham: Springer, Cham, Vol. 13503. p. 103-129 27 p. (Lecture Notes in Computer Science, Vol. 13503).

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

  • Cryptography 100%
  • Access control 32%
  • Data storage equipment 31%
  • Internet of things 29%
  • Water 9%
• 2021

  30 Years of Automated GUI Testing: A Bibliometric Analysis

  Rodríguez-Valdés, O., Vos, T. E. J., Aho, P. K. & Marín, B., 25 Aug 2021, Quality of Information and Communications Technology: 14th International Conference. Ana C. R. Paiva, Ana Rosa Cavalli, Paula Ventura Martins & Ricardo Pérez-Castillo (eds.). 1 ed. Springer, Cham, p. 473-488 16 p. (Communications in Computer and Information Science, Vol. 1439).

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

  • artificial intelligence 100%
  • trend 98%
  • software 68%
  • event 56%

• A Bunch of Broken Schemes: A Simple yet Powerful Linear Approach to Analyzing Security of Attribute-Based Encryption

  Venema, M. & Alpár, G., 11 May 2021, Topics in Cryptology - CT-RSA 2021: CT-RSA 2021. Paterson, K. G. (ed.). 1e ed. Switzerland: Springer, Vol. 12704. p. 100-125 26 p. (Lecture Notes in Computer Science, Vol. 12704).

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

  • Cryptography 100%

• Achieving Agility in IT Project Portfolios: A Systematic Literature Review

  Puthenpurackal, J., Huygh, T. & De Haes, S., 2021, Lean and Agile Software Development: 5th International Conference, LASD 2021. Przybylek, A., Miler, J., Poth, A. & Riel, A. (eds.). Springer, Vol. 408. p. 71-90

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

  Open Access

  File

  • Project Portfolio 100%
  • IT Project 98%
  • Literature Review 95%
  • Agility 84%
  • Portfolio Management 57%
  1 Downloads (Pure)