×
Author ID: vroon.daron Recent zbMATH articles by "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

Publications by Year

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 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

Citations by Year