Marieke Huisman

Research output

Research output per year 1998 2013 2014 2015 2016 2017 2018 2020 2021 2024

• 111 Conference contribution
• 29 Article
• 17 Report
• 16 Chapter
• 33 More
  • 7 Book editing
  • 6 Paper
  • 5 Editorial
  • 3 Conference article
  • 3 Working paper
  • 2 Book
  • 2 Foreword/postscript
  • 1 Inaugural speech
  • 1 Comment/Letter to the editor
  • 1 Software
  • 1 PhD Thesis - Research external, graduation external
  • 1 Preprint

Research output per year

Research output per year

Search results

• 2024

  ETAPS Foreword

  Huisman, M., 2024, Foundations of software science and computation structures: 27th International Conference, FoSSaCS 2024; Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024. Proceedings, Part II. Kobayashi, N. & Worrell, J. (eds.). Cham: Springer Nature, p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14575).

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

  Open Access

  File
  30 Downloads (Pure)
• 2023

  Preface

  Huisman, M. & Ravara, A., 2023, Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023. Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023. Proceedings. Huisman, M. & Ravara, A. (eds.). Cham, Switzerland: Springer, p. vii-viii 2 p. (Lecture Notes in Computer Science; vol. 13910).

  Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript › Academic
  14 Downloads (Pure)