Till sidans topp

Sidansvarig: Telefonväxeln
Sidan uppdaterades: 2018-05-25 15:09

Tipsa en vän
Utskriftsversion

Avd för Datavetenskap - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Avd för Datavetenskap

Del av Institutionen för data- och informationsteknik vid IT-fakulteten

Avd för Datavetenskap
412 96 Göteborg
Leveransadress: Rännvägen 6 B
Besöksadress: Rännvägen 6 B, 412 58 Göteborg

Tel: 0317721000

Senaste publikationer

A coordination protocol language for power grid operation control
Yehia Abd Alrahman, H. T. Vieira
Journal of Logical and Algebraic Methods in Programming, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

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, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

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), Paper i proceeding 2019
Paper i proceeding

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

A calculus for collective-adaptive systems and its behavioural theory
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Information and Computation, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

Software microbenchmarking in the cloud. How bad is it really?
C. Laaber, Joel Scheuner, Philipp Leitner
Empirical Software Engineering, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

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), Kapitel i bok 2019
Kapitel i bok

Effects of measurements on correlations of software code metrics
Abdullah Al Mamun, Christian Berger, J. Hansson
Empirical Software Engineering, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

Canonicity for Cubical Type Theory
Simon Huber
Journal of Automated Reasoning, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

The Univalence Axiom in Cubical Sets
M. Bezem, Thierry Coquand, Simon Huber
Journal of Automated Reasoning, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

Visar 1 - 2 av 2

Namn Titel Telefon E-post
Bove, Ana Universitetslektor 031-772 1020 bove@chalmers.se
Dimitrakakis, Christos Postdoktor 031-772 1044 chrdimi@chalmers.se

Visar 1 - 2 av 2

Visar 1 - 10 av 406

2019

A coordination protocol language for power grid operation control
Yehia Abd Alrahman, H. T. Vieira
Journal of Logical and Algebraic Methods in Programming, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

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, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

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), Paper i proceeding 2019
Paper i proceeding

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

A calculus for collective-adaptive systems and its behavioural theory
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Information and Computation, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

Software microbenchmarking in the cloud. How bad is it really?
C. Laaber, Joel Scheuner, Philipp Leitner
Empirical Software Engineering, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

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), Kapitel i bok 2019
Kapitel i bok

Effects of measurements on correlations of software code metrics
Abdullah Al Mamun, Christian Berger, J. Hansson
Empirical Software Engineering, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

Canonicity for Cubical Type Theory
Simon Huber
Journal of Automated Reasoning, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

The Univalence Axiom in Cubical Sets
M. Bezem, Thierry Coquand, Simon Huber
Journal of Automated Reasoning, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

Visar 1 - 10 av 406

Sidansvarig: Telefonväxeln|Sidan uppdaterades: 2018-05-25
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?