×

Jensen, Peter Gjøl

Compute Distance To:
Author ID: jensen.peter-gjol Recent zbMATH articles by "Jensen, Peter Gjøl"
Published as: Jensen, Peter G.; Jensen, Peter Gjøl
Documents Indexed: 12 Publications since 2009
Co-Authors: 28 Co-Authors with 11 Joint Publications
330 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

9 Publications have been cited 25 times in 18 Documents Cited by Year
On time with minimal expected cost! Zbl 1448.68294
David, Alexandre; Jensen, Peter G.; Guldstrand Larsen, Kim; Legay, Axel; Lime, Didier; Sørensen, Mathias Grund; Taankvist, Jakob H.
5
2014
Stubborn set reduction for two-player reachability games. Zbl 07327954
Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří
4
2021
Stubborn versus structural reductions for Petri nets. Zbl 1407.68330
Bønneland, Frederik M.; Dyhr, Jakob; Jensen, Peter G.; Johannsen, Mads; Srba, Jiří
3
2019
Real-time strategy synthesis for timed-arc Petri net games via discretization. Zbl 1354.68196
Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří
3
2016
Testing for the equality of EC50 values in the presence of unequal slopes with application to toxicity of selenium types. Zbl 1306.62233
Jeske, Daniel R.; Xu, Huaying Karen; Blessinger, Todd; Jensen, Peter; Trumble, John
3
2009
PTrie: data structure for compressing and storing sets via prefix sharing. Zbl 1444.68063
Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří
2
2017
Refinement of trace abstraction for real-time programs. Zbl 1478.68052
Cassez, Franck; Jensen, Peter Gjøl; Guldstrand Larsen, Kim
2
2017
Simplification of CTL formulae for efficient model checking of Petri nets. Zbl 1427.68161
Bønneland, Frederik; Dyhr, Jakob; Jensen, Peter G.; Johannsen, Mads; Srba, Jiří
2
2018
A distributed fixed-point algorithm for extended dependency graphs. Zbl 1396.68070
Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jensen, Peter G.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr.; Pastva, Samuel; Srba, Jiří
1
2018
Stubborn set reduction for two-player reachability games. Zbl 07327954
Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří
4
2021
Stubborn versus structural reductions for Petri nets. Zbl 1407.68330
Bønneland, Frederik M.; Dyhr, Jakob; Jensen, Peter G.; Johannsen, Mads; Srba, Jiří
3
2019
Simplification of CTL formulae for efficient model checking of Petri nets. Zbl 1427.68161
Bønneland, Frederik; Dyhr, Jakob; Jensen, Peter G.; Johannsen, Mads; Srba, Jiří
2
2018
A distributed fixed-point algorithm for extended dependency graphs. Zbl 1396.68070
Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jensen, Peter G.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr.; Pastva, Samuel; Srba, Jiří
1
2018
PTrie: data structure for compressing and storing sets via prefix sharing. Zbl 1444.68063
Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří
2
2017
Refinement of trace abstraction for real-time programs. Zbl 1478.68052
Cassez, Franck; Jensen, Peter Gjøl; Guldstrand Larsen, Kim
2
2017
Real-time strategy synthesis for timed-arc Petri net games via discretization. Zbl 1354.68196
Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří
3
2016
On time with minimal expected cost! Zbl 1448.68294
David, Alexandre; Jensen, Peter G.; Guldstrand Larsen, Kim; Legay, Axel; Lime, Didier; Sørensen, Mathias Grund; Taankvist, Jakob H.
5
2014
Testing for the equality of EC50 values in the presence of unequal slopes with application to toxicity of selenium types. Zbl 1306.62233
Jeske, Daniel R.; Xu, Huaying Karen; Blessinger, Todd; Jensen, Peter; Trumble, John
3
2009

Citations by Year