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

Hitta forskaren!

Välj ämne och hitta forskare och publikationer i vår forskningsdatabas.

Datavetenskap (datalogi)

Del av forskningsområdet Data- och informationsvetenskap

Senaste publikationer

A collaborative access control framework for online social networks
Hanaa Alshareef, R. Pardo, Gerardo Schneider, Pablo Picazo-Sanchez
Journal of Logical and Algebraic Methods in Programming, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

How Furiously Can Colorless Green Ideas Sleep? Sentence Acceptability in Context
Jey Han Lau, Carlos Armendariz, Shalom Lappin, Matthew Purver, Chang Shu
Transactions of the Association of Computational Linguistics, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

A Unified View of Modalities in Type Systems
Andreas Abel, Jean-Philippe Bernardy
Proceedings of the ACM on Programming Languages, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

The state of adoption and the challenges of systematic variability management in industry
Thorsten Berger, Jan-Philipp Steghöfer, T. Ziadi, J. Robin, J. Martinez
Empirical Software Engineering, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

Herbrand's theorem as higher order recursion
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Annals of Pure and Applied Logic, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

Programming interactions in collective adaptive systems by relying on attribute-based communication
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Science of Computer Programming, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

A distributed API for coordinating AbC programs
Yehia Abd Alrahman, Giulio Garbi
International Journal on Software Tools for Technology Transfer, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

Understanding and Supporting Software Design in Model-Based Software Engineering
Rodi Jolak
Gothenburg, Sweden, University of Gothnburg, Doktorsavhandling 2020
Doktorsavhandling

Vicarious Value Learning and Inference in Human-Human and Human-Robot Interaction
Robert Lowe, Alexander Almér, Pierre Gander, Christian Balkenius
2019 8th International Conference on Affective Computing and Intelligent Interaction Workshops and Demos, ACIIW 2019, 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

Visar 1 - 50 av 127

Namn Titel Organisation
Abd Alrahman, Yehia Postdoktor Formella metoder
Abel, Andreas Martin Universitetslektor Datavetenskap (CS)
Afshari, Bahareh Forskare Avdelningen för lingvistik, logik och vetenskapsteori
Allwood, Jens Professor Inst tillämpad IT, avd för kognition och kommunikation
Almér, Alexander Universitetslektor 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)
Berger, Thorsten 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 Projektassistent 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
Gander, Pierre Universitetslektor Inst tillämpad IT, avd för kognition och kommunikation
Gustafsson, Claes Museiintendent Institutionen för biologi och miljövetenskap

Visar 1 - 50 av 127

Visar 1 - 10 av 461

2020

A collaborative access control framework for online social networks
Hanaa Alshareef, R. Pardo, Gerardo Schneider, Pablo Picazo-Sanchez
Journal of Logical and Algebraic Methods in Programming, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

How Furiously Can Colorless Green Ideas Sleep? Sentence Acceptability in Context
Jey Han Lau, Carlos Armendariz, Shalom Lappin, Matthew Purver, Chang Shu
Transactions of the Association of Computational Linguistics, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

A Unified View of Modalities in Type Systems
Andreas Abel, Jean-Philippe Bernardy
Proceedings of the ACM on Programming Languages, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

The state of adoption and the challenges of systematic variability management in industry
Thorsten Berger, Jan-Philipp Steghöfer, T. Ziadi, J. Robin, J. Martinez
Empirical Software Engineering, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

Herbrand's theorem as higher order recursion
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Annals of Pure and Applied Logic, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

Programming interactions in collective adaptive systems by relying on attribute-based communication
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Science of Computer Programming, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

A distributed API for coordinating AbC programs
Yehia Abd Alrahman, Giulio Garbi
International Journal on Software Tools for Technology Transfer, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

Understanding and Supporting Software Design in Model-Based Software Engineering
Rodi Jolak
Gothenburg, Sweden, University of Gothnburg, Doktorsavhandling 2020
Doktorsavhandling

2019

Vicarious Value Learning and Inference in Human-Human and Human-Robot Interaction
Robert Lowe, Alexander Almér, Pierre Gander, Christian Balkenius
2019 8th International Conference on Affective Computing and Intelligent Interaction Workshops and Demos, ACIIW 2019, 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

Visar 1 - 10 av 461

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?

Denna text är utskriven från följande webbsida:
http://gu.se/forskning/hitta-forskaren/?languageId=100000&disableRedirect=true&returnUrl=http%3A%2F%2Fgu.se%2Fenglish%2Fresearch%2Ffind-our-researchers%2F%3Fprint%3Dtrue%26subjectId%3D10201&subjectId=10201
Utskriftsdatum: 2020-07-15