To the top

Page Manager: Webmaster
Last update: 9/12/2012 10:52 AM

Tell a friend about this page
Print version

Department of Computer Science and Engineering - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Department of Computer Science and Engineering

at IT Faculty

Department of Computer Science and Engineering
SE412 96 Göteborg
Delivery address: Rännvägen 6 B, 412 58 Göteborg
Visiting address: Rännvägen 6 B, 412 58 Göteborg

Fax: +46 317723663
Web Page: www.chalmers.se/sv/institutioner/cse
Email: cse@cse.gu.se

Tf Prefekt: Patrik Jansson

Latest publications

Principles of Feature Modeling
D. Nesic, J. Kruger, S. Stanciulescu, Thorsten Berger
ESEC/FSE 2019. Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, IEEE, Conference paper 2019
Conference paper

Effects of Explicit Feature Traceability on Program Comprehension
J. Kruger, Gul Calikli, Thorsten Berger, T. Leich, G. Saake
ESEC/FSE 2019. Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, IEEE, Conference paper 2019
Conference paper

Lattice-ordered groups generated by an ordered group and regular systems of ideals
Thierry Coquand, H. Lombardi, S. Neuwirth
Rocky Mountain Journal of Mathematics, Journal article 2019
Journal article

Natural Language Processing in Policy Evaluation: Extracting Policy Conditions from IMF Loan Agreements
Joakim Åkerström, Adel Daoud, Richard Johansson
Proceedings of the 22nd Nordic Conference on Computational Linguistics; September 30 – October 2; Turku, Finland, Linköping University Electronic Press, Conference paper 2019
Conference paper

Towards a resource grammar for Runyankore and Rukiga
David Bamutura, Peter Ljunglöf
WiNLP 2019, the 3rd Workshop on Widening NLP, Florence, Italy, 28th July 2019, Poster 2019
Poster

Equilibrium design for concurrent games
J Gutierrez, M Najib, Giuseppe Perelli, M Wooldridge
Leibniz International Proceedings in Informatics, LIPIcs, Conference paper 2019
Conference paper

Using Gameplay Design Patterns to Support Children's Collaborative Interactions for Learning
G. E. Baykal, E. Eriksson, Staffan Björk, Olof Torgersson
CHI EA '19 Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, IEEE, Conference paper 2019
Conference paper

What are grammars good for? Reflections on twenty years of Grammatical Framework
Aarne Ranta
Tokens of Meaning: Papers in Honor of Lauri Karttunen, Stanford, CSLI Publications, Chapter in book 2019
Chapter in book

An Adequacy Theorem for Dependent Type Theory
Thierry Coquand, Simon Huber
Theory of Computing Systems, Journal article 2019
Journal article

Showing 771 - 778 of 778

2003

An abstract view of generalized LR parsing
Peter Ljunglöf
NWPT-03, 15th Nordic Workshop on Programming Theory, Conference contribution 2003
Conference contribution

New Techniques that Improve MACE-style Model Finding
Koen Claessen, Niklas Sörensson
Model Computation, Conference paper 2003
Conference paper

Newman's lemma - a case study in proof automation and geometric logic
Marc Bezem, Thierry Coquand
European Association for Theoretical Computer Science. Bulletin, Journal article 2003
Journal article

Towards the compositional verification of real-time UML designs
Holger Giese, Matthias Tichy, Sven Burmester, Wilhelm Schäfer, Stephan Flake
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003, Conference paper 2003
Conference paper

Taking the next step in context-aware applications
Carl Magnus Olsson
IRIS - Information systems research seminar in Scandinavia, Journal article 2003
Journal article

Exploring the Perceptions of Information Technology Support for Road Haulage Companies: A Qualitative Interview Study
Carl Magnus Olsson
ECIS - European Conference on Information Systems, Journal article 2003
Journal article

2002

Functional Programming and NLP
Peter Ljunglöf
Göteborg, Chalmers University of Technology, Report 2002
Report

Pure Functional Parsing - an advanced tutorial
Peter Ljunglöf
Göteborg, Chalmers University of Technology, Licentiate thesis 2002
Licentiate thesis

Showing 771 - 778 of 778

Page Manager: Webmaster|Last update: 9/12/2012
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?