Photo of Jørgen Villadsen
  • Richard Petersens Plads, 322, 020

    2800 Kgs. Lyngby

    Denmark

1989 …2023

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Book
2014

Constraints and Language

Blache, P. (ed.), Christiansen, H. (ed.), Dahl, V. (ed.), Duchier, D. (ed.) & Villadsen, J. (ed.), 2014, Cambridge Scholars Press. 325 p.

Research output: Book/ReportBook

2013

Java to C: A Primer

McDowell, C. & Villadsen, J., 2013, Polyteknisk Boghandel og Forlag. 105 p.

Research output: Book/ReportBook

2010

Nabla: A Linguistic System Based on Type Theory

Villadsen, J., 2010, LIT Verlag. 232 p. (Foundations of Communication and Cognition; No. 3).

Research output: Book/ReportBook

2007

Proceedings of the 4th International Workshop on Constraints and Language Processing (CSLP 2007)

Christiansen, H. (ed.) & Villadsen, J. (ed.), 2007, Roskilde University. 101 p. (Computer Science Research Reports; No. 113).

Research output: Book/ReportBook

Proceedings of the International Workshop on Hybrid Logic (HyLo 2006)

Blackburn, P. (ed.), Bolander, T. (ed.), Braüner, T. (ed.), de Paiva, V. (ed.) & Villadsen, J. (ed.), 2007, Elsevier. (Electronic Notes in Theoretical Computer Science; No. 174).

Research output: Book/ReportBook

Proceedings of the International Workshop on Hybrid Logic (HyLo 2007)

Villadsen, J. (ed.), Bolander, T. (ed.) & Braüner, T. (ed.), 2007, Trinity College Dublin. 90 p. (19th European Summer School in Logic, Language and Information (ESSLLI 2007)).

Research output: Book/ReportBook

2005

Constraint Solving and Language Processing: First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers

Christiansen, H. (ed.), Skadhauge, P. R. (ed.) & Villadsen, J. (ed.), 2005, Springer. (Lecture Notes in Computer Science, Vol. 3438).

Research output: Book/ReportBook