Computer Science

2013

Making a Home for Social Media

Heyer, C., Shklovski, I. & Gorm Jensen, N., 8 Sept 2013, UbiComp '13 Proceedings of the 2013 ACM international joint conference on Pervasive and ubiquitous computing. Association for Computing Machinery, 4 p.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Making cake, swearing, and the indefinite meaning of media

Cermak-Sassenrath, D., Martin, M., Gavin, J. & Walker, C., 2013, Proceedings of The 9th Australasian Conference on Interactive Entertainment (IE 2013): Matters of Life and Death. New York: Association for Computing Machinery, 36

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Maximizing Entropy over Markov Processes

Biondi, F., Wasowski, A., Legay, A. & Nielsen, B. F., 2013, In: Lecture Notes in Computer Science. 7810, p. 128-140

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Media filter access

Cermak-Sassenrath, D., Watkins, C. & Kenobi, B., 2013, Proceedings of The 9th Australasian Conference on Interactive Entertainment (IE 2013): Matters of Life and Death. New York: Association for Computing Machinery, 35

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Mental health and the impact of ubiquitous technologies

Arnrich, B., Osmani, V. & Bardram, J., 1 Feb 2013, In: Personal and Ubiquitous Computing. 17, 2, p. 211-213 3 p.

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Microbenchmarks in Java and C#

Sestoft, P., 2013

Research output: Other contribution › Net publication - Internet publication › Education

Mixing Paradigms for More Comprehensible Models

Westergaard, M. & Slaats, T., 2013, Business Process Management. Springer, Vol. 8094. p. 283-290 8 p.

Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

Open Access

File

Modular Context-Sensitive and Aspect-Oriented Processes with Dynamic Condition Response Graphs

Hildebrandt, T., Mukkamala, R. R. & Zanitti, F., 2013, FOAL '13 Proceedings of the 12th workshop on Foundations of aspect-oriented languages . Association for Computing Machinery, 6 p.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

MONARCA: A Personal Monitoring System for Bipolar Patients

Frost, M. & Bardram, J., 2013.

Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research › peer-review

Multi-language Development Enviroments: Design Space, Models, Prototypes, Experiences

Pfeiffer, R.-H., 2013, IT-Universitetet i København. 247 p. (ITU-DS; No. 95).

Research output: Book / Anthology / Report / Ph.D. thesis › Ph.D. thesis

Open Access

File

MyReDiary: exploring the design for supporting adherence to physical rehabilitation

Boutrup, J., Odelhei, K., Bagalkot, N. L. & Sokoler, T., 2013, PervasiveHealth '13 Proceedings of the 7th International Conference on Pervasive Computing Technologies for Healthcare. IEEE, 4 p.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Names For Free: Polymorphic Views of Names and Binders

Pouillard, N. & Bernardy, J.-P., 23 Sept 2013, Haskell '13 Proceedings of the 2013 ACM SIGPLAN symposium on Haskell . Association for Computing Machinery, p. 13-24 12 p.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

NooSphere: An Activity-Centric Infrastructure for Distributed Interaction

Houben, S., Nielsen, S., Esbensen, M. & Bardram, J. E., 2 Dec 2013, MUM '13 Proceedings of 12th International Conference on Mobile and Ubiquitous Multimedia. Association for Computing Machinery

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Online partial evaluation of sheet-defined functions

Sestoft, P., 2013, In: Electronic Proceedings in Theoretical Computer Science. 129, p. 136-160

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

On Parallelizing Matrix Multiplication by the Column-Row Method

Campagna, A., Kutzkov, K. & Pagh, R., 2013, In: Siam Society. Journal.

Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

On the streaming complexity of computing local clustering coefficients

Kutzkov, K. & Pagh, R., 2013, WSDM '13 Proceedings of the sixth ACM international conference on Web search and data mining. Association for Computing Machinery, p. 677-686 9 p.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open-Ended Behavioral Complexity for Evolved Virtual Creatures

Lessin, D., Fussell, D. & Miikkulainen, R., 2013, Proceedings of the Genetic and Evolutionary Computation Conference (GECCO) 2013: GECCO '13. Association for Computing Machinery, p. 335-342

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Overcoming interaction blindness through curiosity objects

Houben, S. & Weichel, C., 27 May 2013, CHI EA '13 CHI '13 Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 1539-1544

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Partial Instances via Subclassing

Bak, K., Diskin, Z., Antkiewicz, M., Czarnecki, K. & Wasowski, A., 2013, Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings. Springer VS, Vol. 8225. p. 344-364 20 p. (Lecture Notes in Computer Science, Vol. 8225).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

PC Mini-Grids for Prediction of Viral RNA Structure and Evolution Final Report

Bardram, J. E., 2013, IT-Universitetet i København. (ITU Technical Report Series; No. TR-2013-166).

Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

File

Personal health systems for bipolar disorder: anecdotes, challenges and lessons learnt from MONARCA project

Mayora, O., Arnrich, B., Bardram, J., Dräger, C., Finke, A., Frost, M., Giordano, S., Gravenhorst, F., Grunerbl, A., Haring, C., Haux, R., Lukowicz, P., Muaremi, A., Mudda, S., Ohler, S., Puiatti, A., Reichwaldt, N., Scharnweber, C., Troester, G. & Kessing, L. V. & 1 others, Wurzer, G., 2013, Pervasive Computing Technologies for Healthcare 7. IEEE Press, p. 424-429 6 p.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Petri Nets in Bigraphs Revisited

Wang, W., Perrone, G. D. & Hildebrandt, T., 2013.

Research output: Contribution to conference - NOT published in proceeding or journal › Conference abstract for conference › Research › peer-review

Practical Perfect Hashing Algorithm in Nearly Optimal Space

Botelho, F., Pagh, R. & Ziviani, N., Mar 2013, In: Information Systems Journal. 38, 1

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Process-aware Web Programming with Jolie

Montesi, F., 2013, SAC '13 Proceedings of the 28th Annual ACM Symposium on Applied Computing . Association for Computing Machinery, p. 761-763 (ACM Symposium on Applied Computing,).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Programming macro tree transducers

Bahr, P. & Day, L. E., 1 Sept 2013, Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming. New York, NY, USA: Association for Computing Machinery, p. 61-72 12 p.

Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

QUAIL: A Quantitative Security Analyzer for Imperative Code

Biondi, F., Wasowski, A., Traonouez, L.-M. & Legay, A., Jul 2013, Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings.. p. 702-707 6 p. (Lecture Notes in Computer Science, Vol. 8044).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Quantifying Information Leakage of Randomized Protocols

Biondi, F., Wasowski, A., Legay, A. & Malacaria, P., 20 Jan 2013, In: Lecture Notes in Computer Science. 7737, p. 68-87 20 p.

Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

Open Access

File

Real-time specifications

David, A., Larsen, K. G., Legay, A., Nyman, U. M., Traonouez, L.-M. & Wasowski, A., Aug 2013, In: International Journal on Software Tools for Technology Transfer. p. 1-29 29 p.

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Revisiting the Global Software Engineering Terminology

Tell, P., Giuffrida, R. & Shah, H., Dec 2013, 12 p. (ITU Technical Report Series; No. TR-2013-168).

Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

File

Ribosomal robots: Evolved designs inspired by protein folding

Risi, S., Cellucci, D. & Lipson, H., 2013, Proceeding of the fifteenth annual conference on Genetic and evolutionary computation conference: GECCO '13. Association for Computing Machinery, p. 263-270 8 p.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Sessions and Separability in Security Protocols

Carbone, M. & Guttman, J., 2013, Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, . Springer Publishing Company, Vol. 7796. p. 267-286 20 p.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Shadow Showdown

Gavin, J., Martin, M. & Cermak-Sassenrath, D., 2013, Proceedings of the 9th ACM Conference on Creativity & Cognition 2013. New York: Association for Computing Machinery, p. 376-377

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Shadow Showdown: Twister in a digital space

Martin, M., Gavin, J., Cermak-Sassenrath, D., Walker, C. & Kenobi, B., 2013, IE 13. Proceedings of The 9th Australasian Conference on Interactive Entertainment . New York: Association for Computing Machinery, 34

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Sheet-defined functions: implementation and initial evaluation

Sestoft, P., 2013, International Symposium on End-User Development, Copenhagen, Denmark, June 2013. Springer VS, p. 88-103 (Lecture Notes in Computer Science, Vol. 7897).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Single-unit pattern generators for quadruped locomotion

Morse, G., Risi, S., Snyder, C. R. & Stanley, K. O., 6 Jul 2013, Proceedings of the 15th annual conference on Genetic and evolutionary computation : GECCO '13. Association for Computing Machinery, p. 719-726 8 p.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

SPL^LIFT: Statically Analyzing Software Product Lines in Minutes instead of Years

Bodden, E., Tolêdo, T., Ribeiro, M., Brabrand, C., Borba, P. & Mezini, M., Jun 2013, In: A C M / S I G P L A N Notices. 48, 6, p. 355-364 10 p.

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Stowing the Right Containers on Container Vessels

Jensen, R. M., 2013. 1 p.

Research output: Contribution to conference - NOT published in proceeding or journal › Conference abstract for conference › Research › peer-review

Supporting disease insight through data analysis: refinements of the monarca self-assessment system

Frost, M., Doryab, A., Faurholt-Jepsen, M., Kessing, L. V. & Bardram, J., 2013, UbiComp '13 Proceedings of the 2013 ACM international joint conference on Pervasive and ubiquitous computing . Association for Computing Machinery, p. 133-142 10 p. (UbiComp).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

File

Towards an Open Framework Leveraging a Trusted Execution Environment

Gonzalez, J. & Bonnet, P., 22 Nov 2013, Cyberspace Certainty and Security. Springer Science+Business Media, Vol. 8300. p. 458-467 10 p. (Lecture Notes in Computer Science, Vol. 8300).

Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

Computer Science

Research output

Search results