Edit Profile (opens in new tab) Ernst, Gidon Compute Distance To: Compute Author ID: ernst.gidon Published as: Ernst, Gidon Documents Indexed: 4 Publications since 2014 Co-Authors: 7 Co-Authors with 3 Joint Publications 95 Co-Co-Authors all top 5 Co-Authors 1 single-authored 1 Bao, Yuyan 1 Fedyukovich, Grigory 1 Leavens, Gary T. 1 Pfähler, Jörg 1 Reif, Wolfgang 1 Schellhorn, Gerhard 1 Tofan, Bogdan Serials 1 Formal Aspects of Computing 1 Annals of Mathematics and Artificial Intelligence Fields 4 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 2 Publications have been cited 8 times in 7 Documents Cited by ▼ Year ▼ RGITL: a temporal logic framework for compositional reasoning about interleaved programs. Zbl 1329.68172Schellhorn, Gerhard; Tofan, Bogdan; Ernst, Gidon; Pfähler, Jörg; Reif, Wolfgang 7 2014 Bridging arrays and ADTs in recursive proofs. Zbl 1474.68048Fedyukovich, Grigory; Ernst, Gidon 1 2021 Bridging arrays and ADTs in recursive proofs. Zbl 1474.68048Fedyukovich, Grigory; Ernst, Gidon 1 2021 RGITL: a temporal logic framework for compositional reasoning about interleaved programs. Zbl 1329.68172Schellhorn, Gerhard; Tofan, Bogdan; Ernst, Gidon; Pfähler, Jörg; Reif, Wolfgang 7 2014 all cited Publications top 5 cited Publications all top 5 Cited by 18 Authors 3 Schellhorn, Gerhard 2 Wehrheim, Heike 1 Bitterlich, Martin 1 Bodenmüller, Stefan 1 Derrick, John 1 Ernst, Gidon 1 Ferrarotti, Flavio Antonio 1 Guelev, Dimitar P. 1 Kobayashi, Naoki 1 Moszkowski, Ben C. 1 Reif, Wolfgang 1 Sakayori, Ken 1 Sato, Ryosuke 1 Schewe, Klaus-Dieter 1 Shimoda, Takumi 1 Tec, Loredana 1 Travkin, Oleg 1 Wang, Qing Cited in 3 Serials 1 Formal Aspects of Computing 1 Annals of Mathematics and Artificial Intelligence 1 ACM Transactions on Computational Logic Cited in 2 Fields 7 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) Citations by Year