×

Makowsky, Johann-Andreas

Compute Distance To:
Author ID: makowsky.johann-andreas Recent zbMATH articles by "Makowsky, Johann-Andreas"
Published as: Makowsky, J. A.; Makowsky, Johann A.; Makowsky, Janos A.; Makowsky, J.; Makowsky, Johann Andreas; Makowsky, Johann-Andreas; Makowsky, Johann
External Links: MGP · Wikidata · dblp · GND · IdRef
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

Publications by Year

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

Citations by Year

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