Technical reports published in 2011

TR-2011-151

Linear Contextual Modal Type Theory

Authors: Anders Schack-Nielsen and Carsten Schürmann

TR-2011-148

Towards Scalable Simulation of Stochastic Bigraphs

Authors: Espen Højsgaard and Jean Krivine

TR-2011-147

Calculation in the Informatic Jungle

Author: Søren Debois

TR-2011-146

Mesh Mobs
Virtually augmented crowds

Authors: Tim Kindberg, Jakob Bardram, Sebastian Büttrich, Morten Esbensen, Steven Houben, Rilla Khaled, Thomas Pederson, Gian Perrone, Juan David Hincapié Ramos, and Aurélien Tabard

TR-2011-145

The BPL Tool: A Tool for Experimenting with Bigraphical Reactive Systems

Authors: Espen Højsgaard and Arne John Glenstrup

TR-2011-144

Variability for You

Authors: Øystein Haugen , Krzysztof Czarnecki , Jean-Marc Jezequel , Birger-Møller Pedersen , and Andrzej Wasowski

TR-2011-143

Modeling Test Cases for Voting
Authors: Dermot Cochran  and Joseph R. Kiniry

TR-2011-142

Spreadsheet technology
Author: Peter Sestoft

TR-2011-140

Vellykkede vekselvirkninger?
Om arbejdspraksis og it-støtte i beskæftigelsesindsatsen
Author: Magnus Nilsson

TR-2011-138

Core BPEL - Semantic Clarification of WS-BPEL 2.0 through Syntactic Simplification using XSL Transformations
Authors: Tim Hallwyl and Espen Højsgaard