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

Learning to compose spatial relations with grounded neural language models
Mehdi Ghanimifard, Simon Dobnik
Second International Workshop on Models and Representations in Spatial Cognition (MRSC). Schloss Hohentübingen; Tübingen, Germany; April 06 - 07, 2017, Poster (konferens) 2017
Poster (konferens)

Modelling and analysis of normative documents
John J. Camilleri, Gerardo Schneider
Journal of Logical and Algebraic Methods in Programming, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL
Bjørnar Luteberget, John J. Camilleri, Christian Johansen, Gerardo Schneider
Lecture Notes in Computer Science, Springer, Paper i proceeding 2017
Paper i proceeding

Cut-free completeness for modal mu-calculus
Bahareh Afshari, Graham E. Leigh
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Paper i proceeding 2017
Paper i proceeding

Action and perception: embodying algorithms and the extended mind
Palle Dahlstedt
R. Dean, A. McLean (Eds.): Oxford Handbook on Algorithmic Music (in press), Oxford, UK, Oxford University Press, Kapitel i bok 2017
Kapitel i bok

Interactive programming in Agda - Objects and graphical user interfaces
Andreas Abel, S. Adelsberger, A. Setzer
Journal of Functional Programming, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

Visar 1 - 50 av 104

Namn Titel Organisation
Abel, Andreas Universitetslektor Avd för Datavetenskap
Afshari, Bahareh Forskarassistent Avd för Datavetenskap
Afshari, Bahareh Forskarassistent Avd för Datavetenskap
Alm Rosenblad, Magnus Forskare Institutionen för marina vetenskaper
Angelov, Krasimir Universitetslektor, biträdande Funktionell programmering
Antonelli, Alexandre Professor Institutionen för biologi och miljövetenskap
Bengtsson-Palme, Johan Forskarassistent Avd för infektionssjukdomar
Berger, Christian Universitetslektor Software Engineering
Björk, Staffan Professor Interaktionsdesign
Borin, Lars Professor Institutionen för svenska språket
Bourlat, Sarah Forskare Institutionen för marina vetenskaper
Broberg, Niklas Projetkassistent Avd För Programvaruteknik
Camilleri, John J. Doktorand Formella metoder
Cangren, Patrik Doktorand Institutionen för biologi och miljövetenskap
Chaudron, Michel Professor Software Engineering
Cooper, Robin Seniorprofessor Institutionen för filosofi, lingvistik och vetenskapsteori
Coquand, Thierry Professor Avd för Datavetenskap
Dahlstedt, Palle Universitetslektor Interaktionsdesign
Danielsson, Nils Anders Forskare Avd för Datavetenskap
Dannélls, Dana Forskare Institutionen för svenska språket
de Wit, Pierre Forskarassistent Institutionen för marina vetenskaper
Dobnik, Simon Universitetslektor Institutionen för filosofi, lingvistik och vetenskapsteori
Engström, Fredrik Forskare 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
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
Hofmann, Tobias Doktorand Institutionen för biologi och miljövetenskap
Häggström, Olle Professor Avdelningen för tillämpad matematik och statistik
Johansson, Richard Universitetslektor Avd för Datavetenskap

Visar 1 - 50 av 104

Visar 1 - 10 av 372

2017

Learning to compose spatial relations with grounded neural language models
Mehdi Ghanimifard, Simon Dobnik
Second International Workshop on Models and Representations in Spatial Cognition (MRSC). Schloss Hohentübingen; Tübingen, Germany; April 06 - 07, 2017, Poster (konferens) 2017
Poster (konferens)

Modelling and analysis of normative documents
John J. Camilleri, Gerardo Schneider
Journal of Logical and Algebraic Methods in Programming, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL
Bjørnar Luteberget, John J. Camilleri, Christian Johansen, Gerardo Schneider
Lecture Notes in Computer Science, Springer, Paper i proceeding 2017
Paper i proceeding

Cut-free completeness for modal mu-calculus
Bahareh Afshari, Graham E. Leigh
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Paper i proceeding 2017
Paper i proceeding

Action and perception: embodying algorithms and the extended mind
Palle Dahlstedt
R. Dean, A. McLean (Eds.): Oxford Handbook on Algorithmic Music (in press), Oxford, UK, Oxford University Press, Kapitel i bok 2017
Kapitel i bok

Interactive programming in Agda - Objects and graphical user interfaces
Andreas Abel, S. Adelsberger, A. Setzer
Journal of Functional Programming, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

Visar 1 - 10 av 372

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?