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 Modeling Approach for Bioinformatics Workflows
Laiz Heckmann Barbalho de Figueroa, Rema Salman, Jennifer Horkhoff, Soni Chauhan, Marcela Davila Lopez et al.
The Practice of Enterprise Modeling - 12th {IFIP} Working Conference, PoEM 2019, Luxembourg, Luxembourg, November 27-29, 2019, Proceedings, Springer, Conference paper 2019
Conference paper

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

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

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

After you, please: browser extensions order attacks and countermeasures
Pablo Picazo-Sanchez, J. Tapiador, Gerardo Schneider
International Journal of Information Security, 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

Software microbenchmarking in the cloud. How bad is it really?
C. Laaber, Joel Scheuner, Philipp Leitner
Empirical Software Engineering, 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 31 - 40 of 409

2018

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

Privacy Compliance Via Model Transformations
Thibaud Antignac, Riccardo Scandariato, Gerardo Schneider
International Workshop on Privacy Engineering (IWPE'18) at IEEE EuroS&P, IEEE, Conference paper 2018
Conference paper

Tackling combinatorial explosion: A study of industrial needs and practices for analyzing highly configurable systems
Mukelabai Mukelabai, Damir Nešić, Salome Maro, Thorsten Berger, Jan-Philipp Steghöfer
ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, Conference paper 2018
Conference paper

An optimization problem related to bloom filters with bit patterns
Peter Damaschke, Alexander Schliep
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Conference paper 2018
Conference paper

Clustering Vehicle Maneuver Trajectories Using Mixtures of Hidden Markov Models
John Martinsson, Nasser Mohammadiha, Alexander Schliep
2018 21st International Conference on Intelligent Transportation Systems (ITSC), IEEE, Conference paper 2018
Conference paper

Statistical Sensor Modelling for Autonomous Driving Using Autoregressive Input-Output HMMs
Edvin Listo Zec, Nasser Mohammadiha, Alexander Schliep
21st International Conference on Intelligent Transportation Systems, {ITSC} 2018, IEEE, Conference paper 2018
Conference paper

Showing 31 - 40 of 409

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?