Department of People and Technology

Research Output

Filter
Article in proceedings
2015

Perceptions of FM service encounters

Scupola, A. & Hansen, A. V., 2015, Research Papers. Advancing Knowledge in Facilities Management: People make facilities management. Alexander, K. & Price, I. (eds.). Holland: EuroFM

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

Post Rio Communication Styles for Deliberation: between individualization and collective action

Holm, J. & Almlund, P., Jun 2015, Communication for the Commons. Revisiting Participation and Environment: Proceedings of the 2013 Conference on Communication and Environment. Meisner, M. S., Sriskandarejah, N. & Depoe, S. P. (eds.). Turtle Island: The International Environmental Communication Association, 15 p.

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

Open Access
File

Probabilistic Output Analysis by Program Manipulation

Rosendahl, M. & Kirkeby, M. H., 29 Sep 2015, Electronic Proceedings in Theoretical Computer Science. Vol. 194. p. 110-124 (Electronic Proceedings in Theoretical Computer Science; No. 194).

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

Open Access

Projecting the Future for Design Science Research: An Action-Case Based Analysis

Baskerville, R. & Pries-Heje, J., 2015, New Horizons in Design Science: Broadening the Research Agenda. Donnellan, B., Helfert, M., Kenneally, J., VanderMeer, D., Rothenberger, M. & Winter, R. (eds.). Springer, Vol. 9073. p. 280-291 (Lecture Notes in Computer Science, Vol. 9073).

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

Regional Development and Collaboration in Tourism: A Cross Border Perspektive

Plum, V., Frederiksen, J. S. & Jensen, H. T., 2015, Great Transformation: Recasting Regional Policy. Reynolds, L. (ed.). 1 ed. Seaford, UK: Regional Studies Association, p. 170-187 19 p.

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

Open Access
File

Remix Utopia: Eleven propositions in Design and Social Fantasy

Haldrup, M., Hobye, M., Samson, K. & Padfield, N., Jun 2015, Nordes 2015: Design ecologies. Christensen, E. (ed.). Stockholm: Nordic Design Research, Vol. 6. 8 p.

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

Open Access
File

Theorising power as a capacity for action and social participation

Busch-Jensen, P., 2015, Dialogue and debate in the making of theoretical psychology. Cresswell, J., Haye, A. & Larraín, A. (eds.). Concord: Captus Press, 10 p.

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

Toddlers Collaboratively Explore Possibilities for Actions across Contexts: Developing the Concept Conduct of Everyday Life in Relation to Young Children

Juhl, P., 2015, Dialogue and Debate in the Making of Theoretical Psychology.. Sullivan, G. B., Cresswell, J., Larraín, A., Haye, A. & Morgan, M. (eds.). Captus Press, p. 202-210

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

Towards a Multi-level Framework of Collaborative Innovation in Tourism

Høegh-Guldberg, O. & Fuglsang, L., 2015, Proceedings: The 25th Annual RESER Conference ”Innovative Services in the 21st Century”. Sundbo, J., Fuglsang, L., Sørensen, F. & Balslev, N. (eds.). Roskilde: Roskilde Universitet

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

Open Access
File

Tracing Shifts in Emotions in Streaming Social Network Data

Andreasen, T., Christiansen, H. & Theil have, C., 2015, Foundations of Intelligent Systems: 22nd International Symposium, ISMIS 2015, Lyon, France, October 21-23, 2015, Proceedings. Esposito, F., Pivert, O., Hacid, M-S., Rás, Z. W. & Ferilli, S. (eds.). Springer, p. 280-289 (Lecture Notes in Computer Science, Vol. 9384).

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

Tree automata-based refinement with application to Horn clause verification

Kafle, B. & Gallagher, J. P., 2015, Verification, Model Checking, and Abstract Interpretation. D'Souza, D., Lal, A. & Larsen, K. G. (eds.). Springer, Vol. 8931. p. 209-226 18 p. (Lecture Notes in Computer Science; No. 8931).

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

Open Access
File

Visible but Unseen? A Workplace Study of Blood-Test Icons on Electronic Emergency-Department Whiteboard

Torkilsheyggi, A. M. Á. & Hertzum, M., 2015, CSCW '15 Proceedings of the 18th ACM Conference on Computer Supported Cooperative Work & Social Computing. Association for Computing Machinery, 10 p.

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

2016

A Source-level Energy Optimization Framework for Mobile Applications

Li, X. & Gallagher, J. P., 2016, 16th IEEE International Working Conference on Source Code Analysis and Manipulation: SCAM 2016. IEEE Press, p. 31-40 10 p.

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

A Transformational Approach to Parametric Accumulated-Cost Static Profiling

Haemmerlé, R., López García, P., Liqat, U., Klemen, M., Gallagher, J. P. & Hermenegildo, M., 2016, Functional and Logic Programming : 13th International Symposium, (FLOPS) 2016, Kochi, Japan, March 4-6, 2016. Kiselyov, O. & King, A. (eds.). Cham: Springer, p. 163-180 (Lecture Notes in Computer Science, Vol. 9613).

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

Open Access
File

Contact Quality in Participation: A “Sensethic” Perspective

Simonsen, J. & Jensen, O. S., Aug 2016, Proceedings of the 14th Participatory Design Conference: Short Papers, Interactive Exhibitions, Workshops - Volume 2 . Smith, R. C. (ed.). New York: Association for Computing Machinery, 4 p.

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

Open Access
File

Fine-Grained Energy Modeling for the Source Code of a Mobile Application

Li, X. & Gallagher, J. P., 2016, Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services. Hara, T. & Shigeno, H. (eds.). Association for Computing Machinery, p. 180-189

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

Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR

Liqat, U., Georgiou, K., Kerrison, S., López-García, P., Gallagher, J. P., Hermenegildo, M. V. & Eder, K., 2016, Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015. van Eekelen, M. C. J. D. & Dal Lago, U. (eds.). Switzerland: Springer, p. 81-100 (Lecture Notes in Computer Science, Vol. 9964).

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

Open Access

Net up your innovation value

Pries-Heje, J. & Hansen, M. R. P., 2016, Nordic Contributions in IS Research: 7th Scandinavian Conference on Information Systems, SCIS 2016 and IFIP8.6 2016, Ljungskile, Sweden, August 7-10, 2016, Proceedings. Snis, U. L. (ed.). Schweiz: Springer VS, p. 70-85 (Lecture Notes in Business Information Processing, Vol. 259).

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

New biogas opportunities in Thailand within the dairy sector: Identifying bio-economic solutions for enhancing local economic and environmental benefits

Lybæk, R., 11 Feb 2016, Proceedings of International conference on Recent trends in chemical and environmental sciences, 12 & 13 February, 2016, Sangamner, India . Sangamner: Sangamner College , p. 240-247 8 p. E02

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

Planning for Biogas Plant in Denmark

Landt, C. C., Gaarsmand, R., Palsberg, A., Kjær, T. & Goldberg-Larsen, F., 9 Jun 2016, 24th European Biomass Conference and Exhibition. Firenze: ETA-Florence Renewable Energies, p. 1571 - 1578 8 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata

Kafle, B., Gallagher, J. P. & Morales, J. F., 2016, Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I. Chaudhuri, S. & Farzan, A. (eds.). Springer, Vol. Part 1. p. 261-268 8 p. (Lecture Notes in Computer Science; No. 9779).

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

Recursive belief manipulation and second-order false-beliefs

Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2016, CogSci 2016 Proceedings: 38th Annual Meeting of the Cognitive Science Society - Recognizing and Representing Events. Papafragou, A., Grodner, D., Mirman, D. & Trueswell, J. (eds.). Philadelphia, Pennsylvania, USA: Cognitive Science Society, p. 2579-2584

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

Open Access
File

Second-order false-belief tasks: Analysis and formalization

Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (eds.). Berlin: Springer, p. 125-144 (Lecture Notes in Computer Science, Vol. 9803).

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

Open Access
File

Synthetic Completeness Proofs for Seligman-style Tableau Systems

Jørgensen, K. F., Blackburn, P. R., Bolander, T. & Braüner, T., 2016, Proceedings of Advances in Modal Logic 2016. Beklemishev, L., Demri, S. & Máté, A. (eds.). College Publications, Vol. 11. p. 302-321

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

Translating organizational change: An actor-network-theory inspired theory about organizational change

Scheuer, J. D., 1 Jun 2016, European Academy of Management. Proceedings. EURAM, p. 1-40 40 p.

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

2017

A hybrid intermediate language between SSA and CPS

Torrens, P., Vasconcellos, C. & Gonçalves, J., 2017, SBLP 2017 Proceedings of the 21st Brazilian Symposium on Programming Languages. New York: Association for Computing Machinery, 1

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

Aspects you should consider in your action plan when implementing an improvement strategy

Carstensen, P. & Vinter, O., 4 Oct 2017, Software Process Improvement and Capability Determination: 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4–5, 2017, Proceedings. Cham: Springer, p. 467-480 14 p. (Communications in Computer and Information Science).

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

Open Access
File

Assessing the Circular Economic benefits and challenges of Biogas production when utilizing Sand bedding in dairy cow stables

Lybæk, R. & Kjær, T., 1 Oct 2017, Proceedings of the 18th European Roundtable on sustainable Consumption and Production: Towards a Greener Challenge & Evolution in the Framework of the Circular Economy. Aravossis, K. (ed.). 18th erscp Greece 2017 ed. Thessaloniki, Greece: Grafima Publications, Vol. 18. p. 514-523 8 p.

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

Choosing a Design Science Research Methodology

Venable, J. R., Pries-Heje, J. & Baskerville, R., 2017, ACIS2017 Conference Proceeding. Hobart: University of Tasmania

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

Open Access
File

Crowdsourcing Based Evaluation of Ranking Approaches for Spatial Keyword Querying

Chen, J., Lu, H., Keles, I. & Jensen, C. S., 2017, 18th IEEE International Conference on Mobile Data Management, MDM 2017, Daejeon, South Korea, May 29 - June 1, 2017. IEEE Computer Society Press, p. 62-71 10 p.

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

Design Science Research: A Hands-on Tutorial

Pries-Heje, J., Venable, J. & Baskerville, R. L., 2017, European Conference on Information Systems (ECIS'2017): Electronic Proceedings. ECIS, European Conference on Information Systems, 3 p. (Proceedings of the European Conference on Information Systems).

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

Open Access

Documentation of Improvement Competences

Johansen, J., Back, K. K., Korsaa, M., Pries-Heje, J. & Schweigert, T., 2017, Systems, Software and Services Process Improvement: 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6–8, 2017, Proceedings. Stolfa, J., Stolfa, S., O'Connor, R. V. & Messnarz, R. (eds.). Springer, p. 411-420 (Communications in Computer and Information Science, Vol. 748).

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

Finding Influential Local Users with Similar Interest from Geo-Tagged Social Media Data

Jiang, J., Lu, H., Li, P., Pan, G. & Xie, X., 2017, 18th IEEE International Conference on Mobile Data Management, MDM 2017, Daejeon, South Korea, May 29 - June 1, 2017. IEEE Computer Society Press, p. 82-91 10 p.

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

Improving Project Portfolio Management (PPM) for Improvement Projects

Pries-Heje, J., Jakobsen, P. M., Korsaa, M. & Johansen, J., 2017, Systems, Software and Services Process Improvement: 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6–8, 2017, Proceedings. Stolfa, J., Stolfa, S., O'Connor, R. V. & Messnarz, R. (eds.). Springer, p. 99-110 (Communications in Computer and Information Science, Vol. 748).

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

Open Access
File

Instant urbanism and the politics of mobile architecture

Pinder, D., 1 Jul 2017, Urban Mobility: Architectures, Geographies and Social Space.. Toft, A. E. & Rönn, M. (eds.). Nordic Academic Press of Architectural Research, p. 13-44 31 p.

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

Open Access

Introduction: Proceeding 5th international Rersearch Forum on Guided Tours

Meged, J. W. & Koerts, D., 1 Dec 2017, Proceeding 5th international Rersearch Forum on Guided Tours. Meged, J. & Koerts, D. (eds.). Roskilde : Roskilde Universitet, p. 5-6 2 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsCommunication

Open Access
File

Participatory action research with social workers in Greenland

Andersen, J. & Arnfjord, S., 20 Aug 2017, Collaborative and Sustainable Learning for a Fairer World: Rhetoric or Reality. Bradley, C. (ed.). Sydney: Sydney University Press, Vol. 1. p. 37-52 22 p.

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

Pathway Computation in Models Derived from Bio-Science Text Sources

Andreasen, T., Styltsvig, H. B., Jensen, P. A. & Nilsson, J. F., 2017, Foundations of Intelligent Systems : 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings . Kryszkiewicz, M., Appice, A., Ślęzak, D., Rybinski, H., Skowron, A. & Raś, Z. W. (eds.). Cham: Springer, p. 424-434 (Lecture Notes in Computer Science; No. 10352). (Lecture notes in artificial intelligence; No. 10352).

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

Principles for enabling deep secondary design

Pries-Heje, J. & Hansen, M. R. P., 2017, Nordic Contributions in IS Research: 8th Scandinavian Conference on Information Systems. Stigberg, S., Karlsen, J., Holone, H. & Linnes, C. (eds.). Springer, p. 67-82 (Lecture Notes in Business Information Processing, Vol. 294).

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

Open Access
File

Social innovation in public institutions in Denmark: the role of action research

Andersen, J. & Bilfeldt, A., 15 Aug 2017, Collaborative and Sustainable Learning for a Fairer World: Rhetoric or Reality. Bradley, C. (ed.). 1 ed. Sydney: Sydney University Press, Vol. 1. p. 15-37 22 p.

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

The SAFe way to the Agile Organization

Pries-Heje, J. & Krohn, M. M., 2017, XP '17 Workshops Proceedings of the Scientific Workshops of XP2017. New York, NY, USA: Association for Computing Machinery

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

Time and Control in Teachers’ Work: The Erosion of Rhythms

Lund, H. L., 2017, Advances in Human Factors in Training, Education, and Learning Sciences: Proceedings of the AHFE 2017 International Conference on Human Factors in Training, Education, and Learning Sciences, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA. Andre, T. (ed.). Springer International Publishing : Springer, Vol. 596. p. 22-35 14 p. (Advances in Intelligent Systems and Computing, Vol. 596).

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

Top-k Taxi Recommendation in Realtime Social-Aware Ridesharing Services

Fu, X., Huang, J., Lu, H., Xu, J. & Li, Y., 2017, Advances in Spatial and Temporal Databases - 15th International Symposium, SSTD 2017, Arlington, VA, USA, August 21-23, 2017, Proceedings. Gertz, M., Renz, M., Zhou, X., Hoel, E. G., Ku, W-S., Voisard, A., Zhang, C., Chen, H., Tang, L., Huang, Y., Lu, C-T. & Ravada, S. (eds.). Springer, Vol. 10411. p. 221-241 21 p. (Lecture Notes in Computer Science).

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

Widening the Experience of Artistic Sketchbooks

Christiansen, H. & Laursen, B., 2017, Interactivity, Game Creation, Design, Learning, and Innovation: 5th International Conference, ArtsIT 2016, and First International Conference, DLI 2016, Esbjerg, Denmark, May 2–3, 2016, Proceedings. Brooks, A. L. & Brooks, E. (eds.). Cham: Springer, p. 220-227 (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Vol. 196).

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

2018

Abstract nonsense

Gonçalves, J., 2018, FARM 2018 - Proceedings of the 6th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design: Co-located with ICFP 2018. Yorgey, B. & Quick, D. (eds.). New York: Association for Computing Machinery, p. 26-37

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

A Gold Standard to Measure Relative Linguistic Complexity with a Grounded Language Learning Model

Becerra-Bonache, L., Christiansen, H. & Jiménez-López, M. D., 2018, Proceedings of the Workshop on Linguistic Complexity and Natural Language Processing: A workshop at COLING 2018: The 27th International Conference on Computational Linguistics. Becerra-Bonache, L., Jiménez-López, M. D., Martín-Vide, C. & Torrens-Urrutia, A. (eds.). Santa Fe: Association for Computational Linguistics, p. 1-9

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

Open Access

A logical investigation of false-belief tasks

Braüner, T., Polyanskaya, I. & Blackburn, P. R., 2018, Proceedings of the 40th Annual Conference of the Cognitive Science Society. Rogers, T. T., Rau, M., Zhu, X. & Kalish, C. W. (eds.). Cognitive Science Society, p. 45-46

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

Open Access
File

Breathing Life into Familiar Domestic Objects

Christiansen, H., Lindelof, A. M. & Hobye, M., 2018, Proceedings of the 27th IEEE International Symposium on Robot and Human Interactive Communication: Nanjing, China, August 27-31, 2018. IEEE, p. 589-594 (IEEE RO-MAN proceedings; No. 2018).

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

Challenges for biogas production and use in Brazil and lessons to learn from Denmark

Coelho, S. T., Carmo, B. S., Holm-Nielsen, J. B., Lybæk, R., Garcilasso, V. P., Mariano, M. & Escobar, J. F., 1 May 2018, Papers of the 26th European Biomass Conference: Setting the cource for a biobased economy. Persson, M., Scarlat, N., Grassi, A. & Helm, P. (eds.). Florenz: ETA-Florence Renewable Energies, p. 1493-1494 2 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

Confluence and Convergence in Probabilistically Terminating Reduction Systems

Kirkeby, M. H. & Christiansen, H., 10 Jul 2018, Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers. Fioravanti, F. & Gallagher, J. P. (eds.). Springer, p. 164-179 15 p. (Lecture Notes in Computer Science, Vol. 10855). (Theoretical Computer Science and General Issues, Vol. 10855).

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

File