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

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)
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 121

Visar 131 - 140 av 451

2015

Unifying fungi
R. Henrik Nilsson
Science & Technology, Artikel i övriga tidskrifter 2015
Artikel i övriga tidskrifter

2014

Can we efficiently check concurrent programs under relaxed memory models in Maude?
Yehia Abd Alrahman, Marina Andric, Alessandro Beggiato, Alberto Lluch Lafuente
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Artikel i vetenskaplig tidskrift 2014
Artikel i vetenskaplig tidskrift

Generating Comprehensible Explanations in Description Logic
Fredrik Engström, Abdul Rahim Nizamani, Claes Strannegård
27th International Workshop on Description Logics. Vienna, Austria, July 17-20, 2014, Paper i proceeding 2014
Paper i proceeding

Teams Interactions Hindering Short-Term and Long-Term Business Goals
Antonio Martini, Lars Pareto, Jan Bosch
Continuous Software Engineering, Springer, Kapitel i bok 2014
Kapitel i bok

Using Models at Runtime to Address Quality Assurance for Self-Adaptive Systems
Betty H C Cheng, Kerstin I Eder, Martin Gogolla, Lars Grunske, Marin Litoiu et al.
State-of-the-Art Survey Volume on Models@run.time Edited by:Betty Cheng, Uwe Assmann, Gordon Blair, Robert France, Nelly Bencomo. , Springer, Kapitel i bok 2014
Kapitel i bok

Normalization by evaluation in the delay monad: A case study for coinduction via copatterns and sized types
Andreas Abel, James Chapman
Electronic Proceedings in Theoretical Computer Science, EPTCS, Paper i proceeding 2014
Paper i proceeding

Open Architectures and Software Evolution: the case of Software Ecosystems
Patrizio Pelliccione
The 23rd Australasian Software Engineering Conference (ASWEC), Paper i proceeding 2014
Paper i proceeding

ODEion- a software module for structural identification of ordinary differential equations
Peter Gennemark, Dag Wedelin
Journal of Bioinformatics and Computational Biology, Artikel i vetenskaplig tidskrift 2014
Artikel i vetenskaplig tidskrift

A Graph-Based Analysis of Medical Queries of a Swedish Health Care Portal
Farnaz Moradi, Ann-Marie Eklund, Dimitrios Kokkinakis, Tomas Olovsson, Philippas Tsigas
The Fifth International Workshop on Health Text Mining and Information Analysis (Louhi), Paper i proceeding 2014
Paper i proceeding

A Formal Privacy Policy Framework for Social Networks
Raul Pardo Jimenez, Gerardo Schneider
12th International Conference on Software Engineering and Formal Methods (SEFM'14), Grenoble, France. Lecture Notes in Computer Science, Paper i proceeding 2014
Paper i proceeding

Visar 131 - 140 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?