×

zbMATH — the first resource for mathematics

Jensen, Peter Gjøl

Compute Distance To:
Author ID: jensen.peter-gjol Recent zbMATH articles by "Jensen, Peter Gjøl"
Published as: Jensen, Peter; Jensen, Peter G.; Jensen, Peter Gjøl
Documents Indexed: 9 Publications since 2009

Publications by Year

Citations contained in zbMATH Open

5 Publications have been cited 10 times in 9 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.
4
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
Refinement of trace abstraction for real-time programs. Zbl 06820343
Cassez, Franck; Jensen, Peter Gjøl; Guldstrand Larsen, Kim
1
2017
PTrie: data structure for compressing and storing sets via prefix sharing. Zbl 1444.68063
Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří
1
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ří
1
2016
Refinement of trace abstraction for real-time programs. Zbl 06820343
Cassez, Franck; Jensen, Peter Gjøl; Guldstrand Larsen, Kim
1
2017
PTrie: data structure for compressing and storing sets via prefix sharing. Zbl 1444.68063
Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří
1
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ří
1
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.
4
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