logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
P

Peter Gjøl Jensen

aalborg university

15H-index
81Paper Count
1.0KCitation Count
Published Papers 7
Publication Date
logo
Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems
errREACHABILITY PROBLEMS, RP 2025
IF0
err2026-01-01
err0
PREAI
errBrorholt, Asger Horn; Hoeg-Petersen, Andreas Holck; Jensen, Peter Gjol; Larsen, Kim Guldstrand; Mikucionis, Marius; Schilling, Christian; Wasowski, Andrzej
errShare
errSave
TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets
errAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
err2026-01-01
err0
PREAI
errGonzalez, Bruno Maria Rene; Jensen, Peter Gjol; Schmid, Stefan; Srba, Jiff; Zimmermann, Martin
errShare
errSave
Non-monotonic dependence of high-temperature stability of stone wool fibres on pre-oxidation time and temperature
errJOURNAL OF NON-CRYSTALLINE SOLIDS
IF3.5
err2024-09-01
err0
errOAAI
errJensen, Peter G.; Belmonte, Louise; Rasmussen, Krestine Hofstedt; Solvang, Mette; Bojesen, Espen Drath; Peter, Thomas; Deubener, Joachim; Yue, Yuanzheng
errShare
errSave
Integration of flexibility potentials of district heating systems into electricity markets: A review
errRENEWABLE & SUSTAINABLE ENERGY REVIEWS
IF16.3
err2022-05-01
err31
PREAI
errGolmohamadi, Hessam; Larsen, Kim Guldstrand; Jensen, Peter Gjol; Hasrat, Imran Riaz
errShare
errSave
Automata-Theoretic Approach to Verification of MPLS Networks Under Link Failures
errIEEE-ACM TRANSACTIONS ON NETWORKING
IF3.6
err2022-04-01
err4
errOAAI
errvan Duijn, Ingo; Jensen, Peter Gjol; Jensen, Jesper Stenbjerg; Krogh, Troels Beck; Madsen, Jonas Sand; Schmid, Stefan; Srba, Jiri; Thorgersen, Marc Tom
errShare
errSave
Hierarchical flexibility potentials of residential buildings with responsive heat pumps: A case study of Denmark
errJOURNAL OF BUILDING ENGINEERING
IF7.4
err2021-09-01
err18
PREAI
errGolmohamadi, Hessam; Larsen, Kim Guldstrand; Jensen, Peter Gjol; Hasrat, Imran Riaz
errShare
errSave
Optimization of power-to-heat flexibility for residential buildings in response to day-ahead electricity price
errENERGY AND BUILDINGS
IF7.1
err2021-02-01
err43
PREAI
errGolmohamadi, Hessam; Larsen, Kim Guldstrand; Jensen, Peter Gjol; Hasrat, Imran Riaz
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
T
Thomas Peter
H-index: 93 · Papers: 827
K
Kim G. Larsen
H-index: 70 · Papers: 854
Y
Yuanzheng Yue
H-index: 68 · Papers: 861
S
Stefan Schmid
H-index: 50 · Papers: 918
A
Andrzej Wąsowski
H-index: 43 · Papers: 255
View more