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

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

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

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

Visar 1 - 50 av 104

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
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 376

2017

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

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

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

Visar 1 - 10 av 376

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?