Research Output

Filter
Paper
2020

Formalizing a Seligman-Style Tableau System for Hybrid Logic

Halkjær From, A., Blackburn, P. R. & Villadsen, J., 2020, (Accepted/In press).

Research output: Contribution to conferencePaperResearchpeer-review

2019

Can there be a global tool for reducing lifestyle footprints? First reflections from setting up the Sustainable Lifestyles Accelerator

Lettenmeier, M., Bienge, K., Garduño García, C., Umbach-Daniel, A., Massek, T., Srinivasan, A., Teubler, J., Toivio, V., Kristensen, N. H., Seifert-Nketia, W. & Farias Ramírez, C. N., 2019.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access

Is Success in IT Projects a Fata Morgana? A Case Study of a Large Healthcare IT Project

Fleron, B., Hansen, M. R. P. & Pries-Heje, J., 2019. 14 p.

Research output: Contribution to conferencePaperResearchpeer-review

Social enterprise and social change

Hansen, A. V. & Langergaard, L. L., 24 Jun 2019.

Research output: Contribution to conferencePaperResearchpeer-review

2018

Driverless, public e-mobility for future green transport systems in cities

Christensen, T. B., Villadsen, H. & Jespersen, P. H., 28 Nov 2018. 8 p.

Research output: Contribution to conferencePaperResearch