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

Kontaktformulär








 


OBS! Vill du ha svar, ange e-post eller telefonnummer!




Datavetenskap (datalogi)

Del av forskningsområdet Data- och informationsvetenskap

Senaste publikationer

An infinitary treatment of full mu-calculus
Bahareh Afshari, Gerhard Jäger, Graham E. Leigh
Lecture Notes in Computer Science, Springer, 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

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

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

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

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

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

Visar 51 - 100 av 121

Namn Titel Organisation
Andermann, Tobias Doktorand Institutionen för biologi och miljövetenskap
Häggström, Olle Professor Avdelningen för tillämpad matematik och statistik
Jansson, Patrik Bitr professor Institutionen för data- och informationsteknik
Johansson, Richard Universitetslektor Data Science (DS)
Kokkinakis, Dimitrios Forskare Institutionen för svenska språket
Kristiansson, Erik Oavlönad docent Avdelningen för tillämpad matematik och statistik
Lager, Torbjörn Professor Avdelningen för lingvistik, logik och vetenskapsteori
Larsson, Ellen Museiintendent 1:e aufp Institutionen för biologi och miljövetenskap
Larsson, Staffan Professor Avdelningen för lingvistik, logik och vetenskapsteori
Leigh, Graham Forskare Avdelningen för lingvistik, logik och vetenskapsteori
Ljunglöf, Peter Universitetslektor Funktionell programmering
Lundh, Torbjörn Professor Avdelningen för tillämpad matematik och statistik
Nairat, Malik Ahmad Hassan Doktorand/projektassistent Interaktionsdesign
Nilsson, Per Anders Professor Högskolan för scen och musik
Nilsson, Henrik Universitetslektor Institutionen för biologi och miljövetenskap
Norell, Ulf Forskningsingenjör 1.e Datavetenskap (CS)
Obst, Matthias Forskare Institutionen för marina vetenskaper
Olsson, Leif-Jöran Forskningsingenjör Institutionen för svenska språket
Panova, Marina Forskare Institutionen för marina vetenskaper
Patriksson, Michael Professor Avdelningen för tillämpad matematik och statistik
Pelliccione, Patrizio Universitetslektor Cyber Physical Systems (SE-CPS)
Perelli, Giuseppe Postdoktor Formella metoder
Picazo-Sanchez, Pablo Postdoktor Formella metoder
Piterman, Nir Universitetslektor Formella metoder
Ranta, Aarne Professor Funktionell programmering
Duarte, Camila Doktorandanställning Institutionen för biologi och miljövetenskap
Rosén, Dan Forskningsingenjör Institutionen för svenska språket
Sandklef, Henrik Universitetsadjunkt Inst tillämpad IT, avd för informatik

Visar 51 - 100 av 121

Visar 41 - 50 av 450

2018

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

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

Can Recurrent Neural Networks Learn Nested Recursion?
Jean-Philippe Bernardy
Linguistic Issues in Language Technology, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Testing Natural Language Grammars
Inari Listenmaa
2018 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), Kapitel i bok 2018
Kapitel i bok

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

Visar 41 - 50 av 450

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?