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

Part of 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
Visiting address: Rännvägen 6 B, 412 58 Göteborg

Phone: +46 317721000

Latest publications

Blood Glucose Prediction with Variance Estimation Using Recurrent Neural Networks
John Martinsson, Alexander Schliep, Björn Eliasson, Olof Mogren
Journal of Healthcare Informatics Research, Journal article 2020
Journal article

A Unified View of Modalities in Type Systems
Andreas Abel, Jean-Philippe Bernardy
Proceedings of the ACM on Programming Languages, Journal article 2020
Journal article

From ethnographic research to big data analytics - A case of maritime energy-efficiency optimization
Yemao Man, T. Sturm, M. Lundh, S. N. MacKinnon
Applied Sciences (Switzerland), Journal article 2020
Journal article

A collaborative access control framework for online social networks
Hanaa Alshareef, R. Pardo, Gerardo Schneider, Pablo Picazo-Sanchez
Journal of Logical and Algebraic Methods in Programming, Journal article 2020
Journal article

Cognitive and brain development is independently influenced by socioeconomic status and polygenic scores for educational attainment
N. Judd, B. Sauce, J. Wiedenhoeft, J. Tromp, B. Chaarani et al.
Proceedings of the National Academy of Sciences of the United States of America, Journal article 2020
Journal article

"Are You Planning to Follow Your Route?" The Effect of Route Exchange on Decision Making, Trust, and Safety
K. Aylward, R. Weber, Yemao Man, M. Lundh, S. N. MacKinnon
Journal of Marine Science and Engineering, Journal article 2020
Journal article

Towards Efficient Analysis of Variation in Time and Space
T. Thum, L. Teixeira, K. Schmid, E. Walkingshaw, Mukelabai Mukelabai et al.
SPLC '19: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume B. pp. 57–64, ACM, Conference paper 2020
Conference paper

Facing the truth: Benchmarking the techniques for the evolution of variant-rich systems
Daniel Strüber, Mukelabai Mukelabai, Jacob Krüger, Stefan Fischer, Lukas Linsbauer et al.
SPLC'19: Proceedings of the 23rd International Systems and Software Product Line Conference, Vol A, pp. 177-188, ACM, Conference paper 2020
Conference paper

The Global Museum: natural history collections and the future of evolutionary science and public education
F. T. Bakker, A. Antonelli, J. Clarke, J. A. Cook, Scott V Edwards et al.
PeerJ, Journal article 2020
Journal article

People

Showing 1 - 2 of 2

Name Title Phone Email
Bove, Ana Senior lecturer +46 31-772 1020 bove@chalmers.se
Dimitrakakis, Christos Postdoctor +46 31-772 1044 chrdimi@chalmers.se

Showing 1 - 2 of 2

Showing 61 - 70 of 424

2018

Smart Contracts: A Killer Application for Deductive Source Code Verification
Wolfgang Ahrendt, Gordon Pace, Gerardo Schneider
Principled Software Development, pp 1-18, Springer, Conference paper 2018
Conference paper

Testing Meets Static and Runtime Verification
Jesus Mauricio Chimento, Wolfgang Ahrendt, Gerardo Schneider
6th Conference on Formal Methods in Software Engineering (FormaliSE@ICSE'18), pages 30-39. ACM, ACM, Conference paper 2018
Conference paper

Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification
Borzoo Bonakdarpour, Cesar Sanchez, Gerardo Schneider
ISoLA'18, part II, vol. 11245 of LNCS, pages 8-27., Conference paper 2018
Conference paper

Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions
César Sánchez, Gerardo Schneider, Martin Leucker
ISoLA (4), vol. 11247 of LNCS 2018: 275-279, Conference paper 2018
Conference paper

Is privacy by construction possible?
Gerardo Schneider
ISoLA'18, part I, volume 11244 of LNCS, pages 471-485, Springer, Conference paper 2018
Conference paper

Modelling the Roles of Designers and Teaching Staff when Doing Participatory Design with Children in Special Education
Wolmet Barendregt, Peter Börjesson, Eva Eriksson, Olof Torgersson, Tilde Bekker et al.
Proceedings of the 15th Participatory Design Conference: Full Papers - Volume 1, PDC '18, Conference paper 2018
Conference paper

Multi-View Editing of Software Product Lines with PEoPL
Mukelabai Mukelabai, B. Behringer, M. Fey, J. Palz, J. Kruger et al.
PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION , Conference paper 2018
Conference paper

Search-Based Scheduling of Experiments in Continuous Deployment
G. Schermann, Philipp Leitner
2018 IEEE International Conference on Software Maintenance and Evolution, IEEE, Conference paper 2018
Conference paper

Making the Child-Computer Interaction Field Grow Up?
Olof Torgersson, Tilde Bekker, Wolmet Barendregt, Eva Eriksson, Christopher Frauenberger
Interactions, Magazine article 2018
Magazine article

Decidability of conversion for type theory in type theory
Andreas Abel, Joakim Öhman, Andrea Vezzosi
Proceedings of the ACM on Programming Languages, Journal article 2018
Journal article

Showing 61 - 70 of 424

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?