Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Dan Rosén

Systemutvecklare

Dan Rosén
Systemutvecklare
dan.rosen@svenska.gu.se
031-786 5054

Rumsnummer: L408
Postadress: Box 200, 40530 Göteborg
Besöksadress: Renströmsgatan 6 , 41255 Göteborg


Institutionen för svenska språket (Mer information)
Box 200
405 30 Göteborg
www.svenska.gu.se
svenska.exp@svenska.gu.se

Besöksadress: Renströmsgatan 6 , 405 30 Göteborg

Om Dan Rosén

Dan Rosén arbetar som systemutvecklare vid Språkbanken.

Senaste publikationer

Sparv: Språkbanken’s corpus annotation pipeline infrastructure
Lars Borin, Markus Forsberg, Martin Hammarstedt, Dan Rosén, Roland Schäfer et al.
SLTC 2016. The Sixth Swedish Language Technology Conference, Umeå University, 17-18 November, 2016, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2016
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Theory Exploration and Inductive Theorem Proving
Dan Rosén
Göteborg, Chalmers University of Technology, Licentiatsavhandling 2016
Licentiatsavhandling

SAT modulo intuitionistic implications
Koen Claessen, Dan Rosén
Lecture Notes in Computer Science. Proceedings of the International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Paper i proceeding 2015
Paper i proceeding

Tip: Tools for inductive provers
Dan Rosén, Nicholas Smallbone
Lecture Notes in Computer Science. 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2015, Suva, Fiji, 24-28 November 2015, Paper i proceeding 2015
Paper i proceeding

TIP: Tons of Inductive Problems
Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone
Lecture Notes in Artificial Intelligence: International Conference on Intelligent Computer Mathematics (CICM), Paper i proceeding 2015
Paper i proceeding

Hipster: Integrating theory exploration in a proof assistant
Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen
Lecture Notes in Computer Science, Paper i proceeding 2014
Paper i proceeding

Compiling Linear Logic using Continuations
Jean-Philippe Bernardy, Dan Rosén, Nicholas Smallbone
Övrigt 2014
Övrigt

HALO: Haskell to logic through denotational semantics
Dimitrios Vytiniotis, Simon L. Peyton-Jones, Dan Rosén, Koen Claessen
Conference Record of the Annual ACM Symposium on Principles of Programming Languages, Paper i proceeding 2013
Paper i proceeding

Automating Inductive Proofs using Theory Exploration
Koen Claessen, Dan Rosén, Moa Johansson, Nicholas Smallbone
24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Paper i proceeding 2013
Paper i proceeding

HALO: Haskell to Logic through Denotational Semantics
D. Vytiniotis, S. P. Jones, Dan Rosén, Koen Claessen
Acm Sigplan Notices, Artikel i vetenskaplig tidskrift 2013
Artikel i vetenskaplig tidskrift

Visar 1 - 10 av 10

2016

Sparv: Språkbanken’s corpus annotation pipeline infrastructure
Lars Borin, Markus Forsberg, Martin Hammarstedt, Dan Rosén, Roland Schäfer et al.
SLTC 2016. The Sixth Swedish Language Technology Conference, Umeå University, 17-18 November, 2016, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2016
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Theory Exploration and Inductive Theorem Proving
Dan Rosén
Göteborg, Chalmers University of Technology, Licentiatsavhandling 2016
Licentiatsavhandling

2015

SAT modulo intuitionistic implications
Koen Claessen, Dan Rosén
Lecture Notes in Computer Science. Proceedings of the International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Paper i proceeding 2015
Paper i proceeding

Tip: Tools for inductive provers
Dan Rosén, Nicholas Smallbone
Lecture Notes in Computer Science. 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2015, Suva, Fiji, 24-28 November 2015, Paper i proceeding 2015
Paper i proceeding

TIP: Tons of Inductive Problems
Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone
Lecture Notes in Artificial Intelligence: International Conference on Intelligent Computer Mathematics (CICM), Paper i proceeding 2015
Paper i proceeding

2014

Hipster: Integrating theory exploration in a proof assistant
Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen
Lecture Notes in Computer Science, Paper i proceeding 2014
Paper i proceeding

Compiling Linear Logic using Continuations
Jean-Philippe Bernardy, Dan Rosén, Nicholas Smallbone
Övrigt 2014
Övrigt

2013

HALO: Haskell to logic through denotational semantics
Dimitrios Vytiniotis, Simon L. Peyton-Jones, Dan Rosén, Koen Claessen
Conference Record of the Annual ACM Symposium on Principles of Programming Languages, Paper i proceeding 2013
Paper i proceeding

Automating Inductive Proofs using Theory Exploration
Koen Claessen, Dan Rosén, Moa Johansson, Nicholas Smallbone
24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Paper i proceeding 2013
Paper i proceeding

HALO: Haskell to Logic through Denotational Semantics
D. Vytiniotis, S. P. Jones, Dan Rosén, Koen Claessen
Acm Sigplan Notices, Artikel i vetenskaplig tidskrift 2013
Artikel i vetenskaplig tidskrift

Visar 1 - 10 av 10

Sidansvarig: Webbredaktionen|Sidan uppdaterades: 2017-08-31
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?