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
349 Publications
More information
Detailed data provider information (OpenDOAR)


  • 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 ...

    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...

    Modeling and Generating Strategy Games Mechanics

    Strategy games are a popular genre of games with a long history, originatingfrom games like Chess or Go. The first strategy games were published as“Kriegspiele” (engl. wargames) in the late 18th century, intended for the education of young cadets. Since then strategy games were refined and transformed over two centuries into a medium of entertainment. Today’s computer strategy games have their roots in the board- and roleplaying games of the 20th century and enjoy great popularity. We use str...

    Fast Output-sensitive Matrix Multiplication

    We consider the problem of multiplying two $U \times U$ matrices $A$ and $C$ of elements from a field $\F$. We present a new randomized algorithm that can use the known fast square matrix multiplication algorithms to perform fewer arithmetic operations than the current state of the art for output matrices that are sparse. In particular, let $\omega$ be the best known constant such that two dense $U \times U$ matrices can be multiplied with $\mathcal{O} \left( U^\omega \right)$ arithmetic oper...
  • 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