Remember Me
Or use your Academic/Social account:


Or use your Academic/Social account:


You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.


Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message


Verify Password:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
The IT University of Copenhagen's Repository
Institutional Repository
336 Publications
More information
Detailed data provider information (OpenDOAR)


  • Användning av mobilen för information och kommunikation

    Using the mobile for information and communication

    A model of guarded recursion with clock synchronisation

    Guarded recursion is an approach to solving recursive type equations where the type variable appears guarded by a modality to be thought of as a delay for one time step. Atkey and McBride proposed a calculus in which guarded recursion can be used when programming with coinductive data, allowing productivity to be captured in types. The calculus uses clocks representing time streams and clock quantifiers which allow limited and controlled elimination of modalities. The calculus has since been ...

    Kopitiam: Modular Incremental Interactive Full Functional Static Verification of Java Code

    WearedevelopingKopitiam,atooltointeractivelyprovefull functional correctness of Java programs using separation logic by inter- acting with the interactive theorem prover Coq. Kopitiam is an Eclipse plugin, enabling seamless integration into the workflow of a developer. Kopitiam enables a user to develop proofs side-by-side with Java pro- grams in Eclipse.

    Conceptualizing Media Generations: the Print-, Online- and Individualized Generations

    During the 1990s news publishers established an online presence and in the 2000s they developed cross-media news work. This has resulted in changing news accessing habits, with varied magnitude among generations. This article aims to construct theoretically sound news media generations, through statistical analysis of data from a nationally representative scientific omnibus survey conducted in 2010. Firstly the article presents a descriptive and explanatory analysis of how eight generational ...

    A Systematic Mapping Study of Tools for Distributed Software Development Teams

    Context: A wide variety of technologies have been developed to support Global Software Development (GSD). However, the information about the dozens of available solutions is quite diverse and scattered making it quite difficult to have an overview able to identify common trends and unveil research gaps.Objective: The objective of this research is to systematically identify and classify a comprehensive list of the technologies that have been developed and/or used for supporting GSD teams.Metho...
  • No data provider research data found
  • Latest Documents Timeline

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Document Types

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Funders in data provider publications

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Projects with most Publications

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

Share - Bookmark