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