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

Computer Science

Part of the research area Computer and Information Science

Latest publications

A Unified View of Modalities in Type Systems
Andreas Abel, Jean-Philippe Bernardy
Proceedings of the ACM on Programming Languages, Journal article 2020
Journal article

A collaborative access control framework for online social networks
Hanaa Alshareef, R. Pardo, Gerardo Schneider, Pablo Picazo-Sanchez
Journal of Logical and Algebraic Methods in Programming, Journal article 2020
Journal article

How Furiously Can Colorless Green Ideas Sleep? Sentence Acceptability in Context
Jey Han Lau, Carlos Armendariz, Shalom Lappin, Matthew Purver, Chang Shu
Transactions of the Association of Computational Linguistics, Journal article 2020
Journal article

Herbrand's theorem as higher order recursion
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Annals of Pure and Applied Logic, Journal article 2020
Journal article

Programming interactions in collective adaptive systems by relying on attribute-based communication
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Science of Computer Programming, Journal article 2020
Journal article

A distributed API for coordinating AbC programs
Yehia Abd Alrahman, Giulio Garbi
International Journal on Software Tools for Technology Transfer, Journal article 2020
Journal article

Understanding and Supporting Software Design in Model-Based Software Engineering
Rodi Jolak
Gothenburg, Sweden, University of Gothnburg, Doctoral thesis 2020
Doctoral thesis

Current and Future Bots in Software Development
Linda Erlenhov, Francisco Gomes de Oliveira Neto, Riccardo Scandariato, Philipp Leitner
2019 IEEE/ACM 1st International Workshop on Bots in Software Engineering (BotSE), Conference paper 2019
Conference paper

After you, please: browser extensions order attacks and countermeasures
Pablo Picazo-Sanchez, J. Tapiador, Gerardo Schneider
International Journal of Information Security, Journal article 2019
Journal article

Showing 1 - 50 of 127

Name Title Organization
Abd Alrahman, Yehia Postdoctor Formal Methods
Abel, Andreas Martin Senior lecturer Computer Science (CS)
Afshari, Bahareh Researcher Linguistics, Logic and Theory of Science unit
Almér, Alexander Senior lecturer 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)
Berger, Thorsten 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
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)
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 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
Gander, Pierre Senior lecturer Division of Cognition and Communication
Gustafsson, Claes Curator Department of Biological & Environmental Sciences

Showing 1 - 50 of 127

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/?tipFriend=true&tipUrl=http%3A%2F%2Fgu.se%2Fenglish%2Fresearch%2Ffind-our-researchers%2F%3Fprint%3Dtrue%26subjectId%3D10201&subjectId=10201
Utskriftsdatum: 2020-08-13