SBSAT: a State-Based, BDD-Based Satisfiability Solver. - John V. Franco; Michal Kouril; John S. Schlipf; Jeffrey Ward; Sean A. Weaver; Michael R. Dransfield; W. Mark Vanfleet (SAT, 2003)

A parallel backtracking framework (BkFr) for single and multiple clusters. - Michal Kouril; Jerome L. Paul (Conf. Computing Frontiers, 2004)

Function-Complete Lookahead in Support of Efficient SAT Search Heuristics. - John V. Franco; Michal Kouril; John S. Schlipf; Sean A. Weaver; Michael R. Dransfield; W. Mark Vanfleet (J. Univers. Comput. Sci., 2004)

Brief announcement: dynamic interoperable point-to-point connection of MPI implementations. - Michal Kouril; Jerome L. Paul (PODC, 2005)

Dynamic Interoperable Message Passing. - Michal Kouril; Jerome L. Paul (PVM/MPI, 2005)

Resolution Tunnels for Improved SAT Solver Performance. - Michal Kouril; John V. Franco (SAT, 2005)

A template library to facilitate teaching message passing parallel computing. - Jerome L. Paul; Michal Kouril; Kenneth A. Berman (SIGCSE, 2006)

The van der Waerden Number W(2, 6) Is 1132. - Michal Kouril; Jerome L. Paul (Exp. Math., 2008)

Building Gold Standard Corpora for Medical Natural Language Processing Tasks. - Louise Deléger; Qi Li 004; Todd Lingren; Megan Kaiser; Katalin Molnár; Laura Stoutenborough; Michal Kouril; Keith Marsolo; Imre Solti (AMIA, 2012)

Computing the Van der Waerden Number W(3, 4)=293. - Michal Kouril (Integers, 2012)

Preparing an annotated gold standard corpus to share with extramural investigators for de-identification research. - Louise Deléger; Todd Lingren; Yizhao Ni; Megan Kaiser; Laura Stoutenborough; Keith Marsolo; Michal Kouril; Katalin Molnár; Imre Solti (J. Biomed. Informatics, 2014)

2 Years Later: Follow-up to Analysis of Electronic Medication Orders with Large Overdoses. - Judith W. Dexheimer; Eric S. Kirkendall; Michal Kouril; Thomas Minich; Philip Hagedorn; Cecilia Mahdi; Stephen Andrew Spooner (AMIA, 2015)

Leveraging FPGA clusters for SAT computations. - Michal Kouril (PARCO, 2015)

The Effects of Medication Alerts on Prescriber Response in a Pediatric Hospital. - Judith W. Dexheimer; Eric S. Kirkendall; Michal Kouril; Philip Hagedorn; Thomas Minich; Leo L. Duan; C. Monifa Mahdi; Rhonda Szczesniak; Stephen Andrew Spooner (Appl. Clin. Inform., 2017)

Automated identification of antibiotic overdoses and adverse drug events via analysis of prescribing alerts and medication administration records. - Eric S. Kirkendall; Michal Kouril; Judith W. Dexheimer; Joshua D. Courter; Philip Hagedorn; Rhonda Szczesniak; Dan Li; Rahul Damania; Thomas Minich; Stephen Andrew Spooner (J. Am. Medical Informatics Assoc., 2017)

An interactive online dashboard for tracking COVID-19 in U.S. counties, cities, and states in real time. - Benjamin D. Wissel; P. J. Van Camp; Michal Kouril; Chad Weis; Tracy A. Glauser; Peter S. White; Isaac S. Kohane; Judith W. Dexheimer (J. Am. Medical Informatics Assoc., 2020)

piNET: a versatile web platform for downstream analysis and visualization of proteomics data. - Behrouz Shamsaei; Szymon Chojnacki; Marcin Pilarczyk; Mehdi Fazel-Najafabadi; Wen Niu; Chuming Chen; Karen Ross; Andrea Matlock; Jeremy Muhlich; Somchai Chutipongtanate; Jie Zheng 001; John Turner; et al. (Nucleic Acids Res., 2020)

An application programming interface implementing Bayesian approaches for evaluating effect of time-varying treatment with R and Python. - Chen Chen; Bin Huang; Michal Kouril; Jinzhong Liu; Hang Kim; Siva Sivaganisan; Jeffrey A. Welge; Melissa P. Delbello (Frontiers Comput. Sci., 2023)