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

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

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

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

Feasibility analysis of Inter-Pulse Intervals based solutions for cryptographic token generation by two electrocardiogram sensors
Lara Ortiz-Martin, Pablo Picazo-Sanchez, Pedro Peris-Lopez, Juan Tapiador, Gerardo Schneider
Future generations computer systems, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

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

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

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

Visar 1 - 50 av 125

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)
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
Hallgren, Thomas Forskningsingenjör 1.e Funktionell programmering

Visar 1 - 50 av 125

Visar 51 - 60 av 457

2018

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

Anscombe’s model for sequential clinical trials revisited
Sebastian Jobjörnsson, Sören Christensen
Sequential Analysis, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Decidability of conversion for type theory in type theory
Andreas Abel, Joakim Öhman, Andrea Vezzosi
Proceedings of the ACM on Programming Languages, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

SACRE: Supporting contextual requirements' adaptation in modern self-adaptive systems in the presence of uncertainty at runtime
E. Zavala, X. Franch, J. Marco, Alessia Knauss, D. Damian et al.
Expert Systems with Applications, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Visar 51 - 60 av 457

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/?publicationPageNumber=6&selectedTab=3&feedbackForm=true&returnAddress=http%3A%2F%2Fwww.gu.se%2Fforskning%2Fhitta-forskaren%2F%3FsubjectId%3D10201&recipientName=Webbredaktion&encodedEmail=aW5mb0BndS5zZQ&subjectId=10201
Utskriftsdatum: 2020-04-09