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

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

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

Metrics for software design and architectures
Miroslaw Staron, W. Meding
Automotive Software Architectures, Kapitel i bok 2017
Kapitel i bok

Training Word Sense Embeddings With Lexicon-based Regularization
Luis Nieto Piña, Richard Johansson
Proceedings of the Eighth International Joint Conference on Natural Language Processing (Volume 1: Long Papers), Taipei, Taiwan, November 27 – December 1, 2017, Asian Federation of Natural Language Processing , Paper i proceeding 2017
Paper i proceeding

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

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

Visar 1 - 10 av 382

2018

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

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

Metrics for software design and architectures
Miroslaw Staron, W. Meding
Automotive Software Architectures, Kapitel i bok 2017
Kapitel i bok

Training Word Sense Embeddings With Lexicon-based Regularization
Luis Nieto Piña, Richard Johansson
Proceedings of the Eighth International Joint Conference on Natural Language Processing (Volume 1: Long Papers), Taipei, Taiwan, November 27 – December 1, 2017, Asian Federation of Natural Language Processing , Paper i proceeding 2017
Paper i proceeding

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

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

Visar 1 - 10 av 382

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?