×

zbMATH — the first resource for mathematics

Manolios, Panagiotis

Compute Distance To:
Author ID: manolios.panagiotis Recent zbMATH articles by "Manolios, Panagiotis"
Published as: Manolios, Panagiotis
External Links: MGP
Documents Indexed: 25 Publications since 1999

Publications by Year

Citations contained in zbMATH Open

20 Publications have been cited 67 times in 49 Documents Cited by Year
Partial functions in ACL2. Zbl 1060.68109
Manolios, Panagiotis; Moore, J. Strother
12
2003
Termination analysis with calling context graphs. Zbl 1188.68110
Manolios, Panagiotis; Vroon, Daron
8
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
6
2008
A compositional theory of refinement for branching time. Zbl 1179.68088
Manolios, Panagiotis
6
2003
The ACL2 Sedan theorem proving system. Zbl 1316.68132
Chamarthi, Harsh Raju; Dillinger, Peter; Manolios, Panagiotis; Vroon, Daron
5
2011
ACL2s: “the ACL2 sedan”. Zbl 1278.68258
Dillinger, Peter C.; Manolios, Panagiotis; Vroon, Daron; Moore, J Strother
5
2007
Algorithms for ordinal arithmetic. Zbl 1278.68272
Manolios, Panagiotis; Vroon, Daron
5
2003
Ordinal arithmetic: Algorithms and mechanization. Zbl 1108.03020
Manolios, Panagiotis; Vroon, Daron
4
2005
On the desirability of mechanizing calculational proofs. Zbl 1003.68150
Manolios, Panagiotis; Moore, J. Strother
3
2001
Quantifier elimination by dependency sequents. Zbl 1311.03061
Goldberg, Eugene; Manolios, Panagiotis
2
2014
Linking theorem proving and model-checking with well-founded bisimulation. Zbl 1046.68602
Manolios, Panagiotis; Namjoshi, Kedar; Summers, Robert
2
1999
An array-oriented language with static rank polymorphism. Zbl 1405.68091
Slepak, Justin; Shivers, Olin; Manolios, Panagiotis
1
2014
SAT-solving based on boundary point elimination. Zbl 1325.68213
Goldberg, Eugene; Manolios, Panagiotis
1
2011
All-Termination\((T)\). Zbl 1234.68079
Manolios, Panagiotis; Turon, Aaron
1
2009
A posteriori soundness for non-deterministic abstract interpretations. Zbl 1206.68093
Might, Matthew; Manolios, Panagiotis
1
2009
A parameterized benchmark suite of hard pipelined-machine-Verification problems. Zbl 1159.68329
Manolios, Panagiotis; Srinivasan, Sudarshan K.
1
2005
Fast and accurate bitstate verification for SPIN. Zbl 1125.68368
Dillinger, Peter C.; Manolios, Panagiotis
1
2004
Bloom filters in probabilistic verification. Zbl 1117.68426
Dillinger, Peter C.; Manolios, Panagiotis
1
2004
Integrating reasoning about ordinal arithmetic into ACL2. Zbl 1117.68485
Manolios, Panagiotis; Vroon, Daron
1
2004
A lattice-theoretic characterization of safety and liveness. Zbl 1321.68360
Manolios, Panagiotis; Trefler, Richard
1
2003
Quantifier elimination by dependency sequents. Zbl 1311.03061
Goldberg, Eugene; Manolios, Panagiotis
2
2014
An array-oriented language with static rank polymorphism. Zbl 1405.68091
Slepak, Justin; Shivers, Olin; Manolios, Panagiotis
1
2014
The ACL2 Sedan theorem proving system. Zbl 1316.68132
Chamarthi, Harsh Raju; Dillinger, Peter; Manolios, Panagiotis; Vroon, Daron
5
2011
SAT-solving based on boundary point elimination. Zbl 1325.68213
Goldberg, Eugene; Manolios, Panagiotis
1
2011
All-Termination\((T)\). Zbl 1234.68079
Manolios, Panagiotis; Turon, Aaron
1
2009
A posteriori soundness for non-deterministic abstract interpretations. Zbl 1206.68093
Might, Matthew; Manolios, Panagiotis
1
2009
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
6
2008
ACL2s: “the ACL2 sedan”. Zbl 1278.68258
Dillinger, Peter C.; Manolios, Panagiotis; Vroon, Daron; Moore, J Strother
5
2007
Termination analysis with calling context graphs. Zbl 1188.68110
Manolios, Panagiotis; Vroon, Daron
8
2006
Ordinal arithmetic: Algorithms and mechanization. Zbl 1108.03020
Manolios, Panagiotis; Vroon, Daron
4
2005
A parameterized benchmark suite of hard pipelined-machine-Verification problems. Zbl 1159.68329
Manolios, Panagiotis; Srinivasan, Sudarshan K.
1
2005
Fast and accurate bitstate verification for SPIN. Zbl 1125.68368
Dillinger, Peter C.; Manolios, Panagiotis
1
2004
Bloom filters in probabilistic verification. Zbl 1117.68426
Dillinger, Peter C.; Manolios, Panagiotis
1
2004
Integrating reasoning about ordinal arithmetic into ACL2. Zbl 1117.68485
Manolios, Panagiotis; Vroon, Daron
1
2004
Partial functions in ACL2. Zbl 1060.68109
Manolios, Panagiotis; Moore, J. Strother
12
2003
A compositional theory of refinement for branching time. Zbl 1179.68088
Manolios, Panagiotis
6
2003
Algorithms for ordinal arithmetic. Zbl 1278.68272
Manolios, Panagiotis; Vroon, Daron
5
2003
A lattice-theoretic characterization of safety and liveness. Zbl 1321.68360
Manolios, Panagiotis; Trefler, Richard
1
2003
On the desirability of mechanizing calculational proofs. Zbl 1003.68150
Manolios, Panagiotis; Moore, J. Strother
3
2001
Linking theorem proving and model-checking with well-founded bisimulation. Zbl 1046.68602
Manolios, Panagiotis; Namjoshi, Kedar; Summers, Robert
2
1999
all top 5

Cited by 89 Authors

6 Manolios, Panagiotis
6 Moore, J Strother
3 Kaufmann, Matt
3 Meseguer Guaita, José
3 Myreen, Magnus O.
3 Ray, Sandip
3 Vroon, Daron
2 Dillinger, Peter C.
2 Fuhs, Carsten
2 Giesl, Jürgen
2 Godlin, Benny
2 Gordon, Michael J. C.
2 Hesselink, Wim H.
2 Krauss, Alexander
2 Martí-Oliet, Narciso
2 Palomino, Miguel
2 Parting, Michael
2 Podelski, Andreas
2 Rybalchenko, Andrey
2 Schneider-Kamp, Peter
2 Strichman, Ofer
2 Swiderski, Stephan
1 Adams, Michael D.
1 Affeldt, Reynald
1 Aziz, Rehan Abdul
1 Bierman, Gavin M.
1 Boldo, Sylvie
1 Botella, Bernard
1 Bove, Ana
1 Chamarthi, Harsh Raju
1 Chu, Geoffrey
1 Cook, Byron
1 Davis, Jared
1 Eisner, Cindy
1 Fisman, Dana
1 Gibbons, Jeremy
1 Gilray, Thomas
1 Giorgetti, Alain
1 Goldberg, Eugene L.
1 Gordon, Andrew D.
1 Goubault-Larrecq, Jean
1 Halfon, Simon
1 Havlicek, John W.
1 Heras, Jónathan
1 Hriţcu, Cătălin
1 Hunt, Warren A. jun.
1 Jhala, Ranjit
1 Julliand, Jacques
1 Karandikar, Prateek
1 Katebi, Hadi
1 Kirsch, Adam
1 Kobayashi, Naoki
1 Kosmatov, Nikolai
1 Kumar, K. Narayan
1 Langworthy, David E.
1 Leino, K. Rustan M.
1 Lelay, Catherine
1 Liu, Shaoying
1 MacKenzie, Donald
1 Makowsky, Johann-Andreas
1 Marques-Silva, João P.
1 Martín-Mateos, Francisco-Jesús
1 Matthews, John V.
1 Medina-Bulo, Inmaculada
1 Melquiond, Guillaume
1 Middeldorp, Aart
1 Might, Matthew
1 Mitzenmacher, Michael
1 Muise, Christian
1 Owens, Scott
1 Palomo-Lozano, Francisco
1 Pascual, Vico
1 Petiot, Guillaume
1 Reeber, Erik
1 Ruiz-Reina, José-Luis
1 Sakallah, Karem A.
1 Schmaltz, Julien
1 Schnoebelen, Philippe
1 Slind, Konrad
1 Sozeau, Matthieu
1 Srinivasan, Sudarshan K.
1 Stuckey, Peter James
1 Sumners, Rob
1 Turon, Aaron Joseph
1 Verbeek, Freek
1 Winkler, Sarah
1 Zamansky, Anna
1 Zankl, Harald
1 Zuleger, Florian

Citations by Year