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 coordination protocol language for power grid operation control
Yehia Abd Alrahman, H. T. Vieira
Journal of Logical and Algebraic Methods in Programming, Journal article 2019
Journal article

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

Value Co-creation in Design of mHealth Applications for Maternal Healthcare Service Delivery
Hawa Nyende
IFIP Advances in Information and Communication Technology book series (IFIPAICT, volume 551), Conference paper 2019
Conference paper

Bayesian localization of CNV candidates in WGS data within minutes
John Wiedenhoeft, A. Cagan, R. Kozhemyakina, R. Gulevich, Alexander Schliep
Algorithms for Molecular Biology, Journal article 2019
Journal article

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

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

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 406

2017

Privacy-Preserving Location-Proximity for Mobile Apps
Simonas Stirbys, Omar Abu Nabah, P. Hallgren, A. Sabelfeld
25th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP), New York, IEEE, Conference paper 2017
Conference paper

Statistical Bioinformatics at Genome-Scale
Alexander Schliep
Invited Talk at SciLifeLab, Stockholm University, Stockholm, Sweden (Jan. 24, 2017), Conference contribution 2017
Conference contribution

2016

Predicting Translation Equivalents in Linked WordNets
Krasimir Angelov, Gleb Lobanov
The 26th International Conference on Computational Linguistics. Proceedings of the Sixth Workshop on Hybrid Approaches to Translation (HyTra6), The COLING 2016 Organizing Committee, Conference paper 2016
Conference paper

An automata-based approach to evolving privacy policies for social networks
Raul Pardo Jimenez, C. Colombo, G.J. Pace, Gerardo Schneider
Lecture Notes in Computer Science, volume 10012, Springer, Conference paper 2016
Conference paper

Big Data Science with Applications in Genomics
Alexander Schliep
Invited Talk at Universite Libre Brussels, Belgium (April 20, 2016), Conference contribution 2016
Conference contribution

Compressive Genomics: Statistical Bioinformatics for Genome-Scale Data
Alexander Schliep
Invited Talk at Institute for Computational Biomedicine, Department of Physiology and Biophysics, Weill Cornell Medicine, NYC, NY (June 17, 2016), Conference contribution 2016
Conference contribution

Compressive Omics: Data science for biomedical applications
Alexander Schliep
Key note at 4th Swedish Workshop on Data Science (SweDS 2016), Skövde, Sweden (Nov. 11, 2016), Conference contribution 2016
Conference contribution

Multilingual Database Access in the Query Converter
Aarne Ranta
Lecture notes in computer Science, Chapter in book 2016
Chapter in book

Grammatical Framework for implementing multilingual frames and constructions
Normunds Gruzitis, Dana Dannélls, Aarne Ranta, Francis M. Tyers
Book of Abstracts. The 9th International Conference on Construction Grammar (ICCG9) theme session on Computational Semantics with Frames and Constructions. October 05-­09, 2016, Juiz de Fora, Brazil , Conference contribution 2016
Conference contribution

FORMALIZED LINEAR ALGEBRA OVER ELEMENTARY DIVISOR RINGS IN COQ
G. Cano, C. Cohen, M. Denes, Anders Mörtberg, Vincent Siles
Logical Methods in Computer Science, Journal article 2016
Journal article

Showing 71 - 80 of 406

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?