To the top

Page Manager: Webmaster
Last update: 9/12/2012 10:52 AM

Tell a friend about this page
Print version

Department of Computer Science and Engineering - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Department of Computer Science and Engineering

at IT Faculty

Department of Computer Science and Engineering
SE412 96 Göteborg
Delivery address: Rännvägen 6 B, 412 58 Göteborg
Visiting address: Rännvägen 6 B, 412 58 Göteborg

Fax: +46 317723663
Web Page: www.chalmers.se/sv/institutioner/cse
Email: cse@cse.gu.se

Latest publications

Equilibrium design for concurrent games
J Gutierrez, M Najib, Giuseppe Perelli, M Wooldridge
Leibniz International Proceedings in Informatics, LIPIcs, Conference paper 2019
Conference paper

Natural Language Processing in Policy Evaluation: Extracting Policy Conditions from IMF Loan Agreements
Joakim Åkerström, Adel Daoud, Richard Johansson
Proceedings of the 22nd Nordic Conference on Computational Linguistics; September 30 – October 2; Turku, Finland, Linköping University Electronic Press, Conference paper 2019
Conference paper

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

Towards a resource grammar for Runyankore and Rukiga
David Bamutura, Peter Ljunglöf
WiNLP 2019, the 3rd Workshop on Widening NLP, Florence, Italy, 28th July 2019, Poster 2019
Poster

Principles of Feature Modeling
D. Nesic, J. Kruger, S. Stanciulescu, Thorsten Berger
ESEC/FSE 2019. Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, IEEE, Conference paper 2019
Conference paper

Effects of Explicit Feature Traceability on Program Comprehension
J. Kruger, Gul Calikli, Thorsten Berger, T. Leich, G. Saake
ESEC/FSE 2019. Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, IEEE, Conference paper 2019
Conference paper

Lattice-ordered groups generated by an ordered group and regular systems of ideals
Thierry Coquand, H. Lombardi, S. Neuwirth
Rocky Mountain Journal of Mathematics, Journal article 2019
Journal article

People

Showing 1 - 50 of 145

Name Title Phone Email
Abd Alrahman, Yehia Postdoctor yehia.abd.alrahman@gu.se
Abel, Andreas Martin Senior lecturer +46 31-772 1731 abela@chalmers.se
Afshari, Bahareh Postdoctoral research fellow +46 31-772 6153 bahareh.afshari@cse.gu.se
Ahrendt, Wolfgang Docent +46 31-772 1011 ahrendt@chalmers.se
Al Mamun, Abdullah Doctoral student +46 31-772 5646 abdullah.mamun@chalmers.se
Al-Sabbagh, Khaled Doctoral student khaled.al-sabbagh@gu.se
Alahyari, Hiva Doctoral student +46 31-772 5710 hiva@chalmers.se
Almström Duregård, Jonas Senior lecturer jonas.duregard@chalmers.se
Almström Duregård, Jonas Doctoral student +46 31-7721028 jonas.duregard@chalmers.se
Alégroth, Emil Postgraduate student +46 31-772 6072 emil.alegroth@chalmers.se
Andersson, Anneli Communications officer +46 31-772 1029 anneli.andersson@chalmers.se
Andersson Vaughan, Jenny Finance officer jennyva@chalmers.se
Angelov, Krasimir Senior lecturer +46 31-772 1019 krasimir@chalmers.se
Assarsson, Ulf Associate Professor +46 31-772 17 75 uffe@chalmers.se
Axelsson, Eva Administrator +46 31-772 1077 eva.axelsson@chalmers.se
Bengtsson, Lars Docent +46 31-772 8441 labe@chalmers.se
Berger, Christian Senior lecturer +46 31-772 6038 christian.berger@gu.se
Berger, Thorsten Senior lecturer thorsten.berger@gu.se
Bernskiöld, Oscar Finance officer oscar.bernskiold@gu.se
Berntsson Svensson, Richard Senior lecturer +46 31-772 6813 ricbern@chalmers.se
Björk, Staffan Professor +46 31-772 1039 staffanb@chalmers.se
Bove, Ana Senior lecturer +46 31-772 1020 bove@chalmers.se
Broberg, Niklas Projkect assistant +46 31-772 1058
Burden, Håkan Universitetslektor, adjungerad hakan.burden@gu.se
Börjesson, Peter Doctoral student borjessp@chalmers.se
Calikli, Gul Universitetslektor/​biträdande gul.calikli@gu.se
Cauli, Claudia Doctoral student claudia.cauli@gu.se
Chaudron, Michel Professor +46 31-772 1165 chaudron@chalmers.se
Coquand, Thierry Professor +46 31-772 1030 Coquand@chalmers.se
Crnkovic, Ivica Professor +46 31-772 6076 crnkovic@chalmers.se
Cyren, Rebecca Administrator +46 31-772 1090 rebecca.cyren@chalmers.se
Dahlstedt, Palle Senior lecturer +46 31-772 8207 palle@ituniv.se
Damaschke, Peter Associate Professor +46 31-772 5405 ptr@chalmers.se
Danielsson, Nils Anders Senior lecturer +46 31-772 1680 nad@chalmers.se
de Oliveira Neto, Francisco Universitetslektor/​biträdande francisco.de.oliveira.neto@gu.se
Dimitrakakis, Christos Postdoctor +46 31-772 1044 chrdimi@chalmers.se
Dubhashi, Devdatt Professor +46 31-772 1046 dubhashi@chalmers.se
Durisic, Darko Universitetslektor, adjungerad darko.durisic@gu.se
Dybjer, Peter Professor +46 31-772 1035 peterd@chalmers.se
Erling Almér, Sanna +46 31-772 2964 sanna.glyssbo@chalmers.se
Fathollah Nejad Asl, Negin Doctoral student +46 31-772 5211 negin@chalmers.se
Fernell Foufa, Ellen-Britta Study counsellor +46 31-772 1709 svl@cse.gu.se
Garcia, Sergio Doctoral student sergio.garcia@gu.se
Gay, Gregory Universitetslektor/​biträdande gregory.gay@gu.se
Gerdes, Alex Senior lecturer alexg@chalmers.se
Giaimo, Federico Postgraduate Student +46 31-772 6184 giaimo@chalmers.se
Gorschek, Tony Visiting Lecturer gorschek@chalmers.se
Granfeldt, Kristina Human resources officer +46 31-772 2327 kristina.granfeldt@cse.gu.se
Gren, Lucas Postdoctor +46 31-772 6173 lucasg@chalmers.se
Grohe, Birgit Lecturer birgit.grohe@gu.se

Showing 1 - 50 of 145

Showing 771 - 780 of 784

2004

Grammatical Framework and multiple context-free grammars
Peter Ljunglöf
FG-04, 9th Conference on Formal Grammar, Conference paper 2004
Conference paper

Expressivity and Complexity of the Grammatical Framework
Peter Ljunglöf
Göteborg, Chalmers University of Technology, Doctoral thesis 2004
Doctoral thesis

Functional chart parsing of context-free grammars
Peter Ljunglöf
Journal of Functional Programming, Journal article 2004
Journal article

Evaluating innovative prototypes: Assessing the role of lead users, adaptive structuration theory and repertory grids
Carl Magnus Olsson, Nancy L. Russo
International Federation For Information Processing, Working Group 8.6, Journal article 2004
Journal article

Applying adaptive structuration theory to the study of context-aware applications
Carl Magnus Olsson, Nancy L. Russo
Proceedings of the International Federation For Information Processing, Working Group 8.2, Journal article 2004
Journal article

Exploring the impact of a context-aware application for in-car use
Carl Magnus Olsson
ICIS - International Conference on Information Systems, Journal article 2004
Journal article

2003

An abstract view of generalized LR parsing
Peter Ljunglöf
NWPT-03, 15th Nordic Workshop on Programming Theory, Conference contribution 2003
Conference contribution

New Techniques that Improve MACE-style Model Finding
Koen Claessen, Niklas Sörensson
Model Computation, Conference paper 2003
Conference paper

Newman's lemma - a case study in proof automation and geometric logic
Marc Bezem, Thierry Coquand
European Association for Theoretical Computer Science. Bulletin, Journal article 2003
Journal article

Towards the compositional verification of real-time UML designs
Holger Giese, Matthias Tichy, Sven Burmester, Wilhelm Schäfer, Stephan Flake
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003, Conference paper 2003
Conference paper

Showing 771 - 780 of 784

Page Manager: Webmaster|Last update: 9/12/2012
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?