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

Evolution of technical debt: An exploratory study
Abdullah Al Mamun, Antonio Martini, Miroslaw Staron, Christian Berger, Jörgen Hansson
Mensura 2019, Conference paper 2019
Conference paper

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

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 101 - 110 of 410

2015

A generalization of the Takeuti-Gandy interpretation
B. Barras, Thierry Coquand, Simon Huber
Mathematical Structures in Computer Science, Journal article 2015
Journal article

A Model of Type Theory in Cubical Sets
Simon Huber
Göteborg, University of Gothenburg, Licentiate thesis 2015
Licentiate thesis

2014

Can we efficiently check concurrent programs under relaxed memory models in Maude?
Yehia Abd Alrahman, Marina Andric, Alessandro Beggiato, Alberto Lluch Lafuente
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Journal article 2014
Journal article

Speech-Enabled Hybrid Multilingual Translation for Mobile Devices
Krasimir Angelov, Björn Bringert, Aarne Ranta
Proceedings of the 14th Conference of the European Chapter of the Association for Computational Linguistics, Association for Computational Linguistics, Conference paper 2014
Conference paper

Bootstrapping Open-Source English-Bulgarian Computational Dictionary
Krasimir Angelov
LREC 2014, Ninth International Conference on Language Resources and Evaluation, Conference paper 2014
Conference paper

Embedded controlled languages
Aarne Ranta
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, Chapter in book 2014
Chapter in book

Developing an interlingual translation lexicon using WordNets and Grammatical Framework
Shafqat Virk, K. V. S. Prasad, Aarne Ranta, Krasimir Angelov
Proceedings of the Fifth Workshop on South and Southeast Asian Natural Language Processing, Conference paper 2014
Conference paper

Large-Scale Hybrid Interlingual Translation in GF: a Project Description.
Aarne Ranta, Krasimir Angelov, Kolachina Prasanth, Inari Listenmaa
The Fifth Swedish Language Technology Conference, Conference contribution 2014
Conference contribution

Grammar-based Suggestion Engine with Keyword Search.
Martin Agfjord, Krasimir Angelov, Per Fredelius, Svetoslav Marinov
The Fifth Swedish Language Technology Conference, Conference contribution 2014
Conference contribution

Constructive Newton–Puiseux Theorem, Sheaf Model of the Separable Closure and Dynamic Evaluation
Bassel Mannaa
Göteborg, University of Gothenburg, Licentiate thesis 2014
Licentiate thesis

Showing 101 - 110 of 410

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?