Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2013-08-15 14:34

Tipsa en vän
Utskriftsversion

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

Hitta forskaren!

Välj ämne och hitta forskare och publikationer i vår forskningsdatabas.

Datavetenskap (datalogi)

Del av forskningsområdet Data- och informationsvetenskap

Senaste publikationer

Testing Natural Language Grammars
Inari Listenmaa
2018 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), Kapitel i bok 2018
Kapitel i bok

Herbrand’s Theorem as Higher Order Recursion
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Mathematisches Forschungsinstitut Oberwolfach, Rapport 2018
Rapport

Anscombe’s model for sequential clinical trials revisited
Sebastian Jobjörnsson, Sören Christensen
Sequential Analysis, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

MoVEMo: A Structured Approach for Engineering Reward Functions
Mallozzi Piergiuseppe, Raul Pardo, Vincent Duplessis, Patrizio Pelliccione, Gerardo Schneider
IEEE Robotic computing IRC 2018, Paper i proceeding 2018
Paper i proceeding

Decidability of conversion for type theory in type theory
Andreas Abel, Joakim Öhman, Andrea Vezzosi
Proceedings of the ACM on Programming Languages, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

SACRE: Supporting contextual requirements' adaptation in modern self-adaptive systems in the presence of uncertainty at runtime
E. Zavala, X. Franch, J. Marco, Alessia Knauss, D. Damian et al.
Expert Systems with Applications, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Up-to Techniques using Sized Types
Nils Anders Danielsson
Proceedings of the ACM on Programming Languages, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

A Study on Word2Vec on a Historical Swedish Newspaper Corpus
Nina Tahmasebi
CEUR Workshop Proceedings. Vol. 2084. Proceedings of the Digital Humanities in the Nordic Countries 3rd Conference, Helsinki Finland, March 7-9, 2018. Edited by Eetu Mäkelä, Mikko Tolonen, Jouni Tuominen , Helsinki, University of Helsinki, Faculty of Arts, Paper i proceeding 2018
Paper i proceeding

Linear Haskell: practical linearity in a higher-order polymorphic language
Jean-Philippe Bernardy, Mathieu Boespflug, Ryan Newton, Simon Peyton Jones, Arnaud Spiwack
Proceedings of the ACM on Programming Languages, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Optimization of truck tyres selection
Zuzana Nedelkova
Chalmers University of Technology and University of Gothenburg, Doktorsavhandling 2018
Doktorsavhandling

Visar 1 - 50 av 112

Namn Titel Organisation
Abel, Andreas Martin Universitetslektor Datavetenskap (CS)
Afshari, Bahareh Forskarassistent Datavetenskap (CS)
Allwood, Jens Professor Inst tillämpad IT, avd för kognition och kommunikation
Alm Rosenblad, Magnus Forskare Institutionen för kemi och molekylärbiologi
Angelov, Krasimir Universitetslektor Funktionell programmering
Antonelli, Alexandre Professor Institutionen för biologi och miljövetenskap
Bengtsson-Palme, Johan Forskarassistent Avd för infektionssjukdomar
Berger, Christian Universitetslektor Cyber Physical Systems (SE-CPS)
Bernardy, Jean-Philippe Forskare Avdelningen för lingvistik, logik och vetenskapsteori
Björk, Staffan Professor Interaktionsdesign
Borin, Lars Professor Institutionen för svenska språket
Broberg, Niklas Projetkassistent Avd För Programvaruteknik
Cangren, Patrik Doktorand Institutionen för biologi och miljövetenskap
Chaudron, Michel Professor People, Architecture, Requirements and Traceability (SE-PARTy)
Cooper, Robin Seniorprofessor Avdelningen för lingvistik, logik och vetenskapsteori
Coquand, Thierry Professor Datavetenskap (CS)
Dahlstedt, Palle Universitetslektor Interaktionsdesign
Danielsson, Nils Anders Forskare Datavetenskap (CS)
Dannélls, Dana Forskare Institutionen för svenska språket
de Wit, Pierre Forskarassistent Institutionen för marina vetenskaper
Dobnik, Simon Universitetslektor Avdelningen för lingvistik, logik och vetenskapsteori
Engström, Fredrik Universitetslektor Institutionen för filosofi, lingvistik och vetenskapsteori
Ericsson, Stina Universitetslektor Institutionen för svenska språket
Forsberg, Markus Forskare Institutionen för svenska språket
Fröberg, Rikard Universitetsadjunkt Inst tillämpad IT, avd för informatik
Godhe, Anna Professor Institutionen för marina vetenskaper
Gustafsson, Claes Museiintendent Institutionen för biologi och miljövetenskap
Hallgren, Thomas Forskningsingenjör 1.e Funktionell programmering
Heldal, Rogardt Docent Institutionen för data- och informationsteknik
Andermann, Tobias Doktorand Institutionen för biologi och miljövetenskap

Visar 1 - 50 av 112

Visar 1 - 10 av 398

2018

Testing Natural Language Grammars
Inari Listenmaa
2018 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), Kapitel i bok 2018
Kapitel i bok

Herbrand’s Theorem as Higher Order Recursion
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Mathematisches Forschungsinstitut Oberwolfach, Rapport 2018
Rapport

Anscombe’s model for sequential clinical trials revisited
Sebastian Jobjörnsson, Sören Christensen
Sequential Analysis, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

MoVEMo: A Structured Approach for Engineering Reward Functions
Mallozzi Piergiuseppe, Raul Pardo, Vincent Duplessis, Patrizio Pelliccione, Gerardo Schneider
IEEE Robotic computing IRC 2018, Paper i proceeding 2018
Paper i proceeding

Decidability of conversion for type theory in type theory
Andreas Abel, Joakim Öhman, Andrea Vezzosi
Proceedings of the ACM on Programming Languages, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

SACRE: Supporting contextual requirements' adaptation in modern self-adaptive systems in the presence of uncertainty at runtime
E. Zavala, X. Franch, J. Marco, Alessia Knauss, D. Damian et al.
Expert Systems with Applications, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Up-to Techniques using Sized Types
Nils Anders Danielsson
Proceedings of the ACM on Programming Languages, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

A Study on Word2Vec on a Historical Swedish Newspaper Corpus
Nina Tahmasebi
CEUR Workshop Proceedings. Vol. 2084. Proceedings of the Digital Humanities in the Nordic Countries 3rd Conference, Helsinki Finland, March 7-9, 2018. Edited by Eetu Mäkelä, Mikko Tolonen, Jouni Tuominen , Helsinki, University of Helsinki, Faculty of Arts, Paper i proceeding 2018
Paper i proceeding

Linear Haskell: practical linearity in a higher-order polymorphic language
Jean-Philippe Bernardy, Mathieu Boespflug, Ryan Newton, Simon Peyton Jones, Arnaud Spiwack
Proceedings of the ACM on Programming Languages, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Optimization of truck tyres selection
Zuzana Nedelkova
Chalmers University of Technology and University of Gothenburg, Doktorsavhandling 2018
Doktorsavhandling

Visar 1 - 10 av 398

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2013-08-15
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?