IT-Universitetet i København

Publikation

Publikationer pr. år 1998 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2025

• 1952 Konferencebidrag i proceedings
• 1422 Tidsskriftartikel
• 631 Bidrag til bog/antologi
• 287 Konferenceartikel
• 1512 Mere
  • 278 Konferenceabstrakt til konference
  • 276 Paper
  • 192 Ph.d.-afhandling
  • 136 Rapport
  • 100 Bog
  • 79 Andet bidrag
  • 61 Antologi
  • 58 Udgivelser på nettet - Net-publikation
  • 48 Leder
  • 46 Konferenceabstrakt i proceedings
  • 43 Working paper
  • 37 Encyclopædiartikel
  • 25 Review
  • 23 Poster
  • 17 Patent
  • 13 Anmeldelse
  • 11 Kommentar/debat
  • 11 Bidrag til avis - Avisartikel
  • 9 Bidrag til rapport
  • 9 Bidrag til avis - Kommentar/debat
  • 8 Bidrag til avis - Kronik
  • 4 Letter
  • 4 Interaktiv produktion
  • 4 Lyd og/eller billed produktion (digital)
  • 4 Preprint
  • 3 Forord/efterskrift
  • 3 2D/3D (Fysisk produkt)
  • 3 Softwareprogram
  • 2 Doktordisputats
  • 2 Konferenceabstrakt i tidsskrift
  • 1 Kompendium/lecture notes
  • 1 Kommentar
  • 1 Faglig redegørelse

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2009

  The commodification of location: Dynamics of power in location-based systems

  Shklovski, I., Vertesi, J., Troshynski, E. & Dourish, P., 2009, I: UbiComp.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  • Location-aware 100%
  • Commodification 100%
  • Location Dynamics 100%
  • Parole Officers 100%
  • Parole 100%

• Towards a Unified Framework for Declarative Structured Communications

  Acosta, H. A. L., Olarte, C. & Perez, J. A., 2009, I: Electronic Proceedings in Theoretical Computer Science. 17

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Type Systems for Bigraphs

  Elsborg, E., Hildebrandt, T. & Sangiorgi, D., 2009, I: Lecture Notes in Computer Science. 5474, s. 126-140

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks

  Godskesen, J. C., Huttel, H. & Kühnrich, M., 2009, I: Electronical Notes in Theoretical Computer Science. 2, s. 77-93

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
• 2008

  Actors with Multi-Headed Message Receive Patterns

  Sulzmann, M., Lam, E. S. L. & Van Weert, P., 2008, I: Lecture Notes in Computer Science. s. 315-330

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• A logic for parametric polymorphism with effects

  Møgelberg, R. E. & Simpson, A., 2008, I: Lecture Notes in Computer Science. 4941, s. 142-156

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• An ontology-based service discovery approach for the provisioning of product-service bundles

  Knackstedt, R., Kuropka, D., Müller, O. & Polyvyanyy, A., 2008, I: Proceedings / European Conference on Information Systems (ECIS).

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Approximate Compilation of Constraints into Multivalued Decision Diagrams

  Hadzic, T., Hooker, J. N., O’Sullivan, B. & Tiedemann, P., 2008, I: Lecture Notes in Computer Science. s. 448-462

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• A Realizability Model for Impredicative Hoare Type Theory

  Petersen, R. L., Birkedal, L., Nanevski, A. & Morrisett, G., 2008, I: Lecture Notes in Computer Science. s. 337-352

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• A Simple Model of Separation Logic for Higher-order Store

  Birkedal, L., Reus, B., Schwinghammer, J. & Yang, H., 2008, I: Lecture Notes in Computer Science. s. 348-360

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Celf – A Logical Framework for Deductive and Concurrent Systems (System Description)

  Schack-Nielsen, A. & Schürmann, C., 2008, I: Lecture Notes in Computer Science. s. 320-326

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Clinical Proof-of-Concept - A Evaluation Method for Pervasive Healthcare Systems

  Bardram, J., 2008, I: CEUR Workshop Proceedings.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Complexity of Decision Problems for Mixed and Modal Specifications

  Antonik, A., Huth, M., Nyman, U. M., Larsen, K. G. & Wasowski, A., 2008, I: Lecture Notes in Computer Science. s. 112-126

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Constructing Efficient Dictionaries in Close to Sorting Time

  Ruzic, M., 2008, I: Lecture Notes in Computer Science. s. 84-95

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Constructive Alignment for Teaching Model-Based Design for Concurrency: a case-study on implementing alignment in Computer Science

  Brabrand, C., 2008, I: Lecture Notes in Computer Science. s. 1-18

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Efficient Reasoning for Nogoods in Constraint Solvers with BDDs

  Subbarayan, S., 2008, I: Lecture Notes in Computer Science.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Exploiting Structure and Conventions of Movie Scripts for Information Retrieval and Text Mining

  Jhala, A., 2008, I: Lecture Notes in Computer Science. s. 210-213 4 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Flow Analysis of Code Customizations

  Hessellund, A. & Sestoft, P., 2008, I: Lecture Notes in Computer Science. s. 285-308

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Formalizing Higher-order Mobile Embedded Business Processes with Binding Bigraphs

  Bundgaard, M., Glenstrup, A. J., Hildebrandt, T., Højsgaard, E. & Niss, H., 2008, I: Lecture Notes in Computer Science. s. 83-99 17 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Goal-Equivalent Secure Business Process Re-engineering

  Acosta, H. A. L., Massacci, F. & Zannone, N., 2008, I: Lecture Notes in Computer Science. s. 212-223

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Higher-Order Separation Logic in Isabelle/HOLCF

  Varming, C. & Birkedal, L., 2008, I: Electronical Notes in Theoretical Computer Science. s. 371-389 18 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• How I learned to love the Bomb: Defcon and the Ethics of Computer Games

  Sicart (Vila), M. A., 2008, I: Lecture Notes in Computer Science. s. 1-10

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Interfaces and Metainterfaces for Models and Metamodels

  Hessellund, A. & Wasowski, A., 2008, I: Lecture Notes in Computer Science. s. 401-415

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Model Construction with External Constraints: An interactive Journey from Semantics to Syntax

  Janota, M., Kuzina, V. & Wasowski, A., 2008, I: Lecture Notes in Computer Science. s. 431-445

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Near-Optimal Sparse Recovery in the L₁ Norm

  Ruzic, M. & Indyk, P., 2008, I: Symposium on Foundations of Computer Science. Annual Proceedings.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Newsgames: Theory and Design

  Sicart (Vila), M. A., 2008, I: Lecture Notes in Computer Science. s. 27-33

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• On the Construction of Sorted Reactive Systems

  Birkedal, L., Debois, S. & Hildebrandt, T., 2008, I: Lecture Notes in Computer Science. 5201, s. 218-232 15 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Fil

• Practical Programming with Higher-Order Encodings and Dependent Types

  Poswolsky, A. & Schürmann, C., 2008, I: Lecture Notes in Computer Science. s. 93-107

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Programming language concepts for software developers. White paper for SIGPLAN workshop on programming language curriculum, Harvard University, May 29-30 2008.

  Sestoft, P., 2008, I: A C M / S I G P L A N Notices. 11, s. 119-123

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Propagating separable equalities in an MDD store

  Hadzic, T., Hooker, J. N. & Tiedemann, P., 2008, I: Lecture Notes in Computer Science. s. 318-322

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Structural Logical Relations

  Schürmann, C. & Sarnat, J., 2008, I: Logic in Computer Science. s. 69-82

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Succinct Data Structures for Retrieval and Approximate Membership

  Dietzfelbinger, M. & Pagh, R., 2008, I: Lecture Notes in Computer Science. s. 385-396 12 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Tales for the Many: Process and Authorial Control in Multi-player Role-Playing Games

  Tychsen, A., 2008, I: Lecture Notes in Computer Science. s. 309-320

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Technologies for Evolvable Software Products: The Conflict between Customizations and Evolution

  Sestoft, P. & Vaucouleur, S., 2008, I: Lecture Notes in Computer Science. s. 216-253

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Verbal Communication of Story Facilitators in Multi-player Role-Playing Games

  Tychsen, A., Brolund, T. & Hitchens, M., 2008, I: Lecture Notes in Computer Science. 5334, s. 242-249

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Zero-Overhead Composable Aspects for .NET

  Johansen, R., Sestoft, P. & Spangenberg, S., 2008, I: Lecture Notes in Computer Science. s. 185-215

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
• 2006

  Interpreting polymorphic FPC into domain theoretic models of parametric polymorphism

  Møgelberg, R. E., 2006, I: Lecture Notes in Computer Science. 4052

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review