Daniel Gustafsson

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 2

Top Topics

Cut Elimination

Natural Deduction

Top Venues

Publications

Nicolas Guenot, Daniel Gustafsson
Sequent Calculus and Equational Programming. LFMTP (2015)
Taus Brock-Nannestad, Nicolas Guenot, Daniel Gustafsson
Computation in focused intuitionistic logic. PPDP (2015)
Geoff MacIntyre, James Bailey, Daniel Gustafsson, Izhak Haviv, Adam Kowalczyk
Using Gene Ontology annotations in exploratory microarray clustering to understand cancer etiology. Pattern Recognit. Lett. 31 (14) (2010)
Geoff MacIntyre, James Bailey, Daniel Gustafsson, Alex Boussioutas, Izhak Haviv, Adam Kowalczyk
Gene Ontology Assisted Exploratory Microarray Clustering and Its Application to Cancer. PRIB (2008)