Till sidans topp

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

Tipsa en vän
Utskriftsversion

Datavetenskap (datalogi) - Göteborgs universitet Till startsida
Göteborgs universitet
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

ÖversiktForskarePublikationerUNDEFINEDUNDEFINED

Underliggande ämnen

Flest antal publikationer i detta ämne

Namn Titel Organisation
Dahlstedt, Palle Universitetslektor Interaktionsdesign
Schneider, Gerardo Professor Formella metoder
Björk, Staffan Professor Interaktionsdesign
Ranta, Aarne Professor Funktionell programmering
Coquand, Thierry Professor Datavetenskap (CS)
Scandariato, Riccardo Professor Cyber Physical Systems (SE-CPS)
Angelov, Krasimir Universitetslektor Funktionell programmering
Heldal, Rogardt Docent Institutionen för data- och informationsteknik
Schliep, Alexander Universitetslektor Data Science (DS)
Abel, Andreas Martin Universitetslektor Datavetenskap (CS)

Senaste publikationer

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

Direkt till fulltext
på webbsida

Nash Equilibrium and Bisimulation Invariance
Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael Wooldridge
Logical Methods in Computer Science, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

Direkt till fulltext
på webbsida

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, 30 September – 2 October, 2019, Turku, Finland / Mareike Hartmann, Barbara Plank (Editors), University of Linköping, Linköping University Electronic Press, Paper i proceeding 2019
Paper i proceeding

Direkt till fulltext
på webbsida

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

Direkt till fulltext
på webbsida

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

Direkt till fulltext
på webbsida

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

Direkt till fulltext
på webbsida

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

Direkt till fulltext
PDF

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

Direkt till fulltext
på webbsida

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

Direkt till fulltext
på webbsida

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

Direkt till fulltext
på webbsida

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 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 81 - 90 av 449

2017

Modelling and analysis of normative documents
John J. Camilleri, Gerardo Schneider
Journal of Logical and Algebraic Methods in Programming, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

Direkt till fulltext
på webbsida

Understanding Software Design for Creating Better Design Environments
Rodi Jolak
Licentiatsavhandling 2017
Licentiatsavhandling

Direkt till fulltext
på webbsida

Affective-Associative Two-Process theory: A neural network investigation of adaptive behaviour in differential outcomes training
Robert Lowe, E. Billing
Adaptive Behavior, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

Direkt till fulltext
på webbsida

Interdisciplinary Collaboration between Natural and Social Sciences - Status and Trends Exemplified in Groundwater Research
Roland Barthel, R. Seidl
Plos One, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

Direkt till fulltext
på webbsida

Interactive programming in Agda - Objects and graphical user interfaces
Andreas Abel, S. Adelsberger, A. Setzer
Journal of Functional Programming, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

Direkt till fulltext
på webbsida

Mining Software Modeling Practices In Open Source Software Projects
Truong Ho-Quang
Licentiatsavhandling 2017
Licentiatsavhandling

E-Learning Systems: Intelligent Techniques for Personalization
Aleksandra Klašnja-Milićević, Boban Vesin, Mirjana Ivanović, Zoran Budimac, Lakhmi Jain
Springer International Publishing Switzerland, Springer International Publishing, Bok 2017
Bok

Direkt till fulltext
på webbsida

2016

Is Newer Always Better?: The Case of Vulnerability Prediction Models
Aram Hovsepyan, Riccardo Scandariato, Wouter Joosen
ESEM '16 Proceedings of the 10th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement , Association for Computing Machinery, Paper i proceeding 2016
Paper i proceeding

Direkt till fulltext
på webbsida

Sprinkles of Extensionality for Your Vanilla Type Theory
Andreas Abel, Jesper Cockx
22nd International Conference on Types for Proofs and Programs (TYPES 2016), Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2016
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Proceedings of LREC 2016 Workshop: Resources and Processing of Linguistic and Extra-Linguistic Data from People with Various Forms of Cognitive/Psychiatric Impairments (RaPID-2016), Monday 23rd of May 2016. Linköping electronic conference proceedings.
Dimitrios Kokkinakis
Linköping, Linköping University Electronic Press, Proceeding 2016
Proceeding

Direkt till fulltext
på webbsida

Visar 81 - 90 av 449

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?