Till sidans topp

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

Tipsa en vän
Utskriftsversion

Datavetenskap (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.

Datavetenskap (datalogi)

Del av forskningsområdet Data- och informationsvetenskap

Senaste publikationer

Flaws in Flows: Unveiling Design Flaws via Information Flow Analysis
Katja Tuma, Riccardo Scandariato, Musard Balliu
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

A Pragmatic View on Code Complexity Management
V. Antinyan, A. B. Sandberg, Miroslaw Staron
Computer, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

Current and Future Bots in Software Development
Linda Erlenhov, Francisco Gomes de Oliveira Neto, Riccardo Scandariato, Philipp Leitner
First Workshop on Bots in Software Engineering, (BotSE @ICSE), Paper i proceeding 2019
Paper i proceeding

The UNITE database for molecular identification of fungi: handling dark taxa and parallel taxonomic classifications.
R. Henrik Nilsson, Karl-Henrik Larsson, Andy F S Taylor, Johan Bengtsson-Palme, Thomas S Jeppesen et al.
Nucleic acids research, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

Mycobiome diversity: high-throughput sequencing and identification of fungi.
R. Henrik Nilsson, Sten Anslan, Mohammad Bahram, Christian Wurzbacher, Petr Baldrian et al.
Nature reviews. Microbiology, Forskningsöversiktsartikel 2019
Forskningsöversiktsartikel

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

Vetting automatically generated trace links: What information is useful to human analysts?
Salome Maro, Jan-Philipp Steghöfer, Jane Hayes, Jane Cleland-Huang, Miroslaw Staron
Proceedings - 2018 IEEE 26th International Requirements Engineering Conference, RE 2018, Paper i proceeding 2018
Paper i proceeding

23rd International Conference on Types for Proofs and Programs, TYPES 2017, May 29-June 1, 2017, Budapest, Hungary.
Andreas Abel, Fredrik Nordvall Forsberg, Ambrus Kaposi
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Samlingsverk 2018
Samlingsverk

Resourceful Dependent Types
Andreas Abel
24th International Conference on Types for Proofs and Programs (TYPES 2018), Braga, Portugal, 18-21 June 2018., Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2018
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Visar 51 - 100 av 119

Namn Titel Organisation
Andermann, Tobias Doktorand Institutionen för biologi och miljövetenskap
Häggström, Olle Professor Avdelningen för tillämpad matematik och statistik
Jansson, Patrik Bitr professor Institutionen för data- och informationsteknik
Johansson, Richard Universitetslektor Data Science (DS)
Kokkinakis, Dimitrios Forskare Institutionen för svenska språket
Kristiansson, Erik Oavlönad docent Avdelningen för tillämpad matematik och statistik
Lager, Torbjörn Professor Avdelningen för lingvistik, logik och vetenskapsteori
Larsson, Ellen Museiintendent 1:e aufp Institutionen för biologi och miljövetenskap
Larsson, Staffan Professor Avdelningen för lingvistik, logik och vetenskapsteori
Leigh, Graham Forskare Avdelningen för lingvistik, logik och vetenskapsteori
Ljunglöf, Peter Universitetslektor Funktionell programmering
Lundh, Torbjörn Bitr professor Avdelningen för tillämpad matematik och statistik
Nairat, Malik Ahmad Hassan Doktorand/projektassistent Interaktionsdesign
Nilsson, Per Anders Professor Högskolan för scen och musik
Nilsson, Henrik Universitetslektor Institutionen för biologi och miljövetenskap
Norell, Ulf Forskningsingenjör 1.e Datavetenskap (CS)
Obst, Matthias Forskare Institutionen för marina vetenskaper
Olsson, Leif-Jöran Forskningsingenjör Institutionen för svenska språket
Panova, Marina Forskare Institutionen för marina vetenskaper
Patriksson, Michael Professor Avdelningen för tillämpad matematik och statistik
Pelliccione, Patrizio Universitetslektor Cyber Physical Systems (SE-CPS)
Picazo-Sanchez, Pablo Postdoktor Formella metoder
Piterman, Nir Universitetslektor Formella metoder
Ranta, Aarne Professor Funktionell programmering
Duarte, Camila Doktorandanställning Institutionen för biologi och miljövetenskap
Rosén, Dan Forskningsingenjör Institutionen för svenska språket
Sandklef, Henrik Universitetsadjunkt Inst tillämpad IT, avd för informatik
Scandariato, Riccardo Universitetslektor Cyber Physical Systems (SE-CPS)
Scharn, Ruud Doktorand Institutionen för geovetenskaper

Visar 51 - 100 av 119

Visar 51 - 60 av 439

2017

Generic Animats
Claes Strannegård, Nils Svangård, J. Bach, B. Steunebrink
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), 20-23 June 2017, Reykjavik Iceland, Association for Computing Machinery (ACM), Paper i proceeding 2017
Paper i proceeding

Normalization by evaluation for sized dependent types
Andreas Abel, Andrea Vezzosi, Theo Winterhalter
PACMPL, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

Normalization by Evaluation for Sized Dependent Types
Andreas Abel, Andrea Vezzosi, Theo Winterhalter
23nd International Conference on Types for Proofs and Programs (TYPES 2017), Budapest, Hungary, 29 May - 1 June 2017, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2017
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type
Thorsten Altenkirch, Nils Anders Danielsson, Nicolai Kraus
Foundations of Software Science and Computation Structures, 20th International Conference, FOSSACS 2017, Berlin, Springer-Verlag GmbH Germany, Paper i proceeding 2017
Paper i proceeding

Type Theory with Weak J
Thorsten Altenkirch, Paolo Capriotti, Thierry Coquand, Nils Anders Danielsson, Simon Huber et al.
23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017, Abstracts, Budapest, Hungary, Department of Programming Languages and Compilers, Faculty of Informatics, Eötvös Loránd University, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2017
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Towards practical out-of-order unification
Nils Anders Danielsson, Vı́ctor López Juan
23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017, Abstracts, Budapest, Hungary, Department of Programming Languages and Compilers, Faculty of Informatics, Eötvös Loránd University, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2017
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Visar 51 - 60 av 439

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?