Search results

  • Conference Article in proceeding

    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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Teachers’ Beliefs and Practices on the Naming of Variables in Introductory Python Programming Courses

    van der Werf, V., Swidan, A., Hermans, F., Specht, M. & Aivaloglou, E., Apr 2024, Proceedings - 2024 ACM/IEEE 46th International Conference on Software Engineering: Software Engineering Education and Training, ICSE-SEET 2024. IEEE Computer Society Press, p. 368-379 12 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Teaching Design for Living Memory

    Consiglio, T., Uras, S. & van der Veer, G. C., Sept 2015, Proceedings of the 6th International Workshop on Human-Computer Interaction, : Tourism and Cultural Heritage ( HCITOCH 2015 ), Strategies for a Creative Future with Computer Science, Quality Design and Communicability, . Ficarra , F. V. C. (ed.). Blue Herons Editions

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademic

  • Temporal Exceptional Model Mining Using Dynamic Bayesian Networks

    Bueno, M. L. P., Hommersom, A. J. & Lucas, P. J. F., 2020, Advanced Analytics and Learning on Temporal Data: 5th ECML PKDD Workshop, AALTD 2020. Lemaire, V., Malinowski, S., Bagnall, A., Guyet, T., Tavenard, R. & Ifrim, G. (eds.). Springer International Publishing AG, p. 97-112 16 p. (Lecture Notes in Computer Science (LNCS) series).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • TESTAR: from academic prototype towards an industry-ready tool for automated testing at the user interface level

    Rueda, U., Vos, T. E. J., Almenar, F., MO Martínez, A. I. E. & Oreto, M., 1 Sept 2015, Proceedings of JISBD 2015, Santander: Jornadas de Ingeniería del Software y Bases de Datos. Canós, J. H. & González-Harbour, M. (eds.). p. 236-245 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • TESTOMAT: Next Level of Test Automation

    Eldh, S., Vos, T. E. J., Demeyer, S., Aho, P. K. & van der Bijl, M., 25 Sept 2020, Research Challenges in Information Science: 14th International Conference, RCIS 2020. Dalpiaz, F., Zdravkovic, J. & Loucopoulos, P. (eds.). Cham: Springer Nature Switzerland AG, p. 637-639 3 p. (Lecture Notes in Business Information Processing).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • The 5/10 method: a method for designing educational games

    Jeuring, J. T., van Rooij, R. & Pronost, N., 2014, Proceedings of GALA 2013: the Games and Learning Alliance conference: LNCS 8605. De Gloria, A. (ed.). Cham, Switzerland: Springer International Publishing AG, p. 364-369 6 p. (Lecture Notes in Computer Science, Vol. 8605).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • The design of mobile apps: what and how to teach?

    Stuurman, S., van Gastel, B. E. & Passier, H. J. M., 5 Nov 2014, Proceedings of the Fourth Computer Science Education Research Conference : CSERC 2014. Barendsen, E. & Dagiené, V. (eds.). Association for Computing Machinery (ACM), p. 93-100 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • The diagnosing behaviour of intelligent tutoring systems

    van der Bent, R., Jeuring, J. T. & Heeren, B. J., Sept 2019, Transforming Learning with Meaningful Technologies: 14th European Conference on Technology Enhanced Learning, EC-TEL 2019, Delft, The Netherlands, September 16–19, 2019, Proceedings. Scheffel, M., Broisin, J., Pammer-Schindler, V., Ioannou, A. & Schneider, J. (eds.). Cham: Springer, p. 112-126 15 p. (Science of Computer Programming, Vol. 11722).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    251 Downloads (Pure)
  • The Future of Visual Perception

    van der Veer, G. C., 2015, INTERACT 2015 Adjunct Proceedings: 15th IFIP TC.13 International Conference on Human-Computer Interaction, 14 – 18 September 2015, Bamberg, Germany. Beckmann, C. & Gross, T. (eds.). Bamberg: University of Bamberg Press, Vol. 22. p. 283-292 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • 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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • The Multimodal Learning Analytics Pipeline

    Di Mitri, D., Schneider Barnes, J., Specht, M. M. & Drachsler, H. J., 23 May 2019, Proceedings of the Artificial Intelligence and Adaptive Education Conference - AIAED'19. Beijing, China, p. 1-2 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    7 Downloads (Pure)
  • The Object Relational impedance mismatch from a cognitive point of view

    Benvenuti, L. & van der Veer, G. C., 2014, Psychology of Programming Interest Group Annual Conference 2014: PPIG 2014. du Boulay, B. & Good, J. (eds.). University of Sussex, p. 35-40 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • The Role of Internet Service Providers in Botnet Mitigation

    Pijpker, J. & Vranken, H. P. E., 2016, 2016 European Intelligence and Security Informatics Conference, Proceedings: 17–19 August 2016 Uppsala, Sweden. Brynielsson, J. & Johansson , F. (eds.). IEEE Computer Society Press, p. 24-32 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • The role of Procedural Guidance in Software Engineering Education

    Passier, H., Apr 2017, Companion to the first International Conference on the Art, Science and Engineering of Programming: Brussels, Belgium — April 03 - 06, 2017 . Sartor, J. B., d'Hondt, T. & de Meuter, W. (eds.). New York, NY, USA: ACM Digital Library, 2 p. 21

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • The Second Decade of Informatics in Dutch Secondary Education

    Grgurina, N., Tolboom, J. & Barendsen, E., 2018, Informatics in Schools. Fundamentals of Computer Science and Software Engineering: 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings. Pozdniakov, S. N. & Dagiene, V. (eds.). 1 ed. Cham: Springer International Publishing AG, p. 271-282 12 p. (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 11169).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Thinking out of the box: comparing metaphors for variables in programming education

    Hermans, F., Swidan, A., Aivaloglou, E. & Smit, M., 4 Oct 2018, Proceedings of the 13th Workshop in Primary and Secondary Computing Education. Cutts, Q. & Muhling, A. (eds.). Potsdam: acm, 8

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • 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 proceedingConference Article in proceedingAcademicpeer-review

  • 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 proceedingConference Article in proceedingAcademicpeer-review

  • Toward new unit-testing techniques for shared-memory concurrent programs

    Jongmans, S.-S., Nov 2019, 2019 24th International Conference on Engineering of Complex Computer Systems : ICECCS 2019, Guangzhou, China, November 10-13, 2019. Pang, J. & Sun, J. (eds.). IEEE Canada, p. 164-169 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Towards a functional requirements prioritization with early mutation testing

    Condori-Fernández, N., Granda, M. F. & Vos, T. E. J., 2 Jun 2018, RET '18: Proceedings of the 5th International Workshop on Requirements Engineering and Testing. New York: Association for Computing Machinery (ACM), p. 21-24 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Towards an Assessment Rubric for EiPE Tasks in Secondary Education: Identifying Quality Indicators and Descriptors

    Weeda, R., Izu, C., Kallia, M. & Barendsen, E., Nov 2020, Proceedings of the 20th Koli Calling International Conference on Computing Education Research. Falker, N. & Seppala, O. (eds.). New York: Association for Computing Machinery, 10 p. 30

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Towards an empirically validated model for assessment of code quality

    Stegeman, M., Barendsen, E. & Smetsers, S., Nov 2014, Koli Calling '14: Proceedings of the 14th Koli Calling International Conference on Computing Education Research. New York, NY: Association for Computing Machinery (ACM), p. 99-108 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Towards a systematic review of automated feedback generation for programming exercises

    Keuning, H., Jeuring, J. T. & Heeren, B. J., Jul 2016, ITiCSE '16: Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education. New York: ACM Digital Library, p. 41-46 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Towards Automated Testing of the Internet of Things: Results Obtained with the TESTAR Tool

    Martınez, M., Esparcia-Alcazar, A., Vos, T., Aho, P. K. & Fons i Cors, J., Nov 2018, Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III. Margaria, T. & Steffen, B. (eds.). Cham: Springer Nature Switzerland AG, p. 375-385 11 p. (Lecture Notes in Computer Science, Vol. 11246).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Towards A Virtual Bank For Evaluating Security Aspects With Focus On User Behavior

    Kiljan, S., van Eekelen, M. C. J. D. & Vranken, H. P. E., 2016, Proceedings of 2016 SAI Computing Conference 2016: SAI 2016. IEEE, p. 1068-1075 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Towards Evidence-Based Analysis of Palliative Treatments for Stomach and Esophageal Cancer Patients: a Process Mining Approach

    Pijnenborg, P., Verhoeven, R., Firat, M., W.M. van Laarhoven, H. & Genga, L., 25 Oct 2021, 2021 3rd International Conference on Process Mining (ICPM). Di Ciccio, C., Di Francescomarino, C. & Soffer, P. (eds.). IEEE, p. 136-143 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • 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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Towards Growth-Mindset Mathematics Teaching in the Netherlands

    Alpár, G. & van Hoeve, M., 9 Dec 2019, Proceedings of Learning Innovations and Quality (LINQ) 2019: EPiC Series in Education Science. Stracke, C. M. (ed.). Vol. 2. p. 1-17 17 p. (EPiC Series in Education Science ).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Trace-based debugging for advanced-dispatching programming languages

    Bockisch, C. M., van 't Riet, M., Yin, H., Aksit, M., Lin, Z., Chen, Y. & Zhao, J., Jul 2015, ICOOOLPS '15: Proceedings of the 10th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. New York, NY: Association for Computing Machinery (ACM), p. 1-10 10 p. 3

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Typifying informatics teachers’ PCK of designing digital artefacts in Dutch upper secondary education

    Rahimi, E., Barendsen, E. & Henze, I., 2016, Informatics in Schools: Improvement of Informatics Knowledge and Perception: 9th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2016, Münster, Germany, October 13-15, 2016, Proceedings. Brodnik, A. & Tort, F. (eds.). Cham, Switzerland: Springer International Publishing AG, p. 65-77 13 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9973). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9973).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Understanding Computing in a Hybrid World: On the Undergraduate Curriculum Front-End Development

    Benvenuti, L., Barendsen, E., Van der Veer, G. & Versendaal, J., 21 Feb 2018, SIGCSE '18: Proceedings of the 49th ACM Technical Symposium on Computer Science Education.. New York, NY: Association for Computing Machinery (ACM), p. 580-585 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Unit Testing Tool Competition: Round Four

    Rueda, U., Just, R., Galeotti, J. P. & Vos, T. E. J., 2016, 9th International Workshop on Search-Based Software Testing SBST 2016 . Kellenberger , P. (ed.). New York: ACM Digital Library, Vol. 1. p. 19-28 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Use expert knowledge instead of data: generating hints for hour of code exercises

    Buwalda, M., Jeuring, J. T. & Naus, N., 26 Jun 2018, L@S '18 Proceedings of the Fifth Annual ACM Conference on Learning at Scale. New York, NY: Association for Computing Machinery (ACM), 32

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    113 Downloads (Pure)
  • User-friendly Manual Transfer of Authenticated Online Banking Transaction Data: A Case Study that Applies the What You Enter Is What You Sign Transaction Authorization Information Scheme

    Kiljan, S. Z., Vranken, H. P. E. & van Eekelen, M. C. J. D., 2016, Proceedings of the 13th International Joint Conference on e-Business and Telecommunications : July 26-28, 2016, in Lisbon, Portugal. Callegari, C., van Sinderen, M., Sarigiannidis, P., Samarati, P., Cabello, E., Lorenz, P. & Obaidat, M. S. (eds.). SCITEPRESS-Science and Technology Publications, Lda., Vol. 4. p. 259-270 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Using Dependent Types to Define Energy Augmented Semantics of Programs

    van Gastel, B., Kersten, R. & van Eekelen, M., 2016, Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers. van Eekelen, M. & Dal Lago, U. (eds.). Cham: Springer International Publishing AG, p. 20-39 20 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9964).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • 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 proceedingConference Article in proceedingAcademicpeer-review

  • Using Jungian Personality Types for Teaching Teamwork in a Software Engineering Capstone Course

    Pieterse, V., Stuurman, S. & van Eekelen, M. C. J. D., 3 Mar 2021, Proceedings of the 52nd ACM Technical Symposium on Computer Science Education. New York, USA: acm, p. 239-245 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    File
    205 Downloads (Pure)
  • 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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • 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 proceedingConference Article in proceedingAcademicpeer-review

  • Visualization of automated test results obtained by the TESTAR tool

    Rueda, U., Esparcia-Alcazar, A. & Vos, T. E. J., Oct 2016, XIX Ibero-American Conference on Software Engineering : CIBSE 2016. Fonseca C. , E. R., Hinojosa , C., Carvallo , J. P., Santos , G., Solari , M., Kalinowski , M., Conte , T., Panach , I., Lopez, L., Kinder Almentero, E., Gomez, O., Cares, C. & Marczak, S. (eds.). New York: Curran, Vol. 1. p. 53-66 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Visual Support for Learning Monads

    Steenvoorden, T., Stutterheim, J., Barendsen, E. & Plasmeijer, R., 2017, Proceedings of the 8th Annual International Conference on Computer Science Education: Innovation & Technology. Global Science and Technology Forum, p. 130-139 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • What You Enter Is What You Sign: Input Integrity in an Online Banking Environment

    Kiljan, S. Z., Vranken, H. P. E. & van Eekelen, M. C. J. D., 2014, 4th Workshop on Socio-Technical Aspects in Security and Trust (Proceedings): STAST 2014. Bella, G. & Lenzini, G. (eds.). Danvers, MA: IEEE, p. 40-47 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Who Does What? Work Division and Allocation Strategies of Computer Science Student Teams

    van der Meulen, A. & Aivaloglou, E., May 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET). IEEE, p. 273-282 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Widget Manipulation Revisited: a Case Study in Modeling Interactions Between Experimental Conditions

    Martens, J.-B., Kok, A. J. F. & van Liere, R., 2007, Proceedings of the 11th Workshop on Immersive Projection Technology - 13th Eurographics Symposium on Virtual Environments- IPT-EGVE 2007. Fröhlich, B., Blach, R. & van Liere, R. (eds.). Aire-la-Ville, Switzerland: The Eurographics Association, p. 53-60 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Youth's Perspectives of Computational Design in Making-based Coding Activities

    Chytas, C., Brahms, E., Diethelm, I. & Barendsen, E., 17 Jun 2022, Proceedings of 6th FabLearn Europe / MakeEd Conference 2022. Association for Computing Machinery, p. 1-9 4. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • ”Why is the doctor a man?”: Reactions of Older Adults to a Virtual Training Doctor

    Constantin, A., Lai, C., Farrow, E., Alex, B., Pel-Littel, R. E., Nap, H. H. & Jeuring, J. T., 2 May 2019, CHI EA '19: Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems. New York, NY: Association for Computing Machinery (ACM), p. 1-6 6 p. LBW1719

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    152 Downloads (Pure)
  • Digital or Visual Products

    We all need to become critical testers: TEDx Open Universiteit Heerlen

    Vos, T. E. J., 30 Nov 2023

    Research output: Non-textual formDigital or Visual ProductsPopular

    Open Access
  • Doctoral Thesis

    Assessing sustainability of software: analysing correctness, memory and energy consumption. Analysing correctness, memory and energy consumption

    van Gastel, B. E., 28 Oct 2016, Heerlen: Open Universiteit. 190 p.

    Research output: ThesisDoctoral ThesisThesis 1: fully internal

    Open Access
    File
    189 Downloads (Pure)
  • Automata-Theoretic Protocol Programming: Parallel computation, threads and their interaction, optimized compilation [at a] high level of abstraction

    Jongmans, S.-S., 3 Mar 2016, Leiden University. 332 p.

    Research output: ThesisDoctoral ThesisThesis 3: defended at external organisation, OU employee

    Open Access
    File
    65 Downloads (Pure)