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

Contact form








 


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




Computer Science

Part of the research area Computer and Information Science

Latest publications

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

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

Gray-box monitoring of hyperproperties
Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
Formal Methods – The Next 30 Years. FM 2019. Lecture Notes in Computer Science, vol 11800, Cham, Springer, Conference paper 2019
Conference paper

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

Language Modeling with Syntactic and Semantic Representation for Sentence Acceptability Predictions
Adam Ek, Jean-Philippe Bernardy, Shalom Lappin
Proceedings of the 22nd Nordic Conference on Computational Linguistics, 30 September – 2 October, 2019, Turku, Finland / Mareike Hartmann, Barbara Plank (Editors), University of Linköping, Linköping University Electronic Press, Conference paper 2019
Conference paper

Showing 1 - 50 of 121

Name Title Organization
Abd Alrahman, Yehia Postdoctor Formal Methods
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)
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
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 121

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://www.gu.se/english/research/find-our-researchers/?languageId=100001&disableRedirect=true&returnUrl=http%3A%2F%2Fwww.gu.se%2Fforskning%2Fhitta-forskaren%2F%3FpublicationPageNumber%3D5%26selectedTab%3D3%26tipFriend%3Dtrue%26tipUrl%3Dhttp%253A%252F%252Fwww.gu.se%252Fforskning%252Fhitta-forskaren%252F%253FpublicationPageNumber%253D9%2526selectedTab%253D3%2526feedbackForm%253Dtrue%2526returnAddress%253Dhttp%25253A%25252F%25252Fwww.gu.se%25252Fforskning%25252Fhitta-forskaren%25252F%25253FsubjectId%25253D10201%2526recipientName%253DWebbredaktion%2526encodedEmail%253DaW5mb0BndS5zZQ%2526subjectId%253D10201%26feedbackForm%3Dtrue%26encodedEmail%3DaW5mb0BndS5zZQ%26subjectId%3D10201&publicationPageNumber=5&selectedTab=3&tipFriend=true&tipUrl=http%3A%2F%2Fwww.gu.se%2Fforskning%2Fhitta-forskaren%2F%3FpublicationPageNumber%3D9%26selectedTab%3D3%26feedbackForm%3Dtrue%26returnAddress%3Dhttp%253A%252F%252Fwww.gu.se%252Fforskning%252Fhitta-forskaren%252F%253FsubjectId%253D10201%26recipientName%3DWebbredaktion%26encodedEmail%3DaW5mb0BndS5zZQ%26subjectId%3D10201&feedbackForm=true&encodedEmail=aW5mb0BndS5zZQ&subjectId=10201
Utskriftsdatum: 2020-01-25