Research output per year
Research output per year
Fingerprint
Dive into the research topics where Department of Computer Science is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
Research output
-
A Type-Theoretic Approach to Smart-Contract Safety
Lybech, S., 27 May 2025, Reykjavík: Reykjavík University. 459 p.Research output: Types of Thesis › Ph.D. Thesis
Open AccessFile -
Bridging Human and Artificial Intelligence: Machine Learning, Data Platforms, and Decision Support Systems in Sleep Research
Þórðarson, B. H., 2025, Reykjavík: Reykjavík University. 148 p.Research output: Types of Thesis › Ph.D. Thesis
File -
Complicated, by Design: The Dynamic Use of a User-Centred Design Process
Visescu, I., 2025, Reykjavík: Reykjavík University. 131 p.Research output: Types of Thesis › Ph.D. Thesis
File
-
Tungumálakennsla í sýndarheimum (Menntakvika 2. október 2015)
Bédi, B. (Organiser), Hauksdóttir, A. (Participant), Arnbjörnsdóttir, B. (Participant), Friðriksdóttir, K. (Participant) & Vilhjálmsson, H. H. (Participant)
2 Oct 2015The Árni Magnússon Institute for Icelandic Studies, Iceland, University of Iceland, Reykjavik University
Activity: Participating in or organising an event › Organising a conference, workshop, ...
-
Natural Language in Virtual Reykjavik
Bédi, B. (Speaker), Vilhjálmsson, H. H. (Speaker), Ólafsson, S. (Speaker), Björgvinsson, E. (Speaker), Rögnvaldsson, E. (Speaker), Arnbjörnsdóttir, B. (Speaker) & Helgadóttir, H. E. (Speaker)
31 Oct 2014University of Iceland, Iceland, Reykjavik University
Activity: Talk or presentation › Oral presentation
-
Social Gatherings in Virtual Reykjavík
Bédi, B. (Speaker), Vilhjálmsson, H. H. (Speaker), Björgvinsson, E. (Speaker), Helgadóttir, H. E. (Speaker), Kristinsson, K. (Speaker), Ólafsson, S. (Speaker), Cafaro, A. (Speaker), Krämer, N. (Speaker), Braier, J. (Speaker), Wegge, P. (Speaker), Youn, S. (Speaker), Pedica, C. (Speaker), Arnbjörnsdóttir, B. (Speaker) & Bédi, B. (Speaker)
27 Aug 2014University of Iceland, Iceland, Reykjavik University
Activity: Talk or presentation › Oral presentation
Press/Media
-
University West Researchers Describe Advances in Computers and Education (Seven educational affordances of virtual classrooms)
9/12/22
1 item of Media coverage
Press/Media
-
Research from Reykjavik University Provide New Insights into Computational Logic (Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?)
Castiglioni, V. & Aceto, L.
8/11/22
1 item of Media coverage
Press/Media
-