Battleships as a Decision Problem. - Merlijn Sevenster (J. Int. Comput. Games Assoc., 2004)

On Modal Logic, IF Logic, and IF Modal Logic. - Tero Tulenheimo; Merlijn Sevenster (Advances in Modal Logic, 2006)

Partially Ordered Connectives and Sum11 on Finite Models. - Merlijn Sevenster; Tero Tulenheimo (CiE, 2006)

Henkin Quantifiers: Logic, Games, and Computation. - Merlijn Sevenster (Bull. EATCS, 2006)

On The Computational Consequences of Independence in Propositional Logic. - Merlijn Sevenster (Synth., 2006)

Partially Ordered Connectives and Monadic Monotone Strict NP. - Lauri Hella; Merlijn Sevenster; Tero Tulenheimo (J. Log. Lang. Inf., 2008)

Model-theoretic and Computational Properties of Modal Dependence Logic. - Merlijn Sevenster (J. Log. Comput., 2009)

A Strategic Perspective on if Games. - Merlijn Sevenster (Games: Unifying Logic, Language, and Philosophy, 2009)

Identifying Breast Cancer Concepts in SNOMED-CT Using Large Text Corpus. - Zharko Aleksovski; Merlijn Sevenster (eHealth, 2010)

Equilibrium semantics of languages of imperfect information. - Merlijn Sevenster; Gabriel Sandu (Ann. Pure Appl. Log., 2010)

Decidability of Independence-Friendly Modal Logic. - Merlijn Sevenster (Rev. Symb. Log., 2010)

Independence-Friendly Logic - a Game-Theoretic Approach. - Allen L. Mann; Gabriel Sandu; Merlijn Sevenster (Cambridge University Press, 2011)

Generating links to background knowledge: a case study using narrative radiology reports. - Jiyin He; Maarten de Rijke; Merlijn Sevenster; Rob C. van Ommering; Yuechen Qian (CIKM, 2011)

Sentence-based classification of free-text breast cancer radiology reports. - Aisan Maghsoodi; Merlijn Sevenster; Johannes Scholtes; Georgi I. Nalbantov (CBMS, 2012)

Algorithmic and user study of an autocompletion algorithm on a large medical vocabulary. - Merlijn Sevenster; Rob C. van Ommering; Yuechen Qian (J. Biomed. Informatics, 2012)

Bridging the Text-Image Gap: a Decision Support Tool for Real-Time PACS Browsing. - Merlijn Sevenster; Rob C. van Ommering; Yuechen Qian (J. Digit. Imaging, 2012)

Automatically Correlating Clinical Findings and Body Locations in Radiology Reports Using MedLEE. - Merlijn Sevenster; Rob C. van Ommering; Yuechen Qian (J. Digit. Imaging, 2012)

Classifying Measurements in Dictated, Free-Text Radiology Reports. - Merlijn Sevenster (AIME, 2013)

Using Image References in Radiology Reports to Support Enhanced Report-to-Image Navigation. - Thusitha De Silva Mabotuwana; Yuechen Qian; Merlijn Sevenster (AMIA, 2013)

Automatically Pairing Measured Findings across Narrative Abdomen CT Reports. - Merlijn Sevenster; Jeffrey Bozeman; Andrea Cowhy; William Trost (AMIA, 2013)

Cross-Sectional Relatedness Between Sentences in Breast Radiology Reports: Development of an SVM Classifier and Evaluation Against Annotations of Five Breast Radiologists. - Merlijn Sevenster; Yuechen Qian; Hiroyuki Abe; Johannes Buurman (J. Digit. Imaging, 2013)

A Context-Sensitive Image Annotation Recommendation Engine for Radiology. - Thusitha De Silva Mabotuwana; Yuechen Qian; Merlijn Sevenster (MIE, 2014)

Linear Programming Tools for Analyzing Strategic Games of Independence-Friendly Logic and Applications. - Merlijn Sevenster (CoRR, 2014)

Dichotomy Result for Independence-Friendly Prefixes of generalized Quantifiers. - Merlijn Sevenster (J. Symb. Log., 2014)

Automated mutual exclusion rules discovery for structured observational codes in echocardiography reporting. - Thomas A. Forsberg; Merlijn Sevenster; Szymon Bieganski; Puran Bhagat; Melvin Kanasseril; Yugang Jia; Kirk Spencer (AMIA, 2015)

An HL7 Data Pseudonymization Pipeline. - Thusitha De Silva Mabotuwana; Christopher S. Hall; Rob C. van Ommering; Ranjith Tellis; Merlijn Sevenster (ICHI, 2015)

A natural language processing pipeline for pairing measurements uniquely across free-text CT reports. - Merlijn Sevenster; Jeffrey Bozeman; Andrea Cowhy; William Trost (J. Biomed. Informatics, 2015)

Evaluating the Referring Physician's Clinical History and Indication as a Means for Communicating Chronic Conditions That Are Pertinent at the Point of Radiologic Interpretation. - Piotr Obara; Merlijn Sevenster; Adam Travis; Yuechen Qian; Charles Westin; Paul J. Chang (J. Digit. Imaging, 2015)

Automated assessment of imaging biomarkers for the PanCan lung cancer risk prediction model with validation on NLST data. - Rafael Wiemker; Merlijn Sevenster; Heber MacMahon; Feng Li 018; Sandeep Dalal; Amir Tahmasebi; Tobias Klinder (Computer-Aided Diagnosis, 2017)

Representation Learning of Finding Codes in Structured Echocardiogram Reporting. - Xin Wang; Yugang Jia; Merlijn Sevenster; Thomas A. Forsberg; Lucas Oliveira; Kirk Spencer (ICHI, 2018)

Development and evaluation of a system that executes an interventional cardiology risk model based on patient phenotypes automatically extracted from the EMR. - Merlijn Sevenster; Deyu Sun; Lucas Oliveira; Margret E. Lee; Kirk T. Spencer; John A. E. Blair (ICHI, 2020)