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

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

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 21 - 30 of 404

2018

Verification of Migrated Product Lines
Mukelabai Mukelabai
Proceedings of the 22nd International Systems and Software Product Line Conference , ACM, Conference paper 2018
Conference paper

Elaborating dependent (co)pattern matching
Andreas Abel, Jesper Cockx
Proceedings of the ACM on Programming Languages, Journal article 2018
Journal article

An Evaluation of Open-Source Software Microbenchmark Suites for Continuous Performance Assessment
C. Laaber, Philipp Leitner
MSR '18 Proceedings of the 15th International Conference on Mining Software Repositories , ACM Digital Library, Chapter in book 2018
Chapter in book

ECG Dj: Heart Beat Synchronization
Lara Ortiz-Martin, Pedro Peris-Lopez, Pablo Picazo-Sanchez, Juan Tapiador, Gerardo Schneider
USENIX, Poster 2018
Poster

Model-Based Software Engineering: A Multiple-Case Study on Challenges and Development Efforts
Rodi Jolak, Truong Ho-Quang, Michel Chaudron, Ramon R.H. Schiffelers
Proceedings - 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Conference paper 2018
Conference paper

Towards a Better Understanding of Software Features and Their Characteristics: A Case Study of Marlin
Jacob Krüger, Wanzi Gu, Hui Shen, Mukelabai Mukelabai, Regina Hebig et al.
Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems , Conference paper 2018
Conference paper

A web-based tool for analysing normative documents in English
John J. Camilleri, Mohammad Reza Haghshenas, Gerardo Schneider
Proceedings of the ACM Symposium on Applied Computing, Conference paper 2018
Conference paper

Migrating Monitors + ABE: A Suitable Combination for Secure IoT?
Gordon J. Pace, Pablo Picazo-Sanchez, Gerardo Schneider
ISoLA'18, part IV, vol. 11247 of LNCS, pages 19-24, Conference paper 2018
Conference paper

Timed Epistemic Knowledge Bases for Social Networks
Raul Pardo, César Sánchez, Gerardo Schneider
Formal Methods (FM'18), vol. 10951 of LNCS, pages 185-202., Springer, Conference paper 2018
Conference paper

Runtime Verification of Hyperproperties for Deterministic Programs
Srinivas Pinisetty, Gerardo Schneider, David Sands
6th Conference on Formal Methods in Software Engineering (FormaliSE@ICSE'18), pages 20-29. ACM, ACM, Conference paper 2018
Conference paper

Showing 21 - 30 of 404

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?