Edit Profile (opens in new tab) Vroon, Daron Co-Author Distance Author ID: vroon.daron Published as: Vroon, Daron External Links: MGP Documents Indexed: 9 Publications since 2003 Co-Authors: 10 Co-Authors with 9 Joint Publications 70 Co-Co-Authors all top 5 Co-Authors 0 single-authored 8 Manolios, Panagiotis 3 Moore, J Strother 2 Dillinger, Peter C. 2 Ray, Sandip 1 Chamarthi, Harsh Raju 1 Greve, David A. 1 Kaufmann, Matt 1 Ruiz-Reina, José-Luis 1 Sumners, Rob 1 Wilding, Matthew Serials 1 Journal of Automated Reasoning 1 Journal of Functional Programming Fields 9 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 8 Publications have been cited 52 times in 39 Documents Cited by ▼ Year ▼ Termination analysis with calling context graphs. Zbl 1188.68110 Manolios, Panagiotis; Vroon, Daron 14 2006 Verification condition generation via theorem proving. Zbl 1165.68410 Matthews, John; Moore, J. Strother; Ray, Sandip; Vroon, Daron 7 2006 Efficient execution in an automated reasoning environment. Zbl 1128.68090 Greve, David A.; Kaufmann, Matt; Manolios, Panagiotis; Moore, J. Strother; Ray, Sandip; Ruiz-Reina, José Luis; Sumners, Rob; Vroon, Daron; Wilding, Matthew 7 2008 ACL2s: “the ACL2 sedan”. Zbl 1278.68258 Dillinger, Peter C.; Manolios, Panagiotis; Vroon, Daron; Moore, J Strother 7 2007 Algorithms for ordinal arithmetic. Zbl 1278.68272 Manolios, Panagiotis; Vroon, Daron 7 2003 Ordinal arithmetic: Algorithms and mechanization. Zbl 1108.03020 Manolios, Panagiotis; Vroon, Daron 5 2005 The ACL2 Sedan theorem proving system. Zbl 1316.68132 Chamarthi, Harsh Raju; Dillinger, Peter; Manolios, Panagiotis; Vroon, Daron 4 2011 Integrating reasoning about ordinal arithmetic into ACL2. Zbl 1117.68485 Manolios, Panagiotis; Vroon, Daron 1 2004 The ACL2 Sedan theorem proving system. Zbl 1316.68132 Chamarthi, Harsh Raju; Dillinger, Peter; Manolios, Panagiotis; Vroon, Daron 4 2011 Efficient execution in an automated reasoning environment. Zbl 1128.68090 Greve, David A.; Kaufmann, Matt; Manolios, Panagiotis; Moore, J. Strother; Ray, Sandip; Ruiz-Reina, José Luis; Sumners, Rob; Vroon, Daron; Wilding, Matthew 7 2008 ACL2s: “the ACL2 sedan”. Zbl 1278.68258 Dillinger, Peter C.; Manolios, Panagiotis; Vroon, Daron; Moore, J Strother 7 2007 Termination analysis with calling context graphs. Zbl 1188.68110 Manolios, Panagiotis; Vroon, Daron 14 2006 Verification condition generation via theorem proving. Zbl 1165.68410 Matthews, John; Moore, J. Strother; Ray, Sandip; Vroon, Daron 7 2006 Ordinal arithmetic: Algorithms and mechanization. Zbl 1108.03020 Manolios, Panagiotis; Vroon, Daron 5 2005 Integrating reasoning about ordinal arithmetic into ACL2. Zbl 1117.68485 Manolios, Panagiotis; Vroon, Daron 1 2004 Algorithms for ordinal arithmetic. Zbl 1278.68272 Manolios, Panagiotis; Vroon, Daron 7 2003 all cited Publications top 5 cited Publications all top 5 Cited by 81 Authors 6 Moore, J Strother 4 Kaufmann, Matt 4 Manolios, Panagiotis 3 Ray, Sandip 3 Vroon, Daron 2 Almeida, Ariane Alves 2 Ayala-Rincón, Mauricio 2 Dillinger, Peter C. 2 Fuhs, Carsten 2 Giesl, Jürgen 2 Godlin, Benny 2 Gordon, Michael J. C. 2 Myreen, Magnus O. 2 Parting, Michael 2 Podelski, Andreas 2 Ramos, Thiago Mendonça Ferreira 2 Rybalchenko, Andrey 2 Schneider-Kamp, Peter 2 Strichman, Ofer 2 Swiderski, Stephan 1 Appel, Andrew W. 1 Avelar da Silva, Andréia B. 1 Ben-Amram, Amir M. 1 Bérard, Béatrice 1 Beringer, Lennart 1 Bierman, Gavin M. 1 Bockenek, Joshua A. 1 Bollig, Benedikt 1 Cao, Qinxiang 1 Chamarthi, Harsh Raju 1 Codish, Michael 1 Cook, Byron 1 Dodds, Josiah 1 Dutle, Aaron M. 1 Gordon, Andrew D. 1 Goubault-Larrecq, Jean 1 Grütter, Samuel 1 Halfon, Simon 1 Heule, Marijn J. H. 1 Hriţcu, Cătălin 1 Hunt, Warren A. jun. 1 Hunt, Warren jun. 1 Ish-Shalom, Oren 1 Itzhaky, Shachar 1 Jhala, Ranjit 1 Johnson, Andrew D. 1 Karandikar, Prateek 1 Kraus, Nicolai 1 Krauss, Alexander 1 Kumar, K. Narayan 1 Langworthy, David E. 1 Lehaut, Mathieu 1 Leino, K. Rustan M. 1 Liu, Shaoying 1 Makowsky, Johann-Andreas 1 Medina-Bulo, Inmaculada 1 Middeldorp, Aart 1 Moscato, Mariano M. 1 Muñoz, César A. 1 Narkawicz, Anthony Joseph 1 Nordvall Forsberg, Fredrik 1 Owens, Scott 1 Palomo-Lozano, Francisco 1 Ravindran, Binoy 1 Reeber, Erik 1 Rinetzky, Noam 1 Ruiz-Reina, José-Luis 1 Schnoebelen, Philippe 1 Shoham, Sharon 1 Slind, Konrad 1 Sumners, Rob 1 Sznajder, Nathalie 1 Turon, Aaron Joseph 1 Verbeek, Freek 1 Wahl, Thomas 1 Wetzler, Nathan D. 1 Winkler, Sarah 1 Xu, Chuangjie 1 Zamansky, Anna 1 Zankl, Harald 1 Zuleger, Florian all top 5 Cited in 10 Serials 9 Journal of Automated Reasoning 2 Journal of Symbolic Computation 2 Formal Methods in System Design 1 Acta Informatica 1 Theoretical Computer Science 1 Science of Computer Programming 1 Formal Aspects of Computing 1 Journal of Functional Programming 1 Higher-Order and Symbolic Computation 1 Journal of Applied Logic Cited in 4 Fields 37 Computer science (68-XX) 8 Mathematical logic and foundations (03-XX) 1 Commutative algebra (13-XX) 1 Mathematics education (97-XX) Citations by Year