Merlijn Sevenster

According to our database1, Merlijn Sevenster authored at least 31 papers between 2004 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Development and evaluation of a system that executes an interventional cardiology risk model based on patient phenotypes automatically extracted from the EMR.
Proceedings of the 8th IEEE International Conference on Healthcare Informatics, 2020

2018
Representation Learning of Finding Codes in Structured Echocardiogram Reporting.
Proceedings of the IEEE International Conference on Healthcare Informatics, 2018

2017
Automated assessment of imaging biomarkers for the PanCan lung cancer risk prediction model with validation on NLST data.
Proceedings of the Medical Imaging 2017: Computer-Aided Diagnosis, 2017

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.
J. Digit. Imaging, 2015

A natural language processing pipeline for pairing measurements uniquely across free-text CT reports.
J. Biomed. Informatics, 2015

An HL7 Data Pseudonymization Pipeline.
Proceedings of the 2015 International Conference on Healthcare Informatics, 2015

Automated mutual exclusion rules discovery for structured observational codes in echocardiography reporting.
Proceedings of the AMIA 2015, 2015

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

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

A Context-Sensitive Image Annotation Recommendation Engine for Radiology.
Proceedings of the e-Health - For Continuity of Care - Proceedings of MIE2014, the 25th European Medical Informatics Conference, Istanbul, Turkey, August 31, 2014

2013
Cross-Sectional Relatedness Between Sentences in Breast Radiology Reports: Development of an SVM Classifier and Evaluation Against Annotations of Five Breast Radiologists.
J. Digit. Imaging, 2013

Automatically Pairing Measured Findings across Narrative Abdomen CT Reports.
Proceedings of the AMIA 2013, 2013

Using Image References in Radiology Reports to Support Enhanced Report-to-Image Navigation.
Proceedings of the AMIA 2013, 2013

Classifying Measurements in Dictated, Free-Text Radiology Reports.
Proceedings of the Artificial Intelligence in Medicine, 2013

2012
Automatically Correlating Clinical Findings and Body Locations in Radiology Reports Using MedLEE.
J. Digit. Imaging, 2012

Bridging the Text-Image Gap: a Decision Support Tool for Real-Time PACS Browsing.
J. Digit. Imaging, 2012

Algorithmic and user study of an autocompletion algorithm on a large medical vocabulary.
J. Biomed. Informatics, 2012

Sentence-based classification of free-text breast cancer radiology reports.
Proceedings of CBMS 2012, 2012

2011
Generating links to background knowledge: a case study using narrative radiology reports.
Proceedings of the 20th ACM Conference on Information and Knowledge Management, 2011

Independence-Friendly Logic - a Game-Theoretic Approach.
London Mathematical Society lecture note series 386, Cambridge University Press, ISBN: 978-0-521-14934-1, 2011

2010
Decidability of Independence-Friendly Modal Logic.
Rev. Symb. Log., 2010

Equilibrium semantics of languages of imperfect information.
Ann. Pure Appl. Log., 2010

Identifying Breast Cancer Concepts in SNOMED-CT Using Large Text Corpus.
Proceedings of the Electronic Healthcare - Third International Conference, 2010

2009
A Strategic Perspective on if Games.
Proceedings of the Games: Unifying Logic, Language, and Philosophy, 2009

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

2008
Partially Ordered Connectives and Monadic Monotone Strict NP.
J. Log. Lang. Inf., 2008

2006
On The Computational Consequences of Independence in Propositional Logic.
Synth., 2006

Henkin Quantifiers: Logic, Games, and Computation.
Bull. EATCS, 2006

Partially Ordered Connectives and Sum<sup>1</sup><sub>1</sub> on Finite Models.
Proceedings of the Logical Approaches to Computational Barriers, 2006

On Modal Logic, IF Logic, and IF Modal Logic.
Proceedings of the Advances in Modal Logic 6, 2006

2004
Battleships as a Decision Problem.
J. Int. Comput. Games Assoc., 2004


  Loading...