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 71 - 80 of 424

2018

Up-to Techniques using Sized Types
Nils Anders Danielsson
Proceedings of the ACM on Programming Languages, Journal article 2018
Journal article

Heartbeats Do Not Make Good Pseudo-Random Number Generators: An Analysis of the Randomness of Inter-Pulse Intervals
L. Ortiz-Martin, Pablo Picazo-Sanchez, P. Peris-Lopez, J. Tapiador
Entropy, Journal article 2018
Journal article

2017

Planning for Natural Language Generation in GF
Krasimir Angelov, Gleb Lobanov
Proceedings of the Workshop on Logic and Algorithms in Computational Linguistics 2017 (LACompLing2017) / Editors: Roussanka Loukanova and Kristina Liefke, Stockholm, Stockholm University, Conference paper 2017
Conference paper

Probability Distributions in Type Theory with Applications in Natural Language Syntax
Krasimir Angelov
Modern Perspectives in Type-Theoretical Semantics, Springer, Chapter in book 2017
Chapter in book

Cubical type theory: a constructive interpretation of the univalence axiom
Cyril Cohen, Thierry Coquand, Simon Huber, Anders Mörtberg
Journal of Applied Logics, Journal article 2017
Journal article

Initial Results of the HELENA Survey Conducted in Estonia with Comparison to Results from Sweden and Worldwide
Ezequiel Scott, Dietmar Pfahl, Regina Hebig, Rogardt Heldal, Eric Knauss
Lecture Notes of Computer Science, volume 10611, Conference paper 2017
Conference paper

Normalization by evaluation for sized dependent types
Andreas Abel, Andrea Vezzosi, Theo Winterhalter
PACMPL, Journal article 2017
Journal article

Normalization by Evaluation for Sized Dependent Types
Andreas Abel, Andrea Vezzosi, Theo Winterhalter
23nd International Conference on Types for Proofs and Programs (TYPES 2017), Budapest, Hungary, 29 May - 1 June 2017, Conference contribution 2017
Conference contribution

Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type
Thorsten Altenkirch, Nils Anders Danielsson, Nicolai Kraus
Foundations of Software Science and Computation Structures, 20th International Conference, FOSSACS 2017, Berlin, Springer-Verlag GmbH Germany, Conference paper 2017
Conference paper

Type Theory with Weak J
Thorsten Altenkirch, Paolo Capriotti, Thierry Coquand, Nils Anders Danielsson, Simon Huber et al.
23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017, Abstracts, Budapest, Hungary, Department of Programming Languages and Compilers, Faculty of Informatics, Eötvös Loránd University, Conference contribution 2017
Conference contribution

Showing 71 - 80 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?

Denna text är utskriven från följande webbsida:
http://gu.se/english/about_the_university/units/?publicationPageNumber=8&selectedTab=3&languageId=100001&departmentId=107824
Utskriftsdatum: 2020-08-05