Till sidans topp

Sidansvarig: Telefonväxeln
Sidan uppdaterades: 2018-05-25 15:09

Tipsa en vän
Utskriftsversion

Avd för Datavetenskap - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Avd för Datavetenskap

Del av Institutionen för data- och informationsteknik vid IT-fakulteten

Avd för Datavetenskap
412 96 Göteborg
Leveransadress: Rännvägen 6 B
Besöksadress: Rännvägen 6 B, 412 58 Göteborg

Tel: 0317721000

Senaste publikationer

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

A Unified View of Modalities in Type Systems
Andreas Abel, Jean-Philippe Bernardy
Proceedings of the ACM on Programming Languages, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

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), Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

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, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

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, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

"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, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

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, Paper i proceeding 2020
Paper i proceeding

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, Paper i proceeding 2020
Paper i proceeding

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, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

Visar 1 - 2 av 2

Namn Titel Telefon E-post
Bove, Ana Universitetslektor 031-772 1020 bove@chalmers.se
Dimitrakakis, Christos Postdoktor 031-772 1044 chrdimi@chalmers.se

Visar 1 - 2 av 2

Visar 61 - 70 av 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, Paper i proceeding 2018
Paper i proceeding

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, Paper i proceeding 2018
Paper i proceeding

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., Paper i proceeding 2018
Paper i proceeding

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, Paper i proceeding 2018
Paper i proceeding

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

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, Paper i proceeding 2018
Paper i proceeding

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 , Paper i proceeding 2018
Paper i proceeding

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

Making the Child-Computer Interaction Field Grow Up?
Olof Torgersson, Tilde Bekker, Wolmet Barendregt, Eva Eriksson, Christopher Frauenberger
Interactions, Artikel i övriga tidskrifter 2018
Artikel i övriga tidskrifter

Decidability of conversion for type theory in type theory
Andreas Abel, Joakim Öhman, Andrea Vezzosi
Proceedings of the ACM on Programming Languages, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Visar 61 - 70 av 424

Sidansvarig: Telefonväxeln|Sidan uppdaterades: 2018-05-25
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?