Model checking: recent improvements and applications

por Bošnački, Dragan, Wijs, Anton
Publicado 2018

Efficient reconstruction of biological networks via transitive reduction on general purpose graphics processors

por Bošnački, Dragan, Odenbrett, Maximilian R, Wijs, Anton, Ligtenberg, Willem, Hilbers, Peter
Publicado 2012

Tens of images can suffice to train neural networks for malignant leukocyte detection

por Schouten, Jens P. E., Matek, Christian, Jacobs, Luuk F. P., Buck, Michèle C., Bošnački, Dragan, Marr, Carsten
Publicado 2021