Research output per year
Research output per year
Search results
-
2022
Probabilistic FlexOffers in Residential Heat Pumps Considering Uncertain Weather Forecast
Albano, M., Cibin, N., Golmohamadi, H. & Skou, A., 24 Aug 2022, In: Energy Informatics. 5, Suppl. 4, 20 p., 64.Research output: Contribution to journal › Conference article in Journal › Research › peer-review
Open AccessFile1 Citation (Scopus)34 Downloads (Pure) -
2010
Present and Absent Sets: Abstraction for Data Intensive Systems Suited for Testing
Olsen, P., Larsen, K. G., Mikucionis, M. & Skou, A., 28 Dec 2010, In: Electronic Notes in Theoretical Computer Science. 264, 3, p. 53-68Research output: Contribution to journal › Conference article in Journal › Research › peer-review
-
2009
Model-Based GUI Testing Using Uppaal at Novo Nordisk
H. Hjort, U., Rasmussen, J. I., Larsen, K. G., A. Petersen, M. & Skou, A., 2009, In: Lecture Notes in Computer Science. 5850, p. 814-818Research output: Contribution to journal › Conference article in Journal › Research › peer-review
1 Citation (Scopus)