×

Jensen, Peter Gjøl

Author ID: jensen.peter-gjol Recent zbMATH articles by "Jensen, Peter Gjøl"
Published as: Jensen, Peter Gjøl; Jensen, Peter G.
Documents Indexed: 20 Publications since 2009
Co-Authors: 40 Co-Authors with 19 Joint Publications
442 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

14 Publications have been cited 56 times in 37 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.
9
2014
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ří
7
2018
Real-time strategy synthesis for timed-arc Petri net games via discretization. Zbl 1354.68196
Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří
5
2016
Stubborn versus structural reductions for Petri nets. Zbl 1407.68330
Bønneland, Frederik M.; Dyhr, Jakob; Jensen, Peter G.; Johannsen, Mads; Srba, Jiří
5
2019
Partial order reduction for reachability games. Zbl 07649931
Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim G.; Muñiz, Marco; Srba, Jiří
5
2019
Stubborn set reduction for two-player reachability games. Zbl 1501.68002
Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří
5
2021
Refinement of trace abstraction for real-time programs. Zbl 1478.68052
Cassez, Franck; Jensen, Peter Gjøl; Guldstrand Larsen, Kim
4
2017
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
4
2009
Start pruning when time gets urgent: partial order reduction for timed systems. Zbl 1511.68180
Bønneland, Frederik M.; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří
4
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ří
3
2018
PTrie: data structure for compressing and storing sets via prefix sharing. Zbl 1444.68063
Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří
3
2017
Automatic synthesis of transiently correct network updates via Petri games. Zbl 1489.68157
Didriksen, Martin; Jensen, Peter G.; Jønler, Jonathan F.; Katona, Andrei-Ioan; Lama, Sangey D. L.; Lottrup, Frederik B.; Shajarat, Shahab; Srba, Jiří
3
2021
Improvements in unfolding of colored Petri nets. Zbl 07670973
Bilgram, Alexander; Jensen, Peter G.; Pedersen, Thomas; Srba, Jiří; Taankvist, Peter H.
2
2021
Verification and parameter synthesis for real-time programs using refinement of trace abstraction. Zbl 1478.68053
Cassez, Franck; Jensen, Peter Gjøl; Guldstrand, Larsen Kim
1
2021
Stubborn set reduction for two-player reachability games. Zbl 1501.68002
Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří
5
2021
Automatic synthesis of transiently correct network updates via Petri games. Zbl 1489.68157
Didriksen, Martin; Jensen, Peter G.; Jønler, Jonathan F.; Katona, Andrei-Ioan; Lama, Sangey D. L.; Lottrup, Frederik B.; Shajarat, Shahab; Srba, Jiří
3
2021
Improvements in unfolding of colored Petri nets. Zbl 07670973
Bilgram, Alexander; Jensen, Peter G.; Pedersen, Thomas; Srba, Jiří; Taankvist, Peter H.
2
2021
Verification and parameter synthesis for real-time programs using refinement of trace abstraction. Zbl 1478.68053
Cassez, Franck; Jensen, Peter Gjøl; Guldstrand, Larsen Kim
1
2021
Stubborn versus structural reductions for Petri nets. Zbl 1407.68330
Bønneland, Frederik M.; Dyhr, Jakob; Jensen, Peter G.; Johannsen, Mads; Srba, Jiří
5
2019
Partial order reduction for reachability games. Zbl 07649931
Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim G.; Muñiz, Marco; Srba, Jiří
5
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ří
7
2018
Start pruning when time gets urgent: partial order reduction for timed systems. Zbl 1511.68180
Bønneland, Frederik M.; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří
4
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ří
3
2018
Refinement of trace abstraction for real-time programs. Zbl 1478.68052
Cassez, Franck; Jensen, Peter Gjøl; Guldstrand Larsen, Kim
4
2017
PTrie: data structure for compressing and storing sets via prefix sharing. Zbl 1444.68063
Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří
3
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ří
5
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.
9
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
4
2009
all top 5

Cited by 78 Authors

10 Srba, Jiří
9 Jensen, Peter Gjøl
8 Larsen, Kim Guldstrand
4 Bønneland, Frederik Meyer
4 Wolf, Karsten
3 Amat, Nicolas
3 Dal Zilio, Silvano
3 Muñiz, Marco
3 Neele, Thomas
3 Willemse, Tim A. C.
2 Bacci, Giovanni
2 Berthomieu, Bernard
2 Bouyer, Patricia
2 Fahrenberg, Uli
2 Jovanović, Aleksandra Ž.
2 Kwiatkowska, Marta Z.
2 Liebke, Torsten
2 Markey, Nicolas
2 Norman, Gethin
2 Raskin, Jean-François
2 Reynier, Pierre-Alain
2 Thierry-Mieg, Yann
2 Ulrik, Nikolaj Jensen
2 Valmari, Antti
2 Wallner, Sophie
1 Aichernig, Bernhard K.
1 Bilgram, Alexander
1 Bruyère, Véronique
1 Cassez, Franck
1 Chen, Zhenbang
1 Didriksen, Martin
1 Du, Yide
1 Dyhr, Jakob
1 Enevoldsen, Søren
1 Filiot, Emmanuel
1 Gange, Graeme
1 Guldstrand, Larsen Kim
1 Herbreteau, Frédéric
1 Hoffmann, Jan-Philipp
1 Hong, Weijiang
1 Hu, Hesuan
1 Jensen, Mathias Claus
1 Johannsen, Mads
1 Johansen, Nicklas S.
1 Jønler, Jonathan F.
1 Junges, Sebastian
1 Kær, Lasse B.
1 Kafle, Bishoksan
1 Kahn, David M.
1 Katoen, Joost-Pieter
1 Katona, Andrei-Ioan
1 Křetínský, Jan
1 Lama, Sangey D. L.
1 Le Botlan, Didier
1 Lottrup, Frederik B.
1 Madsen, Andreas L.
1 Mariegaard, Anders
1 Mikucionis, Marius
1 Nielsen, Kristian Ø.
1 Pérez, Guillermo A.
1 Peyras, Quentin
1 Quatmann, Tim
1 Randour, Mickael
1 Schachte, Peter
1 Shajarat, Shahab
1 Søndergaard, Harald
1 Srivathsan, Balaguru
1 Stuckey, Peter James
1 Taankvist, Jakob Haahr
1 Taankvist, Peter H.
1 Tappler, Martin
1 Tollund, Rasmus G.
1 Virenfeldt, Simon Mejlby
1 Walukiewicz, Igor
1 Wang, Ji
1 Wesselink, Wieger
1 Zhao, Jinjing
1 Zhong, Wenjing

Citations by Year