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

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

Flaws in Flows: Unveiling Design Flaws via Information Flow Analysis
Katja Tuma, Riccardo Scandariato, Musard Balliu
2019 IEEE International Conference on Software Architecture (ICSA), IEEE, Conference paper 2019
Conference paper

A Software Exoskeleton to Protect and Support Citizen's Ethics and Privacy in the Digital World
M. Autili, D. Di Ruscio, P. Inverardi, Patrizio Pelliccione, M. Tivoli
Ieee Access, Journal article 2019
Journal article

People

Showing 151 - 155 of 155

Name Title Phone Email
Tuma, Katja Doctoral student katja.tuma@cse.gu.se
Ungman, Simon Communications officer +46 31-772 6485 simon.ungman.hain@cse.gu.se
von Hacht, Joachim Lecturer +46 31-772 1003 joachim.hacht@chalmers.se
Wedelin, Dag Docent +46 31-772 1022 dag@chalmers.se
Yin, Hang Postdoctor yhang@chalmers.se

Showing 151 - 155 of 155

Showing 1 - 10 of 767

2019

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

Flaws in Flows: Unveiling Design Flaws via Information Flow Analysis
Katja Tuma, Riccardo Scandariato, Musard Balliu
2019 IEEE International Conference on Software Architecture (ICSA), IEEE, Conference paper 2019
Conference paper

A Software Exoskeleton to Protect and Support Citizen's Ethics and Privacy in the Digital World
M. Autili, D. Di Ruscio, P. Inverardi, Patrizio Pelliccione, M. Tivoli
Ieee Access, Journal article 2019
Journal article

Showing 1 - 10 of 767

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?