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

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

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), Poster (konferens) 2017
Poster (konferens)

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

E-Learning Systems: Intelligent Techniques for Personalization
Aleksandra Klašnja-Milićević, Boban Vesin, Mirjana Ivanović, Zoran Budimac, Lakhmi Jain
Springer International Publishing Switzerland, Springer International Publishing, Bok 2017
Bok

Finitary Proof Systems for Kozen’s μ
Bahareh Afshari, Graham E. Leigh
Mathematisches Forschungsinstitut Oberwolfach, Rapport 2016
Rapport

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
Allwood, Jens Universitetslektor Avdelningen för kognition och kommunikation
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 Forskare 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
Dodig Crnkovic, Gordana Professor Avdelningen för kognition och kommunikation
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 369

2017

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

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), Poster (konferens) 2017
Poster (konferens)

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

E-Learning Systems: Intelligent Techniques for Personalization
Aleksandra Klašnja-Milićević, Boban Vesin, Mirjana Ivanović, Zoran Budimac, Lakhmi Jain
Springer International Publishing Switzerland, Springer International Publishing, Bok 2017
Bok

2016

Finitary Proof Systems for Kozen’s μ
Bahareh Afshari, Graham E. Leigh
Mathematisches Forschungsinstitut Oberwolfach, Rapport 2016
Rapport

Visar 1 - 10 av 369

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?