Roskilde University

  • Universitetsvej 1

    4000 Roskilde

    Denmark

Research Output 1965 2021

Filter
Article in 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. 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

Den intellektuelle og politiske Georg Brandes

Svendsen, E., 25 Mar 2019, Transit - Norden och Europa: IASS XXXI 2016. klok, J., broomans, P., jiresch, E. & schüppert, A. (eds.). Groningen, p. 345-355 10 p. 27

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

Does it spark joy? Design and innovation with care

Svabo, C., 3 Jun 2019, NORDES 2019.

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

Find My Next Job: Labor Market Recommendations Using Administrative Big Data

Frid-Nielsen, S. S., 2019, Thirteenth ACM Conference on Recommender Systems. Association for Computing Machinery, 5 p.

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

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

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

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

Polyvariant program specialisation with property-based abstraction

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

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

Social Selection Mechanism in Corporate Governance Network

Kacanski, S., 9 Sep 2019, EUSN 2019 - Conference booklet. p. 194 194 p.

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

THE ANTICLOCKWISE CHECKED VOWEL CHAIN SHIFT IN MODERN RP IN THE TWENTIETH CENTURY: INCREMENTATIONS AND DIAGONAL SHIFTS

Fabricius, A. H., 2019, Proceedings of The International Congress of Phonetic Sciences, Melbourne, Australia, 2019.. Calhoun, S., Escudero, P., Tabain, M. & Warren, P. (eds.). Melbourne: Australiasian Speech Science and Technology Association, Inc. , p. 592-596 5 p.

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

The EU Agencies' Role in Policy Diffusion Beyond the EU: EEA, EMA and EFSA

Chatzopoulou, S., 2019, The External Dimension of EU Agencies and Bodies. Hofmann, H., Vos, E. & Chamon, M. (eds.). Edward Elgar Publishing, 18 p.

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

The Mobile Suit Gundam Franchise: a Case Study of Transmedia Storytelling Practices and the Role of Digital Games in Japan

Tosca, S. & Nakamura, A., 2019, DIGRA 2019: game, Play and the Emerging Ludo-Mix. Kyoto: DIGRA

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

Open Access

The role of decision-making in the legitimation of probability and statistics in Chilean upper secondary school curriculum

Elicer, R., 1 Mar 2019, (Accepted/In press) Proceedings of the Eleventh Congress of the European Society for Research in Mathematics Education. Jankvist, U. T., Van den Heuvel-Panhuizen, M. & Veldhuis, M. (eds.). Freudenthal Group & Freudenthal Institute, Utrecht University and ERME, 8 p.

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

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

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., 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

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 Case Study of Digital Transformation of Danish Public Services: Actors and Policies

Scupola, A., Dec 2018, 2018 11th CMI International Conference: Prospects and Challenges Towards Developing a Digital Economy within the EU . IEEE Press, p. 14-18 5 p. (Unknown).

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

Advances in research and development concerning mathematical modelling in mathematics education. Plenary lecture delivered at the 8th ICMI-East Asia Regional Conference on Mathematics Education

Niss, M. A., May 2018, Proceedings of the 8th ICMI-East Asia Regional Conference on Mathematics Education - ICMNI-EARCOME8, Tapei, Taiwan, May 7-11, 2018. Hsieh, F-J. (ed.). Taipei, Taiwan: EARCOME8 - National University of Taiwan, Vol. 1. p. 26-36 11 p.

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

Open Access
File

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

Application et identification dans l’expérience esthétique

Rendtorff, J. D., 2018, Le Beau. Actes du XXXVIe Congrès International de l'Association des Sociétés de philosophie de langue française (A.S.P.L.F.): Organisé par l’Association Roumaine de Philosophie de Langue Française et l’Université « Alexandru Ioan Cuza » de Iaşi Iaşi, Roumanie, 23-27 août 2016.. Bejan, P. & Schulthess, D. (eds.). Lasi: Universitatii Alexandru Ioan Cuza, p. 154-165 12 p.

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

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

Business Ethics as a Method of Philosophical Inquiry in Business and Economic Life

Rendtorff, J. D., 2018, Proceedings of the XXIII World Congress of Philosophy. Boudouris, K. (ed.). Athen: Greek Philosophical Society in Cooperation with Philosophy Documentation Center, Vol. 5. p. 71-75 5 p.

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

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

Finansministeriets økonomiske råderum: luftkastel eller realitet?

Jespersen, J., 2018, Symposium i anvendt statistik, 2018: 22.-24. januar 2018. Linde, P. (ed.). København: NFA - Det Nationale Forskningscenter for Arbejdsmiljø, p. 219-226 8 p.

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

Open Access

Free trade and environmental standards in the solar panel industry

Jensen, C., 15 Sep 2018, ETSG 2018 Warsaw. 13 p. 133

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

How can we use mathematics education research to uncover, understand and counteract mathematics specific learning difficulties?

Niss, M. A., Jul 2018, Mathematics In The Real World. Maj-Tatsis, B., Tatsis, K. & Swoboda, E. (eds.). Rzeszow: Wydawnitcwo Uniwersytetu Rzeszowskiego, p. 79-99 21 p.

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

Open Access

I – Facebook – World: How people relate to technology and the world through Facebook use

Schwartz, S. A. & Mahnke, M. S., 2018, Proceedings of the 9th International Conference on Social Media and Society: SMSociety '18. Gruzd, A., Jacobson, J., Mai, P., Hemsley, J., Kwon, K. H., Vatrapu, R., Quan-Haase, A., Sloan, L. & Hodson, J. (eds.). New York: Association for Computing Machinery, p. 370-374

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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. (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

Institutionalization of modern local food: local change agency as a means

Sundbo, J. & Olesen, B. N., 2018, Exploring Future Foodscapes Proceedings: 10th International Conference on Culinary Arts and Sciences. Mikkelsen, B. E., Ofei, K. T., Tvedebrink, T. D. O., Romani, A. Q. & Sudzina, F. (eds.). Aalborg: Aalborg Universitet

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

L'expérience esthétique entre émotions et art

Sejten, A. E., 2018, Le Beau: Actes du XXXVIe Congrès de l'Association des Sociétés de Philosophie de Langue Française (A.S.P.L.F). Bejan, P. & Schulthess, D. (eds.). Rumænien: Editura Universităţii „Alexandru Ioan Cuza”, p. 133-142 10 p.

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

Money is Power

Jespersen, J., 2018, Rethinking Finance. Lindman, L. A., Crawford, A. & Storlie, M. (eds.). Oslo: Rethinking Economics, p. 24-34 11 p.

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

Open Access

Narrating the Unnarratable: The Role of Literary Memory in Moroccan Testimonial Writing. Ḥadīth al-‘atmah by Fāṭnah al-Bīh

Christensen, T. D., 2018, New Geographies: Texts and Contexts in Modern Arabic Literature. Allen, R., Fernández Parrilla, G., Rodríguez Sierra, F. & Rooke, T. (eds.). Universidad Autónoma de Madrid, p. 237-250 13 p. (Colección Estudios).

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

The Indian Summer of al-Andalus Mathematics? An Expanded Addendum

Høyrup, J., 2018, Actes du XIIe Coloque Maghrébin sur l'Histoire des Mathématiques Arabes: Marrakech, 26 au 28 mai 2016. Laabid, E. (ed.). Marrakech: École Normale Supérieure, Marrakech, p. 139-152 14 p.

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

Open Access
File

The Summit of Ancient Latin Mathematical Competence: Apuleius and Augustine

Høyrup, J., Dec 2018, Actes du XIIIe Colloque Maghrébin sur l'Histoire des Mathématiques Arabes (COMHISMA13). Abdeljaouad, M. & Hedfi, H. (eds.). Tunis: COMHISHA, p. 157-170 14 p.

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

Open Access
File

The transition from selling capital goods to providing solutions in manufacturing: Changing corporate strategies and business models

Møller, J. K., 10 May 2018, Proceedings of the Spring Servitization Conference: Driving Competitiveness through Servitization 14-16 May 2018 Copenhagen, Denmark. Bigdeli, A., Frandsen, T., Raja, J. & Baines, T. (eds.). Aston University, p. 198-206 9 p.

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

Open Access
File

The very multi-faceted nature of mathematics education research

Niss, M. A., Jul 2018, Proceedings of the 42nd Conference of the International Group for the Psychology of Mathematics Education (Vol. 1): Volume 1: Plenary Lectures, Plenary Panel, Research Forums, Working Groups, Seminars, Colloqua, National Presentations. Bergqvist, E., Österholm, M., Granberg, C. & Sumpter, L. (eds.). Umeå: Umeå University, PME, Vol. 1. p. 35-50 16 p. (Proceedings of the International Groups for the Psychology of Mathematics Education; No. 1, Vol. 2018).

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

Trans-textual Postmodernity: Hassan Najmi´s Novel: Gīrtrūd, Gertrude Stein´s The Autobiography of Alice B. Toklas, and Anaïs Nin´s The Dairy of Anaïs Nin

Sabih, J., 2018, New Geographies: : Texts and Contexts in Modern Arabic Literature. Allan, R., Fernandez, G. R. & Rooke, T. (eds.). 1 ed. Madrid: Ediciones Universidad Autónoma de Madrid, Vol. 1. p. 217-236 20 p.

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

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

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