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

Simple noninterference from parametricity
Maximilian Algehed, Jean-Philippe Bernardy
Proceedings of the ACM on Programming Languages, Journal article 2019
Journal article

A calculus for collective-adaptive systems and its behavioural theory
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Information and Computation, Journal article 2019
Journal article

Language Modeling with Syntactic and Semantic Representation for Sentence Acceptability Predictions
Adam Ek, Jean-Philippe Bernardy, Shalom Lappin
Proceedings of the 22nd Nordic Conference on Computational Linguistics, University of Linköping, Linköping University Electronic Press, Conference paper 2019
Conference paper

Intro to Web Prolog for Erlangers
Torbjörn Lager
Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang (Erlang ’19), August 18, 2019, Berlin, Germany., New York, NY, USA, ACM Press, Conference paper 2019
Conference paper

Equilibrium design for concurrent games
J Gutierrez, M Najib, Giuseppe Perelli, M Wooldridge
Leibniz International Proceedings in Informatics, LIPIcs, Conference paper 2019
Conference paper

Combinations of qualitative winning for stochastic parity games
Krishnendu Chatterjee, Nir Piterman
Leibniz International Proceedings in Informatics, LIPIcs, Conference paper 2019
Conference paper

An Adequacy Theorem for Dependent Type Theory
Thierry Coquand, Simon Huber
Theory of Computing Systems, Journal article 2019
Journal article

Testing for coordination fidelity
Yehia Abd Alrahman, Claudio Antares Mezzina, Hugo Torres Vieira
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Chapter in book 2019
Chapter in book

Flaws in Flows: Unveiling Design Flaws via Information Flow Analysis
Katja Tuma, Riccardo Scandariato, Musard Balliu
2019 IEEE International Conference on Software Architecture (ICSA), IEEE, Conference paper 2019
Conference paper

Showing 51 - 100 of 121

Name Title Organization
Andermann, Tobias Doctoral student Department of Biological & Environmental Sciences
Häggström, Olle Professor Applied Mathematics and Statistics
Jansson, Patrik Associate Professor Department of Computer Science and Engineering
Johansson, Richard Senior lecturer Data Science (DS)
Kokkinakis, Dimitrios Researcher Department of Swedish
Kristiansson, Erik Reader Applied Mathematics and Statistics
Lager, Torbjörn Professor Linguistics, Logic and Theory of Science unit
Larsson, Ellen Principal curator Department of Biological & Environmental Sciences
Larsson, Staffan Professor Linguistics, Logic and Theory of Science unit
Leigh, Graham Researcher Linguistics, Logic and Theory of Science unit
Ljunglöf, Peter Senior lecturer Functional Programming
Lundh, Torbjörn Professor Applied Mathematics and Statistics
Nairat, Malik Ahmad Hassan Doctoral student Interaction Design
Nilsson, Per Anders Professor Academy of Music & Drama
Nilsson, Henrik Senior lecturer Department of Biological & Environmental Sciences
Norell, Ulf Principal research engineer Computer Science (CS)
Obst, Matthias Researcher Department of Marine Sciences
Olsson, Leif-Jöran Research engineer Department of Swedish
Panova, Marina Researcher Department of Marine Sciences
Patriksson, Michael Professor Applied Mathematics and Statistics
Pelliccione, Patrizio Senior lecturer Cyber Physical Systems (SE-CPS)
Perelli, Giuseppe Postdoctor Formal Methods
Picazo-Sanchez, Pablo Postdoctor Formal Methods
Piterman, Nir Senior lecturer Formal Methods
Ranta, Aarne Professor Functional Programming
Duarte, Camila Postgraduate Student Department of Biological & Environmental Sciences
Rosén, Dan Research engineer Department of Swedish
Sandklef, Henrik Lecturer Division of Informatics

Showing 51 - 100 of 121

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?

Denna text är utskriven från följande webbsida:
http://gu.se/english/research/find-our-researchers/?researchersPageNumber=2&selectedTab=2&subjectId=10201
Utskriftsdatum: 2019-10-20