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

Simple noninterference from parametricity
Maximilian Algehed, Jean-Philippe Bernardy
Proceedings of the ACM on Programming Languages, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

A calculus for collective-adaptive systems and its behavioural theory
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Information and Computation, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

Language Modeling with Syntactic and Semantic Representation for Sentence Acceptability Predictions
Adam Ek, Jean-Philippe Bernardy, Shalom Lappin
Proceedings of the 22nd Nordic Conference on Computational Linguistics, University of Linköping, Linköping University Electronic Press, Paper i proceeding 2019
Paper i proceeding

Intro to Web Prolog for Erlangers
Torbjörn Lager
Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang (Erlang ’19), August 18, 2019, Berlin, Germany., New York, NY, USA, ACM Press, Paper i proceeding 2019
Paper i proceeding

Equilibrium design for concurrent games
J Gutierrez, M Najib, Giuseppe Perelli, M Wooldridge
Leibniz International Proceedings in Informatics, LIPIcs, Paper i proceeding 2019
Paper i proceeding

Combinations of qualitative winning for stochastic parity games
Krishnendu Chatterjee, Nir Piterman
Leibniz International Proceedings in Informatics, LIPIcs, Paper i proceeding 2019
Paper i proceeding

An Adequacy Theorem for Dependent Type Theory
Thierry Coquand, Simon Huber
Theory of Computing Systems, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

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

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

Visar 101 - 121 av 121

Namn Titel Organisation
Scandariato, Riccardo Universitetslektor Cyber Physical Systems (SE-CPS)
Scharn, Ruud Doktorand Institutionen för geovetenskaper
Schliep, Alexander Universitetslektor Data Science (DS)
Schneider, Gerardo Professor Formella metoder
Staron, Miroslaw Professor Testing, Requirements, Innovation and Psychology (SE-TRIP)
Stibrant Sunnerhagen, Katharina Professor/överläkare Institutionen för neurovetenskap och fysiologi
Svantesson, Sten Doktorand Institutionen för biologi och miljövetenskap
Tahmasebi, Nina Forskare Institutionen för svenska språket
Torgersson, Olof Universitetslektor Interaktionsdesign
Töpel, Mats Forskare Institutionen för marina vetenskaper
Wilhelmsson, Kenneth It-samordnare Institutionen för vårdvetenskap och hälsa
Virk, Shafqat Mumtaz Forskare Institutionen för svenska språket

Visar 101 - 121 av 121

Visar 91 - 100 av 451

2016

Protus 2.1: Applying collaborative tagging for providing recommendation in programming tutoring system
Boban Vesin, Aleksandra Klašnja-Milićević, Mirjana Ivanović
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Paper i proceeding 2016
Paper i proceeding

Compositional coinduction with sized types
Andreas Abel
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Paper i proceeding 2016
Paper i proceeding

Finitary Proof Systems for Kozen’s μ
Bahareh Afshari, Graham E. Leigh
Mathematisches Forschungsinstitut Oberwolfach, Rapport 2016
Rapport

Specification of Evolving Privacy Policies for Online Social Networks
Raul Pardo, Ivana Kellyérova, César Sánchez, Gerardo Schneider
IEEE Computer Society, IEEE, Kapitel i bok 2016
Kapitel i bok

A Domain-Specific Language for Normative Texts with Timing Constraints
Runa Gulliksson, John J. Camilleri
23rd International Symposium on Temporal Representation and Reasoning (TIME 2016), IEEE, Paper i proceeding 2016
Paper i proceeding

Sequence-based classification and identification of Fungi
David Hibbett, Kessy Abarenkov, Urmas Koljalg, Maarja Opik, Benli Chai et al.
Mycologia, Forskningsöversiktsartikel 2016
Forskningsöversiktsartikel

From Abstract Syntax to Universal Dependencies
Kolachina Prasanth, Aarne Ranta
Linguistic Issues in Language Technology, Artikel i vetenskaplig tidskrift 2016
Artikel i vetenskaplig tidskrift

Annotating public fungal ITS sequences from the built environment according to the MIxS-Built Environment standard – a report from a May 23-24, 2016 workshop (Gothenburg, Sweden)
Kessy Abarenkov, Rachel I. Adams, Irinyi Laszlo, Ahto Agan, Elia Ambrosio et al.
MycoKeys, Artikel i vetenskaplig tidskrift 2016
Artikel i vetenskaplig tidskrift

Visar 91 - 100 av 451

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?