Till startsida
Sitemap
To content Read more about 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

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). Schloss Hohentübingen; Tübingen, Germany; April 06 - 07, 2017, Poster 2017
Poster

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

Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL
Bjørnar Luteberget, John J. Camilleri, Christian Johansen, Gerardo Schneider
Lecture Notes in Computer Science, Springer, Conference paper 2017
Conference paper

Cut-free completeness for modal mu-calculus
Bahareh Afshari, Graham E. Leigh
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Conference paper 2017
Conference paper

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

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
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 Postdoctoral research fellow 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
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?