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 Science

Latest publications

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

Latex Gloves: Protecting Browser Extensions from Probing and Revelation Attacks
Alexander Sjösten, Steven Van Acker, Pablo Picazo-Sanchez, Andrei Sabelfeld
Network and Distributed System Security Symposium (NDSS), Conference paper 2019
Conference paper

ECG Dj: Heart Beat Synchronization
Lara Ortiz-Martin, Pedro Peris-Lopez, Pablo Picazo-Sanchez, Juan Tapiador, Gerardo Schneider
USENIX, Poster 2018
Poster

Using Self-healing to Increase Robustness of Handling In-Browser Third-Party Content
S. Nadi, J. Hedstrom, Miroslaw Staron
44TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2018) , Conference paper 2018
Conference paper

MoVEMo: A Structured Approach for Engineering Reward Functions
Mallozzi Piergiuseppe, Raul Pardo, Vincent Duplessis, Patrizio Pelliccione, Gerardo Schneider
2nd IEEE International Conference on Robotic Computing (IRC), New York, IEEE, Conference paper 2018
Conference paper

Can Recurrent Neural Networks Learn Nested Recursion?
Jean-Philippe Bernardy
Linguistic Issues in Language Technology, Journal article 2018
Journal article

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

Showing 1 - 42 of 42

Name Title Organization
Abel, Andreas Martin Senior lecturer Computer Science (CS)
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
Burden, Håkan Universitetslektor, adjungerad Testing, Requirements, Innovation and Psychology (SE-TRIP)
Cooper, Robin Linguistics, Logic and Theory of Science unit
Coquand, Thierry Professor Computer Science (CS)
Danielsson, Nils Anders Senior lecturer Computer Science (CS)
Dobnik, Simon Senior lecturer Linguistics, Logic and Theory of Science unit
Ericsson, Stina Professor 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)
Picazo-Sanchez, Pablo Postdoctor Formal Methods
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 - 42 of 42

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?