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

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

Specification, design, and verification of an accountability-aware surveillance protocol
Thibaud Antignac, Mukelabai Mukelabai, Gerardo Schneider
Proceedings of the Symposium on Applied Computing -Software Verification and Testing track (SAC-SVT'17), pages 1372-1378, ACM, 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

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

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

Showing 1 - 50 of 104

Name Title Organization
Abel, Andreas Martin 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?