Institut for Mennesker og Teknologi

Publikationer 1965 2020

Filter
Konferencebidrag i proceedings
2019

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. Springer , Bind 11408. s. 94 111 s. (Lecture Notes in Computer Science, Bind 11408).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

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

Pedersen, S., 2019, (Accepteret/In press) ISTP 2017 Conference Proceedings. Captus Press

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Polyvariant program specialisation with property-based abstraction

Gallagher, J. P., 2019, Seventh International Workshop on Verification and Program Transformation: Online pre-proceedings. 15 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

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 - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers. Springer , Bind 11285. s. 112 130 s. (Lecture Notes in Computer Science, Bind 11285).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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. (red.). New York: Association for Computing Machinery, s. 26-37

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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. (red.). Santa Fe: Association for Computational Linguistics, s. 1-9

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang

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. (red.). Cognitive Science Society, s. 45-46

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

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, s. 589-594 (IEEE RO-MAN proceedings; Nr. 2018).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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 maj 2018, Papers of the 26th European Biomass Conference: Setting the cource for a biobased economy. Persson, M., Scarlat, N., Grassi, A. & Helm, P. (red.). Florenz: ETA-Florence Renewable Energies, s. 1493-1494 2 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

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. (red.). Springer, s. 164-179 15 s. (Lecture Notes in Computer Science, Bind 10855). (Theoretical Computer Science and General Issues, Bind 10855).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Fil

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, s. 11-20 10 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

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

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang

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. (red.). Cham: Springer, s. 3-17 15 s. (Lecture Notes in Computer Science; Nr. 10844).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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. (red.). Springer, Bind 1. s. 95-107 13 s. (Theoretical Computer Science and General Issues, Bind 11101). (Lecture Notes in Computer Science, Bind 11101).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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. (red.). Switzerland: Springer, Bind CCIS 896. s. 147-158 12 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

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. (red.). Cham: Springer, s. 83-94 (Communications in Computer and Information Science, Bind 896).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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 maj 2018, REGATEC 2018 Conference Proceedings. 5th International Conference on Renewable Energy Gas Technology: Bringing science, technology and industry together. Held, J. (red.). Toulouse Frankrig: Renewable Energy Technology International AB, s. 97-98 2 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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. (red.). Massachusetts, USA: Cascadilla Press, Bind 2. s. 632-643 12 s. (Boston University Conference on Language Development. Proceedings, Bind 42).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

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

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

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

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

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

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 okt. 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. (red.). 18th erscp Greece 2017 udg. Thessaloniki, Greece: Grafima Publications, Bind 18. s. 514-523 8 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Choosing a Design Science Research Methodology

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

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

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 s. (Proceedings of the European Conference on Information Systems).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang

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. (red.). Springer, s. 411-420 (Communications in Computer and Information Science, Bind 748).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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. (red.). Springer, s. 99-110 (Communications in Computer and Information Science, Bind 748).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

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. (red.). Nordic Academic Press of Architectural Research, s. 13-44 31 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang

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. (red.). Roskilde : Roskilde Universitet, s. 5-6 2 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsFormidling

Åben adgang
Fil

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. (red.). Sydney: Sydney University Press, Bind 1. s. 37-52 22 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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. (red.). Cham: Springer, s. 424-434 (Lecture Notes in Computer Science; Nr. 10352). (Lecture notes in artificial intelligence; Nr. 10352).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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. (red.). Springer, s. 67-82 (Lecture Notes in Business Information Processing, Bind 294).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

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. (red.). 1 udg. Sydney: Sydney University Press, Bind 1. s. 15-37 22 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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. (red.). Springer International Publishing : Springer, Bind 596. s. 22-35 14 s. (Advances in Intelligent Systems and Computing, Bind 596).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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. (red.). Cham: Springer, s. 220-227 (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Bind 196).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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, s. 31-40 10 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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. (red.). Cham: Springer, s. 163-180 (Lecture Notes in Computer Science, Bind 9613).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

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. (red.). New York: Association for Computing Machinery, 4 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

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. (red.). Association for Computing Machinery, s. 180-189

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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. (red.). Switzerland: Springer, s. 81-100 (Lecture Notes in Computer Science, Bind 9964).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

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. (red.). Schweiz: Springer VS, s. 70-85 (Lecture Notes in Business Information Processing, Bind 259).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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 , s. 240-247 8 s. E02

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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, s. 1571 - 1578 8 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

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. (red.). Springer, Bind Part 1. s. 261-268 8 s. (Lecture Notes in Computer Science; Nr. 9779).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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. (red.). Philadelphia, Pennsylvania, USA: Cognitive Science Society, s. 2579-2584

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

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. (red.). Berlin: Springer, s. 125-144 (Lecture Notes in Computer Science, Bind 9803).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

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. (red.). College Publications, Bind 11. s. 302-321

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

2015

Accreditation and Participatory Design in the Health-Care Sector

Simonsen, J., Scheuer, J. D. & Hertzum, M., aug. 2015, Proceedings of the 38th Information Systems Research Seminar in Scandinavia (IRIS 38). Öörni, A., Kuutti, K., Oinas-kukkonen, H. & Rajanen, M. (red.). IRIS, 10 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

Biogas application options within milk dairy cooperatives in Thailand: Case study Tambon Ban Kor, Khon Kaen

Lybæk, R. & Sommart, K., 15 dec. 2015, GMSARN Int. Conf. on Smart Energy, Environment, and Community Development in GMS, 16-18 December 2015, Phnom Phen, Cambodia . Thailand, 8 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

Confluence Modulo Equivalence in Constraint Handling Rules

Christiansen, H. & Kirkeby, M. H., 2015, Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers. Proietti, M. & Seki, H. (red.). s. 41-58 (Lecture Notes in Computer Science, Bind 8981).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil