×

zbMATH — the first resource for mathematics

Landweber, Lawrence H.

Compute Distance To:
Author ID: landweber.lawrence-h Recent zbMATH articles by "Landweber, Lawrence H."
Published as: Landweber, L. H.; Landweber, L.; Landweber, Lawrence H.
External Links: MGP · Wikidata · dblp
Documents Indexed: 16 Publications since 1969, including 1 Book

Publications by Year

Citations contained in zbMATH Open

14 Publications have been cited 360 times in 299 Documents Cited by Year
Solving sequential conditions by finite-state strategies. Zbl 0182.02302
Büchi, J. R.; Landweber, L. H.
90
1969
Summary of decision problems for \(\omega\)-automata. Zbl 0182.02402
Landweber, L. H.
83
1969
Properties of conflict-free and persistent Petri nets. Zbl 0384.68062
Landweber, L. H.; Robertson, E. L.
40
1978
Complexity of some problems in Petri nets. Zbl 0357.68048
Jones, Neil D.; Landweber, Lawrence H.; Lien, Y. Edmund
37
1977
On the structure of sets in NP and other complexity classes. Zbl 0482.68042
Landweber, L. H.; Lipton, R. J.; Robertson, E. L.
27
1981
Recursive properties of abstract complexity classes. Zbl 0261.68025
Landweber, L. H.; Robertson, E. L.
21
1972
Definability in the monadic second-order theory of successor. Zbl 0209.02203
Büchi, J. R.; Landweber, L. H.
21
1969
Unsteady Lagally theorem for multipoles and deformable bodies. Zbl 0431.76012
Landweber, L.; Miloh, T.
16
1980
Generalization of the Kelvin-Kirchhoff equations for the motion of a body through a fluid. Zbl 0467.76029
Miloh, T.; Landweber, L.
7
1981
Theor y of computation. Zbl 0274.68001
Brainerd, Walter S.; Landweber, Lawrence H.
7
1974
Viscous effects on propagation and reflection of solitary waves in shallow channels. Zbl 0697.76055
Tang, C. J.; Patel, V. C.; Landweber, L.
5
1990
Hydrodynamic forces and moments acting on a body emerging from an infinite plane. Zbl 0353.76007
Chow, S. K.; Hou, A. Y.; Landweber, L.
4
1976
Synthesis algorithms for sequential machines. Zbl 0213.02202
Landweber, L. H.
1
1969
Elimination of corners in the mapping of a closed curve. Zbl 0246.65013
Landweber, L.; Miloh, T.
1
1972
Viscous effects on propagation and reflection of solitary waves in shallow channels. Zbl 0697.76055
Tang, C. J.; Patel, V. C.; Landweber, L.
5
1990
On the structure of sets in NP and other complexity classes. Zbl 0482.68042
Landweber, L. H.; Lipton, R. J.; Robertson, E. L.
27
1981
Generalization of the Kelvin-Kirchhoff equations for the motion of a body through a fluid. Zbl 0467.76029
Miloh, T.; Landweber, L.
7
1981
Unsteady Lagally theorem for multipoles and deformable bodies. Zbl 0431.76012
Landweber, L.; Miloh, T.
16
1980
Properties of conflict-free and persistent Petri nets. Zbl 0384.68062
Landweber, L. H.; Robertson, E. L.
40
1978
Complexity of some problems in Petri nets. Zbl 0357.68048
Jones, Neil D.; Landweber, Lawrence H.; Lien, Y. Edmund
37
1977
Hydrodynamic forces and moments acting on a body emerging from an infinite plane. Zbl 0353.76007
Chow, S. K.; Hou, A. Y.; Landweber, L.
4
1976
Theor y of computation. Zbl 0274.68001
Brainerd, Walter S.; Landweber, Lawrence H.
7
1974
Recursive properties of abstract complexity classes. Zbl 0261.68025
Landweber, L. H.; Robertson, E. L.
21
1972
Elimination of corners in the mapping of a closed curve. Zbl 0246.65013
Landweber, L.; Miloh, T.
1
1972
Solving sequential conditions by finite-state strategies. Zbl 0182.02302
Büchi, J. R.; Landweber, L. H.
90
1969
Summary of decision problems for \(\omega\)-automata. Zbl 0182.02402
Landweber, L. H.
83
1969
Definability in the monadic second-order theory of successor. Zbl 0209.02203
Büchi, J. R.; Landweber, L. H.
21
1969
Synthesis algorithms for sequential machines. Zbl 0213.02202
Landweber, L. H.
1
1969
all top 5

Cited by 353 Authors

14 Finkel, Olivier
12 Chatterjee, Krishnendu
12 Yen, Hsu-Chun
10 Best, Eike
9 Howell, Rodney R.
9 Rosier, Louis E.
8 Kupferman, Orna
7 Carton, Olivier
7 Yamasaki, Hideki
6 Devillers, Raymond
6 Staiger, Ludwig
6 Thomas, Wolfgang
6 Vardi, Moshe Y.
6 Zimmermann, Martín G.
5 Cohen, Rina S.
5 Gold, Arie Y.
5 Rabinovich, Alexander
5 Wimmel, Harro
4 Ambos-Spies, Klaus
4 Downey, Rodney Graham
4 Doyen, Laurent
4 Esparza, Javier
4 Litovsky, Igor
3 Case, John
3 Darondeau, Philippe
3 Duparc, Jacques
3 Erofeev, Evgeny
3 Filiot, Emmanuel
3 Henzinger, Thomas A.
3 Jobstmann, Barbara
3 La Torre, Salvatore
3 Landweber, Lawrence H.
3 Le Saëc, Bertrand
3 Majumdar, Rupak
3 Piterman, Nir
3 Remmel, Jeffrey B.
3 Schewe, Sven
3 Schöning, Uwe
3 Selivanov, Viktor L’vovich
3 Stephan, Frank
3 Takahashi, Masako
3 Yakhnis, Alexander
3 Zeugmann, Thomas
2 Akshay, S.
2 Anderlini, Luca
2 Bennison, Victor L.
2 Bloem, Roderick
2 Cenzer, Douglas
2 Exibard, Léo
2 Faymonville, Peter
2 Finkbeiner, Bernd
2 Gastin, Paul
2 Havel, Ivan M.
2 Hélouët, Loïc
2 Johnson, Robert F.
2 Kaminsky, Michael
2 Kanovich, Max Iosifovich
2 Khoussainov, Bakhadyr M.
2 Klein, Felix
2 Kobayashi, Kojiro
2 Lewis, Forbes D.
2 Löding, Christof
2 Madhusudan, Parthasarathy
2 Mayr, Ernst W.
2 Merkle, Wolfgang
2 Meyer, Albert Ronald
2 Moriya, Tetsuo
2 Murano, Aniello
2 Napoli, Margherita
2 Nolte, Doris
2 Ott, Matthias
2 Perrin, Dominique
2 Pnueli, Amir
2 Priese, Lutz
2 Rauch Henzinger, Monika
2 Regan, Kenneth W.
2 Reynier, Pierre-Alain
2 Robertson, Edward L.
2 Scedrov, Andre
2 Schlachter, Uli
2 Sharma, Arun K.
2 Simonnet, Pierre
2 Simovici, Dan A.
2 Slaman, Theodore A.
2 Soare, Robert I.
2 Sznajder, Nathalie
2 Valk, Rüdiger
2 van Breugel, Franck
2 Wang, Bow-Yaw
2 Winfree, Erik
2 Winter, Sarah
2 Yakhnis, Vladimir
1 Achasova, S. M.
1 Alimonti, Paola
1 Alur, Rajeev
1 Asperti, Andrea
1 Ausiello, Giorgio
1 Baier, Christel
1 Baker, Theodore P.
1 Baldan, Paolo
...and 253 more Authors
all top 5

Cited in 49 Serials

98 Theoretical Computer Science
27 Journal of Computer and System Sciences
21 Information and Computation
16 Acta Informatica
16 Information Processing Letters
8 Annals of Pure and Applied Logic
6 The Journal of Symbolic Logic
6 Logical Methods in Computer Science
5 Formal Methods in System Design
5 RAIRO. Theoretical Informatics and Applications
4 International Journal of Foundations of Computer Science
4 Discrete Event Dynamic Systems
3 RAIRO, Informatique Théorique
3 RAIRO. Informatique Théorique et Applications
2 Transactions of the American Mathematical Society
2 Journal of Automated Reasoning
2 Annals of Mathematics and Artificial Intelligence
2 Science China. Information Sciences
2 RAIRO. Theoretical Informatics and Applications
1 Archiv für Mathematische Logik und Grundlagenforschung
1 Discrete Applied Mathematics
1 Journal of the Franklin Institute
1 Journal of Soviet Mathematics
1 Mathematische Annalen
1 Mathematics and Computers in Simulation
1 Mathematical Systems Theory
1 Studia Logica
1 Theory and Decision
1 Cybernetics
1 Systems & Control Letters
1 Science of Computer Programming
1 Mathematical Social Sciences
1 Formal Aspects of Computing
1 International Journal of Algebra and Computation
1 MSCS. Mathematical Structures in Computer Science
1 Archive for Mathematical Logic
1 Journal of Logic, Language and Information
1 Mathematical Logic Quarterly (MLQ)
1 Parallel Algorithms and Applications
1 Theory of Computing Systems
1 Journal of the ACM
1 Fundamenta Informaticae
1 Central European Journal of Mathematics
1 Journal of Discrete Algorithms
1 Journal of Applied Logic
1 Groups, Geometry, and Dynamics
1 Nonlinear Analysis. Hybrid Systems
1 Computer Science Review
1 Journal of Logical and Algebraic Methods in Programming

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.