Michal Kouril
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2003–2015
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | AMIA | 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 |
| 2012 | AMIA | Building Gold Standard Corpora for Medical Natural Language Processing Tasks. | Louise Delger, Qi Li, Todd Lingren, Megan Kaiser, Katalin Molnr, Laura Stoutenborough, Michal Kouril, Keith Marsolo, Imre Solti |
| 2006 | SIGCSE | A template library to facilitate teaching message passing parallel computing. | Jerome L. Paul, Michal Kouril, Kenneth A. Berman |
| 2005 | PODC | Brief announcement: dynamic interoperable point-to-point connection of MPI implementations. | Michal Kouril, Jerome L. Paul |
| 2005 | SAT | Resolution Tunnels for Improved SAT Solver Performance. | Michal Kouril, John V. Franco |
| 2003 | SAT | 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 |