Computer Science

Research output

Research output per year 2001 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024

• 1045 Article in proceedings
• 537 Journal article
• 144 Conference article
• 141 Book chapter
• 471 More
  • 82 Report
  • 72 Paper
  • 62 Conference abstract for conference
  • 58 Ph.D. thesis
  • 44 Other contribution
  • 24 Anthology
  • 24 Book
  • 16 Working paper
  • 14 Editorial
  • 13 Patent
  • 12 Encyclopedia chapter
  • 11 Conference abstract in proceedings
  • 7 Poster
  • 5 Net publication - Internet publication
  • 4 Contribution to newspaper - Newspaper article
  • 3 Report chapter
  • 3 2D/3D (psysical products)
  • 3 Preprint
  • 2 Preface/postscript
  • 2 Contribution to newspaper - Comment/debate
  • 2 Contribution to newspaper - Feature article
  • 2 Review
  • 1 Doctoral thesis
  • 1 Comment
  • 1 Comment/debate
  • 1 Conference abstract in journal
  • 1 Letter
  • 1 Computer programme

Research output per year

Research output per year

Search results

• 2023

  Algorithmic Fairness: Learnings From a Case That Used AI For Decision Support

  Sekara, V., Thorsen, T. S. S. & Sinatra, R., 2023, #6 ed. 5 p.

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Communication

  Open Access

  • Tech Policy 100%

• D6.3 Prototype and overview of data path optimizations and placement

  Bonnet, P., Paradies, M., Pestka, C., Hedam, N. & Krause, A., 2023

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Commissioned

  Open Access

  • Optimization Technique 100%
  • hardware acceleration 100%
  • Storage Configuration 100%
  • Memory Configuration 100%
  • Computational Storage 33%
• 2022

  D6.2 Prototype and Overview of Managed Storage Tiers and Near-Data Processing

  Bonnet, P., Paradies, M. & Hedam, N., 2022

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Commissioned

  Open Access

  • Near-data Processing 100%
  • Storage-tier 100%
  • Data Processing 100%
  • Computational Storage 50%
  • State-of-the-art Techniques 50%

• Universal Sorting: Finding a DAG using Priced Comparisons

  Jacob, R. & Goswami, M., 8 Nov 2022, 40 p.

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  Open Access

  • Competitive Ratio 100%
  • Bichromatic 75%
  • Sorting Task 50%
  • Randomized Algorithms 25%
  • Optimal Algorithm 25%
• 2021

  VLDB 2021: Designing a Hybrid Conference

  Bonnet, P., Dong, L., Naumann, F. & Tözün, P., 15 Dec 2021, 4 ed. Sigmod record. 4 p.

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  File

  • Hybrid Meetings 100%
  • Copenhagen 50%
  • International Conference 50%
  • Program Committee 50%
  • Committee Chair 50%

• Voter Perceptions of Trust in Risk-Limiting Audits (Extended)

  Dalela, A., Kulyk, O. & Schürmann, C., 2021

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  File

  • Risk-limiting Audit 100%
  • Voter Perceptions 100%
  • Perceived Trust 100%
  • Study Participant 100%
  • User Study 25%
• 2020

  Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices

  Bruni, A., Normann, K. & Sundararajan, V., 22 Jul 2020, 20 p.

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  • Formal Analysis 100%
  • Constrained IoT Devices 100%
  • EDHOC 100%
  • Key Establishment 100%
  • Internet-Of-Things 100%

• GIFT Project Deliverable D3.2 Report on Closed Beta

  Benford, S., Løvlie, A. S., Preston, W., Spence, J., Rajkowska, P., Ryding, K., Thorn, E.-C., Waern, A. & Wray, T., 2020, The European Commission.

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  Open Access

  File

• GIFT Project Deliverable D3.4 Report on Sensitive Pictures

  Løvlie, A. S., Bodiaj, E., Ryding, K., Benford, S., Cameron, H., Darzentas, D., Mortensen, C. H., Rajkowska, P., Fuentes, C., Spors, V. & Spanjevic, B., 2020, The European Commission.

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  Open Access

  File

• GIFT Project Deliverable D4.2 Interim Evaluation Report

  Olesen, A. R., Løvlie, A. S., Holdgaard, N. & Wray, T., 2020, The European Commission.

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  Open Access

  File

• GIFT Project Deliverable D4.3 Final Evaluation Report on Lead User Change Process

  Mortensen, C. H., Olesen, A. R. & Løvlie, A. S., 2020, The European Commission.

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  Open Access

  File

• GIFT Project Deliverable D4.4 The GIFT Framework

  Olesen, A. R., Wray, T. & Løvlie, A. S., 2020, The European Commission.

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  Open Access

  File

• GIFT Project Deliverable D5.2 Final Report: Life-cycle Analysis

  Eklund, L., Waern, A., Rajkowska, P., Spence, J., Ioannidis, P. & Løvlie, A. S., 2020, The European Commission.

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  Open Access

  File

• GIFT Project Deliverable D5.3 Anthology on Meaningful Personalization

  Løvlie, A. S., Waern, A. & Fornell-Hjelm, J., 2020, The European Commission.

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  Open Access

  File

• GIFT Project Deliverable D6.3 Design of the Final Toolbox

  Darzentas, D., Spence, J., Bodiaj, E., Thorn, E.-C., Preston, W., Koleva, B., Flintham, M., Benford, S., Løvlie, A. S., Wray, T. & Ioannidis, P., 2020, The European Commission.

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  Open Access

  File

• GIFT Project Deliverable D6.4 Package and Release of the Final Toolbox

  Darzentas, D., Bodiaj, E., Benford, S., Spence, J., Preston, W., Koleva, B., Egede, J., Valstar, M., Wray, T., Ioannidis, P., Løvlie, A. S., Spanjevic, B., Tandavanitj, N. & Adams, M., 2020, The European Commission.

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  Open Access

  File

• GIFT Project Deliverable D7.4 Europeana Dissemination Report

  Jarrett, N. & Løvlie, A. S., 2020, The European Commission.

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  Open Access

  File

• GIFT Project Deliverable D7.5 Final Conference Report

  Mortensen, C. H. & Løvlie, A. S., 2020, The European Commission.

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  Open Access

  File
• 2019

  A Comparison Between SISAL 1.2 and Funcalc

  Bock, A., 2019, IT-Universitetet i København. 74 p. (ITU Technical Report Series; No. TR-2019-205).

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  File

  • Funcalc 100%
  • Single-assignment 100%
  • Single Assignment 100%
  • Expressiveness 25%
  • Type Systems 16%

• EmisChain - An application of blockchain technology for road-transport emissions monitoring to support an emissions market and an in-use emissions-based tolling system in the EU

  Beck, R., Spasovski, J., Gentile, L. & Mukkamala, A. M., 2019

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  File

  • Blockchain Applications 100%
  • Technology System 100%
  • Distributed Ledger Technology 100%
  • Road Transport Emissions 100%
  • Emissions Markets 100%
• 2018

  Analysis of the Danish Data Science Job Market

  Plank, B., Dec 2018, IT-Universitetet i København.

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  File

  • Denmark 100%
  • Data Science 100%
  • Job Market 100%
  • Data Scientist 100%
  • Danish 100%

• Concrete and Abstract Cost Semantics for Spreadsheets

  Bock, A., Bøgholm, T., Sestoft, P., Thomsen, B. & Thomsen, L. L., 2018, IT-Universitetet i København. 63 p. (ITU Technical Report Series; No. TR-2018-203).

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  Open Access

  File

  • Spreadsheets 100%
  • Cost Semantics 100%
  • Operational Semantics 100%
  • Abstract Interpretation 100%
  • Funcalc 28%

• GIFT Project Deliverable D1.2 Data Management Plan

  Løvlie, A. S., Bedwell, B. & Ojala, M., 2018, The European Commission.

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  Open Access

  File

• GIFT Project Deliverable D4.1 Evaluation Strategy and Change Process Report

  Løvlie, A. S., Pichlmair, M. & Brin, S., 2018, The European Commission.

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  Open Access

  File

• GIFT Project Deliverable D7.2 Communication Strategy

  Løvlie, A. S., Rasmussen, M. G. & Kickbusch, J., 2018, The European Commission.

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Communication

  Open Access

  File

• GIFT Project Deliverable D7.3 Project Website

  Løvlie, A. S. & Ojala, M., 2018, The European Commission.

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Communication

  Open Access

  File

• Orkney Cloud Data Centre

  Bonnet, P., 2018, Orkney Cloud Project. 4 p.

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Communication

  Open Access

  • Orkney 100%
  • Cloud Data Center 100%
  • Netflix 100%
  • Cloud Service 100%
  • Data Center 100%

• Spreadsheet Patents

  Borum, H. S., Kirkbro, M. E. & Sestoft, P., 2018, Version 1.0 of 2018-05-04 ed. Copenhagen, Denmark: IT University of Copenhagen. 62 p. (IT University Technical Report Series; No. TR-2018-200).

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  Open Access

  File

  • Spreadsheets 100%
  • USA 100%
  • Monograph 100%
  • Technology Implementation 50%
  • US Patents 25%

• The Hidden Cost of Window Management

  Jeuris, S., Tell, P., Houben, S. & Bardram, J. E., 2018, (CoRR).

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

• The Process Highlighter: From Texts to Declarative Processes and Back

  López-Acosta, H.-A., Hildebrandt, T., Debois, S. & Marquard, M., 28 Sept 2018, Copenhagen: IT-Universitetet i København. 19 p. (IT University Technical Report Series).

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Communication

  • Declarative Processes 100%
  • Process Model 100%
  • Traceability 100%
  • Natural Language Description 50%
  • DCR Graphs 50%
• 2017

  Data Visualisation and Decision Making Solutions to Forecast and Manage Complex Urban Challenges: STAKEHOLDER EVALUATION REPORT

  RASMUSSON, M., Guldåker, N., Hallin, P.-O., Bright, J., Dittrich, Y., Dobner, S., Mack, L. & Voigt, C., 2017, 44 p.

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  Open Access

• Theory and Applications of Hashing (Dagstuhl Seminar 17181)

  Dietzfelbinger, M., Mitzenmacher, M., Pagh, R. & Woodruff, D., 2017, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH. (Dagstuhl Reports; No. 5, Vol. 7).

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  Open Access

  • Hashing 100%
  • Dagstuhl Seminar 100%
  • Informal Conversations 50%

• Using Fourier-Motzkin-Elimination to Derive Capacity Models of Container Vessels

  Ajspur, M. L. & Jensen, R. M., Jan 2017, 46 p. (ITU Technical Report Series; No. TR-2017-197).

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  File

  • Container Vessel 100%
  • Capacity Model 100%
  • Fourier-Motzkin Elimination 100%
  • Motzkin Elimination 100%
  • Linear Program 100%
• 2016

  A Literature Review of Spreadsheet Technology

  Bock, A., Nov 2016, 33 p. (ITU Technical Report Series; No. TR-2016-199).

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  Open Access

  File

  • Spreadsheets 100%
  • Technological Progress 20%
  • Software Developers 20%
  • End-user Programmers 20%
  • Banking 20%

• Calculatrices digitales: Du déchiffrage de formules logico-mathématiques par la machine même dans la conception du programme

  Translated title of the contribution: Digital computers: On encoding logical-mathematical formulas using the machine itself during program conceptionBöhm, C. & Sestoft, P. (Translator), 4 May 2016, 50 p.

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

• co-Laevo - Supporting Cooperating Teams by Working 'within' Shared Activity Time Lines

  Jeuris, S., Tell, P. & Bardram, J., Jun 2016, IT-Universitetet i København. 14 p. (ITU Technical Report Series; No. TR-2016-193).

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  File

  • Interaction Design 100%
  • Team Member 100%
  • Cycle Management 100%
  • Related Resource 100%
  • Access Activity 100%

• Declarative Parallel Programming in Spreadsheet End-User Development: A Literature Review

  Biermann, F., 2016, 16 p. (ITU Technical Report Series; No. TR-2016-192).

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  File

  • Parallel Programming 100%
  • Spreadsheets 100%
  • End-user Development 100%
  • User Development 100%
  • Array Codes 50%

• SymexTRON: Symbolic Execution of High-Level Transformation Languages: Symbolic Execution of High-Level Transformations

  Al-Sibahi, A. S., Dimovski, A. & Wasowski, A., Sept 2016, 24 p. (ITU Technical Report Series; No. TR-2016-196).

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  File

  • Transformation Languages 100%
  • Symbolic Execution 100%
  • High-grade Transformation 100%
  • Execution Technique 40%
  • Domain-specific Languages 20%
• 2015

  Measuring Voter Lines

  Schürmann, C. & Wang, J., Nov 2015, 26 p. (ITU Technical Report Series; No. TR-2015-191).

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  File

  • Waiting Time 100%
  • Voting Technology 100%
  • Resource Distribution 100%
  • Decision-making Process 100%
  • Polling Places 100%

• Systematic mapping study of information communication technology research for agriculture (in case of developing Countries)

  Zewge, A. & Dittrich, Y., 2015, 21 p. (ITU Technical Report Series; No. TR-2015-190).

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  File

  • Information Communication Technology 100%
  • Systematic Mapping Study 100%
  • Developing Countries 100%
  • Agriculture 100%
  • Technology Research 100%
• 2014

  40 Variability Bugs in the Linux Kernel: A Qualitative Study

  Abal Rivas, I., Brabrand, C. & Wasowski, A., May 2014, 20 p. (ITU Technical Report Series; No. TR-2014-180).

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  File

  • Linux 100%
  • Software Systems 50%
  • Sensitive Analysis 50%
  • Exponential Number 50%
  • Tool Implementation 50%

• A Systematic Mapping Study of Software Architectures for Cloud Based Systems

  Chauhan, M. A. & Babar, M. A., Mar 2014, 57 p. (ITU Technical Report Series).

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  File

  • Software Architecture 100%
  • Systematic Mapping Study 100%
  • Cloud System 100%
  • Solution Architecture 100%
  • Architectural Solutions 80%

• Civile Droner i Danmark: Kortlægning og teknologivurdering

  Translated title of the contribution: Drones in DenmarkLygum, A., Nielsen, J. S., Bådum, N. B., la Cour-Harbo, A., Hansen, J. P., Pedersen, K. S., Larsen, L. M., Almdal, T. M. & Ploug, T., 2 Jul 2014, Teknologi Rådet. 101 p.

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Communication

  • Denmark 100%
  • Drone 100%
  • Formlets 50%
  • Airport 50%
  • Geodata 50%

• Mode Checking in the Concurrent Logical Framework

  Schürmann, C., Sacchini, J., Pfenning, F. & Cervesato, I., 2014, (Technical Report Carnegie Mellon University).

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

• PTaaS: Platform for Providing Software Developing Applications and Tools as a Service

  Chauhan, M. A. & Babar, M. A., Mar 2014, 106 p. (ITU Technical Report Series).

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  File

  • Global Software Development 100%
  • Software Development 100%
  • Tool as a Service 100%
  • Developing Application 100%
  • Software Development Tools 40%

• Technology Support for Relation Work in Video Meetings: The Design, Implementation and Evaluation of SideBar

  Esbensen, M. & Bardram, J., Sept 2014, IT-Universitetet i København. 48 p. (ITU Technical Report Series; No. TR-2014-177).

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  File

  • Technology Support 100%
  • Design Implementation 100%
  • Video Meetings 100%
  • Videoconferencing 50%

• TEE-Based Trusted Storage

  Gonzalez, J. & Bonnet, P., 2014, IT-Universitetet i København. 10 p.

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  File
• 2013

  A Field Study of Structures, Affordances, and Coordination Mechanisms of a Cross-Organizational Extended Team in Global Software Development

  Zahedi, M. & Ali Babar, M., Jan 2013, IT-Universitetet i København. 50 p. (I T University. Technical Report Series; No. 164).

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  • Cross-organization 100%
  • Global Software Development 100%
  • Coordination Modes 100%
  • Affordance Mechanism 100%
  • Practitioners 100%

• Kopitiam – a unified IDE for developing formally verified Java programs

  Bengtson, J. & Mehnert, H., May 2013, 15 p. (ITU Technical Report Series; No. TR-2013-167).

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  File

• PC Mini-Grids for Prediction of Viral RNA Structure and Evolution Final Report

  Bardram, J. E., 2013, IT-Universitetet i København. (ITU Technical Report Series; No. TR-2013-166).

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  File