ITU / Research / Technical Reports / Technical Reports Archive / 2011

Technical Reports - 2011

Linear Contextual Modal Type Theory

TR-2011-151, Authors: Anders Schack-Nielsen and Carsten Schürmann

The lambda sigma-Calculus and Strong Normalization

TR-2011-150, Anders Schack-Nielsen and Carsten Schürmann

Towards Scalable Simulation of Stochastic Bigraphs

TR-2011-148, Authors: Espen Højsgaard and Jean Krivine

Calculation in the Informatic Jungle

TR-2011-147, Author: Søren Debois

Mesh Mobs - Virtually augmented crowds

TR-2011-146, 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

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

TR-2011-145, Authors: Espen Højsgaard and Arne John Glenstrup

Variability for You

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

Modeling Test Cases for Voting

TR-2011-143, Authors: Dermot Cochran and Joseph R. Kiniry

Spreadsheet technology

TR-2011-142, Author: Peter Sestoft

Vellykkede vekselvirkninger? - Om arbejdspraksis og it-støtte i beskæftigelsesindsatsen

TR-2011-140, Author: Magnus Nilsson

Core BPEL - Semantic Clarification of WS-BPEL 2.0 through Syntactic Simplification using XSL Transformations

TR-2011-138, Authors: Tim Hallwyl and Espen Højsgaard