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

Optimization of truck tyres selection
Zuzana Nedelkova
Chalmers University of Technology and University of Gothenburg, Doctoral thesis 2018
Doctoral thesis

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

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

Metrics for software design and architectures
Miroslaw Staron, W. Meding
Automotive Software Architectures, Chapter in book 2017
Chapter in book

Training Word Sense Embeddings With Lexicon-based Regularization
Luis Nieto Piña, Richard Johansson
Proceedings of the Eighth International Joint Conference on Natural Language Processing (Volume 1: Long Papers), Taipei, Taiwan, November 27 – December 1, 2017, Asian Federation of Natural Language Processing , Conference paper 2017
Conference paper

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

Runtime Enforcement of Cyber-Physical Systems
Srinivas Pinisetty, P. S. Roop, S. Smyth, N. Allen, S. Tripakis et al.
Acm Transactions on Embedded Computing Systems, Journal article 2017
Journal article

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

Secure photo sharing in social networks
Pablo Picazo-Sanchez, Raúl Pardo, Gerardo Schneider
IFIP Information Security & Privacy Conference (IFIP SEC'17), volume 502 of IFIP Advances in Information and Communication Technology (AICT), pages 79-92, Springer Science and Business Media, Conference paper 2017
Conference paper

Data minimisation: A language-based approach
Thibaud Antignac, David Sands, Gerardo Schneider
IFIP Information Security & Privacy Conference (IFIP SEC'17), volume 502 of IFIP Advances in Information and Communication Technology. pages 442-456, Springer Science and Business Media, Conference paper 2017
Conference paper

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?