Till startsida
Sitemap
To content Read more abput how we use cookies on gu.se

Find our researchers

Choose a subject and find our researchers and their publications.

Computer Science

Part of the research area Computer and Information Science

Latest publications

Modelling and analysis of normative documents
John J. Camilleri, Gerardo Schneider
Journal of Logical and Algebraic Methods in Programming, Journal article 2017
Journal article

Learning to compose spatial relations with grounded neural language models
Mehdi Ghanimifard, Simon Dobnik
Second International Workshop on Models and Representations in Spatial Cognition (MRSC), Poster 2017
Poster

Action and perception: embodying algorithms and the extended mind
Palle Dahlstedt
R. Dean, A. McLean (Eds.): Oxford Handbook on Algorithmic Music (in press), Oxford, UK, Oxford University Press, Chapter in book 2017
Chapter in book

Interactive programming in Agda - Objects and graphical user interfaces
Andreas Abel, S. Adelsberger, A. Setzer
Journal of Functional Programming, Journal article 2017
Journal article

E-Learning Systems: Intelligent Techniques for Personalization
Aleksandra Klašnja-Milićević, Boban Vesin, Mirjana Ivanović, Zoran Budimac, Lakhmi Jain
Springer International Publishing Switzerland, Springer International Publishing, Book 2017
Book

Finitary Proof Systems for Kozen’s μ
Bahareh Afshari, Graham E. Leigh
Mathematisches Forschungsinstitut Oberwolfach, Report 2016
Report

Showing 1 - 50 of 104

Name Title Organization
Abel, Andreas Senior lecturer Department of Computer Science and Engineering
Afshari, Bahareh Postdoctoral research fellow Department of Computer Science and Engineering
Afshari, Bahareh Postdoctoral research fellow Department of Computer Science and Engineering
Allwood, Jens Senior lecturer Division of Cognition and Communication
Alm Rosenblad, Magnus Researcher Department of Marine Sciences
Angelov, Krasimir Universitetslektor/biträdande Functional Programming
Antonelli, Alexandre Professor Department of Biological & Environmental Sciences
Bengtsson-Palme, Johan Researcher Department of Infectious Diseases
Berger, Christian Senior lecturer Department of Computer Science and Engineering
Björk, Staffan Professor Interaction Design
Borin, Lars Professor Department of Swedish
Bourlat, Sarah Researcher Department of Marine Sciences
Broberg, Niklas Projkect assistant Department of Computer Science and Engineering
Camilleri, John J. Doctoral student Formal Methods
Cangren, Patrik Doctoral student Department of Biological & Environmental Sciences
Chaudron, Michel Professor Department of Computer Science and Engineering
Cooper, Robin Professor Department of Philosophy, Linguistics, Theory of Science
Coquand, Thierry Professor Department of Computer Science and Engineering
Dahlstedt, Palle Senior lecturer Interaction Design
Danielsson, Nils Anders Researcher Department of Computer Science and Engineering
Dannélls, Dana Researcher Department of Swedish
de Wit, Pierre Postdoctoral research fellow Department of Marine Sciences
Dobnik, Simon Senior lecturer Department of Philosophy, Linguistics, Theory of Science
Dodig Crnkovic, Gordana Professor Division of Cognition and Communication
Engström, Fredrik Researcher Department of Philosophy, Linguistics, Theory of Science
Ericsson, Stina Senior lecturer Department of Swedish
Forsberg, Markus Researcher Department of Swedish
Godhe, Anna Professor Department of Marine Sciences
Gustafsson, Claes Curator Department of Biological & Environmental Sciences
Hallgren, Thomas Principal research engineer Functional Programming
Hofmann, Tobias Doctoral student Department of Biological & Environmental Sciences
Häggström, Olle Professor Applied Mathematics and Statistics
Johansson, Richard Senior lecturer Department of Computer Science and Engineering

Showing 1 - 50 of 104

Page Manager: Webmaster|Last update: 8/24/2013
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?