Peter Gjøl Jensen

Peter Gjøl Jensen

Aalborg University - Aalborg / Denmark
Engineering & Technology / Electrical & Electronic Engineering
AD Scientific Index ID: 909104
Universitas Alburgensis
person_outline Peter Gjøl Jensen's MOST POPULAR ARTICLES
1-) Uppaal StrategoA David, PG Jensen, KG Larsen, M Mikučionis, JH TaankvistTools and Algorithms for the Construction and Analysis of Systems, 206-211, 20151632015
2-) On time with minimal expected cost!A David, PG Jensen, KG Larsen, A Legay, D Lime, MG Sørensen, ...Automated Technology for Verification and Analysis: 12th International …, 2014682014
3-) Presentation of the 9th Edition of the Model Checking ContestE Amparore, B Berthomieu, G Ciardo, S Dal Zilio, F Gallà, LM Hillah, ...International Conference on Tools and Algorithms for the Construction and …, 2019492019
4-) Optimization of power-to-heat flexibility for residential buildings in response to day-ahead electricity priceH Golmohamadi, KG Larsen, PG Jensen, IR HasratEnergy and Buildings 232, 110665, 2021482021
5-) Integration of flexibility potentials of district heating systems into electricity markets: A reviewH Golmohamadi, KG Larsen, PG Jensen, IR HasratRenewable and Sustainable Energy Reviews 159, 112200, 2022462022