Till sidans topp

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

Tipsa en vän
Utskriftsversion

Teoretisk datalogi - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Teoretisk datalogi

Del av forskningsområdet Datavetenskap (datalogi)

Senaste publikationer

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

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

A distributed coordination infrastructure for attribute-based interaction
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Paper i proceeding 2018
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

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)

Elaborating dependent (co)pattern matching
Andreas Abel, Jesper Cockx
Proceedings of the ACM on Programming Languages, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Herbrand’s Theorem as Higher Order Recursion
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Mathematisches Forschungsinstitut Oberwolfach, Rapport 2018
Rapport

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

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

Visar 1 - 17 av 17

Namn Titel Organisation
Abd Alrahman, Yehia Postdoktor Formella metoder
Abel, Andreas Martin Universitetslektor Datavetenskap (CS)
Afshari, Bahareh Forskarassistent Datavetenskap (CS)
Bernardy, Jean-Philippe Forskare Avdelningen för lingvistik, logik och vetenskapsteori
Cockx, Jesper Postdoktor Datavetenskap (CS)
Coquand, Thierry Professor Datavetenskap (CS)
Danielsson, Nils Anders Universitetslektor Datavetenskap (CS)
Häggström, Olle Professor Avdelningen för tillämpad matematik och statistik
Jansson, Patrik Bitr professor Institutionen för data- och informationsteknik
Leigh, Graham Forskare Avdelningen för lingvistik, logik och vetenskapsteori
Lundh, Torbjörn Bitr professor Avdelningen för tillämpad matematik och statistik
Norell, Ulf Forskningsingenjör 1.e Datavetenskap (CS)

Visar 1 - 17 av 17

Visar 51 - 60 av 69

2012

Classification and nonexistence results for binary linear codes
Erik Lorentzen
Göteborg, Chalmers University of Technology, Licentiatsavhandling 2012
Licentiatsavhandling

2011

Significance of models of computation, from Turing model to natural computation
Gordana Dodig-Crnkovic
Minds and Machines, Artikel i vetenskaplig tidskrift 2011
Artikel i vetenskaplig tidskrift

Interactions and their impact on the applicability of Concentration Addition for environmentally realistic mixtures
Thomas Backhaus
Poster presentation at the International Special Science Symposium on Mixture Risk Assessment, Brussels, Feb. 2011, Poster (konferens) 2011
Poster (konferens)

2010

Topics in Hardness of Approximation and Social Choice Theory
Marcus Isaksson
Göteborg, Chalmers University of Technology, Doktorsavhandling 2010
Doktorsavhandling

2009

SAT-Solving in Practice, with a Tutorial Example from Supervisory Control
Koen Claessen, Niklas Een, Mary Sheeran, Niklas Sörensson, Alexey Voronov et al.
Discrete Event Dynamic Systems, Artikel i vetenskaplig tidskrift 2009
Artikel i vetenskaplig tidskrift

2008

On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory
Andreas Abel, Thierry Coquand, Peter Dybjer
FLOPS 2008, Paper i proceeding 2008
Paper i proceeding

Verifying a Semantic beta-eta-Conversion Test for Martin-Löf Type Theory
Andreas Abel, Thierry Coquand, Peter Dybjer
Mathematics of Program Construction 2008, Paper i proceeding 2008
Paper i proceeding

Computability of Percolation Thresholds
Olle Häggström
In and Out of Equilibrium 2, Kapitel i bok 2008
Kapitel i bok

Expected Gene Order Distances and Model Selection in Bacteria
Daniel Dalevi, Niklas Eriksen
Bioinformatics, Artikel i vetenskaplig tidskrift 2008
Artikel i vetenskaplig tidskrift

Visar 51 - 60 av 69

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?