Edit Profile (opens in new tab) Cuellar, Santiago Co-Author Distance Author ID: cuellar.santiago Published as: Cuellar, Santiago Documents Indexed: 2 Publications since 2015 Co-Authors: 4 Co-Authors with 2 Joint Publications 66 Co-Co-Authors Co-Authors 0 single-authored 2 Appel, Andrew W. 1 Beringer, Lennart 1 Cao, Qinxiang 1 Stewart, Gordon Serials Fields 1 Mathematical logic and foundations (03-XX) 1 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 2 Publications have been cited 12 times in 12 Documents Cited by ▼ Year ▼ Compositional CompCert. Zbl 1346.68056 Stewart, Gordon; Beringer, Lennart; Cuellar, Santiago; Appel, Andrew W. 7 2015 Bringing order to the separation logic jungle. Zbl 1503.03034 Cao, Qinxiang; Cuellar, Santiago; Appel, Andrew W. 5 2017 Bringing order to the separation logic jungle. Zbl 1503.03034 Cao, Qinxiang; Cuellar, Santiago; Appel, Andrew W. 5 2017 Compositional CompCert. Zbl 1346.68056 Stewart, Gordon; Beringer, Lennart; Cuellar, Santiago; Appel, Andrew W. 7 2015 all cited Publications top 5 cited Publications all top 5 Cited by 46 Authors 2 Abate, Carmine 1 Ahmed, Amal 1 Ariola, Zena M. 1 Birkedal, Lars 1 Bizjak, Aleš 1 Blanco, Roberto 1 Bowman, William J. 1 Busi, Matteo 1 Cao, Qinxiang 1 Chlipala, Adam J. 1 Ciobâcă, Ştefan 1 Delaware, Benjamin 1 Downen, Paul 1 Dreyer, Derek R. 1 Durier, Adrien 1 Fox, Anthony C. J. 1 Garg, Deepak 1 Gheorghiu, Alexander V. 1 Gross, Jason 1 Hriţcu, Cătălin 1 Jourdan, Jacques-Henri 1 Jung, Ralf 1 Koronkevich, Paulette 1 Krebbers, Robbert 1 Krishna, Siddharth 1 Kumar, Ramana 1 McIver, Annabelle K. 1 Morgan, Carroll C. 1 Myreen, Magnus O. 1 Norrish, Michael 1 Owens, Scott 1 Patrignani, Marco 1 Pit-Claudel, Clément 1 Pym, David J. 1 Rabehaja, Tahiry M. 1 Rakow, Ramon 1 Summers, Alexander J. 1 Tan, Yong Kiam 1 Tanter, Éric 1 Tao, Yichen 1 Théry, Laurent 1 Thibault, Jérémy 1 Tsampas, Stelios 1 Wang, Peng 1 Wiedijk, Freek 1 Wies, Thomas Cited in 4 Serials 3 Journal of Functional Programming 2 Logical Methods in Computer Science 1 Studia Logica 1 Mathematics in Computer Science Cited in 4 Fields 11 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 Probability theory and stochastic processes (60-XX) Citations by Year