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
-
Aligning Language Models for Icelandic Legal Text Summarization
Harðarson, Þ. H. & Loftsson, H., 1 Mar 2025, Proceedings of the Joint 25th Nordic Conference on Computational Linguistics and 11th Baltic Conference on Human Language Technologies (NoDaLiDa/Baltic-HLT 2025). Johansson, R. & Stymne, S. (eds.). Tallinn, Estonia: University of Tartu Library, p. 241-251 11 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Approximating Independent Sets in Constant Distributed Rounds
Boppana, R. B. & Halldórsson, M. M., 22 May 2025, Structural Information and Communication Complexity - 32nd International Colloquium, SIROCCO 2025, Proceedings. Schmid, U. & Kuznets, R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 144-158 15 p. (Lecture Notes in Computer Science; vol. 15671 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
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
-
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)
2 Oct 2015Activity: Participating in or organising an event › Organising a conference, workshop, ...
-
Natural Language in Virtual Reykjavik
Bédi, B. (Speaker), Ólafsson, S. (Speaker), Björgvinsson, E. (Speaker), Arnbjörnsdóttir, B. (Speaker), Helgadóttir, H. E. (Speaker) & Rögnvaldsson, E. (Speaker)
31 Oct 2014Activity: Talk or presentation › Oral presentation
-
Social Gatherings in Virtual Reykjavík
Bédi, B. (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 2014Activity: 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
-