Daniel Gustafsson

According to our database, Daniel Gustafsson authored at least 4 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Sequent Calculus and Equational Programming.

Nicolas Guenot, Daniel Gustafsson

Proceedings of the Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, 2015

Computation in focused intuitionistic logic.

Taus Brock-Nannestad, Nicolas Guenot, Daniel Gustafsson

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

2010

Using Gene Ontology annotations in exploratory microarray clustering to understand cancer etiology.

Geoff MacIntyre, James Bailey, Daniel Gustafsson, Izhak Haviv, Adam Kowalczyk

Pattern Recognit. Lett., 2010

2008

Gene Ontology Assisted Exploratory Microarray Clustering and Its Application to Cancer.

Geoff MacIntyre, James Bailey, Daniel Gustafsson, Alex Boussioutas, Izhak Haviv, Adam Kowalczyk

Proceedings of the Pattern Recognition in Bioinformatics, 2008