Marieke Huisman

prof.dr.

1998 …2024

Research activity per year

Search results

  • 1998

    A comparison of PVS and Isabelle/HOL

    Griffioen, D. & Huisman, M., 1998, Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings. Grundy, J. & Newey, M. (eds.). Berlin, Heidelberg: Springer, p. 123-142 20 p. (Lecture Notes in Computer Science; vol. 1479).

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

    19 Citations (Scopus)
  • Reasoning about Java Classes (Preliminary Report)

    Jacobs, B., Berg, J. V. D., Huisman, M., van Berkum, M., Hensel, U. & Tews, H., 1998, OOPSLA '98: Proceedings of the 13th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, Vancouver, British Columbia, Canada, October 18-22, 1998. Freeman-Benson, B. N. & Chambers, C. (eds.). ACM SIGCOMM, p. 329-340 12 p.

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

    Open Access
    File
    12 Downloads (Pure)
  • Reasoning about Java Classes (Preliminary Report)

    Jacobs, B., van den Berg, J., Huisman, M., van Berkum, M., Hensel, U. & Tews, H., Oct 1998, In: SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 33, 10, p. 329-340 12 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    57 Citations (Scopus)
  • Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools

    Hensel, U., Huisman, M., Jacobs, B. & Tews, H., 1998, Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. Hankin, C. (ed.). Springer, p. 105-121 17 p. (Lecture Notes in Computer Science; vol. 1381).

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

    33 Citations (Scopus)