Edit Profile (opens in new tab) Makowsky, Johann-Andreas Compute Distance To: Compute Author ID: makowsky.johann-andreas Published as: Makowsky, J. A.; Makowsky, Johann A.; Makowsky, Janos A.; Makowsky, J.; Makowsky, Johann Andreas; Makowsky, Johann-Andreas; Makowsky, Johann more...less External Links: MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 156 Publications since 1972, including 3 Books 4 Contributions as Editor · 2 Further Contributions Co-Authors: 65 Co-Authors with 102 Joint Publications 1,633 Co-Co-Authors all top 5 Co-Authors 36 single-authored 20 Stumpf, Helmut 16 Kotek, Tomer 11 Ravve, Elena V. 6 Labai, Nadia 6 Rotics, Udi 5 Dahlhaus, Elias 5 Fischer, Eldar 5 Godlin, Benny 4 Courcelle, Bruno 4 Kaminski, Michael 4 Pnueli, Yachin B. 4 Shelah, Saharon 3 Averbouch, Ilia 3 Chroscielewski, Jacek 3 Mahr, Bernd 3 Mariño, J. P. 3 Meer, Klaus 3 Nolte, Lutz-Peter 3 Pietraszkiewicz, Wojciech 3 Ziegler, Martin 2 Barwise, Kenneth Jon 2 Baudisch, Andreas 2 Bläser, Markus 2 Cohen, Ariel 2 Dell, Holger 2 Dickmann, Max A. 2 Ebbinghaus, Heinz-Dieter 2 Eklof, Paul C. 2 Feferman, Solomon 2 Flum, Jörg 2 Grohe, Martin 2 Hackl, Klaus 2 Horty, John F. 2 Keisler, Howard Jerome 2 Kolaitis, Phokion G. 2 Marcja, Annalisa 2 McCarty, David Charles 2 Mundici, Daniele 2 Nadel, Mark E. 2 Niwiński, Damian 2 Rakita, Vsevolod 2 Schmerl, James H. 2 Seese, Detlef G. 2 Steinhorn, Charles I. 2 Tiomkin, Michael 2 Tittmann, Peter 2 Tuschik, Hans-Peter 2 Väänänen, Jouko Antero 2 Weese, Martin 2 Zilber, Boris I. 1 Adámek, Jiří 1 Averbouch, Ilya 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, Miki 1 Hoppe, Ulrich 1 Hungerbuhler, Norbert 1 Hyland, J. Martin E. 1 Israeli, Amos 1 Itai, Alon 1 Johnstone, Peter T. 1 Jones, Neil D. 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 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 Ya’akov 1 Venkatesan, G. 1 Zamansky, Anna all top 5 Serials 5 European Journal of Combinatorics 4 Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM) 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 3 Mitteilungen aus dem Institut für Mechanik, Ruhr-Universität Bochum 2 Ingenieur-Archiv 2 International Journal of Solids and Structures 2 Fundamenta Mathematicae 2 Mechanics Research Communications 2 The Journal of Logic Programming 2 Annals of Mathematics and Artificial Intelligence 2 Fundamenta Informaticae 2 Perspectives in Mathematical Logic 1 Acta Informatica 1 Acta Mechanica 1 Archives of Mechanics 1 Computer Methods in Applied Mechanics and Engineering 1 International Journal of Non-Linear Mechanics 1 Journal of Applied Mechanics 1 Annals of Mathematical Logic 1 Information and Control 1 International Journal for Numerical Methods in Engineering 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 Journal of Elasticity 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) 79 Mathematical logic and foundations (03-XX) 51 Combinatorics (05-XX) 22 Mechanics of deformable solids (74-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 Topological groups, Lie groups (22-XX) 1 Geometry (51-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) 1 Mechanics of particles and systems (70-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 119 Publications have been cited 1,195 times in 670 Documents Cited by ▼ Year ▼ Linear time solvable optimization problems on graphs of bounded clique-width. Zbl 1009.68102Courcelle, B.; Makowsky, J. A.; Rotics, U. 296 2000 Model-theoretic logics. (Parts A-C). Zbl 0587.03001 65 1985 On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic. Zbl 0972.05023Courcelle, B.; Makowsky, J. A.; Rotics, U. 64 2001 Algorithmic uses of the Feferman-Vaught theorem. Zbl 1099.03009Makowsky, J. A. 56 2004 Genuinely resultant shell finite elements accounting for geometric and material non-linearity. Zbl 0780.73075Chróścielewski, J.; Makowski, J.; Stumpf, H. 43 1992 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. 32 2008 \(\Delta\)-logics and generalized quantifiers. Zbl 0346.02007Makowsky, J. A.; Shelah, Saharon; Stavi, Jonathan 26 1976 Unification as a complexity measure for logic programming. Zbl 0641.68143Itai, A.; Makowsky, J. A. 23 1987 Finite element analysis of smooth, folded and multi-shell structures. Zbl 0898.73061Chróścielewski, J.; Makowski, J.; Stumpf, H. 20 1997 From a zoo to a zoology: Towards a general theory of graph polynomials. Zbl 1162.68502Makowsky, J. A. 18 2008 An extension of the bivariate chromatic polynomial. Zbl 1198.05099Averbouch, Ilia; Godlin, Benny; Makowsky, J. A. 18 2010 Restrictions of minimum spanner problems. Zbl 0890.68106Venkatesan, G.; Rotics, U.; Madanlal, M. S.; Makowsky, J. A.; Pandu Rangan, C. 16 1997 A proof rule for fair termination of guarded commands. Zbl 0577.68022Grumberg, Orna; Francez, Nissim; Makowsky, Johann A. 15 1985 The enumeration of vertex induced subgraphs with respect to the number of components. Zbl 1229.05124Tittmann, P.; Averbouch, I.; Makowsky, J. A. 15 2011 Coloured Tutte polynomials and Kauffman brackets for graphs of bounded tree width. Zbl 1084.05505Makowsky, J. A. 15 2005 Why Horn formulas matter in computer science: initial structures and generic examples. Zbl 0619.68029Makowsky, J. A. 14 1987 On the location of roots of graph polynomials. Zbl 1300.05136Makowsky, Johann A.; Ravve, Elena V.; Blanchard, Nicolas K. 13 2014 Linear time solvable optimization problems on graphs of bounded clique width. Zbl 0929.90084Courcelle, B.; Makowsky, J. A.; Rotics, U. 12 1998 Colored Tutte polynomials and Kauffman brackets for graphs of bounded tree width. Zbl 0988.05087Makowsky, J. A. 12 2001 Fusion in relational structures and the verification of monadic second-order properties. Zbl 1005.68105Courcelle, B.; Makowsky, J. A. 12 2002 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 A most general edge elimination polynomial. Zbl 1202.05063Averbouch, Ilia; Godlin, Benny; Makowsky, Johann A. 11 2008 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 Fifty years of the spectrum problem: survey and new results. Zbl 1309.03014Durand, Arnaud; Jones, Neil D.; Makowsky, Johann A.; More, Malika 9 2012 On large strain deformations of shells. Zbl 0602.73035Stumpf, H.; Makowski, J. 9 1987 The theorems of Beth and Craig in abstract model theory. II. Compact logics. Zbl 0472.03028Makowsky, J. A.; Shelah, S. 9 1981 Positive results in abstract model theory: a theory of compact logics. Zbl 0544.03013Makowsky, J. A.; Shelah, S. 9 1983 Buckling equations for elastic shells with rotational degrees of freedom undergoing finite strain deformation. Zbl 0706.73044Makowski, J.; Stumpf, H. 9 1990 Farrell polynomials on graphs of bounded tree width. Zbl 1023.68070Makowsky, J. A.; Mariño, J. P. 8 2003 Computing graph polynomials on graphs of bounded clique-width. Zbl 1167.05335Makowsky, J. A.; Rotics, Udi; Averbouch, Ilya; Godlin, Benny 8 2006 Characterizing specification languages which admit initial semantics. Zbl 0536.68011Mahr, B.; Makowsky, J. A. 8 1984 Vopěnka’s principle and compact logics. Zbl 0623.03041Makowsky, J. A. 7 1985 The parametrized complexity of knot polynomials. Zbl 1093.68043Makowsky, J. A.; Mariño, J. P. 7 2003 On counting generalized colorings. Zbl 1253.05071Kotek, Tomer; Makowsky, Johann A.; Zilber, Boris 7 2011 Model theoretic issues in theoretical computer science. I: Relational data bases and abstract data types. Zbl 0553.68028Makowsky, J. A. 6 1984 On the algebraic complexity of some families of coloured Tutte polynomials. Zbl 1041.05042Lotz, Martin; Makowsky, Johann A. 6 2004 Propositional dynamic logic with local assignments. Zbl 0574.03011Tiomkin, M. L.; Makowsky, J. A. 6 1985 On counting generalized colorings. Zbl 1157.05024Kotek, T.; Makowsky, J. A.; Zilber, B. 6 2008 Finite strains and rotations in shells. Zbl 0615.73042Makowski, J.; Stumpf, H. 6 1986 Extensions for open default theories via the domain closure assumption. Zbl 0901.68188Kaminski, Michael; Makowsky, Johann A.; Tiomkin, Michael 6 1998 On the expressive power of data dependencies. Zbl 0617.68085Makowsky, Johann A.; Vardi, Moshe Y. 5 1986 Why Horn formulas matter in computer science: initial structures and generic examples. Zbl 0563.68013Makowsky, J. A. 5 1985 The choice of programming primitives for SETL-like programming languages. Zbl 0587.68005Dahlhaus, E.; Makowsky, J. A. 5 1986 Jump conditions in the non-linear theory of thin irregular shells. Zbl 0952.74040Makowski, J.; Pietraszkiewicz, W.; Stumpf, H. 5 1999 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 Decidability of finite probabilistic propositional dynamic logics. Zbl 0732.03022Tiomkin, M.; Makowsky, J. A. 5 1991 Linear recurrence relations for graph polynomials. Zbl 1134.05099Fischer, Eldar; Makowsky, Johann A. 5 2008 Work-conjugate boundary conditions in the nonlinear theory of thin shells. Zbl 0711.73154Makowski, J.; Pietraszkiewicz, W. 5 1989 The Specker-Blatter theorem revisited. Zbl 1276.03034Fischer, E.; Makowsky, J. A. 5 2003 Evaluations of graph polynomials. Zbl 1202.05065Godlin, Benny; Kotek, Tomer; Makowsky, Johann A. 5 2008 Connection matrices and the definability of graph parameters. Zbl 1345.03054Kotek, Tomer; Makowsky, Johann A. 5 2014 Application of logic to combinatorial sequences and their recurrence relations. Zbl 1282.03019Fischer, Eldar; Kotek, Tomer; Makowsky, Johann A. 5 2011 Tree-width and the monadic quantifier hierarchy. Zbl 1044.68130Makowsky, J. A.; Mariño, J. P. 4 2003 Topological model theory with an interior operator: Consistency properties and back-and-forth arguments. Zbl 0472.03027Makowsky, J. A.; Ziegler, M. 4 1981 Characterizing specification languages which admit initial semantics. Zbl 0522.68026Mahr, B.; Makowsky, J. A. 4 1983 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 Oracles and quantifiers. Zbl 0953.03049Makowsky, J. A.; Pnueli, Y. B. 4 1994 Incremental model checking for decomposable structures. Zbl 1193.68164Makowsky, J. A.; Ravve, E. V. 4 1995 Weak second order characterizations of various program verification systems. Zbl 0678.68008Makowsky, J. A.; Sain, I. 3 1989 Model-theoretic logics. (Parts D-F). Zbl 0587.03002 3 1985 Complexity of the Bollobás-Riordan polynomial. Exceptional points and uniform reductions. Zbl 1143.05023Bläser, Markus; Dell, Holger; Makowsky, Johann A. 3 2008 On spectra of sentences of monadic second order logic with counting. Zbl 1070.03018Fischer, E.; Makowsky, J. A. 3 2004 Quantifying over countable sets: Positive vs stationary logic. Zbl 0469.03021Makowsky, J. A. 3 1978 On the “symmetry” of tangent operators in nonlinear mechanics. Zbl 0839.70013Makowski, J.; Stumpf, H. 3 1995 Computable quantifiers and logics over finite structures. Zbl 0905.03018Makowsky, Johann A.; Pnueli, Yachin B. 3 1995 Polynomials of bounded tree-width. Zbl 1018.65063Makowsky, Janos A.; Meer, Klaus 3 2002 Graph polynomials: from recursive definitions to subset expansion formulas. Zbl 1239.05095Godlin, B.; Katz, E.; Makowsky, J. A. 3 2012 On the complexity of generalized chromatic polynomials. Zbl 1378.05059Goodall, A.; Hermann, M.; Kotek, T.; Makowsky, J. A.; Noble, S. D. 3 2018 On sequences of polynomials arising from graph invariants. Zbl 1371.05135Kotek, T.; Makowsky, J. A.; Ravve, E. V. 3 2018 A computational framework for the study of partition functions and graph polynomials. Zbl 1364.03055Kotek, T.; Makowsky, J. A.; Ravve, E. V. 3 2013 Completeness theorems for modal model theory with the MontagueChang semantics. I. Zbl 0362.02043Makowsky, J. A.; Marcja, A. 3 1977 From a zoo to a zoology: Descriptive complexity for graph polynomials. Zbl 1145.68432Makowsky, J. A. 3 2006 NCE graph grammars and clique-width. Zbl 1255.68088Glikson, Alexander; Makowsky, Johann A. 3 2003 On weakly distinguishing graph polynomials. Zbl 1411.05131Makowsky, Johann A.; Rakita, Vsevolod 2 2019 On the derivation and comparative analysis of large rotation shell theories. Zbl 0576.73055Nolte, L.-P.; Makowski, J.; Stumpf, H. 2 1986 Computable directory queries. Zbl 0604.68109Dahlhaus, E.; Makowsky, J. A. 2 1986 Thermodynamically consistent nonlocal theory of ductile damage. Zbl 1079.74511Stumpf, H.; Makowski, J.; Gorski, J.; Hackl, K. 2 2004 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 Measuring the expressive power of dynamic logics: An application of abstract model theory. Zbl 0465.68012Makowsky, J. A. 2 1980 Characterizing data base dependencies. Zbl 0515.68068Makowsky, J. A. 2 1981 On the general form of jump conditions for thin irregular shells. Zbl 0952.74041Makowski, J.; Pietraszkiewicz, W.; Stumpf, H. 2 1998 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 Invariant definability. (Extended abstract). Zbl 0881.03022Makowsky, J. A. 2 1997 Finitary sketches. Zbl 0885.18001Adámek, Jiří; Johnstone, P. T.; Makowsky, J. A.; Rosický, Jiří 2 1997 Dependency preserving refinements and the fundamental problem of database design. Zbl 0893.68049Makowsky, J. A.; Ravve, E. V. 2 1998 Query languages for hierarchic databases. Zbl 0765.68029Dahlhaus, E.; Makowsky, J. A. 2 1992 Indistinguishability by default. Zbl 1219.68148Cohen, Ariel; Kaminski, Michael; Makowsky, Johann A. 2 2005 Finite axisymmetric deformation of shells of revolution with application to flexural buckling of circular plates. Zbl 0712.73031Makowski, J.; Stumpf, H. 2 1989 Securable quantifiers, k-unions and admissible sets. Zbl 0311.02023Makowsky, Johann Andreas 2 1975 Connection matrices and the definability of graph parameters. Zbl 1252.03085Kotek, Tomer; Makowsky, Johann A. 2 2012 Invariant definability and P/poly. Zbl 0934.03053Makowsky, J. A. 1 1999 Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries. Zbl 1439.03033Makowsky, Johann A. 1 2019 Gandy’s principles for mechanisms as a model of parallel computation. Zbl 0676.68018Dahlhaus, Elias; Makowsky, Johann A. 1 1988 The universal edge elimination polynomial and the dichromatic polynomial. Zbl 1274.05231Averbouch, I.; Kotek, T.; Makowsky, J. A.; Ravve, E. 1 2011 On weakly distinguishing graph polynomials. Zbl 1411.05131Makowsky, Johann A.; Rakita, Vsevolod 2 2019 Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries. Zbl 1439.03033Makowsky, Johann A. 1 2019 On the complexity of generalized chromatic polynomials. Zbl 1378.05059Goodall, A.; Hermann, M.; Kotek, T.; Makowsky, J. A.; Noble, S. D. 3 2018 On sequences of polynomials arising from graph invariants. Zbl 1371.05135Kotek, T.; Makowsky, J. A.; Ravve, E. V. 3 2018 Semantic equivalence of graph polynomials definable in second order logic. Zbl 1478.05078Makowsky, 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. 13 2014 Connection matrices and the definability of graph parameters. Zbl 1345.03054Kotek, Tomer; Makowsky, Johann A. 5 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. 3 2013 Fifty years of the spectrum problem: survey and new results. Zbl 1309.03014Durand, Arnaud; Jones, Neil D.; Makowsky, Johann A.; More, Malika 9 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. 2 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. 15 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. 18 2010 A graph polynomial arising from community structure (extended abstract). Zbl 1273.05109Averbouch, Ilia; Makowsky, Johann A.; Tittmann, Peter 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 Definability of combinatorial functions and their linear recurrence relations. Zbl 1287.05008Kotek, Tomer; 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. 32 2008 From a zoo to a zoology: Towards a general theory of graph polynomials. Zbl 1162.68502Makowsky, J. A. 18 2008 A most general edge elimination polynomial. Zbl 1202.05063Averbouch, Ilia; Godlin, Benny; Makowsky, Johann A. 11 2008 On counting generalized colorings. Zbl 1157.05024Kotek, T.; Makowsky, J. A.; Zilber, B. 6 2008 Linear recurrence relations for graph polynomials. Zbl 1134.05099Fischer, Eldar; Makowsky, Johann A. 5 2008 Evaluations of graph polynomials. Zbl 1202.05065Godlin, Benny; Kotek, Tomer; 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 Encounters with A. Mostowski. Zbl 1147.01326Makowsky, 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 From Hilbert’s program to a logic tool box. Zbl 1167.00011Makowsky, J. A. 1 2008 Computing graph polynomials on graphs of bounded clique-width. Zbl 1167.05335Makowsky, J. A.; Rotics, Udi; Averbouch, Ilya; Godlin, Benny 8 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. 56 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 Thermodynamically consistent nonlocal theory of ductile damage. Zbl 1079.74511Stumpf, H.; Makowski, J.; Gorski, J.; Hackl, K. 2 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. 64 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. 296 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 Jump conditions in the non-linear theory of thin irregular shells. Zbl 0952.74040Makowski, J.; Pietraszkiewicz, W.; Stumpf, H. 5 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. 12 1998 Extensions for open default theories via the domain closure assumption. Zbl 0901.68188Kaminski, Michael; Makowsky, Johann A.; Tiomkin, Michael 6 1998 On the general form of jump conditions for thin irregular shells. Zbl 0952.74041Makowski, J.; Pietraszkiewicz, W.; Stumpf, H. 2 1998 Dependency preserving refinements and the fundamental problem of database design. Zbl 0893.68049Makowsky, J. A.; Ravve, E. V. 2 1998 Strain localization in stress-resultant theory of shells. Zbl 0971.74052Makowski, J.; Stumpf, H. 1 1998 Finite element analysis of smooth, folded and multi-shell structures. Zbl 0898.73061Chróścielewski, J.; Makowski, J.; Stumpf, H. 20 1997 Restrictions of minimum spanner problems. Zbl 0890.68106Venkatesan, G.; Rotics, U.; Madanlal, M. S.; Makowsky, J. A.; Pandu Rangan, C. 16 1997 Invariant definability. (Extended abstract). Zbl 0881.03022Makowsky, J. A. 2 1997 Finitary sketches. Zbl 0885.18001Adámek, Jiří; Johnstone, P. T.; Makowsky, J. A.; Rosický, Jiří 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 On the “symmetry” of tangent operators in nonlinear mechanics. Zbl 0839.70013Makowski, J.; Stumpf, H. 3 1995 Computable quantifiers and logics over finite structures. Zbl 0905.03018Makowsky, Johann A.; Pnueli, Yachin B. 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 Finite elements for irregular nonlinear shells. Zbl 0837.73069Chróścielewski, J.; Makowski, J.; Stumpf, H. 1 1994 Genuinely resultant shell finite elements accounting for geometric and material non-linearity. Zbl 0780.73075Chróścielewski, J.; Makowski, J.; Stumpf, H. 43 1992 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. 2 1992 Decidability of finite probabilistic propositional dynamic logics. Zbl 0732.03022Tiomkin, M.; Makowsky, J. A. 5 1991 Buckling equations for elastic shells with rotational degrees of freedom undergoing finite strain deformation. Zbl 0706.73044Makowski, J.; Stumpf, H. 9 1990 Work-conjugate boundary conditions in the nonlinear theory of thin shells. Zbl 0711.73154Makowski, J.; Pietraszkiewicz, W. 5 1989 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 Gandy’s principles for mechanisms as a model of parallel computation. Zbl 0676.68018Dahlhaus, Elias; Makowsky, Johann A. 1 1988 A simple buckling problem within the shell theory of rubber-like materials. Zbl 0711.73104Makowski, J.; Stumpf, H. 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. 14 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 Finite strains and rotations in shells. Zbl 0615.73042Makowski, J.; Stumpf, H. 6 1986 On the expressive power of data dependencies. Zbl 0617.68085Makowsky, Johann A.; Vardi, Moshe Y. 5 1986 The choice of programming primitives for SETL-like programming languages. Zbl 0587.68005Dahlhaus, E.; Makowsky, J. A. 5 1986 On the derivation and comparative analysis of large rotation shell theories. Zbl 0576.73055Nolte, L.-P.; Makowski, J.; Stumpf, H. 2 1986 Computable directory queries. Zbl 0604.68109Dahlhaus, E.; Makowsky, J. A. 2 1986 Model-theoretic logics. (Parts A-C). Zbl 0587.03001 65 1985 A proof rule for fair termination of guarded commands. Zbl 0577.68022Grumberg, Orna; Francez, Nissim; Makowsky, Johann A. 15 1985 Vopěnka’s principle and compact logics. Zbl 0623.03041Makowsky, J. A. 7 1985 Propositional dynamic logic with local assignments. Zbl 0574.03011Tiomkin, M. L.; Makowsky, J. A. 6 1985 Why Horn formulas matter in computer science: initial structures and generic examples. Zbl 0563.68013Makowsky, J. A. 5 1985 Model-theoretic logics. (Parts D-F). Zbl 0587.03002 3 1985 ...and 19 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 813 Authors 48 Makowsky, Johann-Andreas 29 Lozin, Vadim Vladislavovich 27 Courcelle, Bruno 21 Brandstädt, Andreas 21 Ganian, Robert 18 Paulusma, Daniël 18 Szeider, Stefan 16 Dabrowski, Konrad Kazimierz 15 Gurski, Frank 15 Milanič, Martin 12 Lampis, Michael 11 Kotek, Tomer 10 Hliněný, Petr 10 Kwon, Ojoung 10 Meister, Daniel 10 Mosca, Raffaele 9 Kanté, Mamadou Moustapha 9 Rotics, Udi 8 Golovach, Petr A. 8 Otachi, Yota 8 Oum, Sang-Il 8 Ravve, Elena V. 8 Rossmanith, Peter 8 Väänänen, Jouko Antero 8 Zamaraev, Victor A. 7 Malyshev, Dmitry S. 7 Nešetřil, Jaroslav 7 Papadopoulos, Charis 7 Rautenbach, Dieter 7 Shelah, Saharon 6 Belmonte, Rémy 6 Boros, Endre 6 Kneis, Joachim 6 Korpelainen, Nicholas 6 Kučera, Petr 6 Langer, Alexander 6 Müller, Haiko 6 Vatshelle, Martin 6 Wanke, Egon 5 Čepek, Ondřej 5 Eiben, Eduard 5 Goodall, Andrew J. 5 Hanaka, Tesshu 5 Heggernes, Pinar 5 Huang, Shenwei 5 Kopczyński, Eryk 5 Meer, Klaus 5 Monnot, Jérôme 5 Obdržálek, Jan 5 Ordyniak, Sebastian 5 Rao, Michaël 5 Ries, Bernard 5 Sikdar, Somnath 5 Telle, Jan Arne 5 Torres, Pablo Daniel 5 Vardi, Moshe Ya’akov 4 Argiroffo, Gabriela R. 4 Bazgan, Cristina 4 Bodlaender, Hans L. 4 Brignall, Robert 4 Broersma, Hajo J. 4 Brown, Jason Ira 4 Das, Bireswar 4 Enduri, Murali Krishna 4 Hoàng-Oanh Le 4 Leoni, Valeria Alejandra 4 Liedloff, Mathieu 4 Maffray, Frédéric 4 Makino, Kazuhisa 4 Marques-Silva, João P. 4 Masařík, Tomáš 4 Mencía, Carlos 4 Oboudi, Mohammad Reza 4 Paschos, Vangelis Th. 4 Pilipczuk, Michał 4 Reddy, I. Vinod 3 Ahangar, Hossein Abdollahzadeh 3 Beck, Matthias 3 Blanchet-Sadri, Francine 3 Bläser, Markus 3 Blumensath, Achim 3 Bui-Xuan, Binh-Minh 3 Chellali, Mustapha 3 Cicalese, Ferdinando 3 De Oliveira Oliveira, Mateus 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 Grohe, Martin 3 Hoàng, Chính T. 3 Hodges, Wilfrid 3 Johnson, Matthew 3 Kaminski, Michael ...and 713 more Authors all top 5 Cited in 105 Serials 90 Discrete Applied Mathematics 83 Theoretical Computer Science 26 Journal of Computer and System Sciences 26 Algorithmica 17 The Journal of Symbolic Logic 16 Discrete Mathematics 16 Information Processing Letters 16 Annals of Pure and Applied Logic 14 European Journal of Combinatorics 14 Information and Computation 12 Theory of Computing Systems 10 SIAM Journal on Discrete Mathematics 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 Applied Mathematics and Computation 6 The Bulletin of Symbolic Logic 6 ACM Transactions on Computational Logic 6 Journal of Applied Logic 5 Journal of Graph Theory 5 Proceedings of the American Mathematical Society 5 International Journal of Foundations of Computer Science 5 Distributed Computing 5 Journal of Combinatorial Optimization 5 Journal of Discrete Algorithms 5 Logical Methods in Computer Science 5 Computer Science Review 4 Transactions of the American Mathematical Society 4 Mathematical Logic Quarterly (MLQ) 4 The Electronic Journal of Combinatorics 3 Israel Journal of Mathematics 3 Algebra Universalis 3 Synthese 3 Advances in Applied Mathematics 3 International Journal of Computer Mathematics 3 Linear Algebra and its Applications 3 The Australasian Journal of Combinatorics 3 Combinatorics, Probability and Computing 3 Discrete Optimization 2 Acta Informatica 2 Journal of Combinatorial Theory. Series A 2 SIAM Journal on Computing 2 Formal Aspects of Computing 2 European Journal of Operational Research 2 Computational Complexity 2 Discussiones Mathematicae. Graph Theory 2 Journal of Graph Algorithms and Applications 2 Logica Universalis 2 Optimization Letters 2 Discrete Mathematics, Algorithms and Applications 1 Computers & Mathematics with Applications 1 Communications in Mathematical Physics 1 Journal of Statistical Physics 1 Theoretical and Mathematical Physics 1 Advances in Mathematics 1 Algebra and Logic 1 Fuzzy Sets and Systems 1 Information Sciences 1 Mathematische Zeitschrift 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 Operations Research Letters 1 Order 1 Acta Mathematicae Applicatae Sinica. English Series 1 Optimization 1 Journal of Symbolic Computation 1 International Journal of Approximate Reasoning 1 Annals of Operations Research 1 Computational Geometry 1 Discrete Mathematics and Applications 1 Elemente der Mathematik 1 Bulletin of the Polish Academy of Sciences, Mathematics 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 Filomat 1 Selecta Mathematica. New Series 1 The Journal of Artificial Intelligence Research (JAIR) 1 International Transactions in Operational Research 1 Journal of Heuristics 1 Mathematical Methods of Operations Research 1 Geometry & Topology 1 Annals of Combinatorics 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 Erkenntnis 1 Acta Mathematica Sinica. English Series 1 RAIRO. Theoretical Informatics and Applications 1 Fundamenta Informaticae 1 AKCE International Journal of Graphs and Combinatorics 1 Sibirskie Èlektronnye Matematicheskie Izvestiya ...and 5 more Serials all top 5 Cited in 33 Fields 376 Computer science (68-XX) 350 Combinatorics (05-XX) 209 Mathematical logic and foundations (03-XX) 26 Operations research, mathematical programming (90-XX) 16 Order, lattices, ordered algebraic structures (06-XX) 10 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 8 History and biography (01-XX) 7 Convex and discrete geometry (52-XX) 7 Manifolds and cell complexes (57-XX) 7 Probability theory and stochastic processes (60-XX) 6 Linear and multilinear algebra; matrix theory (15-XX) 6 Category theory; homological algebra (18-XX) 5 General algebraic systems (08-XX) 5 Statistical mechanics, structure of matter (82-XX) 4 Number theory (11-XX) 4 Biology and other natural sciences (92-XX) 3 Commutative algebra (13-XX) 3 General topology (54-XX) 2 General and overarching topics; collections (00-XX) 2 Group theory and generalizations (20-XX) 2 Geometry (51-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 Topological groups, Lie groups (22-XX) 1 Partial differential equations (35-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Difference and functional equations (39-XX) 1 Algebraic topology (55-XX) 1 Statistics (62-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.