Edit Profile (opens in new tab) Jensen, Peter Gjøl Compute Distance To: Compute Author ID: jensen.peter-gjol Published as: Jensen, Peter Gjøl; Jensen, Peter G. Documents Indexed: 15 Publications since 2009 Co-Authors: 34 Co-Authors with 14 Joint Publications 429 Co-Co-Authors all top 5 Co-Authors 0 single-authored 11 Srba, Jiří 8 Larsen, Kim Guldstrand 5 Bønneland, Frederik Meyer 3 Muñiz, Marco 2 Cassez, Franck 2 Dyhr, Jakob 2 Johannsen, Mads 1 Blessinger, Todd 1 Dalsgaard, Andreas Engelbredt 1 David, Alexandre 1 Didriksen, Martin 1 Enevoldsen, Søren 1 Fogh, Peter 1 Guldstrand, Larsen Kim 1 Jensen, Lasse S. 1 Jepsen, Tobias S. 1 Jeske, Daniel R. 1 Jønler, Jonathan F. 1 Katona, Andrei-Ioan 1 Kaufmann, Isabella 1 Konggaard Schou, Morten 1 Lama, Sangey D. L. 1 Legay, Axel 1 Lime, Didier 1 Lottrup, Frederik B. 1 Nielsen, Søren M. 1 Olesen, Mads Christian 1 Pastva, Samuel 1 Schmid, Stefan 1 Shajarat, Shahab 1 Sørensen, Mathias Grund 1 Taankvist, Jakob Haahr 1 Trumble, John 1 Ulrik, Nikolaj Jensen 1 van Duijn, Ingo 1 Vanerio, Juan 1 Virenfeldt, Simon Mejlby 1 Xu, Huaying Karen Serials 2 Fundamenta Informaticae 1 Logical Methods in Computer Science 1 Journal of Agricultural, Biological, and Environmental Statistics 1 Journal of Logical and Algebraic Methods in Programming Fields 14 Computer science (68-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Mathematical logic and foundations (03-XX) 1 Statistics (62-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 10 Publications have been cited 35 times in 24 Documents Cited by ▼ Year ▼ Real-time strategy synthesis for timed-arc Petri net games via discretization. Zbl 1354.68196Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří 5 2016 Stubborn set reduction for two-player reachability games. Zbl 1501.68002Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří 5 2021 Simplification of CTL formulae for efficient model checking of Petri nets. Zbl 1427.68161Bønneland, Frederik; Dyhr, Jakob; Jensen, Peter G.; Johannsen, Mads; Srba, Jiří 5 2018 On time with minimal expected cost! Zbl 1448.68294David, Alexandre; Jensen, Peter G.; Guldstrand Larsen, Kim; Legay, Axel; Lime, Didier; Sørensen, Mathias Grund; Taankvist, Jakob H. 5 2014 Stubborn versus structural reductions for Petri nets. Zbl 1407.68330Bønneland, Frederik M.; Dyhr, Jakob; Jensen, Peter G.; Johannsen, Mads; Srba, Jiří 5 2019 Testing for the equality of EC50 values in the presence of unequal slopes with application to toxicity of selenium types. Zbl 1306.62233Jeske, Daniel R.; Xu, Huaying Karen; Blessinger, Todd; Jensen, Peter; Trumble, John 3 2009 Refinement of trace abstraction for real-time programs. Zbl 1478.68052Cassez, Franck; Jensen, Peter Gjøl; Guldstrand Larsen, Kim 3 2017 PTrie: data structure for compressing and storing sets via prefix sharing. Zbl 1444.68063Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří 3 2017 A distributed fixed-point algorithm for extended dependency graphs. Zbl 1396.68070Dalsgaard, 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ří 2 2018 Automatic synthesis of transiently correct network updates via Petri games. Zbl 1489.68157Didriksen, Martin; Jensen, Peter G.; Jønler, Jonathan F.; Katona, Andrei-Ioan; Lama, Sangey D. L.; Lottrup, Frederik B.; Shajarat, Shahab; Srba, Jiří 2 2021 Stubborn set reduction for two-player reachability games. Zbl 1501.68002Bø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.68157Didriksen, Martin; Jensen, Peter G.; Jønler, Jonathan F.; Katona, Andrei-Ioan; Lama, Sangey D. L.; Lottrup, Frederik B.; Shajarat, Shahab; Srba, Jiří 2 2021 Stubborn versus structural reductions for Petri nets. Zbl 1407.68330Bønneland, Frederik M.; Dyhr, Jakob; Jensen, Peter G.; Johannsen, Mads; Srba, Jiří 5 2019 Simplification of CTL formulae for efficient model checking of Petri nets. Zbl 1427.68161Bønneland, Frederik; Dyhr, Jakob; Jensen, Peter G.; Johannsen, Mads; Srba, Jiří 5 2018 A distributed fixed-point algorithm for extended dependency graphs. Zbl 1396.68070Dalsgaard, 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ří 2 2018 Refinement of trace abstraction for real-time programs. Zbl 1478.68052Cassez, Franck; Jensen, Peter Gjøl; Guldstrand Larsen, Kim 3 2017 PTrie: data structure for compressing and storing sets via prefix sharing. Zbl 1444.68063Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří 3 2017 Real-time strategy synthesis for timed-arc Petri net games via discretization. Zbl 1354.68196Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří 5 2016 On time with minimal expected cost! Zbl 1448.68294David, 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.62233Jeske, Daniel R.; Xu, Huaying Karen; Blessinger, Todd; Jensen, Peter; Trumble, John 3 2009 all cited Publications top 5 cited Publications all top 5 Cited by 56 Authors 8 Srba, Jiří 7 Jensen, Peter Gjøl 6 Larsen, Kim Guldstrand 4 Bønneland, Frederik Meyer 3 Amat, Nicolas 3 Dal Zilio, Silvano 3 Muñiz, Marco 2 Berthomieu, Bernard 2 Neele, Thomas 2 Thierry-Mieg, Yann 2 Willemse, Tim A. C. 2 Wolf, Karsten 1 Aichernig, Bernhard K. 1 Bacci, Giovanni 1 Bouyer, Patricia 1 Bruyère, Véronique 1 Cassez, Franck 1 Didriksen, Martin 1 Dyhr, Jakob 1 Enevoldsen, Søren 1 Fahrenberg, Uli 1 Filiot, Emmanuel 1 Guldstrand, Larsen Kim 1 Hoffmann, Jan-Philipp 1 Jensen, Mathias Claus 1 Johannsen, Mads 1 Johansen, Nicklas S. 1 Jønler, Jonathan F. 1 Jovanović, Aleksandra Ž. 1 Kær, Lasse B. 1 Kahn, David M. 1 Katona, Andrei-Ioan 1 Kwiatkowska, Marta Z. 1 Lama, Sangey D. L. 1 Le Botlan, Didier 1 Liebke, Torsten 1 Lottrup, Frederik B. 1 Madsen, Andreas L. 1 Mariegaard, Anders 1 Markey, Nicolas 1 Mikucionis, Marius 1 Nielsen, Kristian Ø. 1 Norman, Gethin 1 Peyras, Quentin 1 Randour, Mickael 1 Raskin, Jean-François 1 Reynier, Pierre-Alain 1 Shajarat, Shahab 1 Taankvist, Jakob Haahr 1 Tappler, Martin 1 Tollund, Rasmus G. 1 Ulrik, Nikolaj Jensen 1 Valmari, Antti 1 Virenfeldt, Simon Mejlby 1 Wallner, Sophie 1 Wesselink, Wieger all top 5 Cited in 6 Serials 3 Fundamenta Informaticae 2 Logical Methods in Computer Science 1 Theoretical Computer Science 1 Information and Computation 1 Formal Methods in System Design 1 Journal of Logical and Algebraic Methods in Programming Cited in 5 Fields 23 Computer science (68-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Mathematical logic and foundations (03-XX) 2 Operations research, mathematical programming (90-XX) 2 Systems theory; control (93-XX) Citations by Year