Computer Science

2015

Software Tools and Practices

Dittrich, Y., 2015, Human-Centric Development of Software Tools: Dagstuhl Seminar 15222. Schloss Dagstuhl--Leibniz-Zentrum für Informatik, Vol. 5. p. 123-124 3 p. (Dagstuhl Seminar Proceedings).

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

Open Access

File

Solving the Liner Shipping Fleet Repositioning Problem with Cargo Flows

Tierney, K., Áskelsdóttir, B., Jensen, R. M. & Pisinger, D., 2015, In: Transportation Science. 49, 3, p. 652-674

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

Systematic mapping study of information communication technology research for agriculture (in case of developing Countries)

Zewge, A. & Dittrich, Y., 2015, 21 p. (ITU Technical Report Series; No. TR-2015-190).

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

File

The Analysis of a Real Life Declarative Process

Debois, S. & Slaats, T., 2015, Proceedings of the 2015 Symposium on Computational Intelligence and Data Mining (CIDM). IEEE: IEEE Computer Society Press, p. 1374 - 1382

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

The Cargo Composition Problem

Delgado-Ortegon, A., Pacino, D. & Jensen, R. M., 2015. 1 p.

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

The dBoard: a Digital Scrum Board for Distributed Software Development

Esbensen, M., Tell, P., Cholewa, J. B., Pedersen, M. K. & Bardram, J., 2015, The ACM International Conference on Interactive Tabletops and Surfaces (ITS’15). Association for Computing Machinery, p. 161-170 10 p.

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

The Input/Output Complexity of Sparse Matrix Multiplication

Stöckel, M. & Pagh, R., 2015, Algorithms - ESA 2014: 22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014. Proceedings. Springer, Vol. 8737. p. 750-761 (Lecture Notes in Computer Science).

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

Open Access

File

The Parity of Set Systems under Random Restrictions with Applications to Exponential Time Problems

Björklund, A., Dell, H. & Husfeldt, T., 2015, Proceedings of the 42nd International Colloquium on Automata, Languages, and Programming, ICALP 2015, (6-10 July 2015, Kyoto, Japan). Springer, p. 231-242 12 p. (Lecture Notes in Computer Science, Vol. 9134).

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

Open Access

File

Toward Real-time Multi-criteria Decision Making for Bus Service Reliability Optimisation

Tran, V. T., Eklund, P. & Cook, C., 2015, Foundations of Intelligent Systems: 22nd International Symposium, ISMIS 2015, Lyon, France, October 21-23, 2015, Proceedings. LNCS ed. Heidelberg, Germany: Springer, Vol. 9384. p. 371-378 8 p. (Lecture Notes in Computer Science, Vol. 9384).

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

Open Access

File

Triangle Counting in Dynamic Graph Streams

Bulteau, L., Froese, V., Pagh, R. & Kutzkov, K., 23 Jul 2015, In: Algorithmica.

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

Open Access

File

TwitterIDo: What if My Shopping Bag Could Tell My Friends I’m Out Shopping

Nazzi, E. & Sokoler, T., 21 Jul 2015, ITAP: International Conference on Human Aspects of IT for the Aged Population: Human Aspects of IT for the Aged Population. Design for Everyday Life. Springer Publishing Company, p. 512-523 (Lecture Notes in Computer Science, Vol. 9194).

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

Type Families with Class, Type Classes with Family

Serrano, A., Hage, J. & Bahr, P., 1 Sept 2015, Proceedings of the 8th ACM SIGPLAN Symposium on Haskell. New York, NY, USA: Association for Computing Machinery, p. 129-140 12 p.

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

Valhemligheten bör inte vara valfri

Husfeldt, T., 25 May 2015, In: Dagens Samhälle.

Research output: Journal Article or Conference Article in Journal › Contribution to newspaper - Newspaper article

Variability Abstractions: Trading Precision for Speed in Family-Based Analyses

Dimovski, A., Brabrand, C. & Wasowski, A., 2015, 29th European Conference on Object-Oriented Programming (ECOOP’15): Leibniz International Proceedings in Informatics. Boyland, J. T. (ed.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 247-270 23 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

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

Open Access

File

Voice analysis using smartphones as an electronic biomarker of illness activity in bipolar disorder--the Monarca studies

Faurholt-Jepsen, M., Vinberg, M., Frost, M., Vinther, O., Christensen, E., Bardram, J. & Kessing, L. V., 1 Jun 2015. 1 p.

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

Open Access

Vote Counting as Mathematical Proof

Schürmann, C. & Pattinson, D., 1 Dec 2015, Proceedings of 28th Australasian Joint Conference on Artificial Intelligence. Pfahringer, B. & Renz, J. (eds.). 2015 ed. Canberra: Springer, Vol. LNAI 9457. p. 464-475 11 p.

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

Web-Based Modelling and Collaborative Simulation of Declarative Processes.

Slaats, T., Marquard, M. & Shahzad, M., 31 Aug 2015, Lecture Notes in Computer Science: Proceedings of 13th International Conference on Business Process Management (BPM 2015). Springer, Vol. 9253. p. 209-225 (Lecture Notes in Computer Science).

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

Open Access

File

Why Greatness Cannot be Planned: The Myth of the Objective

Stanley, K. O. & Lehman, J. A., 2015, Springer.

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

2014

40 Variability Bugs in the Linux Kernel: A Qualitative Study

Abal Rivas, I., Brabrand, C. & Wasowski, A., May 2014, 20 p. (ITU Technical Report Series; No. TR-2014-180).

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

File

42 Variability Bugs in the Linux Kernel: A Qualitative Study

Abal, I., Brabrand, C. & Wasowski, A., 2014, ASE '14 Proceedings of the 29th ACM/IEEE international conference on Automated software engineering . Association for Computing Machinery, p. 421-432 12 p.

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

A Case for Declarative Process Modelling: Agile Development of a Grant Application System

Debois, S., Hildebrandt, T., Slaats, T. & Marquard, M., 2014, Enterprise Distributed Object Computing Conference Workshops and Demonstrations (EDOCW), 2014 IEEE 18th International. IEEE Computer Society Press, p. 126-133 8 p.

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

A Core Language for Separate Variability Modeling

Iosif-Lazăr, A. F., Wasowski, A. & Schaefer, I., 2014, In: Lecture Notes in Computer Science. 8802, p. 257-272

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

ActivitySpace: Managing Device Ecologies in an Activity-Centric Configuration Space

Houben, S., Tell, P. & Bardram, J. E., 2014, ITS '13 The ACM International Conference on Interactive Tabletops and Surfacess and Surfaces (ITS’14). Association for Computing Machinery

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

Adapting Morphology to Multiple Tasks in Evolved Virtual Creatures

Lessin, D., Fussell, D. & Miikkulainen, R., 2014, Proceedings of The Fourteenth International Conference on the Synthesis and Simulation of Living Systems (ALIFE 14) 2014. MIT Press, p. 247-254

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

A Distributed Architecture for Sharing Ecological Data Sets with Access and Usage Control Guarantees

Bonnet, P., Gonzalez, J. & Granados, J. A., 15 Jul 2014, Proceedings of the 7th International Congress on Environmental Modelling and Software. Ames, D. P., Quinn, N. W. T. & Rizzoli, A. E. (eds.). 7 p.

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

File

A modal specification theory for components with data

S. Bauer, S., Larsen, K. G., Legay, A., Nyman, U. M. & Wasowski, A., 2014, In: Science of Computer Programming. 83, p. 106-128

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

Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091)

Borba, P. (Editor), B. Cohen, M. (Editor), Legay, A. (Editor) & Wasowski, A. (Editor), 2014, Multivariate network visualization : Dagstuhl Seminar #13201. Vol. 3. p. 144-147 (Lecture Notes in Computer Science, Vol. 8380).

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

An Anarchy of Methods: Current Trends in How Intelligence Is Abstracted in AI

Lehman, J., Clune, J. & Risi, S., 2014, In: I E E E Intelligent Systems. 29, 6, p. 56-62

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

A Practical Hardware-Assisted Approach to Customize Trusted Boot for Mobile Devices

Gonzalez, J., Hölzl, M., Riedl, P., Bonnet, P. & Mayrhofer, R., 2014, In: Lecture Notes in Computer Science. 8783, p. 542-554 13 p.

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

File

Architecture-driven Migration of Legacy Systems to Cloud-enabled Software

Ahmad, A. & Babar, M. A., 2014, 1st Workshop on Software Architecture Erosion and Architectural Consistency (SAEroCon, co-located with WICSA 2014): Proceedings of the WICSA 2014. Association for Computing Machinery, 7 p.

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

A Reference Architecture for Providing Tools as a Service to Support Global Software Development

Chauhan, A., Apr 2014, Proceedings of the WICSA 2014 Companion. Association for Computing Machinery, 16

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

Ars Bioarctica – viisi vuotta taiteen ja tieteen yhteistyötä Suomen Biotaiteen Seuran ja Kilpisjärven biologisen aseman välillä

Translated title of the contribution: Ars Bioarctica - Five years of art&science work by the Finnish Society of Bioart and the Kilpisjärvi Biological StationBeloff, L. & Berger, E., Sept 2014, Tieteen ja taiteen tunturit. Helsinki: Gaudeamus

Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Communication

A Systematic Mapping Study of Software Architectures for Cloud Based Systems

Chauhan, M. A. & Babar, M. A., Mar 2014, 57 p. (ITU Technical Report Series).

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

File

A type theory for productive coprogramming via guarded recursion

Møgelberg, R. E., 2014, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): CSL-LICS '14. Association for Computing Machinery, 10 p. 71. (Annual Symposium on Logic in Computer Science).

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

Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I

Esparza, J., Fraigniaud, P. (Editor), Husfeldt, T. (Editor) & Koutsoupias, E. (Editor), 2014, Springer Science+Business Media. 1086 p. (Lecture Notes in Computer Science).

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

Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

Esparza, J. (Editor), Fraigniaud, P., Husfeldt, T. & Koutsoupias, E., 2014, Springer Science+Business Media. 619 p. (Lecture Notes in Computer Science).

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

Automatically Categorizing Procedurally Generated Content for Collecting Games

Risi, S., Lehman, J., D’Ambrosio, D. B. & Stanley, K. O., 2014, FDG 2014 Workshop Proceedings: Proceedings of Workshops Colocated with the 9th International Conference on the Foundations of Digital Games. New York, NY: Association for Computing Machinery, (Proceedings of the Workshop on Procedural Content Generation in Games (PCG) at the 9th International Conference on the Foundations of Digital Games (FDG-2014). ACM, New York, NY, USA).

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

Autonomic Resource Provisioning for Cloud-Based Software

Jamshidi, P., Ahmad, A. & Pahl, C., 2014, Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems: SEAMS 2014. Association for Computing Machinery, p. 95-104 10 p.

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

Beat the Cheater: Computing Game-Theoretic Strategies for When to Kick a Gambler out of a Casino

Sørensen, T. B., Dalis, M., Korzhyk, D., Conitzer, V. & Letchford, J., Aug 2014, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence. AAAI Press, Vol. 1. p. 798-804 7 p.

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

BUSICO 3D: building simulation and control in unity 3D

Fürst, J., Fierro, G., Bonnet, P. & Culler, D. E., 2014, Proceedings of the 12th ACM Conference on Embedded Network Sensor Systems, SenSys '14, Memphis, Tennessee, USA, November 3-6, 2014. Association for Computing Machinery, p. 326-327 2 p.

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

Cache-oblivious Hashing

Pagh, R., Wei, Z., Yi, K. & Zhang, Q., Aug 2014, In: Algorithmica. 69, 4

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

Choreographic Programming

Montesi, F., 2014, IT-Universitetet i København. 275 p. (ITU-DS; No. 104).

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

Open Access

File

Choreographies, Logically

Carbone, M., Montesi, F. & Schürmann, C., 2014, In: Lecture Notes in Computer Science. 8704, p. 47-62 15 p.

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

Civile Droner i Danmark: Kortlægning og teknologivurdering

Translated title of the contribution: Drones in DenmarkLygum, A., Nielsen, J. S., Bådum, N. B., la Cour-Harbo, A., Hansen, J. P., Pedersen, K. S., Larsen, L. M., Almdal, T. M. & Ploug, T., 2 Jul 2014, Teknologi Rådet. 101 p.

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

Classification and Comparison of Architecture Evolution Reuse Knowledge - A Systematic Review

Ahmad, A., Jamshidi, P. & Pahl, C., 2014, In: Journal of Software: Evolution and Process. 26, 7, p. 654-691 38 p.

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

Column Generation for the Liner Shipping Fleet Repositioning Problem

Tierney, K., Pisinger, D. & Jensen, R. M., 2014.

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

Composing and Decomposing Data Types: A Closed Type Families Implementation of Data Types à La Carte

Bahr, P., 1 Aug 2014, Proceedings of the 10th ACM SIGPLAN Workshop on Generic Programming. New York, NY, USA: Association for Computing Machinery, p. 71-82 12 p.

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

Concordance: Design Ideal for Facilitating Situated Negotiations in Out-of-clinic Healthcare

Bagalkot, N. L., Gronvall, E. & Sokoler, T., 2014, The ACM SIGCHI Conference on Human Factors in Computing Systems: Extended Abstracts of CHI2014. Association for Computing Machinery, 10 p.

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

Concurrency Models with Causality and Events as Psi-calculi

Hildebrandt, T., Prisacariu, C. & Norman, H., 2014, Proceedings 7th Interaction and Concurrency Experience. Lanese, I., Lluch-Lafuente, A., Sokolova, A. & Vieira, H. T. (eds.). Vol. 166. p. 4-20 17 p. (Electronic Proceedings in Theoretical Computer Science. EPTCS, Vol. 166).

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

Consistent subset sampling

Kutzkov, K. & Pagh, R., 2014, In: Lecture Notes in Computer Science. 8503, p. 294-305

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

Computer Science

Research output

Search results