Edit Profile Schneider, Fred B. Compute Distance To: Compute Author ID: schneider.fred-b Published as: Schneider, F.; Schneider, Fred; Schneider, Fred B. Documents Indexed: 38 Publications since 1965, including 2 Books all top 5 Co-Authors 5 single-authored 5 Gries, David 4 Alpern, Bowen 3 van Renesse, Robbert 2 Andrews, Gregory R. 2 Johansen, Dag 2 Schlichting, Richard D. 2 Stoller, Scott D. 1 Akkoyunlu, Eralp A. 1 Arden, Owen 1 Bernstein, Arthur J. 1 Clarkson, Michael R. 1 Conway, Richard W. 1 Demers, Alan J. 1 Dolev, Danny 1 Fix, Limor 1 Jacobsen, Kjetil 1 Klarlund, Nils 1 Kozyri, Elisavet 1 Lamport, Leslie 1 Lauvset, Kåre J. 1 McCurley, Robert 1 Minsky, Yaron M. 1 Myers, Andrew C. 1 Pass, Rafael 1 Roeder, Tom 1 Silberschatz, Abraham 1 Skeen, Dale 1 Song, Yee Jiun 1 Sudmann, Nils P. all top 5 Serials 4 ACM Transactions on Programming Languages and Systems 3 Information Processing Letters 3 Science of Computer Programming 2 Distributed Computing 1 Acta Informatica 1 American Mathematical Monthly 1 Software. Practice & Experience 1 Information and Computation 1 Journal of Cryptology 1 Journal of Logic and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Computing Surveys 1 IEEE Transactions on Software Engineering 1 Formal Methods in System Design all top 5 Fields 29 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 2 Combinatorics (05-XX) 2 Information and communication theory, circuits (94-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 21 Publications have been cited 230 times in 196 Documents Cited by ▼ Year ▼ Defining liveness. Zbl 0575.68030Alpern, Bowen; Schneider, Fred B. 88 1985 Recognizing safety and liveness. Zbl 0641.68039Alpern, Bowen; Schneider, Fred B. 41 1987 A logical approach to discrete math. Zbl 0861.03001Gries, David; Schneider, Fred B. 31 1993 The ”Hoare logic” of CSP, and all that. Zbl 0536.68017Lamport, Leslie; Schneider, Fred B. 12 1984 Verifying temporal properties without temporal logic. Zbl 0676.68003Alpern, Bowen; Schneider, Fred B. 11 1989 Equational propositional logic. Zbl 0875.03034Gries, David; Schneider, Fred B. 7 1995 Concepts and notations for concurrent programming. Zbl 0515.68025Andrews, Gregory R.; Schneider, Fred B. 6 1983 Quantification of integrity. Zbl 1361.68080Clarkson, Michael R.; Schneider, Fred B. 5 2015 Safety without stuttering. Zbl 0619.68019Alpern, Bowen; Demers, Alan J.; Schneider, Fred B. 5 1986 Higher-order models for glioma invasion: from a two-scale description to effective equations for mass density and momentum. Zbl 1411.92034Corbin, G.; Hunt, A.; Klar, A.; Schneider, F.; Surulescu, C. 4 2018 Using message passing for distributed programming: Proof rules and disciplines. Zbl 0536.68023Schlichting, Richard D.; Schneider, Fred B. 4 1984 On concurrent programming. Zbl 0881.68032Schneider, Fred B. 3 1997 Proving nondeterministically specified safety properties using progress measures. Zbl 0799.68136Klarlund, Nils; Schneider, Fred B. 3 1993 Fault-tolerant broadcasts. Zbl 0534.68019Schneider, Fred B.; Gries, David; Schlichting, Richard D. 3 1984 A numerical investigation of flux-limited approximations for pedestrian dynamics. Zbl 1365.90096Müller, L.; Meurer, A.; Schneider, F.; Klar, A. 1 2017 Adding the everywhere operator to propositional logic. Zbl 0906.03015Gries, David; Schneider, Fred B. 1 1998 The solution of linear inverse problems in satellite geodesy by means of spherical spline approximation. Zbl 1003.86505Schneider, F. 1 1996 Teaching math more effectively, through calculational proofs. Zbl 0875.00012Gries, David; Schneider, Fred B. 1 1995 Verifying programs that use causally-ordered message-passing. Zbl 0828.68097Stoller, Scott D.; Schneider, Fred B. 1 1995 Reasoning about programs by exploiting the environment. Zbl 1418.68054Fix, Limor; Schneider, Fred B. 1 1994 Synchronization in distributed programs. Zbl 0479.68019Schneider, 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.92034Corbin, G.; Hunt, A.; Klar, A.; Schneider, F.; Surulescu, C. 4 2018 A numerical investigation of flux-limited approximations for pedestrian dynamics. Zbl 1365.90096Müller, L.; Meurer, A.; Schneider, F.; Klar, A. 1 2017 Quantification of integrity. Zbl 1361.68080Clarkson, Michael R.; Schneider, Fred B. 5 2015 Adding the everywhere operator to propositional logic. Zbl 0906.03015Gries, David; Schneider, Fred B. 1 1998 On concurrent programming. Zbl 0881.68032Schneider, Fred B. 3 1997 The solution of linear inverse problems in satellite geodesy by means of spherical spline approximation. Zbl 1003.86505Schneider, F. 1 1996 Equational propositional logic. Zbl 0875.03034Gries, David; Schneider, Fred B. 7 1995 Teaching math more effectively, through calculational proofs. Zbl 0875.00012Gries, David; Schneider, Fred B. 1 1995 Verifying programs that use causally-ordered message-passing. Zbl 0828.68097Stoller, Scott D.; Schneider, Fred B. 1 1995 Reasoning about programs by exploiting the environment. Zbl 1418.68054Fix, Limor; Schneider, Fred B. 1 1994 A logical approach to discrete math. Zbl 0861.03001Gries, David; Schneider, Fred B. 31 1993 Proving nondeterministically specified safety properties using progress measures. Zbl 0799.68136Klarlund, Nils; Schneider, Fred B. 3 1993 Verifying temporal properties without temporal logic. Zbl 0676.68003Alpern, Bowen; Schneider, Fred B. 11 1989 Recognizing safety and liveness. Zbl 0641.68039Alpern, Bowen; Schneider, Fred B. 41 1987 Safety without stuttering. Zbl 0619.68019Alpern, Bowen; Demers, Alan J.; Schneider, Fred B. 5 1986 Defining liveness. Zbl 0575.68030Alpern, Bowen; Schneider, Fred B. 88 1985 The ”Hoare logic” of CSP, and all that. Zbl 0536.68017Lamport, Leslie; Schneider, Fred B. 12 1984 Using message passing for distributed programming: Proof rules and disciplines. Zbl 0536.68023Schlichting, Richard D.; Schneider, Fred B. 4 1984 Fault-tolerant broadcasts. Zbl 0534.68019Schneider, Fred B.; Gries, David; Schlichting, Richard D. 3 1984 Concepts and notations for concurrent programming. Zbl 0515.68025Andrews, Gregory R.; Schneider, Fred B. 6 1983 Synchronization in distributed programs. Zbl 0479.68019Schneider, Fred B. 1 1982 all cited Publications top 5 cited Publications all top 5 Cited by 354 Authors 5 Kulkarni, Sandeep S. 5 Kupferman, Orna 4 Chebotarev, Anatoli N. 4 Lamport, Leslie 4 Owe, Olaf 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 Palamidessi, Catuscia 3 Pnueli, Amir 3 Segala, Roberto 3 Sistla, Aravinda Prasad 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 Bellomo, Nicola 2 Bloem, Roderick 2 Boute, Raymond T. 2 Brezzi, Franco 2 Chatzikokolakis, Konstantinos 2 Dederichs, Frank 2 Desharnais, Jules 2 Devismes, Stéphane 2 Dovland, Johan 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 Johnsen, Einar Broch 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 Piterman, Nir 2 Planul, Jérémy 2 Plotkin, Gordon D. 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 Bird, Richard S. 1 Biyani, Karun N. 1 Borsche, Raul 1 Braberman, Víctor 1 Bradbury, Matthew 1 Brink, Chris 1 Broy, Manfred 1 Brunekreef, Jacob ...and 254 more Authors all top 5 Cited in 46 Serials 28 Theoretical Computer Science 17 Information Processing Letters 17 Distributed Computing 16 Formal Aspects of Computing 12 Formal Methods in System Design 8 Information and Computation 5 Cybernetics and Systems Analysis 5 Journal of Logical and Algebraic Methods in Programming 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 M\(^3\)AS. Mathematical Models & Methods in Applied Sciences 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 Mathematical Analysis and Applications 1 Journal of Computer and System Sciences 1 Numerische Mathematik 1 Studia Logica 1 Topology and its Applications 1 Physica D 1 International Journal of Parallel Programming 1 International Journal of Foundations of Computer Science 1 Advances in Engineering Software 1 Journal of Applied Non-Classical Logics 1 Reliable Computing 1 Journal of Geodesy 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 Journal of Theoretical Biology 1 Frontiers of Computer Science all top 5 Cited in 21 Fields 174 Computer science (68-XX) 49 Mathematical logic and foundations (03-XX) 8 Systems theory; control (93-XX) 5 Biology and other natural sciences (92-XX) 5 Information and communication theory, circuits (94-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 4 Partial differential equations (35-XX) 3 Numerical analysis (65-XX) 2 General and overarching topics; collections (00-XX) 2 Category theory; homological algebra (18-XX) 2 General topology (54-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Number theory (11-XX) 1 Associative rings and algebras (16-XX) 1 Topological groups, Lie groups (22-XX) 1 Ordinary differential equations (34-XX) 1 Probability theory and stochastic processes (60-XX) 1 Quantum theory (81-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Geophysics (86-XX) 1 Mathematics education (97-XX) Citations by Year