×
Author ID: long.david-e Recent zbMATH articles by "Long, David E."
Published as: Long, David E.; Long, D. E.
Documents Indexed: 5 Publications since 1989
Co-Authors: 6 Co-Authors with 4 Joint Publications
172 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

5 Publications have been cited 56 times in 55 Documents Cited by Year
An improved algorithm for the evaluation of fixpoint expressions. Zbl 0901.68118
Browne, A.; Clarke, E. M.; Jha, S.; Long, D. E.; Marrero, W.
26
1997
Compositional model checking. Zbl 0716.68035
Clarke, E. M.; Long, D. E.; McMillan, K. L.
24
1989
Parthenon: A parallel theorem prover for non-Horn clauses. Zbl 0716.68076
Bose, Soumitra; Clarke, Edmund M.; Long, David E.; Michaylov, Spiro
5
1989
Numerical wave propagation on non-uniform one-dimensional staggered grids. Zbl 1217.65173
Long, David; Thuburn, J.
4
2011
PARTHENON: A parallel theorem prover for non-horn clauses. Zbl 0759.68079
Bose, Soumitra; Clarke, Edmund M.; Long, David E.; Michaylov, Spiro
1
1992
Numerical wave propagation on non-uniform one-dimensional staggered grids. Zbl 1217.65173
Long, David; Thuburn, J.
4
2011
An improved algorithm for the evaluation of fixpoint expressions. Zbl 0901.68118
Browne, A.; Clarke, E. M.; Jha, S.; Long, D. E.; Marrero, W.
26
1997
PARTHENON: A parallel theorem prover for non-horn clauses. Zbl 0759.68079
Bose, Soumitra; Clarke, Edmund M.; Long, David E.; Michaylov, Spiro
1
1992
Compositional model checking. Zbl 0716.68035
Clarke, E. M.; Long, D. E.; McMillan, K. L.
24
1989
Parthenon: A parallel theorem prover for non-Horn clauses. Zbl 0716.68076
Bose, Soumitra; Clarke, Edmund M.; Long, David E.; Michaylov, Spiro
5
1989
all top 5

Cited by 110 Authors

8 Schewe, Sven
3 Maoz, Shahar
2 Amram, Gal
2 Bensalem, Saddek
2 Bozga, Marius
2 Bradfield, Julian Charles
2 Duan, Zhenhua
2 Lange, Martin
2 Lüttgen, Gerald
2 Malik, Robi
2 Nguyen, Thanh-Hung
2 Parys, Paweł
2 Pistiner, Or
2 Ringert, Jan Oliver
2 Steffen, Bernhard
2 Tian, Cong
2 Weinert, Alexander
2 Zimmermann, Martin
1 Abbasi, Rosa
1 Aiguier, Marc
1 Andersen, Henrik Reif
1 Ballarini, Paolo
1 Bossi, Annalisa
1 Boulanger, Frédéric
1 Brenguier, Romain
1 Brill, Matthias
1 Burkart, Olaf
1 Calude, Cristian S.
1 Chaki, Sagar
1 Clarke, Edmund Melson jun.
1 Cleaveland, Rance
1 Cleaveland, Ranee
1 Dang, Zhe
1 Elkind, Edith
1 Fabian, Martin
1 Falcone, Yliès
1 Finkbeiner, Bernd
1 Firman, Elizabeth
1 Fix, Limor
1 Focardi, Riccardo
1 Foustoucos, Eugénie
1 Gajarský, Jakub
1 Genest, Blaise
1 Ghassemi, Fatemeh
1 Gradara, Sara
1 Graf, Susanne
1 Guessarian, Irène
1 Hahn, Ernst Moritz
1 Hausmann, Daniel
1 Horváth, András
1 Iyer, S. Purushothaman
1 Izadi, Mohammad A.
1 Jaber, Mohamad Y.
1 Jain, Sanjay
1 Kamkin, A. S.
1 Kanso, Bilal
1 Khosravi, Ramtin
1 Khoussainov, Bakhadyr M.
1 Křena, Bohuslav
1 Lampis, Michael
1 Letz, Reinhold
1 Levi, Francesca
1 Li, Wei
1 Maggiolo-Schettini, Andrea
1 Majster-Cederbaum, Mila E.
1 Makino, Kazuhisa
1 Masini, Andrea
1 Mitsou, Valia
1 Mohajerani, Sahar
1 Movaghar, Ali
1 Narasimha, Murali
1 Newborn, Monty
1 Nie, Xumin
1 Ordyniak, Sebastian
1 Peled, Doron A.
1 Piazza, Carla
1 Pinisetty, Srinivas
1 Plaisted, David Alan
1 Pradhan, Ankit
1 Qu, Hongyang
1 Raskin, Jean-François
1 Roop, Partha S.
1 Rossi, Sabina
1 Salger, Frank
1 Sankur, Ocan
1 Santone, Antonella
1 Schneider, Fred B.
1 Schröder, Lutz
1 Seidl, Helmut
1 Sharygina, Natasha
1 Sifakis, Joseph
1 Sinha, Nishant
1 Stephan, Frank
1 Stickel, Mark E.
1 Tarver, Mark
1 Tripakis, Stavros
1 Trivedi, Ashutosh
1 Turrini, Andrea
1 Varghese, Thomas
1 Villani, Maria Luisa
...and 10 more Authors

Citations by Year