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

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

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

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

Intro to Web Prolog for Erlangers
Torbjörn Lager
Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang, ACM Press, Conference paper 2019
Conference paper

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

Showing 101 - 120 of 120

Name Title Organization
Scharn, Ruud Doctoral student Department of Earth Sciences
Schliep, Alexander Senior lecturer Data Science (DS)
Schneider, Gerardo Professor Formal Methods
Staron, Miroslaw Professor Testing, Requirements, Innovation and Psychology (SE-TRIP)
Stibrant Sunnerhagen, Katharina Professor/ chief physician Institute of Neuroscience and Physiology
Svantesson, Sten Doctoral student Department of Biological & Environmental Sciences
Tahmasebi, Nina Researcher Department of Swedish
Torgersson, Olof Senior lecturer Interaction Design
Töpel, Mats Researcher Department of Marine Sciences
Wilhelmsson, Kenneth It coordinator Institute of Health and Care Sciences
Virk, Shafqat Mumtaz Researcher Department of Swedish

Showing 101 - 120 of 120

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?