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

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

Impact of Gamification on Trace Link Vetting: A Controlled Experiment
Salome Maro, Emil Sundklev, Carl-Oscar Persson, Grischa Liebel, Jan-Philipp Steghöfer
International Working Conference on Requirements Engineering: Foundation for Software Quality REFSQ 2019, Springer, Conference paper 2019
Conference paper

Facilitating Entrepreneurial Experiences through a Software Engineering Project Course
Håkan Burden, Jan-Philipp Steghöfer, Oskar Hagvall Svensson
41st International Conference on Software Engineering, Software Engineering Education Track, Review article 2019
Review article

Variability Modeling of Service Robots: Experiences and Challenges
Sergio Garcia, Daniel Strüber, Alessandro Di Fava, Philipp Schillinger, Patrizio Pelliccione et al.
13th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Association for Computing Machinery, Conference paper 2019
Conference paper

Safety for mobile robotic system: A systematic mapping study from a software engineering perspective
Darko Bozhinoski, Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione, Ivica Crnkovic
Journal of Systems and Software, Journal article 2019
Journal article

People

Showing 151 - 156 of 156

Name Title Phone Email
Tsigas, Philippas Professor +46 31-772 5409 philippas.tsigas@chalmers.se
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 - 156 of 156

Showing 751 - 760 of 763

2004

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

Taking the next step in context-aware applications
Carl Magnus Olsson
IRIS - Information systems research seminar in Scandinavia, Journal article 2003
Journal article

Showing 751 - 760 of 763

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?