Research Output per year
Research Output per year
Fingerprint
Dive into the research topics where Marieke Huisman is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output
-
Alice & Eve: A celebration of women in computing
van Huizen, N., Kemper, P., Stoelinga, M. (ed.), Schaafstal, A. (ed.), Huisman, M. (ed.) & Lathouwers, S. (ed.), 2020, Enschede: University of Twente. 133 p.Research output: Book/Report › Book › Professional
Open AccessFile -
Alice and Eve: a celebration of women in computer science
van Huizen, J. C., Huisman, M., Lathouwers, S. A. M., Schaafstal, A. M. & Stoelinga, M. I. A., 2020, Engaging, Engineering, Education: Book of Abstracts, SEFI 48th Annual Conference University of Twente (online), 20-24 September, 2020. van der Veen, J., van Hattum-Janssen, N., Järvinen, H-M., de Laet, T. & ten Dam, I. (eds.). Enschede: University of Twente, 11 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile5 Downloads (Pure) -
An Abstraction Technique for Verifying Shared-Memory Concurrency
Oortwijn, W., Gurov, D. & Huisman, M., 5 Jun 2020, In : Applied Sciences (Switzerland). 10, 11, 3928.Research output: Contribution to journal › Conference article › Academic › peer-review
Open AccessFile1 Citation (Scopus)16 Downloads (Pure) -
Formal Methods: From Academia to Industrial Practice: A Travel Guide
Huisman, M., Gurov, D. & Malkis, A., 17 Feb 2020, (Submitted) 22 p. (arXiv.org).Research output: Working paper
File147 Downloads (Pure) -
Selected and Extended Papers from TACAS 2018: Preface
Beyer, D. & Huisman, M., 1 Oct 2020, In : Journal of automated reasoning. 64, 7, p. 1331-1332Research output: Contribution to journal › Editorial › Academic
Open AccessFile
Datasets
-
Artifact for Automated Verification of Parallel Nested DFS, TACAS’20
Oortwijn, W. H. M. (Creator), Huisman, M. (Creator), Joosten, S. J. C. (Creator) & van de Pol, J. (Creator), 4TU.Centre for Research Data, 2020
DOI: 10.4121/uuid:36c00955-5574-44d9-9b26-340f7a1ea03b
Dataset