Filter
Chapter

Search results

  • 2021

    Attribuut-gebaseerde elektronische handtekeningen en de eIDAS-verordening

    Translated title of the contribution: Attribute-based electronic signatures and the eIDAS-regulationHu, Y. Y., van den Broek, F. M. J., Jacobs, B. & Wolters, P., 23 Dec 2021, Digitalisering en conflictoplossing: Serie onderneming en recht, 130. Kortmann, S. C. J. J., Faber, N. E. D., Jansen, C. J. H. & Schuijling, B. A. (eds.). 2021-1 ed. Deventer: Wolters Kluwer , p. 293-315

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • Teachers noticing chemical thinking while students plan and draw designs

    Stammes, H., Henze, I., Barendsen, E. & De Vries, M. J., 25 Feb 2021, Design-Based Concept Learning in Science and Technology Education. Henze, I. & De Vries, M. J. (eds.). Brill|Sense, Vol. 17. p. 311-343 33 p. (International Technology Education Studies; No. 17, Vol. 1879-8748).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • Teachers' reported practice of verbal scaffolding during design activities

    Sheoratan, S., Henze, I., Barendsen, E. & De Vries, M. J., 11 Feb 2021, Design-Based Concept Learning in Science and Technology Education. Henze, I. & De Vries, M. J. (eds.). Brill|Sense, Vol. 17. p. 344-371 28 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • 2020

    A Tutorial on Verifying LinkedList Using KeY

    Hiep, H-D. A., Bian, J., Boer, F. S. D. & Gouw, S. D., 2020, Deductive Software Verification: Future Perspectives. Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R. & Ulbrich, M. (eds.). Cham: Springer, p. 221-245 25 p. (Lecture Notes in Computer Science, Vol. 12345).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • Quantitative Molecular Models for Biological Processes: Modeling of Signal Transduction Networks with ANIMO

    Khurana, S., Huisman, J., Schivo, S. & Post, J. N., 27 Sep 2020, Osteoporosis and Osteoarthritis. van Wijnen, A. J. & Ganshina, M. S. (eds.). 2 ed. New York, NY: Humana Press, p. 141-161 21 p. (Methods in molecular biology, Vol. 2221).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • 2019

    ÆGIS: Smart Shielding of Smart Contracts

    Ferreira Torres, C., Baden, M., Norvill, R. & Jonker, H., 6 Nov 2019, CCS '19 Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security. New York, NY: Association for Computing Machinery (ACM), p. 2589-2591 3 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • A virtual classroom for cybersecurity education

    Haag, J., Vranken, H. & van Eekelen, M., 27 Apr 2019, Transactions on Edutainment XV. Pan, Z., Cheok, A. D., Müller, W., Zhang, M., El Rhalibi, A. & Kifayat, K. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, p. 173-208 36 p. (Lecture Notes in Computer Science, Vol. 11345).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access
    File
    39 Downloads (Pure)
  • Fingerprint Surface-Based Detection of Web Bot Detectors

    Jonker, H., Krumnow, B. & Vlot, G., 15 Sep 2019, Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part II. Sako, K., Schneider, S. & Ryan, P. Y. A. (eds.). Cham: Springer, p. 586-605 20 p. (Lecture Notes in Computer Science (LNCS), Vol. 11736).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • The Refined Consensus Model of Pedagogical Content Knowledge in Science Education

    Carlson, J., Daehler, K. R., Alonzo, A., Barendsen, E., Berry, A., Borowski, A., Carpendale, J., Chan, K., Cooper, R., Friedrichsen, P., Gess-Newsome, J., Henze-Rietveld, I., Hume, A., Kirschner, S., Liepertz, S., Loughran, J., Mavhunga, E., Neumann, K., Nilsson, P., Park, S., & 6 othersRollnick, M., Sickel, A., Suh, J., Schneider, R., Driel, J. V. & Wilson, C., 29 Jan 2019, Repositioning Pedagogical Content Knowledge in Teachers' Knowledge for Teaching Science. Hume, A., Cooper, R. & Borowski, A. (eds.). 1 ed. Singapore: Springer Singapore, p. 77-92 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • Unravelling Student Teachers' pPCK Development and the Influence of Personal Factors Using Authentic Data Sources

    Henze, I. & Barendsen, E., 29 Jan 2019, Repositioning Pedagogical Content Knowledge in Teachers' Knowledge for Teaching Science. Hume, A., Cooper, R. & Borowski, A. (eds.). Singapore: Springer Singapore, p. 201-221 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • 2018

    Compositional Semantics for Concurrent Object Groups in ABS

    Boer, F. S. D. & Gouw, S. D., 2018, Principled Software Development : Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. Müller, P. & Schaefer, I. (eds.). 1 ed. Cham: Springer, p. 87-98 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access
  • Formalizing Propagation of Priorities in Reo, Using Eight Colors

    Jongmans, S-S., 2018, It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab. de Boer, F., Bonsangue, M. & Rutten, J. (eds.). Springer, p. 122-138

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access
    File
    95 Downloads (Pure)
  • Investigating Fingerprinters and Fingerprinting-Alike Behaviour of Android Applications

    Ferreira Torres, C. & Jonker, H. L., 2018, Computer Security: 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part II. Lopez, J., Zhou, J. & Soriano, M. (eds.). 1 ed. Springer, Vol. 11099. p. 60-80 21 p. (Lecture Notes in Computer Science book series).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • 2017

    Run-Time Deadlock Detection

    Boer, F. S. D. & Gouw, S. D., 2017, Provably Correct Systems. Hinchey, M., P. Bowen, J. & Olderog, E-R. (eds.). Springer, p. 245-264 20 p. (NASA Monographs in Systems and Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • 2016

    Statically and Dynamically Verifiable SLA Metrics

    Giachino, E., Gouw, S. D., Laneve, C. & Nobakht, B., 2016, Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. E. Á., M. B. & E. B. J. (eds.). Springer, p. 211-225 15 p. (Lecture Notes in Computer Science, Vol. 9660). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9660).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • Verification of Counting Sort and Radix Sort

    Gouw, S. D., Boer, F. S. D. & Rot, J., 2016, Deductive Software Verification - The KeY Book: From Theory to Practice. W. A., B. B., R. B., R. H., P. H. S. & M. U. (eds.). Springer, p. 609-618 10 p. (Lecture Notes in Computer Science, Vol. 10001).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • 2015

    A Hybrid Approach to the Verification of Computer Interpretable Guidelines

    Anselma, L., Bottrighi, A., Giordano, L., Hommersom, A. J., Molino, G., Montani, S., Terenziani, P. & Torchio, M., 2015, Foundations of Biomedical Knowledge Representation: Methods and Applications. Hommersom, A. & Lucas, P. (eds.). Cham: Springer International Publishing, p. 287-315 29 p. (Lecture Notes in Computer Science, Vol. 9521). (Lecture Notes in Artificial Intelligence (subseries), Vol. 9521).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • An Introduction to Knowledge Representation and Reasoning in Healthcare

    Hommersom, A. J. & Lucas, P. J. F., 2015, Foundations of Biomedical Knowledge Representation: Methods and Applications. Hommersom, A. & Lucas, P. J. F. (eds.). Cham: Springer International Publishing, p. 9-32 24 p. (Lecture Notes in Computer Science (LNCS), Vol. 9521). (Lecture Notes in Artificial Intelligence (subseries), Vol. 9521).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access
  • ICT Support for Collaborative Learning—A Tale of Two Cities

    Consiglio, T. & van der Veer, G. C., 2015, E-Learning Systems, Environments and Approaches: Theory and Implementation. Isaías, P., Spector, J. M., Ifenthaler, D. & Sampson, D. G. (eds.). Cham: Springer International Publishing AG, p. 147-163 17 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • 2011

    Quantitative Analysis of Services.

    Cappello, I., Clark, A., Gilmore, S., Latella, D., Loreti, M., Quaglia, P. & Schivo, S., 2011, Results of the SENSORIA Project. Springer-Verlag Berlin Heidelberg, p. 522-540 19 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access