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

A calculus for collective-adaptive systems and its behavioural theory
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Information and Computation, Journal article 2019
Journal article

Software microbenchmarking in the cloud. How bad is it really?
C. Laaber, Joel Scheuner, Philipp Leitner
Empirical Software Engineering, Journal article 2019
Journal article

Testing for coordination fidelity
Yehia Abd Alrahman, Claudio Antares Mezzina, Hugo Torres Vieira
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Chapter in book 2019
Chapter in book

Bayesian optimization in ab initio nuclear physics
A. Ekstrom, C. Forssen, C. Dimitrakakis, D. Dubhashi, H. T. Johansson et al.
Journal of Physics G-Nuclear and Particle Physics, Journal article 2019
Journal article

Effects of measurements on correlations of software code metrics
Abdullah Al Mamun, Christian Berger, J. Hansson
Empirical Software Engineering, Journal article 2019
Journal article

Canonicity for Cubical Type Theory
Simon Huber
Journal of Automated Reasoning, 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

From Signatures to Monads in UniMath
B. Ahrens, R. Matthes, Anders Mörtberg
Journal of Automated Reasoning, Journal article 2019
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 81 - 90 of 403

2015

Improving Bandwidth Efficiency with Self-Adaptation for Data Marshalling on the Example of a Self-Driving Miniature Car
Federico Giaimo, Hugo Sica de Andrade, Christian Berger, Ivica Crnkovic
Proceedings of the 2015 European Conference on Software Architecture Workshops Article No. 21, Association for Computing Machinery (ACM), Conference paper 2015
Conference paper

Proceedings of SLPAT-2015: 6th Workshop on Speech and Language Processing for Assistive Technologies
Jan Alexandersson, Ercan Altinsoy, Heidi Christensen, Peter Ljunglöf, François Portet et al.
Association for Computational Linguistics, Proceeding 2015
Proceeding

A Cloud-Based Editor for Multilingual Grammars
Thomas Hallgren, Ramona Enache, Aarne Ranta
ACL-IJCNLP 2015, Association for Computational Linguistics, Conference paper 2015
Conference paper

STARVOORS: A Tool for Combined Static and Runtime Verification of Java
Mauricio Chimento, Wolfgang Ahrendt, Gordon Pace, Gerardo Schneider
Lecture Notes in Computer Science - 6th International Conference on Runtime Verification (RV), Conference paper 2015
Conference paper

Specification language for static and runtime verification of data and control properties
Wolfgang Ahrendt, Mauricio Chimento, G. J. Pace, Gerardo Schneider
Lecture Notes in Computer Science. FM 2015: FORMAL METHODS. 20th International Symposium on Formal Methods (FM), Oslo, Norway, June 24-26, 2015, Conference paper 2015
Conference paper

Chinese in the Grammatical Framework: Grammar, Translation, and Other Applications
Aarne Ranta, Yan Tian, Haiyan Qiao
The 53rd Annual Meeting of the Association for Computational Linguistics and the7th International Joint Conference on Natural Language Processing, Conference paper 2015
Conference paper

Proceedings of the Grammar Engineering Across Frameworks (GEAF) 2015 Workshop
Emily Bender, Lori Levin, Stefan Müller, Yannick Parmentier, Aarne Ranta
Edited book 2015
Edited book

GF Widecoverage English-Finnish MT system for WMT 2015
Aarne Ranta, Kolachina Prasanth
Proceedings of the Tenth Workshop on Statistical Machine Translation, Conference paper 2015
Conference paper

Grammar Engineering for a Customer: a Case Study with Five Languages
Aarne Ranta, Christina Unger, Daniel Vidal Hussey
ACL-IJCNLP 2015, Conference paper 2015
Conference paper

Constructive Type Theory
Aarne Ranta
The Handbook of Contemporary Semantic Theory, Wiley Blackwell, Chapter in book 2015
Chapter in book

Showing 81 - 90 of 403

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?