• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer

Filter
Bidrag til rapport
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. (red.). Microsoft Research, s. 15-26

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til rapportForskningpeer review

2011

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til rapportForskning

19 Citationer (Scopus)
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, Bind LSV-08-34. 15 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til rapportForskning

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til rapportForskning

2004

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

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til rapportForskning