To the top

Page Manager: Webmaster
Last update: 8/24/2013 3:08 PM

Tell a friend about this page
Print version

Computer Science - University of Gothenburg, Sweden 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

Testing Natural Language Grammars
Inari Listenmaa
2018 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), Chapter in book 2018
Chapter in book

Herbrand’s Theorem as Higher Order Recursion
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Mathematisches Forschungsinstitut Oberwolfach, Report 2018
Report

Anscombe’s model for sequential clinical trials revisited
Sebastian Jobjörnsson, Sören Christensen
Sequential Analysis, Journal article 2018
Journal article

MoVEMo: A Structured Approach for Engineering Reward Functions
Mallozzi Piergiuseppe, Raul Pardo, Vincent Duplessis, Patrizio Pelliccione, Gerardo Schneider
IEEE Robotic computing IRC 2018, Conference paper 2018
Conference paper

Decidability of conversion for type theory in type theory
Andreas Abel, Joakim Öhman, Andrea Vezzosi
Proceedings of the ACM on Programming Languages, Journal article 2018
Journal article

SACRE: Supporting contextual requirements' adaptation in modern self-adaptive systems in the presence of uncertainty at runtime
E. Zavala, X. Franch, J. Marco, Alessia Knauss, D. Damian et al.
Expert Systems with Applications, Journal article 2018
Journal article

Up-to Techniques using Sized Types
Nils Anders Danielsson
Proceedings of the ACM on Programming Languages, Journal article 2018
Journal article

A Study on Word2Vec on a Historical Swedish Newspaper Corpus
Nina Tahmasebi
CEUR Workshop Proceedings. Vol. 2084. Proceedings of the Digital Humanities in the Nordic Countries 3rd Conference, Helsinki Finland, March 7-9, 2018. Edited by Eetu Mäkelä, Mikko Tolonen, Jouni Tuominen , Helsinki, University of Helsinki, Faculty of Arts, 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

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

Showing 1 - 50 of 112

Name Title Organization
Abel, Andreas Martin Senior lecturer Computer Science (CS)
Afshari, Bahareh Postdoctoral research fellow Computer Science (CS)
Allwood, Jens Professor Division of Cognition and Communication
Alm Rosenblad, Magnus Researcher Department of Chemistry & Molecular Biology
Angelov, Krasimir Senior lecturer Functional Programming
Antonelli, Alexandre Professor Department of Biological & Environmental Sciences
Bengtsson-Palme, Johan Postdoctoral research fellow Department of Infectious Diseases
Berger, Christian Senior lecturer Cyber Physical Systems (SE-CPS)
Bernardy, Jean-Philippe Researcher Linguistics, Logic and Theory of Science unit
Björk, Staffan Professor Interaction Design
Borin, Lars Professor Department of Swedish
Broberg, Niklas Projkect assistant Department of Computer Science and Engineering
Cangren, Patrik Doctoral student Department of Biological & Environmental Sciences
Chaudron, Michel Professor People, Architecture, Requirements and Traceability (SE-PARTy)
Cooper, Robin Professor Linguistics, Logic and Theory of Science unit
Coquand, Thierry Professor Computer Science (CS)
Dahlstedt, Palle Senior lecturer Interaction Design
Danielsson, Nils Anders Researcher Computer Science (CS)
Dannélls, Dana Researcher Department of Swedish
de Wit, Pierre Postdoctoral research fellow Department of Marine Sciences
Dobnik, Simon Senior lecturer Linguistics, Logic and Theory of Science unit
Engström, Fredrik Senior lecturer Department of Philosophy, Linguistics, Theory of Science
Ericsson, Stina Senior lecturer Department of Swedish
Forsberg, Markus Researcher Department of Swedish
Fröberg, Rikard Lecturer Division of Informatics
Godhe, Anna Professor Department of Marine Sciences
Gustafsson, Claes Curator Department of Biological & Environmental Sciences
Hallgren, Thomas Principal research engineer Functional Programming
Heldal, Rogardt Docent Department of Computer Science and Engineering
Andermann, Tobias Doctoral student Department of Biological & Environmental Sciences

Showing 1 - 50 of 112

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?