IT University of Copenhagen

Research output

Research output per year 1998 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2025

• 1952 Article in proceedings
• 1422 Journal article
• 631 Book chapter
• 287 Conference article
• 1513 More
  • 278 Conference abstract for conference
  • 276 Paper
  • 192 Ph.D. thesis
  • 137 Report
  • 100 Book
  • 79 Other contribution
  • 61 Anthology
  • 58 Net publication - Internet publication
  • 48 Editorial
  • 46 Conference abstract in proceedings
  • 43 Working paper
  • 37 Encyclopedia chapter
  • 25 Review
  • 23 Poster
  • 17 Patent
  • 13 Literature review
  • 11 Comment/debate
  • 11 Contribution to newspaper - Newspaper article
  • 9 Report chapter
  • 9 Contribution to newspaper - Comment/debate
  • 8 Contribution to newspaper - Feature article
  • 4 Letter
  • 4 Interactive production
  • 4 Sound/Visual production (digital)
  • 4 Preprint
  • 3 Preface/postscript
  • 3 2D/3D (psysical products)
  • 3 Computer programme
  • 2 Doctoral thesis
  • 2 Conference abstract in journal
  • 1 Compendium/lecture notes
  • 1 Comment
  • 1 Memorandum

Research output per year

Research output per year

Search results

• 2014

  The Impact of Enterprise Crowdsourcing on Company Innovation Culture : The case of an engineering consultancy

  Scupola, A. & Nicolajsen, H. W., 2014, In: Lecture Notes in Business Information Processing. 186, 16 p.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  • Crowdsourcing 100%
  • Large Engineering 33%

• Towards a Conceptualization of Online Community Health

  Wagner, D., Richter, A., Trier, M. & Wagner, H.-T., 2014, In: Proceedings / International Conference on Information Systems (ICIS).

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

• Tsukurimashou: a Japanese-language font meta-family

  Skala, M., 2014, In: TUGboat. 34, 3, p. 269-278 10 p.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

• Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

  Debois, S., Hildebrandt, T., Slaats, T. & Yoshida, N., 2014, In: Lecture Notes in Computer Science. 8461, p. 1-16 16 p.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

• Who is Key?-Value Adding Users in Enterprise Social Networks

  Berger, K., Klier, J., Klier, M. & Richter, A., 2014, In: Proceedings / European Conference on Information Systems (ECIS).

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
• 2013

  A Node Flow Model for the Inflexible Visitation Liner Shipping Fleet Repositioning Problem with Cargo Flows

  Tierney, K. & Jensen, R. M., 2013, In: Lecture Notes in Computer Science. 8197, p. 18-34 17 p.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  • Flow Model 100%
  • Cargo Demand 20%
  • Fixed Activity 20%
  • CPLEX 20%
  • Solution Time 20%

• Efficient Enumeration of Modular Robot Configurations and Shapes

  Støy, K. & Brandt, D., 2013, In: I E E E International Conference on Intelligent Robots and Systems. Proceedings. p. 4296 - 4301 6 p.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

• Example-Driven Modeling using Clafer

  Antkiewicz, M., Bak, K., Czarnecki, K., Diskin, Z., Zayan, D. & Wasowski, A., 5 Dec 2013, In: CEUR Workshop Proceedings. 1104, p. 32-41

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

• How to Approximate A Set Without Knowing Its Size in Advance

  Pagh, R., Segev, G. & Wieder, U., 2013, In: Symposium on Foundations of Computer Science. Annual Proceedings. p. 80-88

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

• Incremental Bisimulation Abstraction Refinement

  Godskesen, J. C., Song, L. & Zhang, L., 8 Jul 2013, In: Proceedings of the International Conference on Application of Concurrency to System Design. p. 11-20

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  • Bisimulation 100%
  • Abstraction Refinement 100%
  • Probabilistic Computation Tree Logic 66%
  • Automaton 50%
  • Experimental Result 50%

• "It's A-Me/Mario!": Playing as a Ludic Character

  Vella, D., May 2013, In: Foundations of Digital Games Conference Proceedings. 8, p. 31-38

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  • Phenomenology 100%
  • Game World 100%
  • Philosophical Model 100%
  • Character Theory 100%
  • Avatar 100%

• Ludic Zombies: An Examination of Zombieism in Games

  Backe, H.-J. & Aarseth, E., 2013, In: Proceedings of DiGRA 2013. 7, 16 p., 405.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  • Zombies 100%
  • Entertainment 16%
  • Alien 16%
  • Digital Games 16%
  • Poverty 16%

• On dis/abled clandestine bodies: Producing European borders through uneven technological battles

  Galis, V., Tzokas, S. & Tympas, A., 2013, In: Tensions of Europe.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  • Migrants 100%
  • European Borders 100%
  • Helicopter 100%
  • Disability 70%
  • Research Project 50%

• On Parallelizing Matrix Multiplication by the Column-Row Method

  Campagna, A., Kutzkov, K. & Pagh, R., 2013, In: Siam Society. Journal.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

• Quantifying Information Leakage of Randomized Protocols

  Biondi, F., Wasowski, A., Legay, A. & Malacaria, P., 20 Jan 2013, In: Lecture Notes in Computer Science. 7737, p. 68-87 20 p.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  Open Access

  File

  • Randomized Protocol 100%
  • Information Leakage 100%
  • Markov Process 100%
  • Lattices 100%
  • Channel Capacity 100%

• Reflection, Abstraction And Theorizing In Design And Development Research.

  Gregor, S., Müller, O. & Seidel, S., 2013, In: Proceedings / European Conference on Information Systems (ECIS).

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

• The Genesis of Crisis Communication in Twitter: from Witnesses to Gatewatchers

  Rossi, L. & Zurovac, E., 2013, In: Selected Papers of Internet Research. 4 p.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  • Digital Media 100%
  • Social Media 100%
  • Twitter 100%
  • Own Experience 100%
  • Network Structure 100%

• The Parity of Directed Hamiltonian Cycles

  Björklund, A. & Husfeldt, T., 2013, In: Symposium on Foundations of Computer Science. Annual Proceedings. p. 727-735

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

• Towards Trustworthy Adaptive Case Management with Dynamic Condition Response Graphs

  Mukkamala, R. R., Hildebrandt, T. & Slaats, T., 2013, In: International Enterprise Distributed Object Computing Conference. Proceedings. p. 127-136

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  File

  • Process Model 100%
  • model checker 100%
  • Deadlock Freedom 100%
  • Liveness 100%
  • Dynamic Condition Response Graphs 100%
• 2012

  A Computational Approach Towards Conflict Resolution for Serious Games

  Cheong, Y.-G., Khaled, R., Grappiolo, C., Campos, J., Martinho, C., Ingram, G. P. D., Paiva, A. & Yannakakis, G., 2012, In: Foundations of Digital Games Conference Proceedings.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

• An Accurate Model for Seaworthy Container Vessel Stowage Planning with Ballast Tanks

  Pacino, D., Delgado-Ortegon, A., Jensen, R. & Bebbington, T., 2012, In: Lecture Notes in Computer Science. 7555, p. 17-32 16 p.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

• A Situated Model and Architecture for Distributed Activity-Based Computing

  Houben, S., Esbensen, M. & Bardram, J., 2012, In: CEUR Workshop Proceedings. 947, p. 22-26

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

• Customizable Time-Oriented Visualizations

  Kuhail, M. A., Pantazos, K. & Lauesen, S., Jul 2012, In: Lecture Notes in Computer Science. 7432

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  • Customizable 100%
  • Time-oriented 100%
  • Visualization Tool 100%
  • Building-Blocks 66%
  • Visualization Tools 50%

• Declarative Modelling and Safe Distribution of Healthcare Workflows

  Hildebrandt, T., Mukkamala, R. R. & Slaats, T., 2012, In: Lecture Notes in Computer Science. 7151, p. 39-56 18 p.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  Open Access

  File

  • Declarative Modeling 100%
  • Healthcare Workflows 100%
  • Workflow Process 100%
  • Response Graph 66%
  • Local Processes 66%

• Diversified virtual camera composition

  Preuss, M., Burelli, P. & Yannakakis, G. N., 2012, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 265-274 10 p.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  • Virtual Camera 100%
  • Evolutionary Algorithms 25%
  • Virtual Worlds 25%
  • 3D Environment 25%
  • Niching 25%

• Does your profile say it all? Using demographics to predict expressive head movement during gameplay

  Asteriadis, S., Karpouzis, K., Shaker, N. & Yannakakis, G. N., 2012, In: CEUR Workshop Proceedings. 872

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  • Siren 100%
  • Head Movement 100%
  • Demographic Characteristics 100%
  • Pression 100%
  • Visual Behavior 100%

• Extending BPMN for business activity monitoring

  Friedenstab, J.-P., Janiesch, C., Matzner, M. & Müller, O., 2012, In: Proceedings of the Annual Hawaii International Conference on System Sciences.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

• Formal Cellular Machinery

  Højsgaard, E., Damgaard, T. C. & Krivine, J., 2012, In: Electronic Notes in Theoretical Computer Science. 284, p. 55-74

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

• "Jonas, derefter Katrine og Sebastian": En enkel metode til at lære alle de studerendes navne

  Jørgensen, A. H., 2012, In: Dansk Universitetspædagogisk Tidsskrift. 12, 6 p.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

• Merging Multiparty Protocols in Multiparty Choreographies

  Carbone, M. & Montesi, F., 2012, In: Electronic Proceedings of Theoretical Computer Science. EPTCS. 5, p. 28-33

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

• National IT Reform Programs in Local Practices

  Hjelholt, M. & Jensen, T. B., 2012, In: Europen Group of Organization Studies.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

• Nested Dynamic Condition Response Graphs

  Hildebrandt, T., Mukkamala, R. R. & Slaats, T., 2012, In: Lecture Notes in Computer Science. 7141, p. 343-350 8 p.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  Open Access

  File

  • Workflow Management System 100%
  • Automaton 100%
  • Case Study 100%
  • Process Model 100%
  • Case Management System 100%

• New Results on Timed Specifications

  Bourke, T., David, A., Larsen, K. G., Legay, A., Lime, D., Nyman, U. M. & Wasowski, A., 2012, In: Lecture Notes in Computer Science. 7137, p. 175 192 p.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

• The Genesis and Evolution of Digital Payment Platforms: Understanding Transition Routes

  Hjelholt, M. & Damsgaard, J., 2012, In: European Conference of Information Systems.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

• The Impact of Social Media Enterprise Crowdsourcing on Company Innovation Culture: The case of an engineering consultancy

  Hugger, A. S. & Nicolajsen, H. W., 2012, In: Sprouts. 12, 27, 18 p.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
• 2011

  A Bigraph Relational Model

  Beauquier, M. & Schürmann, C., 2011, In: Electronic Proceedings in Theoretical Computer Science. 71, p. 14 28 p.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  • Bigraphs 100%
  • Relational Model 100%
  • Relational Database 100%
  • Bigraphical Reactive Systems 50%
  • Multiset Rewrite Systems 50%

• Abstract Probabilistic Automata

  Delahaye, B., Katoen, J.-P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F. & Wasowski, A., 2011, In: Lecture Notes in Computer Science. 6538, p. 324-339

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

• A New Data Layout For Set Intersection on GPUs

  Amossen, R. R. & Pagh, R., 2011, In: Proceedings, International Parallel and Distributed Processing Symposium (IPDPS). p. 698 - 708 10 p.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  • Frequent Pattern Mining 100%
  • Set Intersection 100%
  • Data Layout 100%
  • Intersection Set 100%
  • Graphics Processing Unit 100%

• A Provenance-Based Infrastructure to Support the Life Cycle of Executable Papers

  David Koop, Emanuele Santos, Phillip Mates, Huy T. Vo, Philippe Bonnet, Bela Bauer, Brigitte Surer, Matthias Troyer, Dean N. Williams, Joel E. Tohline, Juliana Freire, Cláudio T. Silva, 2011, In: Procedia Computer Science. 4, p. 648-657

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  Open Access

  File

  • Content Author 100%
  • Computational Experiment 100%
  • Experimental Result 100%
  • Text Table 16%

• A Step-Indexed Kripke Model of Separation Logic for Storable Locks

  Buisse, A., Birkedal, L. & Støvring, K., 2011, In: Electronic Notes in Theoretical Computer Science. 276

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

• A Stochastic Broadcast Pi-Calculus

  Song, L., Nielson, F. & Nielsen, B. F., 6 Jul 2011, In: Electronic Proceedings in Theoretical Computer Science. 57, p. 74-88 15 p.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  Open Access

  File

  • Immediate Transition 100%
  • π-calculus 100%
  • Nondeterminism 100%
  • Calculus 100%
  • Stochastics 100%

• Concepts and collections: A case study using objects from the Brooklyn Museum

  Wray, T. & Eklund, P., 2011, In: CEUR Workshop Proceedings. 801, 12 p.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  • Term Extraction 100%
  • Lexical Resources 49%
  • Browsing Experience 49%
  • Extraction Process 49%

• Decision Problems for Interval Markov Chains

  Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., 2011, In: Lecture Notes in Computer Science. 6638, p. 274-285

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

• De-identifying an EHR Database: Anonymity, Correctness and Readability of the Medical Record

  Lauesen, S., Pantazos, K. & Lippert, S., 2011, In: Studies in Health Technology and Informatics. 169, p. 862-866 5 p.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  • Medical Records 100%
  • Anonymity 100%
  • Electronic Health Record Databases 100%
  • Readability 100%
  • Medical Record 100%

• Designing a Cross-organizational Case Management System using Dynamic Condition Response Graphs

  Hildebrandt, T., Mukkamala, R. R. & Slaats, T., 2011, In: International Enterprise Distributed Object Computing Conference. Proceedings. p. 161-170 10 p.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  Open Access

  File

  • Cross-organization 100%
  • Dition 100%
  • Response Graph 100%
  • Dynamic Condition Response Graphs 100%
  • Business Process Model and Notation 100%

• Exploring the Coming Repositories of Reproducible Experiments: Challenges and Opportunities

  Freire, J., Bonnet, P. & Shasha, D., 2011, In: Proceedings of the VLDB Endowment. 4, 12, p. 1494-1497

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  • Software Repository 100%
  • Data Repository 100%
  • Reproducibility 100%
  • Reproducible Experiment 100%
  • Computational Reproducibility 100%

• Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled

  Bąk, K., Czarnecki, K. & Wasowski, A., 2011, In: Lecture Notes in Computer Science. 6563, p. 102-122 21 p.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  • Metamodel 100%
  • Feature Model 100%
  • Clafer 100%
  • modeling language 100%
  • DNA Template 100%

• First steps in synthetic guarded domain theory: step-indexing in the topos of trees

  Birkedal, L., Møgelberg, R. E., Støvring, K. & schwinghammer, J., 2011, In: Annual Symposium on Logic in Computer Science. p. 55-64

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

• Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways

  Christiansen, D. R., Carbone, M. & Hildebrandt, T., 2011, In: Lecture Notes in Computer Science. 6551, p. 146-160 15 p.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

• Information Needs in Service Systems-A Framework for Integrating Service and Manufacturing Business Processes

  Becker, J., Beverungen, D., Knackstedt, R., Matzner, M. & Muller, O., 2011, In: Proceedings of the Annual Hawaii International Conference on System Sciences.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review