×

zbMATH — the first resource for mathematics

Alpern, Bowen

Compute Distance To:
Author ID: alpern.bowen Recent zbMATH articles by "Alpern, Bowen"
Published as: Alpern, B.; Alpern, Bowen
Documents Indexed: 10 Publications since 1985

Publications by Year

Citations contained in zbMATH

8 Publications have been cited 166 times in 145 Documents Cited by Year
Defining liveness. Zbl 0575.68030
Alpern, Bowen; Schneider, Fred B.
88
1985
Recognizing safety and liveness. Zbl 0641.68039
Alpern, Bowen; Schneider, Fred B.
40
1987
Incremental evaluation of computational circuits. Zbl 0800.68626
Alpern, Bowen; Hoover, Roger; Rosen, Barry K.; Sweeney, Peter F.; Zadeck, F. Kenneth
11
1990
Verifying temporal properties without temporal logic. Zbl 0676.68003
Alpern, Bowen; Schneider, Fred B.
11
1989
The uniform memory hierarchy model of computation. Zbl 0938.68638
Alpern, B.; Carter, L.; Feig, E.; Selker, T.
8
1994
Safety without stuttering. Zbl 0619.68019
Alpern, Bowen; Demers, Alan J.; Schneider, Fred B.
5
1986
Rectilinear Steiner tree minimization on a workstation. Zbl 0814.68054
Thomborson, Clark; Alpern, Bowen; Carter, Larry
2
1994
Message compression for high performance. Zbl 0960.68754
Alpern, Bowen; Carter, Larry
1
1995
Message compression for high performance. Zbl 0960.68754
Alpern, Bowen; Carter, Larry
1
1995
The uniform memory hierarchy model of computation. Zbl 0938.68638
Alpern, B.; Carter, L.; Feig, E.; Selker, T.
8
1994
Rectilinear Steiner tree minimization on a workstation. Zbl 0814.68054
Thomborson, Clark; Alpern, Bowen; Carter, Larry
2
1994
Incremental evaluation of computational circuits. Zbl 0800.68626
Alpern, Bowen; Hoover, Roger; Rosen, Barry K.; Sweeney, Peter F.; Zadeck, F. Kenneth
11
1990
Verifying temporal properties without temporal logic. Zbl 0676.68003
Alpern, Bowen; Schneider, Fred B.
11
1989
Recognizing safety and liveness. Zbl 0641.68039
Alpern, Bowen; Schneider, Fred B.
40
1987
Safety without stuttering. Zbl 0619.68019
Alpern, Bowen; Demers, Alan J.; Schneider, Fred B.
5
1986
Defining liveness. Zbl 0575.68030
Alpern, Bowen; Schneider, Fred B.
88
1985
all top 5

Cited by 274 Authors

5 Kulkarni, Sandeep S.
5 Kupferman, Orna
4 Chebotarev, Anatoli N.
4 Lamport, Leslie
4 Owe, Olaf
3 Basin, David A.
3 Bonakdarpour, Borzoo
3 Din, Crystal Chang
3 Henzinger, Thomas A.
3 Klaedtke, Felix
3 Pnueli, Amir
3 Segala, Roberto
3 Sistla, Aravinda Prasad
3 Zălinescu, Eugen
2 Abate, Alessandro
2 Abujarad, Fuad
2 Ajwani, Deepak
2 Alpern, Bowen
2 Attie, Paul C.
2 Bloem, Roderick
2 Dederichs, Frank
2 Devismes, Stéphane
2 Dovland, Johan
2 Eisner, Cindy
2 Fiadeiro, José Luiz
2 Fisman, Dana
2 Friedrich, Tobias
2 Gawlick, Rainer
2 Giacobazzi, Roberto
2 Jhumka, Arshad
2 Johnsen, Einar Broch
2 Jonsson, Bengt
2 Klimek, Radosław
2 Könighofer, Bettina
2 Könighofer, Robert
2 Lin, Yiyan
2 Lopes, Antónia
2 Lynch, Nancy Ann
2 Manna, Zohar
2 Mastroeni, Isabella
2 Nießner, Frank
2 Ochsenschläger, Peter
2 Ouaknine, Joel O.
2 Piterman, Nir
2 Ramalingam, Ganesan
2 Reps, Thomas W.
2 Schneider, Fred B.
2 Smolka, Scott A.
2 Søgaard-Andersen, Jørgen
2 Stølen, Ketil
2 Tsay, Yih-Kuen
2 Vardi, Moshe Y.
2 Weber, Rainer
2 Worrell, James B.
1 Abadi, Martín
1 Abbasi, Rosa
1 Abraham, Uri
1 Aktug, Irem
1 Alshiekh, Mohammed
1 Altisen, Karine
1 Aman, Bogdan
1 Amram, Gal
1 Archer, Myla M.
1 Baader, Franz
1 Banicescu, Ioana
1 Barner, Sharon
1 Bartoletti, Massimo
1 Bauer, Andreas
1 Bäumler, Simon
1 Bender, Michael A.
1 Biyani, Karun N.
1 Braberman, Víctor
1 Bradbury, Matthew
1 Broy, Manfred
1 Carter, Rebekah
1 Castañeda, Armando
1 Chadha, Rohit
1 Chang, Edward Y.
1 Chao, Kunmao
1 Chatterjee, Krishnendu
1 Chaudhuri, Soma
1 Chockler, Hana
1 Cicerone, Serafino
1 Ciobanu, Gabriel
1 Clarke, Edmund Melson jun.
1 Cleaveland, Rance
1 Cohen, Robert F.
1 Cotrini Jiménez, Carlos
1 Dam, Mads
1 Datta, Anupam
1 de la Higuera, Colin
1 Degano, Pierpaolo
1 Delaët, Sylvie
1 Di Benedetto, Maria Domenica
1 Di Stefano, Gabriele
1 Dillon, L. K.
1 D’Innocenzo, Alessandro
1 Dolev, Shlomi
1 Duarte, Carlos H. C.
1 Fagerberg, Rolf
...and 174 more Authors

Citations by Year