Open Universiteit

  • Visiting AdressShow on map

    Valkenburgerweg 177

    6419AT Heerlen

    Netherlands

Filter
Conference Article in proceeding

Search results

  • 2023

    The Logic of Separation Logic: Models and Proofs

    de Boer, F. S., Hiep, H. D. A. & de Gouw, S., 14 Sept 2023, Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings. Ramanayake, R. & Urban, J. (eds.). Springer, p. 407-426 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14278 LNAI).

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

    Open Access

  • Towards a Governance Framework for Data Platform Ecosystems in the Construction Industry

    Bagheri, S., Apr 2023, Proceedings of the 25th International Conference on Enterprise Information Systems - (Volume 2) . Joaquim Filipe , Michał Śmiałek, Alexander Brodsky & Slimane Hammoudi (eds.). SciTePress, Vol. 2. p. 566-574 9 p.

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

    Open Access

  • Towards Gradual Multiparty Session Typing

    Jongmans, S. S., 5 Jan 2023, ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering. Aehnelt, M. & Kirste, T. (eds.). Association for Computing Machinery, 3 p. 146

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

    Open Access

  • Towards Log-Driven Monitoring of Technical Degradation: An ERP Perspective

    van de Griend, P., Kusters, R. J. & Trienekens, J. J. M., 2 Jul 2023, Business Modeling and Software Design: 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3–5, 2023, Proceedings. Shishkov, B. (ed.). 1 ed. Cham: Springer, Vol. 483. p. 330-339 10 p. (Lecture Notes in Business Information Processing, Vol. 483).

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

  • Understanding the Challenges Surrounding Decentralized Applications: An Empirical Study

    Gurzhii, A., Islam, N. & Marella, V., 2023, New Sustainable Horizons in Artificial Intelligence and Digital Solutions - 22nd IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2023, Proceedings. Janssen, M., Matheus, R., Pinheiro, L., Frankenberger, F., Dwivedi, Y. K., Pappas, I. O. & Mäntymäki, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 277-293 17 p. (Lecture Notes in Computer Science (LNCS), Vol. 14316).

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

  • Understanding the Impact of Non-Fungible Tokens (NFTs) on Gaming

    Marella, V. M. S. G., 2023, ICIS 2023 TREOS. AIS Electronic Library, 73

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

  • Using GUI Change Detection for Delta Testing

    Ricós, F. P., Neeft, R., Marín, B., Vos, T. E. J. & Aho, P., May 2023, Research Challenges in Information Science: Information Science and the Connected World - 17th International Conference, RCIS 2023, Proceedings. Nurcan, S., Opdahl, A. L., Mouratidis, H. & Tsohou, A. (eds.). 1 ed. Springer, Cham, p. 509-517 9 p. (Lecture Notes in Business Information Processing, Vol. 476 LNBIP).

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

  • VeyMont: Parallelising Verified Programs Instead of Verifying Parallel Programs

    van den Bos, P. & Jongmans, S. S., Mar 2023, Formal Methods: 25th International Symposium, FM 2023, Proceedings. Chechik, M., Katoen, J.-P. & Leucker, M. (eds.). 1 ed. Springer, Cham, p. 321-339 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14000 LNCS).

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

  • What Do Critical Success Factors of Collaboration Really Mean in the Context of DevOps?

    Van Belzen, M., Trienekens, J. J. M. & Kusters, R. J., 2023, ICSEA 2023: The Eighteenth International Conference on Software Engineering Advances . Mannaert, H. & Koci, R. (eds.). International Academy, Research, and Industry Association (IARIA), p. 7-13 7 p.

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

    Open Access

  • Why You Should Give Your Students Automatic Process Feedback on Their Collaboration: Evidence from a Randomized Experiment

    Menzel, L., Gombert, S., Weidlich, J., Fink, A., Frey, A. & Drachsler, H., Aug 2023, Responsive and Sustainable Educational Futures: 18th European Conference on Technology Enhanced Learning, EC-TEL 2023, Aveiro, Portugal, September 4–8, 2023, Proceedings. Viberg, O., Jivet, I., Muñoz-Merino, P. J., Perifanou, M. & Papathoma, T. (eds.). Springer, Cham, Vol. 14200. p. 198-212 15 p. (Lecture Notes in Computer Science, Vol. 14200).

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

  • 2022

    Active Learning for Reducing Labeling Effort in Text Classification Tasks

    Jacobs, P. F., Maillette de Buy Wenniger, G., Wiering, M. & Schomaker, L., 12 Jan 2022, Artificial Intelligence and Machine Learning: 33rd Benelux Conference on Artificial Intelligence, BNAIC/Benelearn 2021, Esch-sur-Alzette, Luxembourg, November 10–12, 2021, Revised Selected Papers. Leiva, L. A., Pruski, C., Markovich, R., Najjar, A. & Schommer, C. (eds.). 1 ed. Springer, Cham, p. 3-29 27 p. (Communications in Computer and Information Science, Vol. 1530 CCIS).

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

  • 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, p. 235-242 8 p.

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

  • A Method for Integrated Modeling of KiPs and Contextual Goals

    Ozturk Yurt, Z., Eshuis, R., Aysolmaz, B., Wilbik, A. & Vanderfeesten, I., 25 Sept 2022, Cooperative Information Systems: 28th International Conference, CoopIS 2022, Bozen-Bolzano, Italy, October 4–7, 2022, Proceeding. Sellami, M., Ceravolo, P., Reijers, H. A., Gaaloul, W. & Panetto, H. (eds.). 1 ed. Springer, Cham, p. 322-332 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13591 LNCS).

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

  • 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 8 p.

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

  • An Integration of Computational Thinking and Language Arts: The Contribution of Digital Storytelling to Students' Learning

    Yeni, S., Nijenhuis-Voogt, J., Hermans, F. & Barendsen, E., 31 Oct 2022, WiPSCE 2022: Proceedings of the 17th Workshop in Primary and Secondary Computing Education. Grillenberger, M. & Berges, M. (eds.). Association for Computing Machinery, 10 p. 3

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

    Open Access

  • 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. 27. (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

  • A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming.

    Jongmans, S.-S. & Bos, P. V. D., 2022, Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings. Ilya Sergey (ed.). 1 ed. Springer, Vol. 13240. p. 520-547 (Lecture Notes in Computer Science, Vol. 13240).

    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

    Open Access
    File
    74 Downloads (Pure)

  • Assessment of the risks of an emergency situation during the transportation of dangerous goods to improve the efficiency of railway infrastructure

    Zelenko, Y., Leontjevas, R. & Kalimbet, N. V., Oct 2022, МАТЕРІАЛИ ВСЕУКРАЇНСЬКОЇ НАУКОВОЇ КОНФЕРЕНЦІЇ ЛОГІСТИКА І ТРАНСПОРТНА БЕЗПЕКА: ПРОБЛЕМИ ТА ПЕРСПЕКТИВИ РОЗВИТКУ В КОНТЕКСТІ АНАЛІЗУ СУЧАСНИХ ВИКЛИКІВ, ЗАГРОЗ. p. 17-20 4 p.

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

  • A transfer learning approach to predict shipment description quality

    Chen, X., Bromuri, S. & Van Eekelen, M., Apr 2022, Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, SAC 2022. Association for Computing Machinery, p. 1144-1147 4 p. (Proceedings of the ACM Symposium on Applied Computing).

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

  • 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. 365. 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

  • 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

  • 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, 2022 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2022 - Proceedings. IEEE, p. 4453-4457 5 p.

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

  • 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

  • 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

  • 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

  • Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect

    Heyninck, J., Kern-Isberner, G. & Meyer, T., 22 Aug 2022, Proceedings of the 20th International Workshop on Non-Monotonic Reasoning Part of the Federated Logic Conference (FLoC 2022). Arieli, O., Casini, G. & Giordana, L. (eds.). CEUR-WS, Vol. 3197. p. 61-69 9 p. (CEUR Workshop Proceedings).

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

    Open Access

  • 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., Brodsky, A. & 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
    74 Downloads (Pure)

  • Covid-19 Forced Remote Teaching and University Education After It. Proceedings of the 18th International CDIO Conference

    Van Puffelen, E., Stevens, T., Banihashem, S. K., Biemans, H., Noroozi, O., Raeven, N. & den Brok, P., 2022, 18th CDIO International Conference: PROCEEDINGS – FULL PAPERS. Reykjavík University, p. 739-750

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

    Open Access

  • 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

  • Designing the Learning Analytics Cockpit: A Dashboard that Enables Interventions

    Karademir, O., Ahmad, A., Schneider, J., Di Mitri, D., Jivet, I. & Drachsler, H., 2022, Methodologies and Intelligent Systems for Technology Enhanced Learning, 11th International Conference. De la Prieta, F., Gennari, R., Temperini, M., Di Mascio, T., Vittorini, P., Kubincova, Z., Popescu, E., Rua Carneiro, D., Lancia, L. & Addone, A. (eds.). Cham: Springer International Publishing, p. 95-104 10 p. (Lecture Notes in Networks and Systems, Vol. 326).

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

  • DESIGN THINKING, TEACHER PROFESSIONALISATION AND INNOVATION OF EDUCATION: A GOOD MATCH?

    Henderikx, M. A. & Heeroma, N. W., 5 Jul 2022, Proceedings of EDULEARN22 Conference 4th-6th July 2022, Palma, Mallorca, Spain. Luis Gómez Chova, Agustín López Martínez & Joanna Lees (eds.). IATED Academy, p. 1719- 1724 6 p. (EDULEARN Proceedings).

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

    Open Access
    File
    123 Downloads (Pure)

  • DEVELOPMENT AND EVALUATION OF THE ‘FEEDBACK AND REFLECTION IN ONLINE COLLABORATIVE LEARNING’ (FROCOLE) APP

    Henderikx, M. A. & Kreijns, C., 7 Mar 2022, INTED2022 Proceedings. Luis Gómez Chova, Agustín López Martínez & Ignacio Candel Torres (eds.). IATED Academy, p. 1582-1590 9 p. (INTED Proceedings).

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

    Open Access
    File
    76 Downloads (Pure)

  • DVGAN: Stabilize Wasserstein GAN training for time-domain Gravitational Wave physics

    Dooney, T., Bromuri, S. & Curier, L., 2022, Proceedings: 2022 IEEE International Conference on Big Data, Big Data 2022. Tsumoto, S., Ohsawa, Y., Chen, L., Van den Poel, D., Hu, X., Motomura, Y., Takagi, T., Wu, L., Xie, Y., Abe, A. & Raghavan, V. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 5468-5477 10 p.

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

  • 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.). 1 ed. Cham: Springer International Publishing, Vol. 446. 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

  • 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

  • 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

  • Exploring the Role of Received Peer Feedback for Students’ Learning Outcomes in Online Higher Education

    Taghizadeh Kerman, N., Banihashem, S. K. & Noroozi, O., 2022, Proceedings of International Conference on Studies in Education and Social Sciences 2022. Ben Attou, A., Ciddi, L. & Unal, M. (eds.). The International Society for Technology, Education and Science (ISTES), Vol. 1. p. 389-397 9 p.

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

    Open Access
    File
    149 Downloads (Pure)

  • 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

  • Formally verified lifting of C-compiled x86-64 binaries

    Verbeek, F., Bockenek, J., Fu, Z. & Ravindran, B., 9 Jun 2022, PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Jhala, R. & Dillig, I. (eds.). Association for Computing Machinery, p. 934-949 16 p.

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

    Open Access

  • 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

  • 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

  • Higher education beyond Covid-19: What do teachers need when moving to online education

    Brouns, F. M. R., Wopereis, I. G. J. H. & Klemke, R., 2022, Proceedings of the Innovating Higher Education Conference 2022. G. U., S. M. & A. A. (eds.). Athens: European Association of Distance Teaching Universities, p. 103-109

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

    Open Access
    File
    76 Downloads (Pure)

  • Higher education beyond Covid-19: What do teachers need when moving to online education

    Brouns, F. M. R., Wopereis, I. G. J. H. & Klemke, R., 2022, Proceedings Innovating Higher Education Conference 2022. p. 103-109

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

    Open Access

  • How can Interaction Data be Contextualized with Mobile Sensing to Enhance Learning Engagement Assessment in Distance Learning?

    Ciordas-Hertel, G.-P., Biedermann, D., Winter, M., Mordel, J. & Drachsler, H., 7 Nov 2022, ICMI 2022 - Companion Publication of the 2022 International Conference on Multimodal Interaction. Raj Tumuluri, Nicu Manuel Sebe, Gopal S Pingali, Dinesh Babu Jayagopi, Abhinav Dhall, Richa Singh, Lisa Anthony & Albert Ali Salah (eds.). Association for Computing Machinery, p. 105-112 8 p.

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

  • 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

  • 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

  • Impact of Intelligent Tutoring Systems on Mathematics Achievement of Underachieving Students

    Khazanchi, R., Mitri, D. D. & Drachsler, H., 11 Apr 2022, Proceedings of Society for Information Technology & Teacher Education International Conference. Langran, E. & Eguchi, A. (eds.). Waynesville: Association for the Advancement of Computing in Education, p. 1524-1534 11 p.

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