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

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

Feasibility analysis of Inter-Pulse Intervals based solutions for cryptographic token generation by two electrocardiogram sensors
Lara Ortiz-Martin, Pablo Picazo-Sanchez, Pedro Peris-Lopez, Juan Tapiador, Gerardo Schneider
Future generations computer systems, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

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

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

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

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

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

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 91 - 100 av 410

2015

STARVOORS: A Tool for Combined Static and Runtime Verification of Java
Mauricio Chimento, Wolfgang Ahrendt, Gordon Pace, Gerardo Schneider
Lecture Notes in Computer Science - 6th International Conference on Runtime Verification (RV), Paper i proceeding 2015
Paper i proceeding

Specification language for static and runtime verification of data and control properties
Wolfgang Ahrendt, Mauricio Chimento, G. J. Pace, Gerardo Schneider
Lecture Notes in Computer Science. FM 2015: FORMAL METHODS. 20th International Symposium on Formal Methods (FM), Oslo, Norway, June 24-26, 2015, Paper i proceeding 2015
Paper i proceeding

Chinese in the Grammatical Framework: Grammar, Translation, and Other Applications
Aarne Ranta, Yan Tian, Haiyan Qiao
The 53rd Annual Meeting of the Association for Computational Linguistics and the7th International Joint Conference on Natural Language Processing, Paper i proceeding 2015
Paper i proceeding

Proceedings of the Grammar Engineering Across Frameworks (GEAF) 2015 Workshop
Emily Bender, Lori Levin, Stefan Müller, Yannick Parmentier, Aarne Ranta
Samlingsverk 2015
Samlingsverk

GF Widecoverage English-Finnish MT system for WMT 2015
Aarne Ranta, Kolachina Prasanth
Proceedings of the Tenth Workshop on Statistical Machine Translation, Paper i proceeding 2015
Paper i proceeding

Grammar Engineering for a Customer: a Case Study with Five Languages
Aarne Ranta, Christina Unger, Daniel Vidal Hussey
ACL-IJCNLP 2015, Paper i proceeding 2015
Paper i proceeding

Constructive Type Theory
Aarne Ranta
The Handbook of Contemporary Semantic Theory, Wiley Blackwell, Kapitel i bok 2015
Kapitel i bok

A Presheaf Model of Parametric Type Theory
Jean-Philippe Bernardy, Thierry Coquand, Guilhem Moulin
Electronical Notes in Theoretical Computer Science, Artikel i vetenskaplig tidskrift 2015
Artikel i vetenskaplig tidskrift

Conditional Permissions in Contracts
Gordon Pace, Fernando Schapachnik, Gerardo Schneider
Frontiers in Artificial Intelligence and Applications, IOS Press, Artikel i vetenskaplig tidskrift 2015
Artikel i vetenskaplig tidskrift

Formalising the Swedish Constructicon in Grammatical Framework
Normunds Gruzitis, Dana Dannélls, Benjamin Lyngfelt, Aarne Ranta
Proceedings of the Grammar Engineering Across Frameworks (GEAF) Workshop, 53rd Annual Meeting of the ACL and 7th IJCNLP, Beijing, China, July 26-31, 2015, Paper i proceeding 2015
Paper i proceeding

Visar 91 - 100 av 410

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?