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 Science

Latest publications

Linear Haskell: practical linearity in a higher-order polymorphic language
Jean-Philippe Bernardy, Mathieu Boespflug, Ryan Newton, Simon Peyton Jones, Arnaud Spiwack
Proceedings of the ACM on Programming Languages, Journal article 2018
Journal article

MOVENMO: a structured approach to engineer reward functions
Mallozzi Piergiuseppe, Raul Pardo, Vincent Duplessis, Patrizio Pelliccione, Gerardo Schneider
IEEE Robotic computing IRC 2018, Conference paper 2018
Conference paper

Opportunities and Risks of Blockchain Technologies (Dagstuhl Seminar 17132)
Roman Beck, Christian Becker, Juho Lindman, Matti Rossi
Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Edited book 2017
Edited book

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

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

Protus 2.1: Applying collaborative tagging for providing recommendation in programming tutoring system
Boban Vesin, Aleksandra Klašnja-Milićević, Mirjana Ivanović
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Conference paper 2016
Conference paper

Specification of Evolving Privacy Policies for Online Social Networks
Raul Pardo, Ivana Kellyérova, César Sánchez, Gerardo Schneider
IEEE Computer Society, IEEE, Chapter in book 2016
Chapter in book

A Domain-Specific Language for Normative Texts with Timing Constraints
Runa Gulliksson, John J. Camilleri
23rd International Symposium on Temporal Representation and Reasoning (TIME 2016), IEEE, Conference paper 2016
Conference paper

Experiences from Reengineering and Modularizing a Legacy Software Generator with a Projectional Language Workbench
Max Lillack, Thorsten Berger, Regina Hebig
Proceedings of the 20th International Systems and Software Product Line Conference (SPLC), ACM, Conference paper 2016
Conference paper

Showing 1 - 41 of 41

Name Title Organization
Abel, Andreas Martin Senior lecturer Department of Computer Science and Engineering
Angelov, Krasimir Senior lecturer Functional Programming
Berger, Christian Senior lecturer Cyber Physical Systems (SE-CPS)
Bernardy, Jean-Philippe Researcher Linguistics, Logic and Theory of Science unit
Broberg, Niklas Projkect assistant Department of Computer Science and Engineering
Cooper, Robin Professor Linguistics, Logic and Theory of Science unit
Coquand, Thierry Professor Computer Science (CS)
Danielsson, Nils Anders Researcher Computer Science (CS)
Dobnik, Simon Senior lecturer Linguistics, Logic and Theory of Science unit
Ericsson, Stina Senior lecturer Department of Swedish
Hallgren, Thomas Principal research engineer Functional Programming
Heldal, Rogardt Docent Department of Computer Science and Engineering
Jansson, Patrik Associate Professor Department of Computer Science and Engineering
Lager, Torbjörn Professor Linguistics, Logic and Theory of Science unit
Larsson, Staffan Professor Linguistics, Logic and Theory of Science unit
Ljunglöf, Peter Senior lecturer Functional Programming
Norell, Ulf Principal research engineer Computer Science (CS)
Pelliccione, Patrizio Senior lecturer Cyber Physical Systems (SE-CPS)
Ranta, Aarne Professor Functional Programming
Schneider, Gerardo Professor Formal Methods
Torgersson, Olof Senior lecturer Interaction Design
Wilhelmsson, Kenneth It coordinator Institute of Health and Care Sciences

Showing 1 - 41 of 41

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?