Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

Filter
Report chapter
2014

The Behavior of Probabilistic Systems: From Equivalences to Behavioral Distances

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2014, Essays for the Luca Cardelli Fest: Essays dedicated to Luca Cardelli, on the Occasion of His 60th Birthday. Abadi, M., Gardner, P., Gordon, A. D. & Mardare, R. (eds.). Microsoft Research, p. 15-26

Research output: Contribution to book/anthology/report/conference proceedingReport chapterResearchpeer-review

2011
19 Citations (Scopus)

ETLMR: A Highly Scalable Dimensional ETL Framework based on MapReduce

Xiufeng, L., Thomsen, C. & Pedersen, T. B., 1 Aug 2011, English. Tech Report TR-29: Department of Computer Science, Aalborg University, 25 p.

Research output: Contribution to book/anthology/report/conference proceedingReport chapterResearch

Mathematical transformations
Data warehouses
Processing
Resource allocation
Stars
2008

Playing Games with Timed Games

David, A., Larsen, K. G. & Chatain, T., 2008, Playing Games with Timed Games. Cachan, France: Laboratoire Spécification et Vérification, Vol. LSV-08-34. 15 p.

Research output: Contribution to book/anthology/report/conference proceedingReport chapterResearch

2006

Formal Methods for Abstract Specifications – A Comparison of Concepts

Instenberg, M., Schneider, A., Schnetter, S., Heinkel, U., Larsen, K. G. & Behrmann, G., 2006, Technical Report. IEEE Press, 6 p.

Research output: Contribution to book/anthology/report/conference proceedingReport chapterResearch

Formal methods
Specifications
Network protocols
Software design
Large scale systems
2004

Just-for-Us Information: the Design of a Context-Aware Information System

Paay, J. & Kjeldskov, J., 2004, HCI Lab Technical Report. 2 ed. Department of Computer Science, Aalborg University, p. 1-24 24 p.

Research output: Contribution to book/anthology/report/conference proceedingReport chapterResearch