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

MOVENMO: a structured approach to engineer reward functions
Mallozzi Piergiuseppe, Raul Pardo, Vincent Duplessis, Patrizio Pelliccione, Gerardo Schneider
IEEE Robotic computing IRC 2018, 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

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

Opportunities and Risks of Blockchain Technologies (Dagstuhl Seminar 17132)
Roman Beck, Christian Becker, Juho Lindman, Matti Rossi
Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Samlingsverk 2017
Samlingsverk

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

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

Visar 1 - 50 av 105

Namn Titel Organisation
Abel, Andreas Martin 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
Bernardy, Jean-Philippe Forskare Institutionen för filosofi, lingvistik och vetenskapsteori
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
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

Visar 1 - 50 av 105

Visar 1 - 10 av 379

2018

MOVENMO: a structured approach to engineer reward functions
Mallozzi Piergiuseppe, Raul Pardo, Vincent Duplessis, Patrizio Pelliccione, Gerardo Schneider
IEEE Robotic computing IRC 2018, 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

2017

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

Opportunities and Risks of Blockchain Technologies (Dagstuhl Seminar 17132)
Roman Beck, Christian Becker, Juho Lindman, Matti Rossi
Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Samlingsverk 2017
Samlingsverk

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

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

Visar 1 - 10 av 379

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?