Computer Science

2012

Programming language concepts

Sestoft, P., 2012, Springer. (Undergraduate topics in computer science).

Research output: Book / Anthology / Report / Ph.D. thesis › Book › Education › peer-review

Prototyping Socio-Technical Systems for Banking Services for Rural India.

Gonsalves, T. .. A., Dittrich, Y., Vaidyanathan, L. & Jhunjhunwala, A., 2012, Learning from Marginalized Users. Association for Computing Machinery

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

Refinement for Transition Systems with Responses

Carbone, M., Hildebrandt, T., Perrone, G. D. & Wasowski, A., 2012, Proceedings Fourth Workshop on Foundations of Interface Technologies: Electronic Proceedings in Theoretical Computer Science. EPTCS.. Vol. 87.

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

Restarting Automata with Auxiliary Symbols and Small Lookahead

Schluter, N. E., 2012, LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications LATA 2011. Springer, p. 499-510 (Lecture Notes in Computer Science, Vol. 6638).

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

ReticularSpaces: activity-based computing support for physically distributed and collaborative smart spaces

Bardram, J., Gueddana, S., Houben, S. & Nielsen, S., 2012, CHI 12. Proceedings of the 2012 ACM annual conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 2845-2854 10 p.

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

SeniorInteraktion – Innovation gennem dialog

Malmborg, L. (Editor), Sokoler, T. (Editor), Brandt, E. (Editor), Binder, T. (Editor) & Mortensen, P. F. (Editor), 2012, Copenhagen: Kunstakademiets Arkitektskoles Forlag. 150 p.

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

Social yoga mats: designing for exercising/socializing synergy

Nagargoje, A., Maybach, K. & Sokoler, T., 2012, TEI '12 Proceedings of the Sixth International Conference on Tangible, Embedded and Embodied Interaction. Association for Computing Machinery, 4 p.

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

Spreadsheet technology

Sestoft, P., 31 Jan 2012, Version 0.12 ed. IT-Universitetet i København. 302 p.

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

Structured Communication-Centered Programming for Web Services

Carbone, M., Honda, K. & Yoshida, N., 2012, In: A C M Transactions on Programming Languages and Systems. 34 (2), 8, 78 p.

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

File

Systematic, bottom-up robot design using a biomechanical experimental methodology

Larsen, J. C., Støy, K., Brandt, D., Grimmer, S. & Gross, M., 2012.

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

TalkingBadge demo

Hansen, J. P., Wusheng, W. & Shklovski, I., 2012, Proceedings of the 7th Nordic Conference on Human-Computer Interaction: Making Sense Through Design. Association for Computing Machinery, p. 771-772 2 p.

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

Tengi Interfaces for Tracing between Heterogeneous Components

Pfeiffer, R.-H. & Wasowski, A., 2012, In: Lecture Notes in Computer Science. 7680, p. 431-447 16 p.

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

TexMo: A Multi-language Development Environment

Pfeiffer, R.-H. & Wasowski, A., 2012, In: Lecture Notes in Computer Science. 7349, p. 178-193

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

The design and architecture of reticularspaces: an activity-based computing framework for distributed and collaborative smartspaces

Bardram, J., Houben, S., Nielsen, S. & Gueddana, S., 2012, EICS '12. : Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems . Association for Computing Machinery, p. 269-274 6 p.

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

The eLabBench in the wild: supporting exploration in a molecular biology lab

Tabard, A., Hincapié Ramos, J. D. & Bardram, J., 2012, CHI '12 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 3051-3060 10 p.

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

The Liner Shipping Fleet Repositioning Problem with Cargo Flows

Tierney, K. & Jensen, R. M., 2012, Computational Logistics. Springer, Vol. 7555. p. 1-16 (Lecture Notes in Computer Science).

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

The MONARCA self-assessment system: a persuasive personal monitoring system for bipolar patients

Bardram, J. E., Frost, M., Szánto, K. & Marcu, G., 28 Jan 2012, IHI '12 Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium. Association for Computing Machinery, p. 21-30 10 p. (ACM SIGHIT International Health Informatics Symposium).

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

The Necessary Death of the Block Device Interface

Bjørling, M., Bonnet, P., Bouganim, L. & Dayan, N., 2012, IT-Universitetet i København. 8 p. (ITU Technical Report Series; No. TR-2012-159).

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

File

The Success Factors Powering Industry-Academia Collaboration

Wohlin, C., Aurum, A., Angelis, L., Phillips, L., Dittrich, Y., Gorschek, T., Grahn, H., Henningsson, K., Kågström, S., Low, G., Rovegård, P., Tomaszewski, P., Toorn, van, C. & Winter, J., 2012, In: I E E E Software. 29, 2, p. 67-73 7 p.

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

The traveling salesman problem in bounded degree graphs

Björklund, A., Husfeldt, T., Kaski, P. & Koivisto, M., 2012, In: A C M Transactions on Algorithms. 8, 2

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

Towards a catalog of variability evolution patterns: the Linux kernel case

Passos, L., Czarnecki, K. & Wasowski, A., 2012, FOSD '12 Proceedings of the 4th International Workshop on Feature-Oriented Software Development. Association for Computing Machinery, p. 62-69

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

Towards a Perpetual Sensor Network Testbed without Backchannel

Johansen, A., Bonnet, P. & Sørensen, T., 2012, MASS '11 Proceedings of the 2011 IEEE Eighth International Conference on Mobile Ad-Hoc and Sensor Systems . IEEE Computer Society Press, p. 626-633

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

Towards Process Support for Migrating Applications to Cloud Computing

Chauhan, M. A. & Babar, M. A., 2012, 2012 International Conference on Cloud and Service Computing (CSC). Proceedings. IEEE Computer Society Press, p. 80-87 8 p. (IEEE Cloud and Service Computing Conference).

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

File

Trace Matching in a Concurrent Logical Framework

Cervesato, I., Pfenning, F., Sacchini, J., Schürmann, C. & Simmons, R., 2012, LFMTP '12 Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice . Association for Computing Machinery, p. 1 12 p. (Proceedings of the 26th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'12)).

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

Troubleshooting during Installing Ubuntu Enterprise Cloud Supplement (3) to “Guidelines for Building a Private Cloud Infrastructure"

Panatic, Z. & Ali Babar, M., 2012, 11 p. (ITU Technical Report Series; No. TR-2012-156).

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

File

Trusted Cells: A Sea Change for Personal Data Services

Anciaux, N., Bouganim, L., Nquyen, B., Popa, I. S., Pucheral, P. & Bonnet, P., 2012, IT-Universitetet i København. 8 p. (ITU Technical Report Series; No. TR 2012-158).

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

File

Truthful Monadic Abstractions

Brock-Nannestad, T. & Schürmann, C., 2012, IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning. Springer, Vol. 7364. p. 97-110 (Lecture Notes in Computer Science, Vol. 7364).

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

Unboxing tools for physical rehabiltation

Bagalkot, N. L. & Sokoler, T., 2012, Proceedings of the 7th Nordic conference on human-computer interaction. Association for Computing Machinery, p. 597-606

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

Usage scenarios for feature model synthesis

She, S., Czarnecki, K. & Wasowski, A., 2012, VARY '12 Proceedings of the VARiability for You Workshop: Variability Modeling Made Useful for Everyone. Association for Computing Machinery, p. 15-20 6 p.

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

WebSelF: A Web Scraping Framework

Thomsen, J., Ernst, E., Brabrand, C. & Schwartzbach, M., 2012, ICWE'12 Proceedings of the 12th international conference on Web Engineering . Springer, Vol. 7387. p. 347-361 15 p.

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

2013

1st Workshop on Human Factors and Activity Recognition in Healthcare, Wellness and Assisted Living (Recognise2Interact)

Casale, P., Houben, S. & Amft, O., 8 Sept 2013, UbiComp'13 ACM International Joint Conference on Pervasive and Ubiquitous Computing . Association for Computing Machinery

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

Abstract Probabilistic Automata

Delahaye, B., Katoen, J.-P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F. & Wasowski, A., Nov 2013, In: Information and Computation. 232, p. 66-116 50 p.

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

A case study of object and occlusion management on the eLabBench, a mixed physical/digital tabletop

Tabard, A., Gurn, S., Butz, A. & Bardram, J., 2013, ITS '13 Proceedings of the 2013 ACM international conference on Interactive tabletops and surfaces. Association for Computing Machinery, p. 251-254 4 p. (ACM International Conference on Interactive Tabletops and Surfaces).

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

A Compiler for CPPNs: Transforming Phenotypic Descriptions Into Genotypic Representations

Risi, S., 2013, 2013 AAAI Fall Symposium Series - How Should Intelligence be Abstracted in AI Research.. 7 p.

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

File

Activity-Centric Support for Ad Hoc Knowledge Work – A Case Study of co-Activity Manager

Houben, S., Bardram, J. E., Vermeulen, J., Luyten, K. & Coninx, K., 27 May 2013, CHI '13 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 2263-2272 10 p.

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

ActivityDesk: multi-device configuration work using an interactive desk

Houben, S. & Bardram, J. E., 27 May 2013, CHI EA '13 CHI '13 Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 721-726 6 p.

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

A distributed and morphology-independent strategy for adaptive locomotion in self-reconfigurable modular robots

Christensen, D. J., Schultz, U. P. & Støy, K., 2013, In: Robotics and Autonomous Systems. 61, 9, p. 1021-1035 15 p.

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

A Field Study of Structures, Affordances, and Coordination Mechanisms of a Cross-Organizational Extended Team in Global Software Development

Zahedi, M. & Ali Babar, M., Jan 2013, IT-Universitetet i København. 50 p. (I T University. Technical Report Series; No. 164).

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

Analysing Vote Counting Algorithms Via Logic

Schürmann, C., Beckert, B. & Gore, R., 2013, Proceedings of the fourth Conference on E-Voting and Identity (VOTEID'13). Springer, (Lecture Notes in Computer Science, Vol. 7985).

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

Analysing Vote Counting Algorithms Via Logic - And its Application to the CADE Election Scheme

Schürmann, C., Beckert, B. & Gore, R., 2013, Automated Deduction – CADE-24: Proceedings of the 16th International Conference on Automated Deduction (CADE-24). Springer, p. 135-144 (Lecture Notes in Computer Science, Vol. 7898).

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

A Node Flow Model for the Inflexible Visitation Liner Shipping Fleet Repositioning Problem with Cargo Flows

Tierney, K. & Jensen, R. M., 2013, In: Lecture Notes in Computer Science. 8197, p. 18-34 17 p.

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

A Pattern Language for the Evolution of Component-based Software Architectures

Ahmad, A., Jamshidi, P., Pahl, C. & Khaliq, F., 2013, In: E A S S T Electronic Communications. 59, 16 p.

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

A Placement Heuristic for a Commercial Decision Support System for Container Vessel Stowage

Delgado-Ortegon, A., Jensen, R. M. & Guilbert, N., 4 Feb 2013, Informatica (CLEI), 2012 XXXVIII Conferencia Latinoamericana En. IEEE Computer Society Press, p. 1-9 9 p.

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

A Preliminary User Evaluation of an Infrastructure to Support Activity-Based Computing in Global Software Development (ABC4GSD)

Tell, P., Ali Babar, M. & Grundy, J., Aug 2013, International Conference on Global Software Engineering (ICGSE). IEEE Computer Society Press, p. 100-109

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

A Study of Variability Models and Languages in the Systems Software Domain

Berger, T., She, S., Lotufo, R., Wasowski, A. & Czarnecki, K., Dec 2013, In: I E E E Transactions on Software Engineering. 39, 12, p. 1611-1640 29 p.

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

A Survey of Variability Modeling in Industrial Practice

Berger, T., Rublack, R., Nair, D., Atlee, J. M., Becker, M., Czarnecki, K. & Wasowski, A., 23 Jan 2013, VaMoS '13 Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems. Association for Computing Machinery

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

Computer Science

Research output

Search results