Publikationer

Filter
Paper
2020

Formalizing a Seligman-Style Tableau System for Hybrid Logic

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

Publikation: KonferencebidragPaperForskningpeer 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.

Publikation: KonferencebidragPaperForskningpeer review

Åben adgang

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

Publikation: KonferencebidragPaperForskningpeer review

Social enterprise and social change

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

Publikation: KonferencebidragPaperForskningpeer review

2018