To the top

Page Manager: Webmaster
Last update: 8/24/2013 3:08 PM

Tell a friend about this page
Print version

Theoretical computer science - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Contact form








 


Note! If you want an answer on a question you must specify your email address




Theoretical computer science

Part of the research area Computer 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

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

Nash Equilibrium and Bisimulation Invariance
Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael Wooldridge
Logical Methods in Computer Science, Journal article 2019
Journal article

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

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

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 infinitary treatment of full mu-calculus
Bahareh Afshari, Gerhard Jäger, Graham E. Leigh
Lecture Notes in Computer Science 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings / editors: Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy , Berlin, Heidelberg, Springer, 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

Showing 1 - 18 of 18

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
Bernardy, Jean-Philippe Researcher Linguistics, Logic and Theory of Science unit
Coquand, Thierry Professor Computer Science (CS)
Danielsson, Nils Anders Senior lecturer Computer Science (CS)
Häggström, Olle Professor Applied Mathematics and Statistics
Jansson, Patrik Associate Professor Department of Computer Science and Engineering
Leigh, Graham Researcher Linguistics, Logic and Theory of Science unit
Lundh, Torbjörn Professor Applied Mathematics and Statistics
Norell, Ulf Principal research engineer Computer Science (CS)

Showing 1 - 18 of 18

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?