Computer Science

2014

The Use of Open Source Technology in Elections

Schürmann, C., Clouser, M., Krimmer, R., Nore, H. & Wolf, P., 2014, International IDEA. 54 s.

Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Bog › Undervisning

Three Cases of Feature-Based Variability Modeling in Industry

Berger, T., Nair, D., Rublack, R., Atlee, J. M., Czarnecki, K. & Wasowski, A., 2014, I: Lecture Notes in Computer Science. 8767, s. 302-319

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Towards an Understanding of Enabling Process Knowing in Global Software Development: A Case Study

Zahedi, M. & Babar, M. A., 2014, Proceedings of the 2014 International Conference on Software and System Process: ICSSP 2014. New York, NY: Association for Computing Machinery, s. 30-39 10 s.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Towards a Pattern Language for Self-adaptation of Cloud-based Architectures

Ahmad, A. & Babar, M. A., 2014, Proceedings of the WICSA 2014: Workshop on Dependable and Secure Cloud Computing Architecture (DaSCCA, co-located with WICSA 2014). Association for Computing Machinery, Bind 1. 6 s.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Towards a Reference Architecture to Provision Tools as a Service for Global Software Development

Chauhan, A. & Babar, M. A., apr. 2014, Software Architecture (WICSA), 2014 IEEE/IFIP Conference on. IEEE Computer Society Press, s. 167-170

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Towards a Set Theoretical Approach to Big Data Analytics

Mukkamala, R. R., Hussain, A. & Vatrapu, R., 27 jun. 2014, Big Data (BigData Congress), 2014 IEEE International Congress on. IEEE, s. 629-636

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Åben adgang

Fil

Towards a Set Theoretical Approach to Big Social Data Analytics: Concepts, Methods, Tools, and Empirical Findings

Vatrapu, R., Mukkamala, R. R. & Hussain, A., 27 sep. 2014. 2 s.

Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning › peer review

Åben adgang

Fil

Towards Certified Management of Financial Contracts

Bahr, P., Berthold, J. & Elsman, M., 1 okt. 2014, Proceedings of the 26th Nordic Workshop on Programming Theory, NWPT '14.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

Towards EvoBot: A liquid-handling robot able to automatize and optimize experiments based on real-time feedback

Faina, A., Nejatimoharrami, F. & Støy, K., 30 jul. 2014. 2 s.

Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Konferenceabstrakt til konference › Forskning

Åben adgang

Fil

Trading Control Intelligence for Physical Intelligence: Muscle Drives in Evolved Virtual Creatures

Lessin, D., Fussell, D. & Miikkulainen, R., 12 jul. 2014, Proceedings of the Genetic and Evolutionary Computation Conference (GECCO) 2014: GECCO '14. New York, NY: Association for Computing Machinery, s. 705-712

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Triangle counting in dynamic graph streams

Kutzkov, K. & Pagh, R., 2014, Algorithm Theory – SWAT 2014. Springer

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Trust in Internet Election: Observing the Norwegian Decryption and Counting Ceremony

Markussen, R., Ronquillo, L. & Schürmann, C., okt. 2014, 6th International Conference on Electronic Voting (EVOTE), TUT Press, October 2014. (jcg: 26/11/14). Krimmer, R. & Volkamer, M. (red.). s. 75-82 8 s.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Tsukurimashou: a Japanese-language font meta-family

Skala, M., 2014, I: TUGboat. 34, 3, s. 269-278 10 s.

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

Debois, S., Hildebrandt, T., Slaats, T. & Yoshida, N., 2014, I: Lecture Notes in Computer Science. 8461, s. 1-16 16 s.

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

Using Formal Concept Analysis to Create Pathways through Museum Collections

Wray, T. & Eklund, P., 2014, Proceedings of the 3rd International Workshop "What can FCA do for Artificial Intelligence"? (FCA4AI 2014). Rheinisch-Westfaelische Technische Hochschule Aachen, Germany, s. 9-16 8 s.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Variability mechanisms in software ecosystems

Berger, T., Pfeiffer, R.-H., Tartler, R., Dienst, S., Czarnecki, K., Wasowski, A. & She, S., 2014, I: Information and Software Technology. 56, 11, s. 1520-1535

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Verifying Voting Schemes

Schürmann, C., Beckert, B., Gore, R., Bormer, T. & Wang, J., apr. 2014, I: Journal of Information Security and Applications. 19, 2, s. 115-129

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Versatile Endpoint Storage Security with Trusted Integrity Modules

Gonzalez, J. & Bonnet, P., 2014, I: ITUs skriftserie.

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning

Fil

Wearable Laser Pointer Versus Head-mounted Display for Tele-guidance Applications?

Jalaliniya, S., Pederson, T. & Houben, S., sep. 2014, ISWC '14 Adjunct Proceedings of the 2014 ACM International Symposium on Wearable Computers. Association for Computing Machinery, 8 s.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Why have microsaccades become larger? Investigating eye deformations and detection algorithms.

Hansen, D. W., Nyström, M., Andersson, R. & Hooge, I., 3 dec. 2014, I: Vision Research.

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

2015

(WHAT FLIES GOT TO DO WITH THIS?) - Towards the era between the postnatural and the post-technological

Beloff, L., 2015.

Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Konferenceabstrakt til konference › Forskning › peer review

8th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE 2015)

Begel, A., Prikladnicki, R., Dittrich, Y., Souza, C. R. B. D., Sarma, A. & Athavale, S., maj 2015, 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2. IEEE Press, s. 969-970 2 s.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

A conceptual framework to study the role of communication through social software for coordination in globally-distributed software teams

Giuffrida, R. & Dittrich, Y., maj 2015, I: Information and Software Technology. 63, s. 11-30 20 s.

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang

Fil

Acquiring Efficient Locomotion in a Simulated Quadruped through Evolving Random and Predefined Neural Networks

Veenstra, F., Struck, A. & Krauledat, M., 26 okt. 2015, The Biennial International Conference on Artificial Evolution (EA-2015). Lyon, France, Bind 12. 8 s.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Åben adgang

Fil

Activity-based computing: computational management of activities reflecting human intention

Bardram, J. E., Jeuris, S. & Houben, S., 2015, I: AI Magazine. 36, 2, s. 63-72 10 s.

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang

Fil

Adapting participatory design to design information system with rural Ethiopian community

Zewge, A., Dittrich, Y. & Bekele, R., 1 sep. 2015, AFRICON, 2015. IEEE Press, s. 1-5 5 s.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

A Model for Industrial Real-Time Systems

Bin Waez, M. T., Wasowski, A., Dingel, J. & Rudie, K., 2015, Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings.. D'Souza, D., Lal, A. & Guldstrand Larsen, K. (red.). Springer, Bind 8931. s. 153-171 (Lecture Notes in Computer Science).

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Åben adgang

Fil

A model of guarded recursion with clock synchronisation

Bizjak, A. & Møgelberg, R. E., 2015, I: Electronic Notes in Theoretical Computer Science. 319, s. 83-101

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang

Fil

A Model of PCF in Guarded Type Theory

Paviotti, M., Møgelberg, R. E. & Birkedal, L., 2015, I: Electronic Notes in Theoretical Computer Science. 319, s. 333-349

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang

Fil

A Modular Architecture for Developing Robots for Industrial Applications

Faina, A., Orjales, F., Souto, D., Bellas, F. & Duro, R., maj 2015, Advances in Intelligent Robotics and Collaborative Automation . River Publishers, 26 s.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

An Egocentric Approach Towards Ubiquitous Multimodal Interaction

Pederson, T. & Jalaliniya, S., 7 sep. 2015, UbiComp/ISWC'15 Adjunct: Adjunct Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers. New York, NY, USA: Association for Computing Machinery, s. 927-932 6 s.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

An evolution friendly modular architecture to produce feasible robots

Faina, A., Bellas, F., Orjales, F., Souto, D. & Duro, R. J., 2015, I: Robotics and Autonomous Systems. 63, 1, s. 195 205 s.

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang

Fil

AppNVM: Software-Defined, Application_Driven SSD

Bjørling, M., Madsen, J., Gonzalez, J., Swanson, S. & Bonnet, P., 2 mar. 2015.

Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning › peer review

Åben adgang

Approximate Furthest Neighbor in High Dimensions

Pagh, R., Silvestri, F., Sivertsen, J. V. T. & Skala, M., 2015, Similarity Search and Applications: 8th International Conference, SISAP 2015, Glasgow, UK, October 12–14, 2015, Proceedings. Springer, s. 3-14 (Lecture Notes in Computer Science, Bind 9371).

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Åben adgang

Fil

Approximate Range Emptiness in Constant Time and Optimal Space

Goswami, M., Jørgensen, A. G., Larsen, K. G. & Pagh, R., 2015, Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics, s. 769-775

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Approximate Well-supported Nash Equilibria Below Two-thirds

Fearnley, J., Goldberg, P. W., Savani, R. & Sørensen, T. B., 2015, I: Algorithmica. 76, 2, s. 297-319 23 s.

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang

Approximator: Predicting Interruptibility in Software Development with Commodity Computers

Tell, P., Jalaliniya, S., Andersen, K. S. M., Christensen, M. D., Mellson, A. B. & Bardram, J., 16 jul. 2015, 10th International Conference on Global Software Engineering (ICGSE) 2015. IEEE Computer Society Press, s. 90-99 10 s.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

A Quantitative Analysis of Variability Warnings in Linux

Melo, J., Flesborg, E., Brabrand, C. & Wasowski, A., 10 dec. 2015, VaMoS '16 Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems. Association for Computing Machinery, s. 3-8

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

A Reference Architecture for a Cloud-Based Tools as a Service Workspace

Chauhan, A., Babar, M. A. & Sheng, Q. Z., 2015, Services Computing (SCC), 2015 IEEE International Conference on. IEEE Communications Society, s. 475-482 8 s.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Audio Twister

Cermak, D., Moreno Garcia, R. & Monastiridis, S., 2015

Publikation: Andet › Andet bidrag › Forskning

Augmenting Everyday Artefacts to Support Social Interaction Among Senior Peers

Nazzi, E. & Sokoler, T., 2015, Proceedings of the 8th ACM International Conference on PErvasive Technologies Related to Assistive Environments. New York, NY, USA: Association for Computing Machinery, s. 11:1-11:8 11

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

A Wrist-Worn Thermohaptic Device for Graceful Interruption

Bolton, F., Jalaliniya, S. & Pederson, T., 9 dec. 2015, I: Interaction Design & Architecture(s). 26, s. 39-54 16 s.

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang

Fil

BrainCrafter: An investigation into human-based neural network engineering

Piskur, J., Greve, P., Togelius, J. & Risi, S., 1 maj 2015, Evolutionary Computation (CEC), 2015 IEEE Congress on. IEEE, s. 2199-2206 8 s.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Bridging the Valley of Death: A Success Story on Danish Funding Schemes Paving a Path from Technology Readiness Level 1 to 9

Debois, S., Hildebrandt, T., Marquard, M. & Slaats, T., 17 maj 2015, Proceedings of the 2nd International Workshop on Software Engineering Research and Industrial Practice. IEEE Computer Society Press, s. 54-57

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Åben adgang

Fil

Coevolution of variability models and related software artifacts

Passos, L., Teixeira, L., Dinztner, N., Apel, S., Wasowski, A., Czarnecki, K., Borba, P. & Guo, J., 2015, I: Empirical Software Engineering. s. 1-50 50 s.

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang

Fil

Computer Science

Publikation

Søgeresultater