Find Research Outputs

Search in all content

Filters for Research Output

Search concepts
Selected filters
Article in proceedings

Constraint Specialisation in Horn Clause Verification

Kafle, B. & Gallagher, J. P., 4 Jan 2015, Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM '15. Asai, K. & Sagonas, K. (eds.). New York: Association for Computing Machinery, p. 85-90 6 p.

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

Open Access
File

Constructing a consumption environment for e-based self-services: New provider-customer relations

Fuglsang, L. & Sundbo, J., 2004, Proceedings from the XIVth International Conference of RESER, September 23-35, 2004, Castres and Toulouse. RESER, p. 177-202

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

Constructing indoor navigation systems from digital building information

Boysen, M., Haas, C. D., Lu, H., Xie, X. & Pilvinyte, A., 2014, IEEE 30th International Conference on Data Engineering, Chicago, ICDE 2014, IL, USA, March 31 - April 4, 2014. Cruz, I. F., Ferrari, E., Tao, Y., Bertino, E. & Trajcevski, G. (eds.). IEEE Computer Society Press, p. 1194-1197 4 p.

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

Consumer-citizen boycotts: Facilitators, motives and condtions

Langer, R., 2003, Proceedings of the 32. EMAC-symposium: Marketing Responsible and Relevant?. Saren, M. (ed.). University of Strathclyde

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

Consumer ownership in liberalised electricity markets: the case of Denmark

Olsen, O. J. & Skytte, K., 2000, Energy Markets & the New Millennium: Economics, Evironment, Security of Supply: Proceedings : 23rd IAEE International Conference, Sydney, Australia. International Association for Energy Economics

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

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

Contextual Validity in Hybrid Logic

Blackburn, P. R. & Jørgensen, K. F., 2013, Modeling and using context: 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings. Brezillion, P. & Blackburn, P. (eds.). Springer Publishing Company, p. 185-198 14 p. (Lecture Notes in Computer Science, Vol. 8175).

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

Continuous integration as a means of coordination: a case study of two open source projects

Jørgensen, N. H. & Holck, J., 2003, 12th International Conference on Information Systems Development.

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

Continuous Range Queries Over Multi-attribute Trajectories

Xu, J., Bao, Z. & Lu, H., 2019, 35th IEEE International Conference on Data Engineering, ICDE 2019, Macao, China, April 8-11, 2019. New York: IEEE, p. 1610-1613 4 p. (Proceedings of the International Conference on Data Engineering).

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

Continuous Skyline Monitoring over Distributed Data Streams

Lu, H., Zhou, Y. & Haustad, J., 2010, Scientific and Statistical Database Management, 22nd International Conference, SSDBM 2010, Heidelberg, Germany, June 30 - July 2, 2010. Proceedings. Gertz, M. & Ludäscher, B. (eds.). Springer, Vol. 6187. p. 565-583 19 p. (Lecture Notes in Computer Science).

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

Control-flow analysis of function calls and returns by abstract interpretation

Midtgaard, J. & Jensen, T. P., 2009, Proceeding of the 14th ACM SIGPLAN international conference on Functional Programming: ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009.. Association for Computing Machinery, p. 287-298

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

Control flow treatment in a simple sematics directed compiler generator

Christiansen, H. & Jones, N. D., 1983, Formal description of programming concepts II: proceedings of the IFIP Working Conference on Formal Description of Programming Concepts-II. Bjørner, D. (ed.). North-Holland, Vol. II. p. s. 73-97

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

Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification

Kafle, B. & Gallagher, J. P., 2 Dec 2014, Proceedings First Workshop on Horn Clauses for Verification and Synthesis. Bjørner, N., Fioravanti, F., Rybalchenko, A. & Senni, V. (eds.). EPTCS, Vol. 169. p. 53-67 15 p. 7

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

Open Access
File

Coordinating Work with Groupware: The Challenge of Integrating Protocol and Artefact

Pors, J. K. & Simonsen, J., 2003, Organizational Information Systems in the Context of Globalization. Korpela, M., Montealegre, R. & Poulymenakou, A. (eds.). Kluwer Academic Publishers, p. 53-68 16 p.

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

Coping in the Nordic peripheries: On the spatial production of societies

Bærenholdt, J. O., 2003, ERSA 2003 Congress: Congress CD-Rom. European Regional Science Association

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

Coping with cultural and maturity inequality in offshore outsourcing: Is minimizing interaction the solution?

Hertzum, M. & Pries-Heje, J., 2009, Information systems in a globalising world: Challenges, ethics and practices: Proceedings of the 17th European Conference on Information Systems. Newell, S., Whitley, E., Pouloudi, N., Wareham, J. & Mathiassen, L. (eds.). p. 923-934 12 p.

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

Corporate Social Responsibility, sustainability and stakeholder management

Rendtorff, J. D., 2006, Business Ethics and Corporate Social Responsibility. Njavro, D. & Krkac, K. (eds.). Zagreb School of Economics and Management

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

Cottage tourist on the move

Pedersen, M. H., 2003, Landscapes of presence: aesthetics, amenities and technologies: proceedings of the first Winter Academy convened by Amenity Landscapes Research Group. Veijola, S. (ed.). University of Lapland, p. 47-70

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

Counting digital procurement impacts on governmental operations using the CIVO-VIDS methodology

Andersen, K. V., Juul, N. C. & Larsen, M. H., 2001, Proceedings of The European Conference on e-Government. Remenyi, D. & Bannister, F. (eds.). Trinity College, p. 5-14

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

Cowitra: A Machine Translation Concept

Sørensen, B., 1990, Expersys-90: Expert Systems Applications. Gouardères, G., Liebowitz, J. & White, M. (eds.). Institute for Industrial Technology Transfer, p. 315-317 3 p.

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

Creating a New Innovation Orientation through Idea Competitions

Scupola, A., Nicolajsen, H. W. & Nicolaisen, H. W., 26 Sep 2019, (Accepted/In press) Proceedings.

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

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

Creation, Transfer, and Diffusion of Innovation in Organizations and Society: Information Systems Design Science Research for Human Benefit

Venable, J., Pries-Heje, J., Bunker, D. & Russo, N. L., 2010, Human Benefit through the Diffusion of Information Systems Design Science Research. Pries-Heje, J., Venable, J., Bunker, D., Russo, N. & DeGross, J. I. (eds.). Springer, Vol. 318. p. 1-10 (IFIP AICT - Advances in Information and Communication technology; No. 318).

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

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

C'set la lettre que j'ai ecrit. D'accord: L'accord du participe passé en francais oral

Sand, J. U., 1998, Actes du XIIIe Congrès des Romanistes Scandinaves, Jyväskylä, 12-15 août 1996. Merisalo, O. & Natri, T. (eds.).

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

CSR as enacted strategic ambiguity: A media content analysis

Morsing, M., Eder Hansen, J. & Langer, R., 2006, Sustainable Marketing Leadership: A synthesis of polymorphous axioms, strategies and tactics. Avlonitis, G. J., Papavassiliou, N. & Papastathopoulou, P. (eds.). 5 p.

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

CSR-communication in the business press: Advantages of strategic ambiguity

Langer, R. & Morsing, M., 2006, Contemporary issues in corporate and marketing communications: Towards a socially responsible future: Proceedings of the 11th International CMC-Conference on Corporate and Marketing Communications, Ljubljana, April 21-22, 2006. Podnar, K. & Janĉiĉ, Z. (eds.). University of Ljubljana, p. 26-34

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

Cultural cognition in the thinking-aloud method for usability evaluation

Clemmensen, T., Hertzum, M., Hornbæk, K., Shi, Q. & Yammiyavar, P., 2008, ICIS 2008: Proceedings of the AIS International Conference on Information Systems. Association for Information Systems, 15 p.

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

Cultural services remediated in Second Life: The case of Info Island DK

Heilesen, S., 2008, Communication Policies and Culture in Europe. ECREA: European Communication Research and Education Association

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

Open Access
File

Customers as Partners in Radical Service Innovation

Scupola, A. & Nicolajsen, H. W., 2009, Proceedings of the The 2009 Naples Forum on Service. The European Institute for Advanced Studies in Management, 14 p.

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

Open Access
File

Dachen Island Wind/Diesel Facilities

Sørensen, B., 1990, European Community wind energy conference: Proceedings. H.S. Stephens, p. 688-691 4 p.

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

Danida's policy and practice in relation to mother tongue and bilingual education: a preliminary mapping

Schulz, M. & Carney, S., 2008, Modersmåls- og tosproget undervisning - myter, realiteter og konsensus?: konferencerapport, 28.-29. november 2007. Timm, L. (ed.). Uddannelsesnetværket, p. 98-111 14 p.

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

Danish design from a psychological perspective

Funch, B. S., 2010, Aesthetics + Design: Proceedings. International Association of Empirical Aesthetics, p. 1-7 7 p.

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

Danish Energy Efficiency Policy: Revisited and Future Improvements

Togeby, M., Dyhr-Mikkelsen, K., Larsen, A., Hansen, M. J. & Bach, P., 2009, Act! Innovate! Deliver!Reducing energy demand sustainably: Conference proceedings. Samlignsnummer för enstaka enskilt utgivna arbeteb, Vol. 1. p. 299-310

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

Open Access

"Danish Experiences with Small Scale Decentralised Biogas Plants"

Lybæk, R. B., 2000, Proceedings to "The 7th Polish-Danish Workshop on Biomass for Energy". Technical university of Gdansk, p. 97-104 8 p.

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

Danish National Photovoltaic program

Sørensen, B., Katic, I. & Windeleff, J., 1995, IEEE First World Conference on Photovoltaic Energy Conversion, 1994. Institute of Electrical and Electronics Engineers, p. 2302-2305

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

Danish Vernacular: Nationalism and History Shaping Education

Hyams, I. L. B., 2014, Beyond Architecture - New Intersections and Connections: Proceedings of the ARCC/EAAE 2014 International Conference on Architectural Research. Rockwood, D. & Sarvimäki, M. (eds.). University of Hawaii Press, p. 33-40

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

Open Access
File

Danskfaget og den retoriske tradition

Kjørup, S., 2003, Dansk i fremtidens læreruddannelser på universiteter og seminarer: Struktur, internationalisering samt nye arbejds- og prøveformer. Elf, N. F., Gregersen, F. & Mortensen, F. H. (eds.). Syddansk Universitet, p. 25-37

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

Dante og polyfoni

Olsen, M., 2004, Nordic Dante Studies, II.: Proceedings from the Second Conference of the Nordic Dante Network at the Italian Cultural Institute in Stockholm, October 5-7, 2001. Cullhed, A. (ed.). p. 175‑184

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

Open Access
File

Decentralising higher education: education opportunities as a contribution to regional development

Rasmussen, R. O., 2003, Circumpolar connections: proceedings of the 8th Circumpolar Cooperation Conference. Yukon college, p. 34-44

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

Declarative semantics of a meta-programming language

Christiansen, H., 1990, Proceedings of the second Workshop on Meta-Programming in Logic : April 4-6, 1990 Leuven, Belgium. p. 159-168

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

Decomposition by tree dimension in Horn clause verification

Kafle, B., Gallagher, J. P. & Ganty, P., 7 Dec 2015, Proceedings of the Third International Workshop on Verification and Program Transformation. Lisitsa, A., Nemytykh, A. P. & Pettorossi, A. (eds.). London: EPTCS, p. 1-14 14 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 199).

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

Open Access
File

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

Defining Functions of Danish Political Commentary

Bengtsson, M. & Kahl, M. L., 2011, Argumentation: Cognition and Community: Proceedings of the 9th International Conference of the Ontario Society for the Study of Argumentation (OSSA). Zenker, F. (ed.). Bepress, p. 1-8 8 p.

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

Open Access
File

Den ideelle mama. Konstruktion af moderidentitet i danske "Mamablade"

Henriksen, C., 2007, Språk och kön i nutida och historiskt perspektive: Studier presenterade vid Den sjätte nordiska konferensen om språk och kön, Uppsala 6-7 oktober 2006. Gunnarsson, B-L., Entzenberg, S. & Ohlsson, M. (eds.). Uppsala Universitet, p. 102-112 11 p. (krifter utgivna av Institutionen för nordiska språk vid Uppsala universitet ; No. 71).

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. Broomans, P., Jiresch, E., Klok, J. & Schüppert, A. (eds.). Havertown: Barkhuis Publishing, p. 345-355 10 p. 27

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

Den nordiske model og interkulturelle arbejdslivsrelationer i Malaysia

Fleming, D., 1995, Arbete och nordisk samhällsmodel. Kettunen, P. & Rissanen, T. (eds.). 43 p.

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

Description of hydrogen storage in hydrides and related compounds by quantum chemical calculations

Sørensen, B., 2006, 16th World Hydrogen Energy Conf., Lyon. IHEA, Vol. CDROM. p. S14-110 9 p.

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

Open Access
File

Design and manage local organic food supply chains: benefits of using soft systems methodology

Tavella, E., 2011, Proceedings of the 55th Annual Meeting of the International Society for the Systems Sciences. 17 p.

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

Design as knowing

Olsen, P. B. & Heaton, L., 2008, Conference: Perspectives on practice-oriented design science 15th of maj 2008: proceedings. Roskilde Universitet, p. 19-31

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