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

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

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

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 431 - 440 av 449

2002

Competence Systems
Rikard Lindgren
Göteborg, Doktorsavhandling 2002
Doktorsavhandling

2001

Creating and Exploring Huge Parameter Spaces: Interactive Evolution as a Tool for Sound Generation
Palle Dahlstedt
Proceedings of the International Computer Music Conference. Habana, Cuba: Instituto Cubano de la Musica, and San Francisco, CA: International Computer Music Association., Paper i proceeding 2001
Paper i proceeding

A MutaSynth in Parameter Space: Interactive Composition Through Evolution
Palle Dahlstedt
Organised Sound, Artikel i vetenskaplig tidskrift 2001
Artikel i vetenskaplig tidskrift

A MutaSynth in Parameter Space: Interactive Composition Through Evolution,
Palle Dahlstedt
Proceedings of Music Without Walls? Music Without Instruments? Conference, De Montfort University, Leicester, UK, Paper i proceeding 2001
Paper i proceeding

Unfinished Symphonies - songs of 31/2 worlds
Rodney Berry, Wasinee Rungsarityotin, Alan Dorin, Palle Dahlstedt, Catherine Haw
Artificial Life Models for Musical Applications, Bilotta et al (eds), ECAL 2001 Prague, September 9, Editoriale Bios, Paper i proceeding 2001
Paper i proceeding

Creating and Exploring the Huge Space Called Sound: Interactive Evolution as a Composition Tool
Palle Dahlstedt
Proceedings of Music Without Walls? Music Without Instruments? Conference, De Montfort University, Leicester, UK, Paper i proceeding 2001
Paper i proceeding

Living Melodies – Coevolution Of Sonic Communication
Palle Dahlstedt, Mats G. Nordahl
Leonardo, Artikel i vetenskaplig tidskrift 2001
Artikel i vetenskaplig tidskrift

En implementation för domänoberoende textkategorisering
Magnus Ellison, Kenneth Wilhelmsson
Göteborg, Datavetenskapligt program, Datalingvistikprogrammet, Övrigt 2001
Övrigt

Designing Everyday Computational Things
Johan Redström
Göteborg, Doktorsavhandling 2001
Doktorsavhandling

2000

Med ODIN och Dynix Horizon i Odense
Inger Fehn
Nordinfo-nytt / Nordiska samarbetsorganet för vetenskaplig information ; The Nordic council for scientific information and research libraries, Artikel i övriga tidskrifter 2000
Artikel i övriga tidskrifter

Visar 431 - 440 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?

Denna text är utskriven från följande webbsida:
http://www.gu.se/forskning/hitta-forskaren/?researchersPageNumber=3&selectedTab=2&publicationPageNumber=44&subjectId=10201
Utskriftsdatum: 2019-11-14