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
To content Read more about how we use cookies on

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

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

A Pragmatic View on Code Complexity Management
V. Antinyan, A. B. Sandberg, Miroslaw Staron
Computer, Journal article 2019
Journal article

Current and Future Bots in Software Development
Linda Erlenhov, Francisco Gomes de Oliveira Neto, Riccardo Scandariato, Philipp Leitner
First Workshop on Bots in Software Engineering, (BotSE @ICSE), Conference paper 2019
Conference paper

The UNITE database for molecular identification of fungi: handling dark taxa and parallel taxonomic classifications.
R. Henrik Nilsson, Karl-Henrik Larsson, Andy F S Taylor, Johan Bengtsson-Palme, Thomas S Jeppesen et al.
Nucleic acids research, Journal article 2019
Journal article

Mycobiome diversity: high-throughput sequencing and identification of fungi.
R. Henrik Nilsson, Sten Anslan, Mohammad Bahram, Christian Wurzbacher, Petr Baldrian et al.
Nature reviews. Microbiology, Review article 2019
Review article

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

Vetting automatically generated trace links: What information is useful to human analysts?
Salome Maro, Jan-Philipp Steghöfer, Jane Hayes, Jane Cleland-Huang, Miroslaw Staron
Proceedings - 2018 IEEE 26th International Requirements Engineering Conference, RE 2018, Conference paper 2018
Conference paper

23rd International Conference on Types for Proofs and Programs, TYPES 2017, May 29-June 1, 2017, Budapest, Hungary.
Andreas Abel, Fredrik Nordvall Forsberg, Ambrus Kaposi
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Edited book 2018
Edited book

Resourceful Dependent Types
Andreas Abel
24th International Conference on Types for Proofs and Programs (TYPES 2018), Braga, Portugal, 18-21 June 2018., Conference contribution 2018
Conference contribution

Showing 1 - 50 of 119

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
Burden, Håkan Universitetslektor, adjungerad Testing, Requirements, Innovation and Psychology (SE-TRIP)
Cangren, Patrik Doctoral student Department of Biological & Environmental Sciences
Chaudron, Michel Professor Cyber Physical Systems (SE-CPS)
Cockx, Jesper Postdoctor Computer Science (CS)
Cooper, Robin Linguistics, Logic and Theory of Science unit
Coquand, Thierry Professor Computer Science (CS)
Dahlstedt, Palle Senior lecturer Interaction Design
Danielsson, Nils Anders Senior lecturer Computer Science (CS)
Dannélls, Dana Researcher Department of Swedish
de Wit, Pierre Raoul Researcher 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 Professor Department of Swedish
Forsberg, Markus Researcher Department of Swedish
Fröberg, Rikard Lecturer Division of Informatics
Gustafsson, Claes Curator Department of Biological & Environmental Sciences
Hallgren, Thomas Principal research engineer Functional Programming
Heldal, Rogardt Docent Department of Computer Science and Engineering

Showing 1 - 50 of 119

Page Manager: Webmaster|Last update: 8/24/2013

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?