×

zbMATH — the first resource for mathematics

Schneider, Fred B.

Compute Distance To:
Author ID: schneider.fred-b Recent zbMATH articles by "Schneider, Fred B."
Published as: Schneider, Fred B.; Schneider, F.; Schneider, Fred
Documents Indexed: 38 Publications since 1965, including 2 Books

Publications by Year

Citations contained in zbMATH Open

21 Publications have been cited 232 times in 190 Documents Cited by Year
Defining liveness. Zbl 0575.68030
Alpern, Bowen; Schneider, Fred B.
87
1985
Recognizing safety and liveness. Zbl 0641.68039
Alpern, Bowen; Schneider, Fred B.
43
1987
A logical approach to discrete math. Zbl 0861.03001
Gries, David; Schneider, Fred B.
28
1993
The ”Hoare logic” of CSP, and all that. Zbl 0536.68017
Lamport, Leslie; Schneider, Fred B.
12
1984
Verifying temporal properties without temporal logic. Zbl 0676.68003
Alpern, Bowen; Schneider, Fred B.
11
1989
Higher-order models for glioma invasion: from a two-scale description to effective equations for mass density and momentum. Zbl 1411.92034
Corbin, G.; Hunt, A.; Klar, A.; Schneider, F.; Surulescu, C.
8
2018
Equational propositional logic. Zbl 0875.03034
Gries, David; Schneider, Fred B.
7
1995
Concepts and notations for concurrent programming. Zbl 0515.68025
Andrews, Gregory R.; Schneider, Fred B.
6
1983
Quantification of integrity. Zbl 1361.68080
Clarkson, Michael R.; Schneider, Fred B.
5
2015
Safety without stuttering. Zbl 0619.68019
Alpern, Bowen; Demers, Alan J.; Schneider, Fred B.
4
1986
Using message passing for distributed programming: Proof rules and disciplines. Zbl 0536.68023
Schlichting, Richard D.; Schneider, Fred B.
4
1984
Proving nondeterministically specified safety properties using progress measures. Zbl 0799.68136
Klarlund, Nils; Schneider, Fred B.
3
1993
On concurrent programming. Zbl 0881.68032
Schneider, Fred B.
3
1997
Fault-tolerant broadcasts. Zbl 0534.68019
Schneider, Fred B.; Gries, David; Schlichting, Richard D.
3
1984
A numerical investigation of flux-limited approximations for pedestrian dynamics. Zbl 1365.90096
Müller, L.; Meurer, A.; Schneider, F.; Klar, A.
2
2017
Adding the everywhere operator to propositional logic. Zbl 0906.03015
Gries, David; Schneider, Fred B.
1
1998
Verifying programs that use causally-ordered message-passing. Zbl 0828.68097
Stoller, Scott D.; Schneider, Fred B.
1
1995
Teaching math more effectively, through calculational proofs. Zbl 0875.00012
Gries, David; Schneider, Fred B.
1
1995
Reasoning about programs by exploiting the environment. Zbl 1418.68054
Fix, Limor; Schneider, Fred B.
1
1994
The solution of linear inverse problems in satellite geodesy by means of spherical spline approximation. Zbl 1003.86505
Schneider, F.
1
1996
Synchronization in distributed programs. Zbl 0479.68019
Schneider, Fred B.
1
1982
Higher-order models for glioma invasion: from a two-scale description to effective equations for mass density and momentum. Zbl 1411.92034
Corbin, G.; Hunt, A.; Klar, A.; Schneider, F.; Surulescu, C.
8
2018
A numerical investigation of flux-limited approximations for pedestrian dynamics. Zbl 1365.90096
Müller, L.; Meurer, A.; Schneider, F.; Klar, A.
2
2017
Quantification of integrity. Zbl 1361.68080
Clarkson, Michael R.; Schneider, Fred B.
5
2015
Adding the everywhere operator to propositional logic. Zbl 0906.03015
Gries, David; Schneider, Fred B.
1
1998
On concurrent programming. Zbl 0881.68032
Schneider, Fred B.
3
1997
The solution of linear inverse problems in satellite geodesy by means of spherical spline approximation. Zbl 1003.86505
Schneider, F.
1
1996
Equational propositional logic. Zbl 0875.03034
Gries, David; Schneider, Fred B.
7
1995
Verifying programs that use causally-ordered message-passing. Zbl 0828.68097
Stoller, Scott D.; Schneider, Fred B.
1
1995
Teaching math more effectively, through calculational proofs. Zbl 0875.00012
Gries, David; Schneider, Fred B.
1
1995
Reasoning about programs by exploiting the environment. Zbl 1418.68054
Fix, Limor; Schneider, Fred B.
1
1994
A logical approach to discrete math. Zbl 0861.03001
Gries, David; Schneider, Fred B.
28
1993
Proving nondeterministically specified safety properties using progress measures. Zbl 0799.68136
Klarlund, Nils; Schneider, Fred B.
3
1993
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.
43
1987
Safety without stuttering. Zbl 0619.68019
Alpern, Bowen; Demers, Alan J.; Schneider, Fred B.
4
1986
Defining liveness. Zbl 0575.68030
Alpern, Bowen; Schneider, Fred B.
87
1985
The ”Hoare logic” of CSP, and all that. Zbl 0536.68017
Lamport, Leslie; Schneider, Fred B.
12
1984
Using message passing for distributed programming: Proof rules and disciplines. Zbl 0536.68023
Schlichting, Richard D.; Schneider, Fred B.
4
1984
Fault-tolerant broadcasts. Zbl 0534.68019
Schneider, Fred B.; Gries, David; Schlichting, Richard D.
3
1984
Concepts and notations for concurrent programming. Zbl 0515.68025
Andrews, Gregory R.; Schneider, Fred B.
6
1983
Synchronization in distributed programs. Zbl 0479.68019
Schneider, Fred B.
1
1982
all top 5

Cited by 332 Authors

5 Kulkarni, Sandeep S.
5 Kupferman, Orna
4 Chebotarev, Anatoli N.
4 Lamport, Leslie
4 Schneider, Fred B.
3 Abadi, Martín
3 Alvim, Mário S.
3 Basin, David A.
3 Bonakdarpour, Borzoo
3 Din, Crystal Chang
3 Henzinger, Thomas A.
3 Klaedtke, Felix
3 Owe, Olaf
3 Palamidessi, Catuscia
3 Pnueli, Amir
3 Segala, Roberto
3 Zălinescu, Eugen
2 Abate, Alessandro
2 Abujarad, Fuad
2 Alpern, Bowen
2 Anderson, James H.
2 Andrés, Miguel E.
2 Attie, Paul C.
2 Backhouse, Roland C.
2 Bloem, Roderick
2 Boute, Raymond T.
2 Chatzikokolakis, Konstantinos
2 Dederichs, Frank
2 Desharnais, Jules
2 Devismes, Stéphane
2 Dyba, Martin
2 Eisner, Cindy
2 Fiadeiro, José Luiz
2 Fisman, Dana
2 Gawlick, Rainer
2 Giacobazzi, Roberto
2 Gouda, Mohamed G.
2 Gries, David
2 Jhumka, Arshad
2 Jonsson, Bengt
2 Joseph, Mathai
2 Kahl, Wolfram
2 Katoen, Joost-Pieter
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 Novák, Vilém
2 Ochsenschläger, Peter
2 Ouaknine, Joel O.
2 Peled, Doron A.
2 Piterman, Nir
2 Planul, Jérémy
2 Plotkin, Gordon D.
2 Sistla, Aravinda Prasad
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 Aaron, Eric
1 Abbasi, Rosa
1 Abraham, Uri
1 Agudelo, Juan C.
1 Ahuja, Mohan L.
1 Aktug, Irem
1 Alain, Mathieu
1 Almeida, Vírgilio Augusto Fernandes
1 Alshiekh, Mohammed
1 Altisen, Karine
1 Aman, Bogdan
1 America, Pierre
1 Amram, Gal
1 Archer, Myla M.
1 Arévalo, Sergio
1 Aznida, Z.
1 Baader, Franz
1 Back, Ralph-Johan
1 Barner, Sharon
1 Bartoletti, Massimo
1 Bauer, Andreas
1 Bäumler, Simon
1 Biyani, Karun N.
1 Braberman, Víctor
1 Bradbury, Matthew
1 Brink, Chris
1 Broy, Manfred
1 Brunekreef, Jacob
1 Cao, Cungen
1 Carnielli, Walter Alexandre
1 Carter, Rebekah
1 Castañeda, Armando
1 Chadha, Rohit
...and 232 more Authors
all top 5

Cited in 42 Serials

28 Theoretical Computer Science
17 Distributed Computing
16 Information Processing Letters
16 Formal Aspects of Computing
13 Formal Methods in System Design
8 Information and Computation
6 Journal of Logical and Algebraic Methods in Programming
5 Cybernetics and Systems Analysis
4 Acta Informatica
4 Journal of Parallel and Distributed Computing
3 Annals of Pure and Applied Logic
3 International Journal of Computer Mathematics
3 The Journal of Logic and Algebraic Programming
2 Computing
2 Fuzzy Sets and Systems
2 Science of Computer Programming
2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
2 MSCS. Mathematical Structures in Computer Science
2 Discrete Event Dynamic Systems
2 ACM Transactions on Computational Logic
2 Computer Science Review
1 Artificial Intelligence
1 International Journal of Mathematical Education in Science and Technology
1 Journal of Computer and System Sciences
1 Numerische Mathematik
1 Studia Logica
1 Topology and its Applications
1 International Journal of Parallel Programming
1 Journal of Automated Reasoning
1 International Journal of Foundations of Computer Science
1 Advances in Engineering Software
1 Journal of Applied Non-Classical Logics
1 Reliable Computing
1 European Journal of Control
1 Journal of the ACM
1 International Journal of Applied Mathematics and Computer Science
1 Concurrency and Computation: Practice & Experience
1 Journal of Applied Logic
1 Logical Methods in Computer Science
1 Nonlinear Analysis. Hybrid Systems
1 The Review of Symbolic Logic
1 Frontiers of Computer Science

Citations by Year