Edit Profile (opens in new tab) Lamport, Leslie Compute Distance To: Compute Author ID: lamport.leslie Published as: Lamport, Leslie; Lamport, L. External Links: MGP · Wikidata · dblp · GND · IdRef Awards: Turing Award (2013) Documents Indexed: 75 Publications since 1970, including 2 Books 2 Further Contributions Biographic References: 3 Publications Co-Authors: 29 Co-Authors with 21 Joint Publications 425 Co-Co-Authors all top 5 Co-Authors 54 single-authored 4 Gafni, Eli M. 3 Pease, Marshall C. III 3 Shostak, Robert E. 2 Abadi, Martín 2 Aguilera, Marcos Kawazoe 2 Dijkstra, Edsger Wybe 2 Johnson, James E. 2 Langworthy, David E. 2 Scholten, Carel S. 2 Steffens, Elisabeth F. M. 2 Vogt, Friedrich H. 1 Cousineau, Denis 1 Doligez, Damien 1 Joshi, Rajeev 1 Ladkin, Peter B. 1 Lynch, Nancy Ann 1 Malkhi, Dahlia 1 Melliar-Smith, P. Michael 1 Merz, Stephan 1 Olivier, Bryan 1 Owicki, Susan S. 1 Perl, Sharon 1 Ricketts, Daniel 1 Roegel, Denis 1 Schneider, Fred B. 1 Tasiran, Serdar 1 Tuttle, Mark R. 1 Vanzetto, Hernán 1 Weihl, William E. 1 Yu, Yuan 1 Ziegler, Günter Matthias all top 5 Serials 12 Distributed Computing 8 Communications of the ACM 5 Journal of the Association for Computing Machinery 5 ACM Transactions on Programming Languages and Systems 3 Theoretical Computer Science 2 Acta Informatica 1 American Mathematical Monthly 1 Information Processing Letters 1 Mitteilungen der Deutschen Mathematiker-Vereinigung (DMV) 1 IEEE Transactions on Computers 1 Science of Computer Programming 1 IEEE Transactions on Software Engineering 1 Formal Methods in System Design 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 The Journal of Logic and Algebraic Programming 1 Foundations of Physics 1 Bulletin of the American Mathematical Society 1 Journal of Fixed Point Theory and Applications 1 ACM Books all top 5 Fields 70 Computer science (68-XX) 4 General and overarching topics; collections (00-XX) 3 Mathematical logic and foundations (03-XX) 2 History and biography (01-XX) 1 Combinatorics (05-XX) 1 Group theory and generalizations (20-XX) 1 Partial differential equations (35-XX) 1 Quantum theory (81-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 60 Publications have been cited 1,548 times in 1,187 Documents Cited by ▼ Year ▼ Time, clocks, and the ordering of events in a distributed system. Zbl 0378.68027Lamport, Leslie 307 1978 Reaching agreement in the presence of faults. Zbl 0434.68031Pease, M.; Shostak, R.; Lamport, L. 212 1980 The Byzantine generals problem. Zbl 0483.68021Lamport, Leslie; Shostak, Robert; Pease, Marshall 189 1982 The existence of refinement mappings. Zbl 0728.68083Abadi, Martín; Lamport, Leslie 89 1991 On interprocess communication. I: Basic formalism. Zbl 0598.68022Lamport, Leslie 72 1986 How to make a microprocessor computer that correctly executes multiprocess programs. Zbl 0419.68045Lamport, Leslie 67 1979 Proving liveness properties of concurrent programs. Zbl 0483.68013Owicki, Susan; Lamport, Leslie 63 1982 A new solution of Dijkstra’s concurrent programming problem. Zbl 0281.68004Lamport, Leslie 63 1974 Proving the correctness of multiprocess programs. Zbl 0349.68006Lamport, Leslie 58 1977 On interprocess communication. II: Algorithms. Zbl 0598.68023Lamport, Leslie 47 1986 The parallel execution of DO loops. Zbl 0273.68012Lamport, Leslie 39 1974 Specifying concurrent program modules. Zbl 0516.68010Lamport, Leslie 37 1983 The mutual exclusion problem. II: Statement and solutions. Zbl 0627.68018Lamport, Leslie 30 1986 The mutual exclusion problem. I: A theory of interprocess communication. Zbl 0627.68017Lamport, Leslie 28 1986 On-the-fly garbage collection: An exercise in cooperation. Zbl 0386.68024Dijkstra, Edsger W.; Lamport, Leslie; Martin, A. J.; Scholten, C. S.; Steffens, E. F. M. 19 1978 Synchronizing clocks in the presence of faults. Zbl 0629.68025Lamport, Leslie; Melliar-Smith, P. M. 17 1985 How to write a proof. Zbl 0877.00005Lamport, Leslie 16 1995 Fast Paxos. Zbl 1266.68218Lamport, Leslie 16 2006 The weak Byzantine Generals Problem. Zbl 0627.68026Lamport, L. 14 1983 Specifying concurrent systems with TLA\(^+\). Zbl 0959.68080Lamport, Leslie 12 1999 The ”Hoare logic” of CSP, and all that. Zbl 0536.68017Lamport, Leslie; Schneider, Fred B. 12 1984 Concurrent reading and writing. Zbl 0361.68091Lamport, Leslie 9 1977 The ”Hoare logic” of concurrent programs. Zbl 0416.68032Lamport, Leslie 9 1980 Disk Paxos. Zbl 0987.68667Gafni, Eli; Lamport, Leslie 9 2000 Distributed computing: Models and methods. Zbl 0900.68089Lamport, Leslie; Lynch, Nancy 8 1990 A new approach to proving the correctness of multiprocess programs. Zbl 0463.68022Lamport, Leslie 8 1979 How to write a proof. Zbl 1041.00501Lamport, Leslie 8 1993 LaTeX: a document preparation system. (Das LaTeX-Handbuch.) Zbl 0852.68115Lamport, Leslie 8 1995 The PlusCal algorithm language. Zbl 1250.68284Lamport, Leslie 8 2009 How to write a 21\(^{\text{st}}\) century proof. Zbl 1271.03082Lamport, Leslie 7 2012 An assertional correctness proof of a distributed algorithm. Zbl 0514.68014Lamport, Leslie 7 1982 A theorem on atomicity in distributed algorithms. Zbl 0699.68044Lamport, Leslie 6 1990 On-the-fly garbage collection: An exercise in cooperation. Zbl 0347.68019Dijkstra, Edsger W.; Lamport, Leslie; Martin, A. J.; Scholten, C. S.; Steffens, E. F. M. 5 1976 LA\(\TeX\): a document preparation system. User’s guide and reference manual. 2nd ed. Zbl 0824.68121Lamport, Leslie 4 1994 Real-time model checking is really simple. Zbl 1159.68328Lamport, Leslie 4 2005 Lower bounds for asynchronous consensus. Zbl 1018.68728Lamport, Leslie 3 2003 Byzantizing Paxos by refinement. Zbl 1350.68281Lamport, Leslie 3 2011 Processes are in the eye of the beholder. Zbl 0901.68126Lamport, Leslie 2 1997 Buridan’s principle. Zbl 1447.81009Lamport, Leslie 2 2012 The specification and proof of correctness of interactive programs. Zbl 0404.68017Lamport, Leslie 2 1979 On the proof of correctness of a calendar program. Zbl 0412.68014Lamport, Leslie 2 1979 The Byzantine generals problem. Zbl 1448.68139Lamport, Leslie; Shostak, Robert; Pease, Marshall 2 2019 The part-time parliament. Zbl 1455.68033Lamport, Leslie 2 2019 Comment on Bell’s quadratic quotient method for hash code searching. Zbl 0199.52104Lamport, L. 2 1970 Lower bounds for asynchronous consensus. Zbl 1266.68119Lamport, Leslie 2 2006 Checking cache-coherence protocols with TLA\(^+\). Zbl 1021.68052Joshi, Rajeev; Lamport, Leslie; Matthews, John; Tasiran, Serdar; Tuttle, Mark; Yu, Yuan 2 2003 The mailbox problem. (Extended abstract). Zbl 1161.68325Aguilera, Marcos K.; Gafni, Eli; Lamport, Leslie 2 2008 The mailbox problem. Zbl 1231.68063Aguilera, Marcos K.; Gafni, Eli; Lamport, Leslie 2 2010 The synchronization of independent processes. Zbl 0332.68024Lamport, Leslie 2 1976 the hyperplane method for an array computer. Zbl 0302.68044Lamport, Leslie 1 1975 Critique of the Lake Arrowhead three. Zbl 0748.68015Lamport, Leslie 1 1992 Open systems in TLA. Zbl 1374.68315Abadi, Martín; Lamport, Leslie 1 1994 An axiomatic semantics of concurrent programming languages. Zbl 0582.68006Lamport, Leslie 1 1985 The mutual exclusion problem. I: A theory of interprocess communication. Zbl 1448.68135Lamport, Leslie 1 2019 An extension of a theorem of Hamada on the Cauchy problem with singular data. Zbl 0269.35002Lamport, Leslie 1 1973 Implementing dataflow with threads. Zbl 1267.68037Lamport, Leslie 1 2008 TLA\(^{ + }\) proofs. Zbl 1372.68168Cousineau, Denis; Doligez, Damien; Lamport, Leslie; Merz, Stephan; Ricketts, Daniel; Vanzetto, Hernán 1 2012 Formal specification of a web services protocol. Zbl 1271.68090Johnson, James E.; Langworthy, David E.; Lamport, Leslie; Vogt, Friedrich H. 1 2004 Checking a multithreaded algorithm with \(^{+}\)CAL. Zbl 1155.68564Lamport, Leslie 1 2007 Concurrency. The works of Leslie Lamport. Zbl 1434.68029 1 2019 The Byzantine generals problem. Zbl 1448.68139Lamport, Leslie; Shostak, Robert; Pease, Marshall 2 2019 The part-time parliament. Zbl 1455.68033Lamport, Leslie 2 2019 The mutual exclusion problem. I: A theory of interprocess communication. Zbl 1448.68135Lamport, Leslie 1 2019 Concurrency. The works of Leslie Lamport. Zbl 1434.68029 1 2019 How to write a 21\(^{\text{st}}\) century proof. Zbl 1271.03082Lamport, Leslie 7 2012 Buridan’s principle. Zbl 1447.81009Lamport, Leslie 2 2012 TLA\(^{ + }\) proofs. Zbl 1372.68168Cousineau, Denis; Doligez, Damien; Lamport, Leslie; Merz, Stephan; Ricketts, Daniel; Vanzetto, Hernán 1 2012 Byzantizing Paxos by refinement. Zbl 1350.68281Lamport, Leslie 3 2011 The mailbox problem. Zbl 1231.68063Aguilera, Marcos K.; Gafni, Eli; Lamport, Leslie 2 2010 The PlusCal algorithm language. Zbl 1250.68284Lamport, Leslie 8 2009 The mailbox problem. (Extended abstract). Zbl 1161.68325Aguilera, Marcos K.; Gafni, Eli; Lamport, Leslie 2 2008 Implementing dataflow with threads. Zbl 1267.68037Lamport, Leslie 1 2008 Checking a multithreaded algorithm with \(^{+}\)CAL. Zbl 1155.68564Lamport, Leslie 1 2007 Fast Paxos. Zbl 1266.68218Lamport, Leslie 16 2006 Lower bounds for asynchronous consensus. Zbl 1266.68119Lamport, Leslie 2 2006 Real-time model checking is really simple. Zbl 1159.68328Lamport, Leslie 4 2005 Formal specification of a web services protocol. Zbl 1271.68090Johnson, James E.; Langworthy, David E.; Lamport, Leslie; Vogt, Friedrich H. 1 2004 Lower bounds for asynchronous consensus. Zbl 1018.68728Lamport, Leslie 3 2003 Checking cache-coherence protocols with TLA\(^+\). Zbl 1021.68052Joshi, Rajeev; Lamport, Leslie; Matthews, John; Tasiran, Serdar; Tuttle, Mark; Yu, Yuan 2 2003 Disk Paxos. Zbl 0987.68667Gafni, Eli; Lamport, Leslie 9 2000 Specifying concurrent systems with TLA\(^+\). Zbl 0959.68080Lamport, Leslie 12 1999 Processes are in the eye of the beholder. Zbl 0901.68126Lamport, Leslie 2 1997 How to write a proof. Zbl 0877.00005Lamport, Leslie 16 1995 LaTeX: a document preparation system. (Das LaTeX-Handbuch.) Zbl 0852.68115Lamport, Leslie 8 1995 LA\(\TeX\): a document preparation system. User’s guide and reference manual. 2nd ed. Zbl 0824.68121Lamport, Leslie 4 1994 Open systems in TLA. Zbl 1374.68315Abadi, Martín; Lamport, Leslie 1 1994 How to write a proof. Zbl 1041.00501Lamport, Leslie 8 1993 Critique of the Lake Arrowhead three. Zbl 0748.68015Lamport, Leslie 1 1992 The existence of refinement mappings. Zbl 0728.68083Abadi, Martín; Lamport, Leslie 89 1991 Distributed computing: Models and methods. Zbl 0900.68089Lamport, Leslie; Lynch, Nancy 8 1990 A theorem on atomicity in distributed algorithms. Zbl 0699.68044Lamport, Leslie 6 1990 On interprocess communication. I: Basic formalism. Zbl 0598.68022Lamport, Leslie 72 1986 On interprocess communication. II: Algorithms. Zbl 0598.68023Lamport, Leslie 47 1986 The mutual exclusion problem. II: Statement and solutions. Zbl 0627.68018Lamport, Leslie 30 1986 The mutual exclusion problem. I: A theory of interprocess communication. Zbl 0627.68017Lamport, Leslie 28 1986 Synchronizing clocks in the presence of faults. Zbl 0629.68025Lamport, Leslie; Melliar-Smith, P. M. 17 1985 An axiomatic semantics of concurrent programming languages. Zbl 0582.68006Lamport, Leslie 1 1985 The ”Hoare logic” of CSP, and all that. Zbl 0536.68017Lamport, Leslie; Schneider, Fred B. 12 1984 Specifying concurrent program modules. Zbl 0516.68010Lamport, Leslie 37 1983 The weak Byzantine Generals Problem. Zbl 0627.68026Lamport, L. 14 1983 The Byzantine generals problem. Zbl 0483.68021Lamport, Leslie; Shostak, Robert; Pease, Marshall 189 1982 Proving liveness properties of concurrent programs. Zbl 0483.68013Owicki, Susan; Lamport, Leslie 63 1982 An assertional correctness proof of a distributed algorithm. Zbl 0514.68014Lamport, Leslie 7 1982 Reaching agreement in the presence of faults. Zbl 0434.68031Pease, M.; Shostak, R.; Lamport, L. 212 1980 The ”Hoare logic” of concurrent programs. Zbl 0416.68032Lamport, Leslie 9 1980 How to make a microprocessor computer that correctly executes multiprocess programs. Zbl 0419.68045Lamport, Leslie 67 1979 A new approach to proving the correctness of multiprocess programs. Zbl 0463.68022Lamport, Leslie 8 1979 The specification and proof of correctness of interactive programs. Zbl 0404.68017Lamport, Leslie 2 1979 On the proof of correctness of a calendar program. Zbl 0412.68014Lamport, Leslie 2 1979 Time, clocks, and the ordering of events in a distributed system. Zbl 0378.68027Lamport, Leslie 307 1978 On-the-fly garbage collection: An exercise in cooperation. Zbl 0386.68024Dijkstra, Edsger W.; Lamport, Leslie; Martin, A. J.; Scholten, C. S.; Steffens, E. F. M. 19 1978 Proving the correctness of multiprocess programs. Zbl 0349.68006Lamport, Leslie 58 1977 Concurrent reading and writing. Zbl 0361.68091Lamport, Leslie 9 1977 On-the-fly garbage collection: An exercise in cooperation. Zbl 0347.68019Dijkstra, Edsger W.; Lamport, Leslie; Martin, A. J.; Scholten, C. S.; Steffens, E. F. M. 5 1976 The synchronization of independent processes. Zbl 0332.68024Lamport, Leslie 2 1976 the hyperplane method for an array computer. Zbl 0302.68044Lamport, Leslie 1 1975 A new solution of Dijkstra’s concurrent programming problem. Zbl 0281.68004Lamport, Leslie 63 1974 The parallel execution of DO loops. Zbl 0273.68012Lamport, Leslie 39 1974 An extension of a theorem of Hamada on the Cauchy problem with singular data. Zbl 0269.35002Lamport, Leslie 1 1973 Comment on Bell’s quadratic quotient method for hash code searching. Zbl 0199.52104Lamport, L. 2 1970 all cited Publications top 5 cited Publications all top 5 Cited by 1,822 Authors 44 Raynal, Michel 22 Hesselink, Wim H. 19 Guerraoui, Rachid 18 Taubenfeld, Gadi 15 Moses, Yoram 14 Lynch, Nancy Ann 13 Lamport, Leslie 12 Dolev, Shlomi 12 Mostefaoui, Achour 11 Baldoni, Roberto 11 Gafni, Eli M. 11 Schmid, Ulrich 10 Fauconnier, Hugues 10 Halpern, Joseph Yehuda 10 Herlihy, Maurice P. 10 Peled, Doron A. 9 Garay, Juan A. 9 Garg, Vijay K. 9 Welch, Jennifer Lundelius 8 Anderson, James H. 8 Delporte-Gallet, Carole 8 Gilbert, Seth 8 Kshemkalyani, Ajay D. 8 Pnueli, Amir 8 Rajsbaum, Sergio 8 Schwarzmann, Alexander A. 8 Widder, Josef 7 Abraham, Uri 7 Aspnes, James 7 Cohen, Ran 7 Dolev, Danny 7 Hadzilacos, Vassos 7 Hélary, Jean-Michel 7 Janicki, Ryszard 7 Malkhi, Dahlia 7 Merritt, Michael J. 7 Mittal, Neeraj 7 Neiger, Gil 7 Schiper, André 7 Toueg, Sam 6 Abadi, Martín 6 Alistarh, Dan 6 Bouajjani, Ahmed 6 Charron-Bost, Bernadette 6 Chockler, Gregory V. 6 Katz, Shmuel 6 Konnov, Igor V. 6 Koutny, Maciej 6 Lenzen, Christoph 6 Spirakis, Paul G. 6 Tixeuil, Sébastien 6 van Glabbeek, Robert Jan 6 Vardi, Moshe Ya’akov 5 Aravind, Alex A. 5 Censor-Hillel, Keren 5 Coan, Brian A. 5 Dubois, Swan 5 Függer, Matthias 5 Godard, Emmanuel 5 Golab, Wojciech 5 Henzinger, Thomas A. 5 Imbs, Damien 5 Israeli, Amos 5 Keidar, Idit 5 Kulkarni, Sandeep S. 5 Meisels, Amnon 5 Misra, Jayadev 5 Potop-Butucaru, Maria Gradinariu 5 Schiller, Elad Michael 5 Shavit, Nir N. 5 Travers, Corentin 5 Tsigas, Philippas 5 Tuttle, Mark R. 5 Veith, Helmut 5 Vidyasankar, Krishnamurthy 5 Wehrheim, Heike 5 Zikas, Vassilis 5 Zivan, Roie 4 Abdulla, Parosh Aziz 4 Afek, Yehuda 4 Attiya, Hagit 4 Back, Ralph-Johan 4 Bazzi, Rida A. 4 Biely, Martin 4 Bjørner, Dines 4 Dwork, Cynthia 4 Enea, Constantin 4 Fiadeiro, José Luiz 4 Francez, Nissim 4 Higham, Lisa 4 Jard, Claude 4 Jiménez, Ernesto 4 Joseph, Mathai 4 Korman, Amos 4 Kupferman, Orna 4 Kuznetsov, Petr 4 Li, Xiaozhou 4 Liu, Zhiming 4 Lobanov, A. V. 4 Maibaum, Thomas Stephen Edward ...and 1,722 more Authors all top 5 Cited in 135 Serials 173 Distributed Computing 170 Theoretical Computer Science 91 Information Processing Letters 55 Formal Aspects of Computing 47 Information and Computation 36 Acta Informatica 27 Journal of Computer and System Sciences 23 Journal of Parallel and Distributed Computing 22 Formal Methods in System Design 19 International Journal of Parallel Programming 12 Journal of Automated Reasoning 11 Journal of Logical and Algebraic Methods in Programming 10 Journal of Cryptology 10 Parallel Algorithms and Applications 10 Theory of Computing Systems 9 Algorithmica 9 International Journal of Computer Mathematics 8 Artificial Intelligence 8 Automatica 8 International Journal of Foundations of Computer Science 8 Logical Methods in Computer Science 7 Computing 7 Science of Computer Programming 6 Mathematical Systems Theory 6 Cybernetics 6 Real-Time Systems 6 RAIRO. Informatique Théorique et Applications 6 Annals of Mathematics and Artificial Intelligence 6 The Journal of Logic and Algebraic Programming 6 International Journal of Parallel, Emergent and Distributed Systems 5 Journal of Computer Science and Technology 5 MSCS. Mathematical Structures in Computer Science 5 Automation and Remote Control 5 Cybernetics and Systems Analysis 5 Concurrency and Computation: Practice & Experience 5 Sādhanā 4 International Journal of Theoretical Physics 4 Information Sciences 4 Journal of Functional Programming 4 Constraints 4 Journal of the ACM 4 Computer Languages, Systems & Structures 4 Frontiers of Computer Science 4 Computer Science Review 3 Discrete Applied Mathematics 3 SIAM Journal on Control and Optimization 3 Annals of Pure and Applied Logic 3 Journal of Symbolic Computation 3 Games and Economic Behavior 3 Mathematical Problems in Engineering 3 Journal of Applied Logic 3 Algorithms 2 Computer Physics Communications 2 International Journal of Control 2 BIT 2 Journal of Soviet Mathematics 2 SIAM Journal on Computing 2 Order 2 Neural Computation 2 Discrete Event Dynamic Systems 2 The Journal of Supercomputing 2 European Journal of Operational Research 2 Journal of Applied Non-Classical Logics 2 European Journal of Control 2 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 2 New Journal of Physics 2 Fundamenta Informaticae 2 Lobachevskii Journal of Mathematics 2 ACM Transactions on Computational Logic 2 The Review of Symbolic Logic 1 ACM Computing Surveys 1 Astrophysics and Space Science 1 Communications on Pure and Applied Mathematics 1 Discrete Mathematics 1 General Relativity and Gravitation 1 International Journal of Systems Science 1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) 1 Journal of Mathematical Physics 1 Mathematische Semesterberichte 1 Nonlinearity 1 The Mathematical Intelligencer 1 Applied Mathematics and Computation 1 Biometrical Journal 1 Journal of Combinatorial Theory. Series B 1 Journal of Computational and Applied Mathematics 1 Journal of Economic Theory 1 Journal of Mathematical Psychology 1 Journal of Philosophical Logic 1 The Journal of Symbolic Logic 1 Mathematische Annalen 1 Software. Practice & Experience 1 Synthese 1 Moscow University Computational Mathematics and Cybernetics 1 Advances in Applied Mathematics 1 History and Philosophy of Logic 1 Acta Applicandae Mathematicae 1 International Journal of Production Research 1 Parallel Computing 1 RAIRO. Modélisation Mathématique et Analyse Numérique 1 Acta Mathematicae Applicatae Sinica. English Series ...and 35 more Serials all top 5 Cited in 34 Fields 1,090 Computer science (68-XX) 103 Mathematical logic and foundations (03-XX) 67 Information and communication theory, circuits (94-XX) 28 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 26 Systems theory; control (93-XX) 23 Combinatorics (05-XX) 18 Operations research, mathematical programming (90-XX) 11 Numerical analysis (65-XX) 10 Order, lattices, ordered algebraic structures (06-XX) 9 Quantum theory (81-XX) 7 Biology and other natural sciences (92-XX) 6 General and overarching topics; collections (00-XX) 6 Probability theory and stochastic processes (60-XX) 6 Statistics (62-XX) 4 Category theory; homological algebra (18-XX) 3 Partial differential equations (35-XX) 3 General topology (54-XX) 3 Relativity and gravitational theory (83-XX) 3 Mathematics education (97-XX) 2 History and biography (01-XX) 2 Ordinary differential equations (34-XX) 2 Differential geometry (53-XX) 1 General algebraic systems (08-XX) 1 Number theory (11-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Group theory and generalizations (20-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Integral transforms, operational calculus (44-XX) 1 Geometry (51-XX) 1 Mechanics of particles and systems (70-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Statistical mechanics, structure of matter (82-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.