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

Tf Prefekt: Patrik Jansson

Latest publications

Using Gameplay Design Patterns to Support Children's Collaborative Interactions for Learning
G. E. Baykal, E. Eriksson, Staffan Björk, Olof Torgersson
CHI EA '19 Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, IEEE, Conference paper 2019
Conference paper

What are grammars good for? Reflections on twenty years of Grammatical Framework
Aarne Ranta
Tokens of Meaning: Papers in Honor of Lauri Karttunen, Stanford, CSLI Publications, Chapter in book 2019
Chapter in book

An Adequacy Theorem for Dependent Type Theory
Thierry Coquand, Simon Huber
Theory of Computing Systems, Journal article 2019
Journal article

Prediction of Undetected Faults in Safety-Critical Software
J. Sundell, Richard Torkar, K. Lundqvist, H. Forsberg
2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Conference paper 2019
Conference paper

Effects of measurements on correlations of software code metrics
Abdullah Al Mamun, Christian Berger, J. Hansson
Empirical Software Engineering, Journal article 2019
Journal article

The Univalence Axiom in Cubical Sets
M. Bezem, Thierry Coquand, Simon Huber
Journal of Automated Reasoning, Journal article 2019
Journal article

A Generic Traceability Metamodel for Enabling Unified End-to-End Traceability in Software Product Lines
P. Heisig, Jan-Philipp Steghöfer, C. Brink, S. Sachweh
SAC '19 Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing , ACM Digital Library, Chapter in book 2019
Chapter in book

Visitor monitoring and education in recreation and tourism management in marine protected areas: A technology-driven approach
Andreas Skriver Hansen, Richard Torkar, Claudio Aguyao, Michael Lück, Brooke Porter
Proceedings of the 13th Annual Conference of the International Competence Network of Tourism Research and Education (ICNT): The future of community engagement in tourism: Adressing the (im)balance between tourism growth and local community involvement, Conference contribution 2019
Conference contribution

People

Showing 1 - 50 of 146

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 richard.berntsson.svensson@gu.se
Björk, Staffan Professor +46 31-772 1039 staffan.bjork@gu.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
Cockx, Jesper Postdoctor cockx@chalmers.se
Coquand, Thierry Professor +46 31-772 1030 thierry.coquand@gu.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.dahlstedt@gu.se
Damaschke, Peter Associate Professor +46 31-772 5405 ptr@chalmers.se
Danielsson, Nils Anders Senior lecturer +46 31-772 1680 nils.danielsson@gu.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@gu.se
Gren, Lucas Postdoctor +46 31-772 6173 lucas.gren@gu.se

Showing 1 - 50 of 146

Showing 1 - 10 of 771

2019

Using Gameplay Design Patterns to Support Children's Collaborative Interactions for Learning
G. E. Baykal, E. Eriksson, Staffan Björk, Olof Torgersson
CHI EA '19 Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, IEEE, Conference paper 2019
Conference paper

What are grammars good for? Reflections on twenty years of Grammatical Framework
Aarne Ranta
Tokens of Meaning: Papers in Honor of Lauri Karttunen, Stanford, CSLI Publications, Chapter in book 2019
Chapter in book

An Adequacy Theorem for Dependent Type Theory
Thierry Coquand, Simon Huber
Theory of Computing Systems, Journal article 2019
Journal article

Prediction of Undetected Faults in Safety-Critical Software
J. Sundell, Richard Torkar, K. Lundqvist, H. Forsberg
2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Conference paper 2019
Conference paper

Effects of measurements on correlations of software code metrics
Abdullah Al Mamun, Christian Berger, J. Hansson
Empirical Software Engineering, Journal article 2019
Journal article

The Univalence Axiom in Cubical Sets
M. Bezem, Thierry Coquand, Simon Huber
Journal of Automated Reasoning, Journal article 2019
Journal article

A Generic Traceability Metamodel for Enabling Unified End-to-End Traceability in Software Product Lines
P. Heisig, Jan-Philipp Steghöfer, C. Brink, S. Sachweh
SAC '19 Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing , ACM Digital Library, Chapter in book 2019
Chapter in book

Visitor monitoring and education in recreation and tourism management in marine protected areas: A technology-driven approach
Andreas Skriver Hansen, Richard Torkar, Claudio Aguyao, Michael Lück, Brooke Porter
Proceedings of the 13th Annual Conference of the International Competence Network of Tourism Research and Education (ICNT): The future of community engagement in tourism: Adressing the (im)balance between tourism growth and local community involvement, Conference contribution 2019
Conference contribution

Showing 1 - 10 of 771

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?