Department of People and Technology

Research Output

Filter
Article in proceedings
2018

Creating synergies between traditional crafts and Fablab Making: Exploring digital mold-making for glassblowing

Padfield, N., Hobye, M., Pedersen, M. H., Knight, J. & Ranten, M. F., 2018, Proceedings of FabLearn Europe 2018: Conference on Creativity and Making in Education. New York: Association for Computing Machinery, p. 11-20 10 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Designing excuses for interaction to facilitate social curiosity

Hobye, M., Padfield, N. & Löwgren, J., 2018, FDG '18 Proceedings of the 13th International Conference on the Foundations of Digital Games. New York: Association for Computing Machinery, 63

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access

Design Principles for Room-Scale Virtual Reality: A Design Experiment in Three Dimensions

Hansen, M. R. P., Schjerlund, J. & Jensen, J. G., Jun 2018, Designing for a Digital and Globalized World: 13th International Conference, DESRIST 2018, Chennai, India, June 3–6, 2018, Proceedings. Chatterjee, S., Dutta, K. & Sundarraj, R. P. (eds.). Cham: Springer, p. 3-17 15 p. (Lecture Notes in Computer Science; No. 10844).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Efficient Recombination in the Lin-Kernighan-Helsgaun Traveling Salesman Heuristic

Tinós, R., Helsgaun, K. & Whitley, D., 2018, Parallel Problem Solving from Nature – PPSN XV: 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I. Auger, A., Fonseca, C. M., Lourenco, N., Machado, P., Paquete, L. & Whitley, D. (eds.). Springer, Vol. 1. p. 95-107 13 p. (Theoretical Computer Science and General Issues, Vol. 11101). (Lecture Notes in Computer Science, Vol. 11101).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Eight Aspects of Actions in Improvement Plans

Carstensen, P. H. & Vinter, O., Aug 2018, Systems, Software and Services Process Improvement. 25th International Conference. Larucca, X., Santamaria, I., O'Connor, R. V. & Messnarz, R. (eds.). Switzerland: Springer, Vol. CCIS 896. p. 147-158 12 p. (Communications in Computer and Information Science, Vol. 896).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Improving the Choice of Organizational Change Strategy.

Pries-Heje, J., Carstensen, P. H., Johansen, J. & Vinter, O., 2018, Systems, Software and Services Process Improvement: 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings. Larrucea, X., Santamaria, I., O'Connor, R. V. & Messnarz, R. (eds.). Cham: Springer, p. 83-94 (Communications in Computer and Information Science, Vol. 896).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Opportunity analysis for implementing a Centralized Biogas Plant in Thailand within the Dairy sector utilizing cow manure and local biomass residues as feedstock for Biogas Production

Lybæk, R. & Kjær, T., 3 May 2018, REGATEC 2018 Conference Proceedings. 5th International Conference on Renewable Energy Gas Technology: Bringing science, technology and industry together. Held, J. (ed.). Toulouse Frankrig: Renewable Energy Technology International AB, p. 97-98 2 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Second-Order False Beliefs and Recursive Complements in Children with ASD

Polyanskaya, I., Braüner, T. & Blackburn, P. R., 2018, BUCLD 42: Proceedings of the 42nd annual Boston University Conference on Language Development. Bertolini, A. B. & Kaplan, M. J. (eds.). Massachusetts, USA: Cascadilla Press, Vol. 2. p. 632-643 12 p. (Boston University Conference on Language Development. Proceedings, Vol. 42).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

The dream is collapsing: The experience of exiting VR

Knibbe, J. M., Schjerlund, J., Petræus, M. S. & Hornbæk, K., 2018, CHI 2018 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems - Proceedings. Association for Computing Machinery

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Virtual Entrepreneurship and e-Residency Adoption

Uljala, L. & Scupola, A., 2018, Network, Smart and Open: Three Keywords for Information Systems innovation. Lamboglia, R., Cardoni, A., Dameri, P. & Mancini, D. (eds.). Cham: Springer, p. 71-84 (Lecture Notes in Information Systems and Organisation ; No. 24).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2019

Bootstrapping Your Team for Higher Performance

Pedersen, M. B., Pries-Heje, J., Stybe, G. & Johansen, J., 2019, Systems, Software and Services Process Improvement: 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18-20, 2019 Proceedings. Walker, A., O'Connor, R. & Messnarz, R. (eds.). Switzerland: Springer, p. 163-178 (Communications in Computer and Information Science; No. 1060, Vol. 1).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Confluence of CHR Revisited: Invariants and Modulo Equivalence

Christiansen, H. & Kirkeby, M. H., 2019, Logic-Based Program Synthesis and Transformation: 28th International.Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers. Mesnard, F. & Stuckey, P. J. (eds.). Cham: Springer, Vol. 11408. p. 94-111 (Lecture Notes in Computer Science, Vol. 11408). (Theoretical Computer Science and General Issues, Vol. 11408).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Deductive Querying of Natural Logic Bases

Andreasen, T., Bulskov, H., Anker Jensen, P. & Nilsson, J. F., 2019, Flexible Query Answering Systems: 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings. Cuzzocrea, A., Greco, S., Legind Larsen, H., Saccà, D., Andreasen, T. & Christiansen, H. (eds.). Cham: Springer, p. 231-241 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Electronic Kintsugi: An investigation of everyday crafted objects in tangible interaction design

Carpenter, V. J., Willis, A., Møbius, N. & Overholt, D., 2019, Proceedings of the Future Technologies Conference (FTC) 2018. Arai, K., Bhatia, R. & Kapoor, S. (eds.). cham: Springer, p. 104-121 (Advances in Intelligent Systems and Computing, Vol. 880).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Estimating Discharge Time of Cargo Units: A Case of Ro-Ro Shipping

Jia, B., Rytter, N. G., Reinhardt, L., Haulot, G. & Billesøe, M. B., 30 Sep 2019, Computational Logistics: 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings. Paternina-Arboleda, C. & Voß, S. (eds.). Springer, p. 122-135 13 p. (Lecture Notes in Computer Science; No. 11756).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

How can faba-bean cropping contribute to a more sustainable future European agriculture? Analysis of transition opportunities and barriers in Denmark

Lybæk, R., Hauggaard-Nielsen, H. & Kjær, T., 6 Dec 2019, Proceedings of the 19th European Roundtable for Sustainable Consumption and Production: Circular Europe for Sustainability: Design, Production and Consumption. Segalas, J. & Lazzarini, B. (eds.). Institute for Sustainability, Science and Technology. Universitat Politecnica de Catalunya-Barcelona (ISST-UPC), Vol. 1. p. 476-490 15 p. Vol.1

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

How Do Users Perceive a Design-in-Use Approach to Implementation? A Healthcare Case

Hertzum, M. & Torkilsheyggi, A., 2019, Human-Computer Interaction – INTERACT 2019: 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part III. Cham: Springer, p. 410-430 (Lecture Notes in Computer Science; No. 11748).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Inducing Creativity in Design Science Research

Pries-Heje, J., Baskerville, R., Storey, V. C. & Kaul, M., 27 Apr 2019, Extending the Boundaries of Design Science Theory and Practice: 14th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2019, Worcester, MA, USA, June 4–6, 2019, Proceedings. Tulu, B., Djamasbi, S. & Leroy, G. (eds.). Springer, p. 3-17 (Proceedings of the International Conference on Design Science Research in Information Systems and Technology). (Lecture Notes in Computer Science; No. 11491).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Internal complexity for exploratory interaction

Hobye, M., 2019, SMC 2019 Proceedings of the 16th Sound & Music Computing Conference. Barbancho, I., Tardón, L. J., Peinado, A. & Barbancho, A. M. (eds.). Málaga: Universidad de Málaga, p. 499-500 2 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access

Moving beyond showcase: The five faces of leadership in smart city transformation

Cranefield, J. & Pries-Heje, J., 2019, Proceedings of the 27th European Conference on Information Systems (ECIS), Stockholm & Uppsala, Sweden, June 8-14, 2019. AIS Association, Vol. 2019. 16 p. (Proceedings of the European Conference on Information Systems).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access

Not Just a School: Explorations and Theoretical Considerations in Relation to the Human Eco-Niche

Pedersen, S., 2019, The Ethos of Theorizing: ISTP 2017. Murakami, K., Cresswell, J., Kono, T. & Zittoun, T. (eds.). Canada: Captus Press, p. 212-221

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Polyvariant program specialisation with property-based abstraction

Gallagher, J. P., 2019, EPTCS 299: Proceedings Seventh International Workshop on Verification and Program Transformation. EPTCS, 15 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access

The Handover from Intensive Care Unit to General Ward: Baseline Performance and Participatory Design of an Electronic Follow-Up Plan

Østergaard, K. L., Simonsen, J. & Hertzum, M., Aug 2019, MEDINFO 2019: Health and Wellbeing E-Netsworks for All: Proceedings of the 17th World Congress on Medical and Health Informatics. Ohno-Machado, L. & Séroussi, B. (eds.). IOS Press, p. 1303-1307 (Studies in Health Technology and Informatics, Vol. 264).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

The use of faba-bean cropping as a sustainable and energy saving technology: A new protein self-sufficiency opportunity for European agriculture?

Lybæk, R. & Hauggaard-Nielsen, H., 1 Jun 2019, IOP Conference Series Earth and Environmental Science: 2019 3rd International Conference on Energy and Environmental Science 26–29 January 2019, Seoul, South Korea. IOP Publishing, Vol. 291. 6 p. 012049. (IOP Conf. Series: Earth and Environmental Sciense; No. 012049, Vol. 291).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access

Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs

Christiansen, H. & Kirkeby, M. H., 2019, Functional and Constraint Logic Programming : 26.International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers. Silva, J. (ed.). Cham: Springer, p. 112-130 (Lecture Notes in Computer Science, Vol. 11285). (Theoretical Computer Science and General Issues; No. 11285).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access

Trækvejret: A kinetic device encouraging bodily reflection

Carpenter, V. J., Sokoler, T., Møbius, N. DZL. & Overholt, D. J., 2019, TEI 2019: Proceedings of the 13th International Conference on Tangible, Embedded, and Embodied Interaction. New York: Association for Computing Machinery, p. 399-406

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Virtual Reality Instruction Followed by Enactment Can Increase Procedural Knowledge in a Science Lesson

Andreasen, N. K., Baceviciute, S., Pande, P. & Makrasnky, G., 2019, Proceedings of the 26th IEEE Conference on Virtual Reality and 3D User Interfaces. IEEE, p. 840 1 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2020

A Checklist For A Successful PD Student Project

Simonsen, J., Z. Malik, A., From, G., F. Parslov, M. & T. Sørensen, L., 15 Jun 2020, Proceedings of the 16th biennial Conference on Participatory Design, PDC’2020, June 15-19, Manizales, Colombia: Participation(s) otherwise. ACM Digital Library (BFI Level 2), Vol. II. 5 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

File

A Cognitive Map of Maturity. Symptom-Based Improvement Recommendations

Pries-Heje, J., Johansen, J. & Korsaa, M., 9 Sep 2020, Systems, Software and Services Process Improvement: 27th European Conference, EuroSPI 2020, Düsseldorf, Germany, September 9–11, 2020, Proceedings. Yilmaz, M., Niemann, J., Clarke, P. & Messnarz, R. (eds.). Springer, p. 447-461

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A General Framework for Static Cost Analysis of Parallel Logic Programs

Klemen, M., López-García, P., Gallagher, J. P., Morales, J. F. & Hermenegildo, M., Apr 2020, Logic-Based Program Synthesis and Transformation - 29th International Symposium: LOPSTR 2019 Revised Selected Papers. Gabbrielli, M. (ed.). Springer, Vol. 12042. p. 19-35 (Lecture Notes in Computer Science, Vol. 12042). (Theoretical Computer Science and General Issues, Vol. 12042).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

An Experiment Combining Specialization with Abstract Interpretation

Gallagher, J. P. & Glück, R., 2020, Proceedings of VPT/HCVS@ETAPS 2020: 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis. EPTCS, Vol. 320. p. 155-158

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Design Principles Exposition: A Framework for Problematizing Knowledge and Practice in DSR

Hansen, M. R. P. & Haj-Bolouri, A., 2020, (Accepted/In press) International Conference on Design Science Research in Information Systems and Technology: 15th Conference. Springer, LNCS, 12 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Detecting and Diagnosing Energy Issues for Mobile Applications

Li, X., Yang, Y., Liu, Y., Gallagher, J. P. & Wu, K., 2020, 29th ACM SIGSOFT International Symposium on Software Testing and Analysis: ISSTA '20. Khurshid, S. & Pasareanu, C. S. (eds.). Association for Computing Machinery, p. 115-127

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access

From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation

Gallagher, J. P., Hermenegildo, M. V., Kafle, B., Klemen, M., López-García, P. & Morales, J. F., 2020, Proceedings of VPT/HCVS@ETAPS 2020: 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis. Fribourg, L. (ed.). EPTCS, Vol. 320. p. 50-64

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Indoor Mobility Semantics Annotation Using Coupled Conditional Markov Networks

Li, H., Lu, H., Cheema, M. A., Shou, L. & Chen, G., Jan 2020, (Accepted/In press) The 36th IEEE International Conference on Data Engineering (ICDE 2020) .

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Indoor Top-k Keyword-aware Routing Query

Feng, Z., Liu, T., Li, H., Lu, H., Shou, L. & Xu, J., 2020, (Accepted/In press) The 36th IEEE International Conference on Data Engineering (ICDE 2020). United States: IEEE

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

PD and The Challenge of AI in Health-Care

Gyldenkærne, C., Simonsen, J., Mønsted, T. S. & From, G., 15 Jun 2020, Proceedings of the 16th biennial Conference on Participatory Design, PDC’2020, June 15-19, Manizales, Colombia: Participation(s) otherwise. ACM Digital Library (BFI Level 2), Vol. II. 5 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

File

Shortest Path Queries for Indoor Venues with Temporal Variations

Liu, T., Feng, Z., Li, H., Lu, H., Cheema, M. A., Cheng, H. & Xu, J., 2020, (Accepted/In press) The 36th IEEE International Conference on Data Engineering (ICDE 2020). United States: IEEE

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Sound as Material for Eco-technogenesis

Hines, M., Kadish, D. & Ranten, M. F., May 2020, Proceedings of RE:SOUND 2019. British Computer Society, p. 195-201 (Electronic Workshops in Computing).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File