# zbMATH — the first resource for mathematics

## Makowsky, Johann-Andreas

Compute Distance To:
 Author ID: makowsky.johann-andreas Published as: Makowski, J.; Makowsky, J.; Makowsky, J. A.; Makowsky, Janos A.; Makowsky, Johann; Makowsky, Johann A.; Makowsky, Johann Andreas; Makowsky, Johann-Andreas External Links: MGP · Wikidata · dblp · GND
 Documents Indexed: 150 Publications since 1972, including 5 Books
all top 5

#### Co-Authors

 35 single-authored 16 Kotek, Tomer 11 Ravve, Elena V. 6 Rotics, Udi 5 Dahlhaus, Elias 5 Fischer, Eldar 5 Godlin, Benny 5 Labai, Nadia 4 Courcelle, Bruno 4 Kaminsky, Michael 4 Pnueli, Yachin B. 4 Shelah, Saharon 3 Averbouch, Ilia 3 Averbouch, Ilya 3 Mahr, Bernd 3 Mariño, J. P. 3 Meer, Klaus 3 Tiomkin, Michael 2 Bläser, Markus 2 Cohen, Ariel 2 Dell, Holger 2 Grohe, Martin 2 Marcja, Annalisa 2 Niwiński, Damian 2 Rakita, Vsevolod 2 Tittmann, Peter 2 Zilber, Boris I. 1 Adámek, Jiří 1 Baaz, Matthias 1 Bargury, Y. 1 Blanchard, Nicolas K. 1 Calò, A. 1 Durand, Arnaud 1 Engeler, Erwin 1 Francez, Nissim 1 Glikson, Alexander 1 Goodall, Andrew J. 1 Grégoire, Jean-Charles 1 Grumberg, Orna 1 Hermann, Martin 1 Hungerbuhler, Norbert 1 Hyland, J. Martin E. 1 Israeli, Amos 1 Itai, Alon 1 Johnstone, Peter T. 1 Jones, Neil D. 1 Katz, Emilia 1 Lotz, Martin 1 Madanlal, M. S. 1 Markowitz, Victor M. 1 Mohanty, Sri Gopal 1 More, Malika 1 Noble, Steven Derek 1 Rangan, Chandrasekharan Pandu 1 Razborov, Aleksandr Aleksandrovich 1 Rinaldi, Simone 1 Rosický, Jiří 1 Rotics, Nimrod 1 Sagiv, S. 1 Sain, Ildikó 1 Sharell, Abraham 1 Stavi, Jonathan 1 Tiomkin, M. L. 1 Tulipani, Sauro 1 Vardi, Moshe Y. 1 Venkatesan, G. 1 Zamansky, Anna 1 Zhang, Runxuan 1 Ziegler, Martin
all top 5

#### Serials

 5 European Journal of Combinatorics 4 Theoretical Computer Science 4 Annals of Pure and Applied Logic 3 Archiv für Mathematische Logik und Grundlagenforschung 3 Discrete Applied Mathematics 3 Journal of Computer and System Sciences 3 The Journal of Symbolic Logic 3 Advances in Applied Mathematics 3 Information and Computation 3 Journal of Logic and Computation 3 Theory of Computing Systems 2 Fundamenta Mathematicae 2 The Journal of Logic Programming 2 Annals of Mathematics and Artificial Intelligence 2 Fundamenta Informaticae 1 Acta Informatica 1 Annals of Mathematical Logic 1 Information and Control 1 Notre Dame Journal of Formal Logic 1 Rendiconti del Seminario Matematico della Università di Padova 1 Transactions of the American Mathematical Society 1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 Data & Knowledge Engineering 1 MSCS. Mathematical Structures in Computer Science 1 International Journal of Foundations of Computer Science 1 Elemente der Mathematik 1 The Australasian Journal of Combinatorics 1 Formal Methods in System Design 1 Journal of Logic, Language and Information 1 The Bulletin of Symbolic Logic 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques 1 Comptes Rendus Hebdomadaires des Séances de l’Académie des Sciences, Série A 1 Contemporary Mathematics 1 Lecture Notes in Computer Science 1 Lecture Notes in Logic 1 Logical Methods in Computer Science 1 Moscow Journal of Combinatorics and Number Theory
all top 5

#### Fields

 82 Computer science (68-XX) 74 Mathematical logic and foundations (03-XX) 49 Combinatorics (05-XX) 7 History and biography (01-XX) 5 General and overarching topics; collections (00-XX) 5 Number theory (11-XX) 2 General topology (54-XX) 2 Manifolds and cell complexes (57-XX) 2 Mathematics education (97-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Category theory; homological algebra (18-XX) 1 Geometry (51-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) 1 Operations research, mathematical programming (90-XX)

#### Citations contained in zbMATH

109 Publications have been cited 977 times in 635 Documents Cited by Year
Linear time solvable optimization problems on graphs of bounded clique-width. Zbl 1009.68102
Courcelle, B.; Makowsky, J. A.; Rotics, U.
2000
On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic. Zbl 0972.05023
Courcelle, B.; Makowsky, J. A.; Rotics, U.
2001
Algorithmic uses of the Feferman-Vaught theorem. Zbl 1099.03009
Makowsky, J. A.
2004
On the clique-width of graph with few $$P_{4}$$’s. Zbl 1320.05096
Makowsky, J. A.; Rotics, U.
1999
Counting truth assignments of formulas of bounded tree-width or clique-width. Zbl 1131.68093
Fischer, E.; Makowsky, J. A.; Ravve, E. V.
2008
Unification as a complexity measure for logic programming. Zbl 0641.68143
Itai, A.; Makowsky, J. A.
1987
$$\Delta$$-logics and generalized quantifiers. Zbl 0346.02007
Makowsky, J. A.; Shelah, Saharon; Stavi, Jonathan
1976
From a zoo to a zoology: Towards a general theory of graph polynomials. Zbl 1162.68502
Makowsky, J. A.
2008
A proof rule for fair termination of guarded commands. Zbl 0577.68022
Grumberg, Orna; Francez, Nissim; Makowsky, Johann A.
1985
An extension of the bivariate chromatic polynomial. Zbl 1198.05099
Averbouch, Ilia; Godlin, Benny; Makowsky, J. A.
2010
Coloured Tutte polynomials and Kauffman brackets for graphs of bounded tree width. Zbl 1084.05505
Makowsky, J. A.
2005
Restrictions of minimum spanner problems. Zbl 0890.68106
Venkatesan, G.; Rotics, U.; Madanlal, M. S.; Makowsky, J. A.; Pandu Rangan, C.
1997
Why Horn formulas matter in computer science: initial structures and generic examples. Zbl 0619.68029
Makowsky, J. A.
1987
On the location of roots of graph polynomials. Zbl 1300.05136
Makowsky, Johann A.; Ravve, Elena V.; Blanchard, Nicolas K.
2014
The enumeration of vertex induced subgraphs with respect to the number of components. Zbl 1229.05124
Tittmann, P.; Averbouch, I.; Makowsky, J. A.
2011
Fusion in relational structures and the verification of monadic second-order properties. Zbl 1005.68105
Courcelle, B.; Makowsky, J. A.
2002
Colored Tutte polynomials and Kauffman brackets for graphs of bounded tree width. Zbl 0988.05087
Makowsky, J. A.
2001
The theorems of Beth and Craig in abstract model theory. I: The abstract setting. Zbl 0428.03032
Makowsky, J. A.; Shelah, S.
1979
Arity and alternation in second-order logic. Zbl 0854.03006
Makowsky, J. A.; Pnueli, Y. B.
1996
Linear time solvable optimization problems on graphs of bounded clique width. Zbl 0929.90084
Courcelle, B.; Makowsky, J. A.; Rotics, U.
1998
Some model theory for monotone quantifiers. Zbl 0365.02042
Makowsky, J. A.; Tulipani, S.
1977
On some conjectures connected with complete sentences. Zbl 0285.02042
Makowsky, J. A.
1974
Buckling equations for elastic shells with rotational degrees of freedom undergoing finite strain deformation. Zbl 0706.73044
Makowski, J.; Stumpf, H.
1990
On large strain deformations of shells. Zbl 0602.73035
Stumpf, H.; Makowski, J.
1987
Positive results in abstract model theory: a theory of compact logics. Zbl 0544.03013
Makowsky, J. A.; Shelah, S.
1983
A most general edge elimination polynomial. Zbl 1202.05063
Averbouch, Ilia; Godlin, Benny; Makowsky, Johann A.
2008
Farrell polynomials on graphs of bounded tree width. Zbl 1023.68070
Makowsky, J. A.; Mariño, J. P.
2003
Vopěnka’s principle and compact logics. Zbl 0623.03041
Makowsky, J. A.
1985
Characterizing specification languages which admit initial semantics. Zbl 0536.68011
Mahr, B.; Makowsky, J. A.
1984
The theorems of Beth and Craig in abstract model theory. II. Compact logics. Zbl 0472.03028
Makowsky, J. A.; Shelah, S.
1981
Fifty years of the spectrum problem: survey and new results. Zbl 1309.03014
Durand, Arnaud; Jones, Neil D.; Makowsky, Johann A.; More, Malika
2012
On counting generalized colorings. Zbl 1253.05071
Kotek, Tomer; Makowsky, Johann A.; Zilber, Boris
2011
Computing graph polynomials on graphs of bounded clique-width. Zbl 1167.05335
Makowsky, J. A.; Rotics, Udi; Averbouch, Ilya; Godlin, Benny
2006
The parametrized complexity of knot polynomials. Zbl 1093.68043
Makowsky, J. A.; Mariño, J. P.
2003
Why Horn formulas matter in computer science: initial structures and generic examples. Zbl 0563.68013
Makowsky, J. A.
1985
On counting generalized colorings. Zbl 1157.05024
Kotek, T.; Makowsky, J. A.; Zilber, B.
2008
On the algebraic complexity of some families of coloured Tutte polynomials. Zbl 1041.05042
Lotz, Martin; Makowsky, Johann A.
2004
Extensions for open default theories via the domain closure assumption. Zbl 0901.68188
Kaminski, Michael; Makowsky, Johann A.; Tiomkin, Michael
1998
Decidability of finite probabilistic propositional dynamic logics. Zbl 0732.03022
Tiomkin, M.; Makowsky, J. A.
1991
On the expressive power of data dependencies. Zbl 0617.68085
Makowsky, Johann A.; Vardi, Moshe Y.
1986
Propositional dynamic logic with local assignments. Zbl 0574.03011
Tiomkin, M. L.; Makowsky, J. A.
1985
Application of logic to combinatorial sequences and their recurrence relations. Zbl 1282.03019
Fischer, Eldar; Kotek, Tomer; Makowsky, Johann A.
2011
Evaluations of graph polynomials. Zbl 1202.05065
Godlin, Benny; Kotek, Tomer; Makowsky, Johann A.
2008
Linear recurrence relations for graph polynomials. Zbl 1134.05099
Fischer, Eldar; Makowsky, Johann A.
2008
The Specker-Blatter theorem revisited. Zbl 1276.03034
Fischer, E.; Makowsky, J. A.
2003
The Ehrenfeucht-Fraïssé games for transitive closure. Zbl 0978.03525
Calò, A.; Makowsky, J. A.
1992
The expressive power of transitive closure and 2-way multihead automata. Zbl 0783.03018
Bargury, Y.; Makowsky, J.
1992
Finite strains and rotations in shells. Zbl 0615.73042
Makowski, J.; Stumpf, H.
1986
Model theoretic issues in theoretical computer science. I: Relational data bases and abstract data types. Zbl 0553.68028
Makowsky, J. A.
1984
Connection matrices and the definability of graph parameters. Zbl 1345.03054
Kotek, Tomer; Makowsky, Johann A.
2014
A computational framework for the study of partition functions and graph polynomials. Zbl 1364.03055
Kotek, T.; Makowsky, J. A.; Ravve, E. V.
2013
Tree-width and the monadic quantifier hierarchy. Zbl 1044.68130
Makowsky, J. A.; Mariño, J. P.
2003
On the complexity of combinatorial and metafinite generating functions of graph properties of the computational model of Blum, Shub and Smale. Zbl 0973.68524
Makowsky, J. A.; Meer, K.
2000
Incremental model checking for decomposable structures. Zbl 1193.68164
Makowsky, J. A.; Ravve, E. V.
1995
Oracles and quantifiers. Zbl 0953.03049
Makowsky, J. A.; Pnueli, Y. B.
1994
The choice of programming primitives for SETL-like programming languages. Zbl 0587.68005
Dahlhaus, E.; Makowsky, J. A.
1986
Characterizing specification languages which admit initial semantics. Zbl 0522.68026
Mahr, B.; Makowsky, J. A.
1983
Topological model theory with an interior operator: Consistency properties and back-and-forth arguments. Zbl 0472.03027
Makowsky, J. A.; Ziegler, M.
1981
On sequences of polynomials arising from graph invariants. Zbl 1371.05135
Kotek, T.; Makowsky, J. A.; Ravve, E. V.
2018
Graph polynomials: from recursive definitions to subset expansion formulas. Zbl 1239.05095
Godlin, B.; Katz, E.; Makowsky, J. A.
2012
Complexity of the Bollobás-Riordan polynomial. Exceptional points and uniform reductions. Zbl 1143.05023
Bläser, Markus; Dell, Holger; Makowsky, Johann A.
2008
From a zoo to a zoology: Descriptive complexity for graph polynomials. Zbl 1145.68432
Makowsky, J. A.
2006
On spectra of sentences of monadic second order logic with counting. Zbl 1070.03018
Fischer, E.; Makowsky, J. A.
2004
NCE graph grammars and clique-width. Zbl 1255.68088
Glikson, Alexander; Makowsky, Johann A.
2003
Polynomials of bounded tree-width. Zbl 1018.65063
Makowsky, Janos A.; Meer, Klaus
2002
Dependency preserving refinements and the fundamental problem of database design. Zbl 0893.68049
Makowsky, J. A.; Ravve, E. V.
1998
Computable quantifiers and logics over finite structures. Zbl 0905.03018
Makowsky, Johann A.; Pnueli, Yachin B.
1995
On the “symmetry” of tangent operators in nonlinear mechanics. Zbl 0839.70013
Makowski, J.; Stumpf, H.
1995
Weak second order characterizations of various program verification systems. Zbl 0678.68008
Makowsky, J. A.; Sain, I.
1989
Quantifying over countable sets: Positive vs stationary logic. Zbl 0469.03021
Makowsky, J. A.
1978
Completeness theorems for modal model theory with the MontagueChang semantics. I. Zbl 0362.02043
Makowsky, J. A.; Marcja, A.
1977
On the complexity of generalized chromatic polynomials. Zbl 1378.05059
Goodall, A.; Hermann, M.; Kotek, T.; Makowsky, J. A.; Noble, S. D.
2018
Finiteness conditions for graph algebras over tropical semirings. Zbl 1393.05180
2014
Recurrence relations for graph polynomials on bi-iterative families of graphs. Zbl 1300.05135
Kotek, Tomer; Makowsky, Johann A.
2014
Indistinguishability by default. Zbl 1219.68148
Cohen, Ariel; Kaminski, Michael; Makowsky, Johann A.
2005
Finitary sketches. Zbl 0885.18001
Adámek, Jiří; Johnstone, P. T.; Makowsky, J. A.; Rosický, Jiří
1997
Invariant definability. (Extended abstract). Zbl 0881.03022
Makowsky, J. A.
1997
Arity vs. alternation in second order logic. Zbl 0946.03041
Makowsky, J. A.; Pnueli, Y. B.
1994
Mechanics of irregular shell structures. Zbl 0837.73041
Makowski, J.; Stumpf, H.
1994
Finite axisymmetric deformation of shells of revolution with application to flexural buckling of circular plates. Zbl 0712.73031
Makowski, J.; Stumpf, H.
1989
Computable directory queries. Zbl 0604.68109
Dahlhaus, E.; Makowsky, J. A.
1986
On the derivation and comparative analysis of large rotation shell theories. Zbl 0576.73055
Nolte, L.-P.; Makowski, J.; Stumpf, H.
1986
Characterizing data base dependencies. Zbl 0515.68068
Makowsky, J. A.
1981
Measuring the expressive power of dynamic logics: An application of abstract model theory. Zbl 0465.68012
Makowsky, J. A.
1980
Securable quantifiers, k-unions and admissible sets. Zbl 0311.02023
Makowsky, Johann Andreas
1975
On weakly distinguishing graph polynomials. Zbl 1411.05131
Makowsky, Johann A.; Rakita, Vsevolod
2019
Semantic equivalence of graph polynomials definable in second order logic. Zbl 06625893
Makowsky, Johann A.; Ravve, Elena V.
2016
Hankel matrices: from words to graphs (extended abstract). Zbl 1451.68207
2015
Connection matrices and the definability of graph parameters. Zbl 1252.03085
Kotek, Tomer; Makowsky, Johann A.
2012
A representation theorem for holonomic sequences based on counting lattice paths. Zbl 1245.68151
Kotek, Tomer; Makowsky, Johann A.
2012
The universal edge elimination polynomial and the dichromatic polynomial. Zbl 1274.05231
Averbouch, I.; Kotek, T.; Makowsky, J. A.; Ravve, E.
2011
Definability of combinatorial functions and their linear recurrence relations. Zbl 1287.05008
Kotek, Tomer; Makowsky, Johann A.
2010
Complexity of the Bollobás-Riordan polynomial. Exceptional points and uniform reductions. Zbl 1206.68137
Bläser, Markus; Dell, Holger; Makowsky, Johann A.
2010
From Hilbert’s program to a logic tool box. Zbl 1167.00011
Makowsky, J. A.
2008
Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning. Zbl 1188.68275
Cohen, Ariel; Kaminski, Michael; Makowsky, Johann A.
2008
Encounters with A. Mostowski. Zbl 1147.01326
Makowsky, J. A.
2008
Polynomials of bounded tree width (extended abstract). Zbl 0972.05035
Makowsky, J. A.; Meer, K.
2000
Invariant definability and P/poly. Zbl 0934.03053
Makowsky, J. A.
1999
Strain localization in stress-resultant theory of shells. Zbl 0971.74052
Makowski, J.; Stumpf, H.
1998
The impact of model theory on theoretical computer science. Zbl 0854.03040
Makowsky, J. A.
1994
On weakly distinguishing graph polynomials. Zbl 1411.05131
Makowsky, Johann A.; Rakita, Vsevolod
2019
On sequences of polynomials arising from graph invariants. Zbl 1371.05135
Kotek, T.; Makowsky, J. A.; Ravve, E. V.
2018
On the complexity of generalized chromatic polynomials. Zbl 1378.05059
Goodall, A.; Hermann, M.; Kotek, T.; Makowsky, J. A.; Noble, S. D.
2018
Semantic equivalence of graph polynomials definable in second order logic. Zbl 06625893
Makowsky, Johann A.; Ravve, Elena V.
2016
Hankel matrices: from words to graphs (extended abstract). Zbl 1451.68207
2015
On the location of roots of graph polynomials. Zbl 1300.05136
Makowsky, Johann A.; Ravve, Elena V.; Blanchard, Nicolas K.
2014
Connection matrices and the definability of graph parameters. Zbl 1345.03054
Kotek, Tomer; Makowsky, Johann A.
2014
Finiteness conditions for graph algebras over tropical semirings. Zbl 1393.05180
2014
Recurrence relations for graph polynomials on bi-iterative families of graphs. Zbl 1300.05135
Kotek, Tomer; Makowsky, Johann A.
2014
A computational framework for the study of partition functions and graph polynomials. Zbl 1364.03055
Kotek, T.; Makowsky, J. A.; Ravve, E. V.
2013
Fifty years of the spectrum problem: survey and new results. Zbl 1309.03014
Durand, Arnaud; Jones, Neil D.; Makowsky, Johann A.; More, Malika
2012
Graph polynomials: from recursive definitions to subset expansion formulas. Zbl 1239.05095
Godlin, B.; Katz, E.; Makowsky, J. A.
2012
Connection matrices and the definability of graph parameters. Zbl 1252.03085
Kotek, Tomer; Makowsky, Johann A.
2012
A representation theorem for holonomic sequences based on counting lattice paths. Zbl 1245.68151
Kotek, Tomer; Makowsky, Johann A.
2012
The enumeration of vertex induced subgraphs with respect to the number of components. Zbl 1229.05124
Tittmann, P.; Averbouch, I.; Makowsky, J. A.
2011
On counting generalized colorings. Zbl 1253.05071
Kotek, Tomer; Makowsky, Johann A.; Zilber, Boris
2011
Application of logic to combinatorial sequences and their recurrence relations. Zbl 1282.03019
Fischer, Eldar; Kotek, Tomer; Makowsky, Johann A.
2011
The universal edge elimination polynomial and the dichromatic polynomial. Zbl 1274.05231
Averbouch, I.; Kotek, T.; Makowsky, J. A.; Ravve, E.
2011
An extension of the bivariate chromatic polynomial. Zbl 1198.05099
Averbouch, Ilia; Godlin, Benny; Makowsky, J. A.
2010
Definability of combinatorial functions and their linear recurrence relations. Zbl 1287.05008
Kotek, Tomer; Makowsky, Johann A.
2010
Complexity of the Bollobás-Riordan polynomial. Exceptional points and uniform reductions. Zbl 1206.68137
Bläser, Markus; Dell, Holger; Makowsky, Johann A.
2010
Counting truth assignments of formulas of bounded tree-width or clique-width. Zbl 1131.68093
Fischer, E.; Makowsky, J. A.; Ravve, E. V.
2008
From a zoo to a zoology: Towards a general theory of graph polynomials. Zbl 1162.68502
Makowsky, J. A.
2008
A most general edge elimination polynomial. Zbl 1202.05063
Averbouch, Ilia; Godlin, Benny; Makowsky, Johann A.
2008
On counting generalized colorings. Zbl 1157.05024
Kotek, T.; Makowsky, J. A.; Zilber, B.
2008
Evaluations of graph polynomials. Zbl 1202.05065
Godlin, Benny; Kotek, Tomer; Makowsky, Johann A.
2008
Linear recurrence relations for graph polynomials. Zbl 1134.05099
Fischer, Eldar; Makowsky, Johann A.
2008
Complexity of the Bollobás-Riordan polynomial. Exceptional points and uniform reductions. Zbl 1143.05023
Bläser, Markus; Dell, Holger; Makowsky, Johann A.
2008
From Hilbert’s program to a logic tool box. Zbl 1167.00011
Makowsky, J. A.
2008
Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning. Zbl 1188.68275
Cohen, Ariel; Kaminski, Michael; Makowsky, Johann A.
2008
Encounters with A. Mostowski. Zbl 1147.01326
Makowsky, J. A.
2008
Computing graph polynomials on graphs of bounded clique-width. Zbl 1167.05335
Makowsky, J. A.; Rotics, Udi; Averbouch, Ilya; Godlin, Benny
2006
From a zoo to a zoology: Descriptive complexity for graph polynomials. Zbl 1145.68432
Makowsky, J. A.
2006
Coloured Tutte polynomials and Kauffman brackets for graphs of bounded tree width. Zbl 1084.05505
Makowsky, J. A.
2005
Indistinguishability by default. Zbl 1219.68148
Cohen, Ariel; Kaminski, Michael; Makowsky, Johann A.
2005
Algorithmic uses of the Feferman-Vaught theorem. Zbl 1099.03009
Makowsky, J. A.
2004
On the algebraic complexity of some families of coloured Tutte polynomials. Zbl 1041.05042
Lotz, Martin; Makowsky, Johann A.
2004
On spectra of sentences of monadic second order logic with counting. Zbl 1070.03018
Fischer, E.; Makowsky, J. A.
2004
Farrell polynomials on graphs of bounded tree width. Zbl 1023.68070
Makowsky, J. A.; Mariño, J. P.
2003
The parametrized complexity of knot polynomials. Zbl 1093.68043
Makowsky, J. A.; Mariño, J. P.
2003
The Specker-Blatter theorem revisited. Zbl 1276.03034
Fischer, E.; Makowsky, J. A.
2003
Tree-width and the monadic quantifier hierarchy. Zbl 1044.68130
Makowsky, J. A.; Mariño, J. P.
2003
NCE graph grammars and clique-width. Zbl 1255.68088
Glikson, Alexander; Makowsky, Johann A.
2003
Fusion in relational structures and the verification of monadic second-order properties. Zbl 1005.68105
Courcelle, B.; Makowsky, J. A.
2002
Polynomials of bounded tree-width. Zbl 1018.65063
Makowsky, Janos A.; Meer, Klaus
2002
On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic. Zbl 0972.05023
Courcelle, B.; Makowsky, J. A.; Rotics, U.
2001
Colored Tutte polynomials and Kauffman brackets for graphs of bounded tree width. Zbl 0988.05087
Makowsky, J. A.
2001
Linear time solvable optimization problems on graphs of bounded clique-width. Zbl 1009.68102
Courcelle, B.; Makowsky, J. A.; Rotics, U.
2000
On the complexity of combinatorial and metafinite generating functions of graph properties of the computational model of Blum, Shub and Smale. Zbl 0973.68524
Makowsky, J. A.; Meer, K.
2000
Polynomials of bounded tree width (extended abstract). Zbl 0972.05035
Makowsky, J. A.; Meer, K.
2000
On the clique-width of graph with few $$P_{4}$$’s. Zbl 1320.05096
Makowsky, J. A.; Rotics, U.
1999
Invariant definability and P/poly. Zbl 0934.03053
Makowsky, J. A.
1999
Linear time solvable optimization problems on graphs of bounded clique width. Zbl 0929.90084
Courcelle, B.; Makowsky, J. A.; Rotics, U.
1998
Extensions for open default theories via the domain closure assumption. Zbl 0901.68188
Kaminski, Michael; Makowsky, Johann A.; Tiomkin, Michael
1998
Dependency preserving refinements and the fundamental problem of database design. Zbl 0893.68049
Makowsky, J. A.; Ravve, E. V.
1998
Strain localization in stress-resultant theory of shells. Zbl 0971.74052
Makowski, J.; Stumpf, H.
1998
Restrictions of minimum spanner problems. Zbl 0890.68106
Venkatesan, G.; Rotics, U.; Madanlal, M. S.; Makowsky, J. A.; Pandu Rangan, C.
1997
Finitary sketches. Zbl 0885.18001
Adámek, Jiří; Johnstone, P. T.; Makowsky, J. A.; Rosický, Jiří
1997
Invariant definability. (Extended abstract). Zbl 0881.03022
Makowsky, J. A.
1997
Arity and alternation in second-order logic. Zbl 0854.03006
Makowsky, J. A.; Pnueli, Y. B.
1996
Incremental model checking for decomposable structures. Zbl 1193.68164
Makowsky, J. A.; Ravve, E. V.
1995
Computable quantifiers and logics over finite structures. Zbl 0905.03018
Makowsky, Johann A.; Pnueli, Yachin B.
1995
On the “symmetry” of tangent operators in nonlinear mechanics. Zbl 0839.70013
Makowski, J.; Stumpf, H.
1995
Oracles and quantifiers. Zbl 0953.03049
Makowsky, J. A.; Pnueli, Y. B.
1994
Arity vs. alternation in second order logic. Zbl 0946.03041
Makowsky, J. A.; Pnueli, Y. B.
1994
Mechanics of irregular shell structures. Zbl 0837.73041
Makowski, J.; Stumpf, H.
1994
The impact of model theory on theoretical computer science. Zbl 0854.03040
Makowsky, J. A.
1994
The Ehrenfeucht-Fraïssé games for transitive closure. Zbl 0978.03525
Calò, A.; Makowsky, J. A.
1992
The expressive power of transitive closure and 2-way multihead automata. Zbl 0783.03018
Bargury, Y.; Makowsky, J.
1992
Query languages for hierarchic databases. Zbl 0765.68029
Dahlhaus, E.; Makowsky, J. A.
1992
Decidability of finite probabilistic propositional dynamic logics. Zbl 0732.03022
Tiomkin, M.; Makowsky, J. A.
1991
Buckling equations for elastic shells with rotational degrees of freedom undergoing finite strain deformation. Zbl 0706.73044
Makowski, J.; Stumpf, H.
1990
Weak second order characterizations of various program verification systems. Zbl 0678.68008
Makowsky, J. A.; Sain, I.
1989
Finite axisymmetric deformation of shells of revolution with application to flexural buckling of circular plates. Zbl 0712.73031
Makowski, J.; Stumpf, H.
1989
A simple buckling problem within the shell theory of rubber-like materials. Zbl 0711.73104
Makowski, J.; Stumpf, H.
1988
Gandy’s principles for mechanisms as a model of parallel computation. Zbl 0676.68018
Dahlhaus, Elias; Makowsky, Johann A.
1988
Mental images and the architecture of concepts. Zbl 0661.68028
Makowsky, Johann A.
1988
Unification as a complexity measure for logic programming. Zbl 0641.68143
Itai, A.; Makowsky, J. A.
1987
Why Horn formulas matter in computer science: initial structures and generic examples. Zbl 0619.68029
Makowsky, J. A.
1987
On large strain deformations of shells. Zbl 0602.73035
Stumpf, H.; Makowski, J.
1987
Simple equations in terms of displacements for finite axisymmetric deflections of shells of revolution. Zbl 0605.73034
Makowski, J.; Nolte, L.-P.
1987
On the expressive power of data dependencies. Zbl 0617.68085
Makowsky, Johann A.; Vardi, Moshe Y.
1986
Finite strains and rotations in shells. Zbl 0615.73042
Makowski, J.; Stumpf, H.
1986
The choice of programming primitives for SETL-like programming languages. Zbl 0587.68005
Dahlhaus, E.; Makowsky, J. A.
1986
Computable directory queries. Zbl 0604.68109
Dahlhaus, E.; Makowsky, J. A.
1986
On the derivation and comparative analysis of large rotation shell theories. Zbl 0576.73055
Nolte, L.-P.; Makowski, J.; Stumpf, H.
1986
A proof rule for fair termination of guarded commands. Zbl 0577.68022
Grumberg, Orna; Francez, Nissim; Makowsky, Johann A.
1985
Vopěnka’s principle and compact logics. Zbl 0623.03041
Makowsky, J. A.
1985
Why Horn formulas matter in computer science: initial structures and generic examples. Zbl 0563.68013
Makowsky, J. A.
1985
Propositional dynamic logic with local assignments. Zbl 0574.03011
Tiomkin, M. L.; Makowsky, J. A.
1985
Finite in-plane deformations of flexible rods insight into nonlinear shell problems. Zbl 0583.73038
Makowski, J.; Nolte, L.-P.; Stumpf, H.
1985
Characterizing specification languages which admit initial semantics. Zbl 0536.68011
Mahr, B.; Makowsky, J. A.
1984
Model theoretic issues in theoretical computer science. I: Relational data bases and abstract data types. Zbl 0553.68028
Makowsky, J. A.
1984
Positive results in abstract model theory: a theory of compact logics. Zbl 0544.03013
Makowsky, J. A.; Shelah, S.
1983
Characterizing specification languages which admit initial semantics. Zbl 0522.68026
Mahr, B.; Makowsky, J. A.
1983
An axiomatic approach to semantics of specification languages. Zbl 0493.68023
Mahr, B.; Makowsky, J. A.
1982
The theorems of Beth and Craig in abstract model theory. II. Compact logics. Zbl 0472.03028
Makowsky, J. A.; Shelah, S.
1981
Topological model theory with an interior operator: Consistency properties and back-and-forth arguments. Zbl 0472.03027
Makowsky, J. A.; Ziegler, M.
1981
Characterizing data base dependencies. Zbl 0515.68068
Makowsky, J. A.
1981
Measuring the expressive power of dynamic logics: An application of abstract model theory. Zbl 0465.68012
Makowsky, J. A.
1980
...and 9 more Documents
all top 5

#### Cited by 773 Authors

 47 Makowsky, Johann-Andreas 28 Lozin, Vadim Vladislavovich 27 Courcelle, Bruno 21 Brandstädt, Andreas 16 Ganian, Robert 16 Paulusma, Daniël 16 Szeider, Stefan 15 Dabrowski, Konrad Kazimierz 13 Gurski, Frank 13 Milanič, Martin 11 Kotek, Tomer 11 Lampis, Michael 10 Hliněný, Petr 10 Meister, Daniel 10 Mosca, Raffaele 9 Rotics, Udi 8 Golovach, Petr A. 8 Kanté, Mamadou Moustapha 8 Ravve, Elena V. 8 Rossmanith, Peter 8 Zamaraev, Victor A. 7 Malyshev, Dmitry S. 7 Oum, Sang-Il 7 Väänänen, Jouko Antero 6 Belmonte, Rémy 6 Kneis, Joachim 6 Korpelainen, Nicholas 6 Kwon, Ojoung 6 Langer, Alexander 6 Müller, Haiko 6 Nešetřil, Jaroslav 6 Otachi, Yota 6 Papadopoulos, Charis 6 Rautenbach, Dieter 6 Shelah, Saharon 6 Vatshelle, Martin 6 Wanke, Egon 5 Boros, Endre 5 Goodall, Andrew J. 5 Heggernes, Pinar 5 Huang, Shenwei 5 Kučera, Petr 5 Meer, Klaus 5 Monnot, Jérôme 5 Obdržálek, Jan 5 Rao, Michaël 5 Ries, Bernard 5 Sikdar, Somnath 5 Torres, Pablo Daniel 5 Vardi, Moshe Y. 4 Argiroffo, Gabriela R. 4 Bazgan, Cristina 4 Bodlaender, Hans L. 4 Broersma, Hajo J. 4 Čepek, Ondřej 4 Das, Bireswar 4 Eiben, Eduard 4 Enduri, Murali Krishna 4 Eremeyev, Victor A. 4 Kopczyński, Eryk 4 Hoàng-Oanh Le 4 Leoni, Valeria Alejandra 4 Liedloff, Mathieu 4 Maffray, Frédéric 4 Makowski, Jerzy 4 Marques-Silva, João P. 4 Mencía, Carlos 4 Ordyniak, Sebastian 4 Paschos, Vangelis Th. 4 Pietraszkiewicz, Wojciech 4 Reddy, I. Vinod 4 Stumpf, Helmut 4 Telle, Jan Arne 3 Beck, Matthias 3 Blanchet-Sadri, Francine 3 Bläser, Markus 3 Blumensath, Achim 3 Brown, Jason Ira 3 Bui-Xuan, Binh-Minh 3 Cicalese, Ferdinando 3 Dell, Holger 3 Dragan, Feodor F. 3 Fagin, Ronald 3 Fernau, Henning 3 Fischer, Eldar 3 Fomin, Fedor V. 3 Francez, Nissim 3 Garijo, Delia 3 Gaspers, Serge 3 Godlin, Benny 3 Hodges, Wilfrid 3 Kaminsky, Michael 3 Katsikarelis, Ioannis 3 Katz, Shmuel 3 Koiran, Pascal 3 Kolaitis, Phokion G. 3 Kratsch, Dieter 3 Krynicki, Michał Marian 3 Lê Văn Băng 3 Libkin, Leonid O. ...and 673 more Authors
all top 5

#### Cited in 108 Serials

 88 Discrete Applied Mathematics 77 Theoretical Computer Science 23 Journal of Computer and System Sciences 20 Algorithmica 17 Information Processing Letters 17 Annals of Pure and Applied Logic 15 Discrete Mathematics 15 The Journal of Symbolic Logic 14 European Journal of Combinatorics 14 Information and Computation 11 Theory of Computing Systems 9 Artificial Intelligence 9 Journal of Combinatorial Theory. Series B 9 Annals of Mathematics and Artificial Intelligence 8 Graphs and Combinatorics 7 Studia Logica 7 Archive for Mathematical Logic 6 Archiv für Mathematische Logik und Grundlagenforschung 6 Computer Methods in Applied Mechanics and Engineering 6 SIAM Journal on Discrete Mathematics 6 ACM Transactions on Computational Logic 6 Journal of Applied Logic 5 Journal of Graph Theory 5 International Journal of Foundations of Computer Science 5 Journal of Combinatorial Optimization 5 Journal of Discrete Algorithms 4 Applied Mathematics and Computation 4 Proceedings of the American Mathematical Society 4 Transactions of the American Mathematical Society 4 Distributed Computing 4 Mathematical Logic Quarterly (MLQ) 4 The Bulletin of Symbolic Logic 4 Logical Methods in Computer Science 4 Computer Science Review 3 Israel Journal of Mathematics 3 Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM) 3 Algebra Universalis 3 Synthese 3 Advances in Applied Mathematics 3 International Journal of Computer Mathematics 3 Linear Algebra and its Applications 3 Combinatorics, Probability and Computing 3 Discrete Optimization 2 Acta Informatica 2 Ingenieur-Archiv 2 International Journal of Engineering Science 2 International Journal of Solids and Structures 2 International Journal for Numerical Methods in Engineering 2 Journal of Combinatorial Theory. Series A 2 SIAM Journal on Computing 2 Formal Aspects of Computing 2 European Journal of Operational Research 2 The Australasian Journal of Combinatorics 2 Computational Complexity 2 Logica Universalis 2 Optimization Letters 1 Acta Mechanica 1 Computers & Mathematics with Applications 1 Communications in Mathematical Physics 1 Journal of Statistical Physics 1 ZAMP. Zeitschrift für angewandte Mathematik und Physik 1 Advances in Mathematics 1 Algebra and Logic 1 Fuzzy Sets and Systems 1 Information Sciences 1 Mathematische Zeitschrift 1 Meccanica 1 Networks 1 Notre Dame Journal of Formal Logic 1 Rendiconti del Seminario Matematico della Università di Padova 1 Topology and its Applications 1 Cybernetics 1 Mathematical Social Sciences 1 Order 1 Optimization 1 Journal of Symbolic Computation 1 Computational Mechanics 1 International Journal of Approximate Reasoning 1 Annals of Operations Research 1 Computational Geometry 1 Discrete Mathematics and Applications 1 Elemente der Mathematik 1 Journal of Elasticity 1 Bulletin of the Polish Academy of Sciences, Mathematics 1 Archive of Applied Mechanics 1 Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI 1 Formal Methods in System Design 1 Journal of Logic, Language and Information 1 Applied Categorical Structures 1 Journal of Applied Non-Classical Logics 1 Selecta Mathematica. New Series 1 Discussiones Mathematicae. Graph Theory 1 International Transactions in Operational Research 1 Journal of Heuristics 1 Mathematics and Mechanics of Solids 1 Mathematical Methods of Operations Research 1 Geometry & Topology 1 Journal of Graph Algorithms and Applications 1 Annals of Combinatorics 1 Discrete Mathematics and Theoretical Computer Science. DMTCS ...and 8 more Serials
all top 5

#### Cited in 36 Fields

 341 Computer science (68-XX) 307 Combinatorics (05-XX) 204 Mathematical logic and foundations (03-XX) 26 Mechanics of deformable solids (74-XX) 21 Operations research, mathematical programming (90-XX) 14 Order, lattices, ordered algebraic structures (06-XX) 8 History and biography (01-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 6 Category theory; homological algebra (18-XX) 6 Convex and discrete geometry (52-XX) 6 Manifolds and cell complexes (57-XX) 5 Linear and multilinear algebra; matrix theory (15-XX) 5 Probability theory and stochastic processes (60-XX) 5 Statistical mechanics, structure of matter (82-XX) 4 General algebraic systems (08-XX) 3 Number theory (11-XX) 3 Commutative algebra (13-XX) 3 General topology (54-XX) 3 Biology and other natural sciences (92-XX) 2 General and overarching topics; collections (00-XX) 2 Topological groups, Lie groups (22-XX) 2 Differential geometry (53-XX) 2 Quantum theory (81-XX) 2 Information and communication theory, circuits (94-XX) 2 Mathematics education (97-XX) 1 Algebraic geometry (14-XX) 1 Group theory and generalizations (20-XX) 1 Partial differential equations (35-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Difference and functional equations (39-XX) 1 Geometry (51-XX) 1 Algebraic topology (55-XX) 1 Statistics (62-XX) 1 Mechanics of particles and systems (70-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Relativity and gravitational theory (83-XX)

#### Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.