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

Datavetenskap (datalogi)

Del av forskningsområdet Data- och informationsvetenskap

Senaste publikationer

Testing for coordination fidelity
Yehia Abd Alrahman, Claudio Antares Mezzina, Hugo Torres Vieira
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Kapitel i bok 2019
Kapitel i bok

Intro to Web Prolog for Erlangers
Torbjörn Lager
Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang, ACM Press, Paper i proceeding 2019
Paper i proceeding

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

GoAt : Attribute-Based Interaction in Google Go
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi
International Symposium on Leveraging Applications of Formal Methods, Springer, Paper i proceeding 2018
Paper i proceeding

Visar 1 - 50 av 120

Namn Titel Organisation
Abd Alrahman, Yehia Postdoktor Formella metoder
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 120

Visar 31 - 40 av 447

2018

Is privacy by construction possible?
Gerardo Schneider
ISoLA'18, part I, volume 11244 of LNCS, pages 471-485, Springer, Paper i proceeding 2018
Paper i proceeding

Cognition as Embodied Morphological Computation
Gordana Dodig-Crnkovic
PT-AI: 3rd Conference on "Philosophy and Theory of Artificial Intelligence Philosophy and Theory of Artificial Intelligence 2017, Paper i proceeding 2018
Paper i proceeding

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

An Automated Approach for Classifying Reverse-engineered and Forward-engineered UML Class Diagrams
M. H. Osman, Truong Ho-Quang, Michel Chaudron
44TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2018) , Paper i proceeding 2018
Paper i proceeding

Psychological Safety and Norm Clarity in Software Engineering Teams
Per Lenberg, Robert Feldt
2018 IEEE/ACM 11TH INTERNATIONAL WORKSHOP ON COOPERATIVE AND HUMAN ASPECTS OF SOFTWARE ENGINEERING (CHASE) , 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

Understanding formal specifications through good examples
Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson et al.
Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, New York, NY, USA, ACM, Paper i proceeding 2018
Paper i proceeding

Protax-fungi: A web-based tool for probabilistic taxonomic placement of fungal internal transcribed spacer sequences
Kessy Abarenkov, Panu Somervuo, R. Henrik Nilsson, Paul M. Kirk, Tea Huotari et al.
New Phytologist, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Formalizing Constructive Quantifier Elimination in Agda
Jeremy Pope
Electronic Proceedings in Theoretical Computer Science, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Optimization for Roads' Construction: Selection, Prioritization, and Scheduling
Saeed Asadi Bagloee, Majid Sarvi, Michael Patriksson, Mohsen Asadi
Computer-Aided Civil and Infrastructure Engineering, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Visar 31 - 40 av 447

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?