Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2013-08-15 14:34

Tipsa en vän
Utskriftsversion

Datalogi - Göteborgs universitet 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.

Datalogi

Del av forskningsområdet Datavetenskap (datalogi)

Senaste publikationer

Flaws in Flows: Unveiling Design Flaws via Information Flow Analysis
Katja Tuma, Musard Balliu, Riccardo Scandariato
2019 IEEE International Conference on Software Architecture (ICSA), IEEE, Paper i proceeding 2019
Paper i proceeding

Feasibility analysis of Inter-Pulse Intervals based solutions for cryptographic token generation by two electrocardiogram sensors
Lara Ortiz-Martin, Pablo Picazo-Sanchez, Pedro Peris-Lopez, Juan Tapiador, Gerardo Schneider
Future generations computer systems, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

Latex Gloves: Protecting Browser Extensions from Probing and Revelation Attacks
Alexander Sjösten, Steven Van Acker, Pablo Picazo-Sanchez, Andrei Sabelfeld
Network and Distributed System Security Symposium (NDSS), Paper i proceeding 2019
Paper i proceeding

ECG Dj: Heart Beat Synchronization
Lara Ortiz-Martin, Pedro Peris-Lopez, Pablo Picazo-Sanchez, Juan Tapiador, Gerardo Schneider
USENIX, Poster (konferens) 2018
Poster (konferens)

Using Self-healing to Increase Robustness of Handling In-Browser Third-Party Content
S. Nadi, J. Hedstrom, Miroslaw Staron
44TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2018) , Paper i proceeding 2018
Paper i proceeding

MoVEMo: A Structured Approach for Engineering Reward Functions
Mallozzi Piergiuseppe, Raul Pardo, Vincent Duplessis, Patrizio Pelliccione, Gerardo Schneider
2nd IEEE International Conference on Robotic Computing (IRC), New York, IEEE, Paper i proceeding 2018
Paper i proceeding

Can Recurrent Neural Networks Learn Nested Recursion?
Jean-Philippe Bernardy
Linguistic Issues in Language Technology, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

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

Visar 1 - 42 av 42

Namn Titel Organisation
Abel, Andreas Martin Universitetslektor Datavetenskap (CS)
Angelov, Krasimir Universitetslektor Funktionell programmering
Berger, Christian Universitetslektor Cyber Physical Systems (SE-CPS)
Bernardy, Jean-Philippe Forskare Avdelningen för lingvistik, logik och vetenskapsteori
Broberg, Niklas Projetkassistent Avd För Programvaruteknik
Burden, Håkan Universitetslektor, adjungerad People, Architecture, Requirements and Traceability (SE-PARTy)
Cooper, Robin Seniorforskare Avdelningen för lingvistik, logik och vetenskapsteori
Coquand, Thierry Professor Datavetenskap (CS)
Danielsson, Nils Anders Universitetslektor Datavetenskap (CS)
Dobnik, Simon Universitetslektor Avdelningen för lingvistik, logik och vetenskapsteori
Ericsson, Stina Professor Institutionen för svenska språket
Hallgren, Thomas Forskningsingenjör 1.e Funktionell programmering
Heldal, Rogardt Docent Institutionen för data- och informationsteknik
Jansson, Patrik Bitr professor Institutionen för data- och informationsteknik
Lager, Torbjörn Professor Avdelningen för lingvistik, logik och vetenskapsteori
Larsson, Staffan Professor Avdelningen för lingvistik, logik och vetenskapsteori
Ljunglöf, Peter Universitetslektor Funktionell programmering
Norell, Ulf Forskningsingenjör 1.e Datavetenskap (CS)
Pelliccione, Patrizio Universitetslektor Cyber Physical Systems (SE-CPS)
Picazo-Sanchez, Pablo Postdoktor Formella metoder
Ranta, Aarne Professor Funktionell programmering
Schneider, Gerardo Professor Formella metoder
Torgersson, Olof Universitetslektor Interaktionsdesign
Wilhelmsson, Kenneth It-samordnare Institutionen för vårdvetenskap och hälsa

Visar 1 - 42 av 42

Visar 1 - 10 av 133

2019

Flaws in Flows: Unveiling Design Flaws via Information Flow Analysis
Katja Tuma, Musard Balliu, Riccardo Scandariato
2019 IEEE International Conference on Software Architecture (ICSA), IEEE, Paper i proceeding 2019
Paper i proceeding

Feasibility analysis of Inter-Pulse Intervals based solutions for cryptographic token generation by two electrocardiogram sensors
Lara Ortiz-Martin, Pablo Picazo-Sanchez, Pedro Peris-Lopez, Juan Tapiador, Gerardo Schneider
Future generations computer systems, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

Latex Gloves: Protecting Browser Extensions from Probing and Revelation Attacks
Alexander Sjösten, Steven Van Acker, Pablo Picazo-Sanchez, Andrei Sabelfeld
Network and Distributed System Security Symposium (NDSS), Paper i proceeding 2019
Paper i proceeding

2018

ECG Dj: Heart Beat Synchronization
Lara Ortiz-Martin, Pedro Peris-Lopez, Pablo Picazo-Sanchez, Juan Tapiador, Gerardo Schneider
USENIX, Poster (konferens) 2018
Poster (konferens)

Using Self-healing to Increase Robustness of Handling In-Browser Third-Party Content
S. Nadi, J. Hedstrom, Miroslaw Staron
44TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2018) , Paper i proceeding 2018
Paper i proceeding

MoVEMo: A Structured Approach for Engineering Reward Functions
Mallozzi Piergiuseppe, Raul Pardo, Vincent Duplessis, Patrizio Pelliccione, Gerardo Schneider
2nd IEEE International Conference on Robotic Computing (IRC), New York, IEEE, Paper i proceeding 2018
Paper i proceeding

Can Recurrent Neural Networks Learn Nested Recursion?
Jean-Philippe Bernardy
Linguistic Issues in Language Technology, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

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

Visar 1 - 10 av 133

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?