logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
P

Peter Gjøl Jensen

aalborg university

15H指数
81论文数
1.0K被引数
收录论文 7
发表时间
logo
Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid SystemsUppaal Coshy：混合系统紧凑型屏蔽的自动合成
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
err分享
err收藏
TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri NetsTAPAAL超LTL：用于检查Petri网超属性的软件工具
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
T
Thomas Peter
H 指数: 93 · 论文数: 826
K
Kim G. Larsen
H 指数: 70 · 论文数: 854
Y
Yuanzheng Yue
H 指数: 68 · 论文数: 859
S
Stefan Schmid
H 指数: 50 · 论文数: 918
A
Andrzej Wąsowski
H 指数: 43 · 论文数: 255
查看更多