Sidansvarig: Webbredaktion
Sidan uppdaterades: 2013-08-15 14:34
Del av forskningsområdet Data- och informationsvetenskap
| 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) |
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 101 - 121 av 121
| Namn | Titel | Organisation |
|---|---|---|
| Scandariato, Riccardo | Professor | Cyber Physical Systems (SE-CPS) |
| Scharn, Ruud | Doktorand | Institutionen för geovetenskaper |
| Schliep, Alexander | Universitetslektor | Data Science (DS) |
| Schneider, Gerardo | Professor | Formella metoder |
| Staron, Miroslaw | Professor | Testing, Requirements, Innovation and Psychology (SE-TRIP) |
| Stibrant Sunnerhagen, Katharina | Professor/överläkare | Institutionen för neurovetenskap och fysiologi |
| Svantesson, Sten | Doktorand | Institutionen för biologi och miljövetenskap |
| Tahmasebi, Nina | Forskare | Institutionen för svenska språket |
| Torgersson, Olof | Universitetslektor | Interaktionsdesign |
| Töpel, Mats | Forskare | Institutionen för marina vetenskaper |
| Wilhelmsson, Kenneth | It-samordnare | Institutionen för vårdvetenskap och hälsa |
| Virk, Shafqat Mumtaz | Forskare | Institutionen för svenska språket |
Visar 101 - 121 av 121
Visar 1 - 10 av 450
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 1 - 10 av 450
GÖTEBORGS UNIVERSITET • Box 100 • 405 30 Göteborg • Telefon: 031 786 0000
Kontakt • Organisationsnummer: 202100-3153 • Om webbplatsen
Facebook
Twitter
Instagram
Snapchat
Youtube