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

Kontaktformulär








 


OBS! Vill du ha svar, ange e-post eller telefonnummer!




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 1 - 50 av 119

Namn Titel Organisation
Abel, Andreas Martin Universitetslektor Datavetenskap (CS)
Afshari, Bahareh Forskarassistent Datavetenskap (CS)
Allwood, Jens Professor Inst tillämpad IT, avd för kognition och kommunikation
Alm Rosenblad, Magnus Forskare Institutionen för kemi och molekylärbiologi
Angelov, Krasimir Universitetslektor Funktionell programmering
Antonelli, Alexandre Professor Institutionen för biologi och miljövetenskap
Bengtsson-Palme, Johan Forskarassistent Avd för infektionssjukdomar
Berger, Christian Universitetslektor Cyber Physical Systems (SE-CPS)
Bernardy, Jean-Philippe Forskare Avdelningen för lingvistik, logik och vetenskapsteori
Björk, Staffan Professor Interaktionsdesign
Borin, Lars Professor Institutionen för svenska språket
Broberg, Niklas Projetkassistent Avd För Programvaruteknik
Burden, Håkan Universitetslektor, adjungerad Testing, Requirements, Innovation and Psychology (SE-TRIP)
Cangren, Patrik Doktorand Institutionen för biologi och miljövetenskap
Chaudron, Michel Professor Cyber Physical Systems (SE-CPS)
Cockx, Jesper Postdoktor Datavetenskap (CS)
Cooper, Robin Seniorforskare Avdelningen för lingvistik, logik och vetenskapsteori
Coquand, Thierry Professor Datavetenskap (CS)
Dahlstedt, Palle Universitetslektor Interaktionsdesign
Danielsson, Nils Anders Universitetslektor Datavetenskap (CS)
Dannélls, Dana Forskare Institutionen för svenska språket
de Wit, Pierre Raoul Forskare Institutionen för marina vetenskaper
Dobnik, Simon Universitetslektor Avdelningen för lingvistik, logik och vetenskapsteori
Engström, Fredrik Universitetslektor Institutionen för filosofi, lingvistik och vetenskapsteori
Ericsson, Stina Professor Institutionen för svenska språket
Forsberg, Markus Forskare Institutionen för svenska språket
Fröberg, Rikard Universitetsadjunkt Inst tillämpad IT, avd för informatik
Gustafsson, Claes Museiintendent Institutionen för biologi och miljövetenskap
Hallgren, Thomas Forskningsingenjör 1.e Funktionell programmering
Heldal, Rogardt Docent Institutionen för data- och informationsteknik

Visar 1 - 50 av 119

Visar 431 - 439 av 439

2000

Breaking the Screen Barrier
Lars Erik Holmquist
Göteborg, Doktorsavhandling 2000
Doktorsavhandling

MedView-design and adoption of an interactive system for oral medicine.
Y Ali, Göran Falkman, Lars Hallnäs, Mats Jontell, N Nazari et al.
Studies in health technology and informatics, Paper i proceeding 2000
Paper i proceeding

1999

Living Melodies – Coevolution Of Sonic Communication
Palle Dahlstedt, Mats G. Nordahl
Proceedings of the First Iteration Conference on generative processes in the electronic arts, Paper i proceeding 1999
Paper i proceeding

1986

Category theory and programming language semantics - an overview
Peter Dybjer
Lecture Notes in Computer Science, Artikel i vetenskaplig tidskrift 1986
Artikel i vetenskaplig tidskrift

1985

Using Domain Algebras To Prove The Correctness Of A Compiler
Peter Dybjer
Lecture Notes in Computer Science (STACS 85, 2nd Symposium of Theoretical Aspects of Computer Science, Saarbrücken, Germany, January 3-5, 1985, Proceedings; Kurt Mehlhorn (Ed.)), Paper i proceeding 1985
Paper i proceeding

Program Verification In A Logical Theory Of Constructions
Peter Dybjer
Lecture Notes in Computer Science (Functional Programming Languages and Computer Architecture, Nancy, France, September 16-19, 1985, Proceedings.; Jean-Pierre Jouannaud (Ed.), Paper i proceeding 1985
Paper i proceeding

1984

Domain Algebras
Peter Dybjer
Lecture Notes in Computer Science, Artikel i vetenskaplig tidskrift 1984
Artikel i vetenskaplig tidskrift

Some results on the deductive structure of join dependencies
Peter Dybjer
Theoretical Computer Science, Artikel i vetenskaplig tidskrift 1984
Artikel i vetenskaplig tidskrift

1983

Towards a Unified Theory of Data Types: Some Categorical Aspects
Peter Dybjer
Proceedings 2nd Workshop on Abstract Data Type, 1983. University of Passau, Department of Computer Science, Technical Report; Manfred Broy, Martin Wirsing (Eds.), Konferensbidrag (offentliggjort, men ej förlagsutgivet) 1983
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Visar 431 - 439 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?