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 61 - 70 av 406

2017

Type Theory with Weak J
Thorsten Altenkirch, Paolo Capriotti, Thierry Coquand, Nils Anders Danielsson, Simon Huber et al.
23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017, Abstracts, Budapest, Hungary, Department of Programming Languages and Compilers, Faculty of Informatics, Eötvös Loránd University, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2017
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Towards practical out-of-order unification
Nils Anders Danielsson, Vı́ctor López Juan
23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017, Abstracts, Budapest, Hungary, Department of Programming Languages and Compilers, Faculty of Informatics, Eötvös Loránd University, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2017
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Contributions to a computational theory of policy advice and avoidability
N. Botta, Patrik Jansson, Cesar Ionescu
Journal of Functional Programming, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

Sequential decision problems, dependent types and generic solutions
N. Botta, Patrik Jansson, Cesar Ionescu, D. R. Christiansen, E. Brady
Logical Methods in Computer Science, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks
Y. Rafiq, L. Dickens, A. Russo, A. K. Bandara, M. Yang et al.
PROCEEDINGS OF THE 2017 32ND IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE'17), Kapitel i bok 2017
Kapitel i bok

Change Is Afoot Applying Change Management Theories to Self-Organizing Socio-Technical Systems
Jan-Philipp Steghöfer
Ieee Technology and Society Magazine, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

Runtime Enforcement of Cyber-Physical Systems
Srinivas Pinisetty, P. S. Roop, S. Smyth, N. Allen, S. Tripakis et al.
Acm Transactions on Embedded Computing Systems, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

Secure photo sharing in social networks
Pablo Picazo-Sanchez, Raúl Pardo, Gerardo Schneider
IFIP Information Security & Privacy Conference (IFIP SEC'17), volume 502 of IFIP Advances in Information and Communication Technology (AICT), pages 79-92, Springer Science and Business Media, Paper i proceeding 2017
Paper i proceeding

Data minimisation: A language-based approach
Thibaud Antignac, David Sands, Gerardo Schneider
IFIP Information Security & Privacy Conference (IFIP SEC'17), volume 502 of IFIP Advances in Information and Communication Technology. pages 442-456, Springer Science and Business Media, Paper i proceeding 2017
Paper i proceeding

Specification, design, and verification of an accountability-aware surveillance protocol
Thibaud Antignac, Mukelabai Mukelabai, Gerardo Schneider
Proceedings of the Symposium on Applied Computing -Software Verification and Testing track (SAC-SVT'17), pages 1372-1378, ACM, Paper i proceeding 2017
Paper i proceeding

Visar 61 - 70 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?