×

Makowsky, Johann-Andreas

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

38 single-authored
18 Kotek, Tomer
11 Ravve, Elena V.
8 Fischer, Eldar
6 Labai, Nadia
6 Pnueli, Yachin B.
6 Rotics, Udi
5 Dahlhaus, Elias
5 Godlin, Benny
5 Rakita, Vsevolod
4 Courcelle, Bruno
4 Kaminski, Michael
4 Shelah, Saharon
3 Averbouch, Ilia
3 Mahr, Bernd
3 Mariño, J. P.
3 Meer, Klaus
3 Ziegler, Martin
2 Baldwin, John T.
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 Horty, John F.
2 Kaufmann, Matt
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 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 Beklemishev, Lev D.
1 Blanchard, Nicolas K.
1 Calò, A.
1 Dmitrieva, Anna
1 Durand, Arnaud
1 Engeler, Erwin
1 Filmus, Yuval
1 Francez, Nissim
1 Glikson, Alexander
1 Goodall, Andrew J.
1 Grégoire, Jean-Charles
1 Grumberg, Orna
1 Hermann, Miki
1 Herscovici, Orli
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, Govindaraj
1 Zamansky, Anna
all top 5

Serials

6 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
3 Fundamenta Informaticae
2 Fundamenta Mathematicae
2 The Journal of Logic Programming
2 Annals of Mathematics and Artificial Intelligence
2 Perspectives in Mathematical Logic
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 Journal of Integer Sequences
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
1 Enumerative Combinatorics and Applications

Publications by Year

Citations contained in zbMATH Open

111 Publications have been cited 1,200 times in 788 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.
365
2000
Model-theoretic logics. (Parts A-C). Zbl 0587.03001
75
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.
73
2001
Algorithmic uses of the Feferman-Vaught theorem. Zbl 1099.03009
Makowsky, J. A.
65
2004
On the clique-width of graph with few \(P_{4}\)’s. Zbl 1320.05096
Makowsky, J. A.; Rotics, U.
43
1999
Counting truth assignments of formulas of bounded tree-width or clique-width. Zbl 1131.68093
Fischer, E.; Makowsky, J. A.; Ravve, E. V.
34
2008
\(\Delta\)-logics and generalized quantifiers. Zbl 0346.02007
Makowsky, J. A.; Shelah, Saharon; Stavi, Jonathan
27
1976
Unification as a complexity measure for logic programming. Zbl 0641.68143
Itai, A.; Makowsky, J. A.
25
1987
An extension of the bivariate chromatic polynomial. Zbl 1198.05099
Averbouch, Ilia; Godlin, Benny; Makowsky, J. A.
23
2010
From a zoo to a zoology: Towards a general theory of graph polynomials. Zbl 1162.68502
Makowsky, J. A.
22
2008
Restrictions of minimum spanner problems. Zbl 0890.68106
Venkatesan, G.; Rotics, U.; Madanlal, M. S.; Makowsky, J. A.; Pandu Rangan, C.
19
1997
Coloured Tutte polynomials and Kauffman brackets for graphs of bounded tree width. Zbl 1084.05505
Makowsky, J. A.
19
2005
A proof rule for fair termination of guarded commands. Zbl 0577.68022
Grumberg, Orna; Francez, Nissim; Makowsky, Johann A.
17
1985
A most general edge elimination polynomial. Zbl 1202.05063
Averbouch, Ilia; Godlin, Benny; Makowsky, Johann A.
16
2008
The enumeration of vertex induced subgraphs with respect to the number of components. Zbl 1229.05124
Tittmann, P.; Averbouch, I.; Makowsky, J. A.
16
2011
The theorems of Beth and Craig in abstract model theory. I: The abstract setting. Zbl 0428.03032
Makowsky, J. A.; Shelah, S.
15
1979
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.
14
2014
Linear time solvable optimization problems on graphs of bounded clique width. Zbl 0929.90084
Courcelle, B.; Makowsky, J. A.; Rotics, U.
13
1998
Colored Tutte polynomials and Kauffman brackets for graphs of bounded tree width. Zbl 0988.05087
Makowsky, J. A.
13
2001
Fusion in relational structures and the verification of monadic second-order properties. Zbl 1005.68105
Courcelle, B.; Makowsky, J. A.
13
2002
Arity and alternation in second-order logic. Zbl 0854.03006
Makowsky, J. A.; Pnueli, Y. B.
12
1996
Fifty years of the spectrum problem: survey and new results. Zbl 1309.03014
Durand, Arnaud; Jones, Neil D.; Makowsky, Johann A.; More, Malika
12
2012
The theorems of Beth and Craig in abstract model theory. II. Compact logics. Zbl 0472.03028
Makowsky, J. A.; Shelah, S.
10
1981
Computing graph polynomials on graphs of bounded clique-width. Zbl 1167.05335
Makowsky, J. A.; Rotics, Udi; Averbouch, Ilya; Godlin, Benny
10
2006
Farrell polynomials on graphs of bounded tree width. Zbl 1023.68070
Makowsky, J. A.; Mariño, J. P.
10
2003
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
Characterizing specification languages which admit initial semantics. Zbl 0536.68011
Mahr, B.; Makowsky, J. A.
9
1984
Positive results in abstract model theory: a theory of compact logics. Zbl 0544.03013
Makowsky, J. A.; Shelah, S.
9
1983
Linear recurrence relations for graph polynomials. Zbl 1134.05099
Fischer, Eldar; Makowsky, Johann A.
8
2008
On the algebraic complexity of some families of coloured Tutte polynomials. Zbl 1041.05042
Lotz, Martin; Makowsky, Johann A.
8
2004
The Specker-Blatter theorem revisited. Zbl 1276.03034
Fischer, E.; Makowsky, J. A.
8
2003
The parametrized complexity of knot polynomials. Zbl 1093.68043
Makowsky, J. A.; Mariño, J. P.
8
2003
Model theoretic issues in theoretical computer science. I: Relational data bases and abstract data types. Zbl 0553.68028
Makowsky, J. A.
7
1984
Application of logic to combinatorial sequences and their recurrence relations. Zbl 1282.03019
Fischer, Eldar; Kotek, Tomer; Makowsky, Johann A.
7
2011
On counting generalized colorings. Zbl 1253.05071
Kotek, Tomer; Makowsky, Johann A.; Zilber, Boris
7
2011
Vopěnka’s principle and compact logics. Zbl 0623.03041
Makowsky, J. A.
7
1985
Connection matrices and the definability of graph parameters. Zbl 1345.03054
Kotek, Tomer; Makowsky, Johann A.
7
2014
On counting generalized colorings. Zbl 1157.05024
Kotek, T.; Makowsky, J. A.; Zilber, B.
6
2008
The expressive power of transitive closure and 2-way multihead automata. Zbl 0783.03018
Bargury, Y.; Makowsky, J.
6
1992
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.
6
1986
Why Horn formulas matter in computer science: initial structures and generic examples. Zbl 0563.68013
Makowsky, J. A.
6
1985
Propositional dynamic logic with local assignments. Zbl 0574.03011
Tiomkin, M. L.; Makowsky, J. A.
6
1985
Oracles and quantifiers. Zbl 0953.03049
Makowsky, J. A.; Pnueli, Y. B.
6
1994
Incremental model checking for decomposable structures. Zbl 1193.68164
Makowsky, J. A.; Ravve, E. V.
5
1995
The choice of programming primitives for SETL-like programming languages. Zbl 0587.68005
Dahlhaus, E.; Makowsky, J. A.
5
1986
The Ehrenfeucht-Fraïssé games for transitive closure. Zbl 0978.03525
Calò, A.; Makowsky, J. A.
5
1992
Decidability of finite probabilistic propositional dynamic logics. Zbl 0732.03022
Tiomkin, M.; Makowsky, J. A.
5
1991
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
Evaluations of graph polynomials. Zbl 1202.05065
Godlin, Benny; Kotek, Tomer; Makowsky, Johann A.
4
2008
Complexity of the Bollobás-Riordan polynomial. Exceptional points and uniform reductions. Zbl 1143.05023
Bläser, Markus; Dell, Holger; Makowsky, Johann A.
4
2008
On spectra of sentences of monadic second order logic with counting. Zbl 1070.03018
Fischer, E.; Makowsky, J. A.
4
2004
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
Tree-width and the monadic quantifier hierarchy. Zbl 1044.68130
Makowsky, J. A.; Mariño, J. P.
4
2003
Completeness theorems for modal model theory with the MontagueChang semantics. I. Zbl 0362.02043
Makowsky, J. A.; Marcja, A.
4
1977
A computational framework for the study of partition functions and graph polynomials. Zbl 1364.03055
Kotek, T.; Makowsky, J. A.; Ravve, E. V.
4
2013
On weakly distinguishing graph polynomials. Zbl 1411.05131
Makowsky, Johann A.; Rakita, Vsevolod
4
2019
On sequences of polynomials arising from graph invariants. Zbl 1371.05135
Kotek, T.; Makowsky, J. A.; Ravve, E. V.
4
2018
On the complexity of generalized chromatic polynomials. Zbl 1378.05059
Goodall, A.; Hermann, M.; Kotek, T.; Makowsky, J. A.; Noble, S. D.
4
2018
Recurrence relations for graph polynomials on bi-iterative families of graphs. Zbl 1300.05135
Kotek, Tomer; Makowsky, Johann A.
4
2014
Quantifying over countable sets: Positive vs stationary logic. Zbl 0469.03021
Makowsky, J. A.
3
1978
From a zoo to a zoology: Descriptive complexity for graph polynomials. Zbl 1145.68432
Makowsky, J. A.
3
2006
Arity vs. alternation in second order logic. Zbl 0946.03041
Makowsky, J. A.; Pnueli, Y. B.
3
1994
Computable quantifiers and logics over finite structures. Zbl 0905.03018
Makowsky, Johann A.; Pnueli, Yachin B.
3
1995
Weak second order characterizations of various program verification systems. Zbl 0678.68008
Makowsky, J. A.; Sain, I.
3
1989
Graph polynomials: from recursive definitions to subset expansion formulas. Zbl 1239.05095
Godlin, B.; Katz, E.; Makowsky, J. A.
3
2012
Model-theoretic logics. (Parts D-F). Zbl 0587.03002
3
1985
Polynomials of bounded tree-width. Zbl 1018.65063
Makowsky, Janos A.; Meer, Klaus
3
2002
NCE graph grammars and clique-width. Zbl 1255.68088
Glikson, Alexander; Makowsky, Johann A.
3
2003
A logician’s view of graph polynomials. Zbl 1477.03122
Makowsky, J. A.; Ravve, E. V.; Kotek, T.
3
2019
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
The impact of model theory on theoretical computer science. Zbl 0854.03040
Makowsky, J. A.
2
1994
Indistinguishability by default. Zbl 1219.68148
Cohen, Ariel; Kaminski, Michael; Makowsky, Johann A.
2
2005
Dependency preserving refinements and the fundamental problem of database design. Zbl 0893.68049
Makowsky, J. A.; Ravve, E. V.
2
1998
Gandy’s principles for mechanisms as a model of parallel computation. Zbl 0676.68018
Dahlhaus, Elias; Makowsky, Johann A.
2
1988
The universal edge elimination polynomial and the dichromatic polynomial. Zbl 1274.05231
Averbouch, I.; Kotek, T.; Makowsky, J. A.; Ravve, E.
2
2011
Connection matrices and the definability of graph parameters. Zbl 1252.03085
Kotek, Tomer; Makowsky, Johann A.
2
2012
Computable directory queries. Zbl 0604.68109
Dahlhaus, E.; Makowsky, J. A.
2
1986
Query languages for hierarchic databases. Zbl 0765.68029
Dahlhaus, E.; Makowsky, J. A.
2
1992
Finiteness conditions for graph algebras over tropical semirings. Zbl 1393.05180
Labai, Nadia; Makowsky, Johann A.
2
2014
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
Some observations on uniform reduction for properties invariant on the range of definable relations. Zbl 0383.03021
Makowsky, J. A.
2
1978
Securable quantifiers, k-unions and admissible sets. Zbl 0311.02023
Makowsky, Johann Andreas
2
1975
Logics of finite Hankel rank. Zbl 1465.03076
Labai, Nadia; Makowsky, Johann A.
2
2015
An axiomatic approach to semantics of specification languages. Zbl 0493.68023
Mahr, B.; Makowsky, J. A.
1
1982
Encounters with A. Mostowski. Zbl 1147.01326
Makowsky, J. A.
1
2008
Polynomials of bounded tree width (extended abstract). Zbl 0972.05035
Makowsky, J. A.; Meer, K.
1
2000
Application of logic to integer sequences: a survey. Zbl 1306.03019
Makowsky, Johann A.
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
Semantic equivalence of graph polynomials definable in second order logic. Zbl 1478.05078
Makowsky, Johann A.; Ravve, Elena V.
1
2016
Invariant definability and P/poly. Zbl 0934.03053
Makowsky, J. A.
1
1999
Mental images and the architecture of concepts. Zbl 0661.68028
Makowsky, Johann A.
1
1988
BCNF via attribute splitting. Zbl 1312.68082
Makowsky, Johann A.; Ravve, Elena V.
1
2012
Computer science logic. 17th international workshop CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel colloquium KGC 2003, Vienna, Austria, August 25–30, 2003. Proceedings. Zbl 1019.00011
1
2003
Almost unimodal and real-rooted graph polynomials. Zbl 1508.05086
Makowsky, Johann A.; Rakita, Vsevolod
1
2023
MC-finiteness of restricted set partition functions. Zbl 07732143
Filmus, Yuval; Fischer, Eldar; Makowsky, Johann A.; Rakita, Vsevolod
1
2023
Weakly distinguishing graph polynomials on addable properties. Zbl 1451.05122
Makowsky, Johann A.; Rakita, Vsevolod
1
2020
On weakly distinguishing graph polynomials. Zbl 1411.05131
Makowsky, Johann A.; Rakita, Vsevolod
4
2019
A logician’s view of graph polynomials. Zbl 1477.03122
Makowsky, J. A.; Ravve, E. V.; Kotek, T.
3
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 \(P\)-unique hypergraphs. Zbl 1411.05194
Makowsky, J. A.; Zhang, R. X.
1
2019
On sequences of polynomials arising from graph invariants. Zbl 1371.05135
Kotek, T.; Makowsky, J. A.; Ravve, E. V.
4
2018
On the complexity of generalized chromatic polynomials. Zbl 1378.05059
Goodall, A.; Hermann, M.; Kotek, T.; Makowsky, J. A.; Noble, S. D.
4
2018
Semantic equivalence of graph polynomials definable in second order logic. Zbl 1478.05078
Makowsky, Johann A.; Ravve, Elena V.
1
2016
Logics of finite Hankel rank. Zbl 1465.03076
Labai, Nadia; Makowsky, Johann A.
2
2015
On the location of roots of graph polynomials. Zbl 1300.05136
Makowsky, Johann A.; Ravve, Elena V.; Blanchard, Nicolas K.
14
2014
Connection matrices and the definability of graph parameters. Zbl 1345.03054
Kotek, Tomer; Makowsky, Johann A.
7
2014
Recurrence relations for graph polynomials on bi-iterative families of graphs. Zbl 1300.05135
Kotek, Tomer; Makowsky, Johann A.
4
2014
Finiteness conditions for graph algebras over tropical semirings. Zbl 1393.05180
Labai, Nadia; 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.
4
2013
Weighted automata and monadic second order logic. Zbl 1464.03038
Labai, Nadia; Makowsky, Johann A.
1
2013
Fifty years of the spectrum problem: survey and new results. Zbl 1309.03014
Durand, Arnaud; Jones, Neil D.; Makowsky, Johann A.; More, Malika
12
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
BCNF via attribute splitting. Zbl 1312.68082
Makowsky, Johann A.; Ravve, Elena V.
1
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.
16
2011
Application of logic to combinatorial sequences and their recurrence relations. Zbl 1282.03019
Fischer, Eldar; Kotek, Tomer; Makowsky, Johann A.
7
2011
On counting generalized colorings. Zbl 1253.05071
Kotek, Tomer; Makowsky, Johann A.; Zilber, Boris
7
2011
The universal edge elimination polynomial and the dichromatic polynomial. Zbl 1274.05231
Averbouch, I.; Kotek, T.; Makowsky, J. A.; Ravve, E.
2
2011
An extension of the bivariate chromatic polynomial. Zbl 1198.05099
Averbouch, Ilia; Godlin, Benny; Makowsky, J. A.
23
2010
Application of logic to integer sequences: a survey. Zbl 1306.03019
Makowsky, Johann A.
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
A graph polynomial arising from community structure (extended abstract). Zbl 1273.05109
Averbouch, Ilia; Makowsky, Johann A.; Tittmann, Peter
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.
34
2008
From a zoo to a zoology: Towards a general theory of graph polynomials. Zbl 1162.68502
Makowsky, J. A.
22
2008
A most general edge elimination polynomial. Zbl 1202.05063
Averbouch, Ilia; Godlin, Benny; Makowsky, Johann A.
16
2008
Linear recurrence relations for graph polynomials. Zbl 1134.05099
Fischer, Eldar; Makowsky, Johann A.
8
2008
On counting generalized colorings. Zbl 1157.05024
Kotek, T.; Makowsky, J. A.; Zilber, B.
6
2008
Evaluations of graph polynomials. Zbl 1202.05065
Godlin, Benny; Kotek, Tomer; Makowsky, Johann A.
4
2008
Complexity of the Bollobás-Riordan polynomial. Exceptional points and uniform reductions. Zbl 1143.05023
Bläser, Markus; Dell, Holger; Makowsky, Johann A.
4
2008
Encounters with A. Mostowski. Zbl 1147.01326
Makowsky, J. A.
1
2008
From Hilbert’s program to a logic tool box. Zbl 1167.00011
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
Computing graph polynomials on graphs of bounded clique-width. Zbl 1167.05335
Makowsky, J. A.; Rotics, Udi; Averbouch, Ilya; Godlin, Benny
10
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.
19
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.
65
2004
On the algebraic complexity of some families of coloured Tutte polynomials. Zbl 1041.05042
Lotz, Martin; Makowsky, Johann A.
8
2004
On spectra of sentences of monadic second order logic with counting. Zbl 1070.03018
Fischer, E.; Makowsky, J. A.
4
2004
Farrell polynomials on graphs of bounded tree width. Zbl 1023.68070
Makowsky, J. A.; Mariño, J. P.
10
2003
The Specker-Blatter theorem revisited. Zbl 1276.03034
Fischer, E.; Makowsky, J. A.
8
2003
The parametrized complexity of knot polynomials. Zbl 1093.68043
Makowsky, J. A.; Mariño, J. P.
8
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
Computer science logic. 17th international workshop CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel colloquium KGC 2003, Vienna, Austria, August 25–30, 2003. Proceedings. Zbl 1019.00011
1
2003
Fusion in relational structures and the verification of monadic second-order properties. Zbl 1005.68105
Courcelle, B.; Makowsky, J. A.
13
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.
73
2001
Colored Tutte polynomials and Kauffman brackets for graphs of bounded tree width. Zbl 0988.05087
Makowsky, J. A.
13
2001
Linear time solvable optimization problems on graphs of bounded clique-width. Zbl 1009.68102
Courcelle, B.; Makowsky, J. A.; Rotics, U.
365
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.
43
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.
13
1998
Extensions for open default theories via the domain closure assumption. Zbl 0901.68188
Kaminski, Michael; Makowsky, Johann A.; Tiomkin, Michael
6
1998
Dependency preserving refinements and the fundamental problem of database design. Zbl 0893.68049
Makowsky, J. A.; Ravve, E. V.
2
1998
Restrictions of minimum spanner problems. Zbl 0890.68106
Venkatesan, G.; Rotics, U.; Madanlal, M. S.; Makowsky, J. A.; Pandu Rangan, C.
19
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.
12
1996
Incremental model checking for decomposable structures. Zbl 1193.68164
Makowsky, J. A.; Ravve, E. V.
5
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.
6
1994
Arity vs. alternation in second order logic. Zbl 0946.03041
Makowsky, J. A.; Pnueli, Y. B.
3
1994
The impact of model theory on theoretical computer science. Zbl 0854.03040
Makowsky, J. A.
2
1994
The expressive power of transitive closure and 2-way multihead automata. Zbl 0783.03018
Bargury, Y.; Makowsky, J.
6
1992
The Ehrenfeucht-Fraïssé games for transitive closure. Zbl 0978.03525
Calò, A.; Makowsky, J. A.
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
Weak second order characterizations of various program verification systems. Zbl 0678.68008
Makowsky, J. A.; Sain, I.
3
1989
Gandy’s principles for mechanisms as a model of parallel computation. Zbl 0676.68018
Dahlhaus, Elias; Makowsky, Johann A.
2
1988
Mental images and the architecture of concepts. Zbl 0661.68028
Makowsky, Johann A.
1
1988
Unification as a complexity measure for logic programming. Zbl 0641.68143
Itai, A.; Makowsky, J. A.
25
1987
Why Horn formulas matter in computer science: initial structures and generic examples. Zbl 0619.68029
Makowsky, J. A.
14
1987
On the expressive power of data dependencies. Zbl 0617.68085
Makowsky, Johann A.; Vardi, Moshe Y.
6
1986
The choice of programming primitives for SETL-like programming languages. Zbl 0587.68005
Dahlhaus, E.; Makowsky, J. A.
5
1986
Computable directory queries. Zbl 0604.68109
Dahlhaus, E.; Makowsky, J. A.
2
1986
Model-theoretic logics. (Parts A-C). Zbl 0587.03001
75
1985
A proof rule for fair termination of guarded commands. Zbl 0577.68022
Grumberg, Orna; Francez, Nissim; Makowsky, Johann A.
17
1985
Vopěnka’s principle and compact logics. Zbl 0623.03041
Makowsky, J. A.
7
1985
Why Horn formulas matter in computer science: initial structures and generic examples. Zbl 0563.68013
Makowsky, J. A.
6
1985
Propositional dynamic logic with local assignments. Zbl 0574.03011
Tiomkin, M. L.; Makowsky, J. A.
6
1985
Model-theoretic logics. (Parts D-F). Zbl 0587.03002
3
1985
Characterizing specification languages which admit initial semantics. Zbl 0536.68011
Mahr, B.; Makowsky, J. A.
9
1984
Model theoretic issues in theoretical computer science. I: Relational data bases and abstract data types. Zbl 0553.68028
Makowsky, J. A.
7
1984
Positive results in abstract model theory: a theory of compact logics. Zbl 0544.03013
Makowsky, J. A.; Shelah, S.
9
1983
Characterizing specification languages which admit initial semantics. Zbl 0522.68026
Mahr, B.; Makowsky, J. A.
4
1983
An axiomatic approach to semantics of specification languages. Zbl 0493.68023
Mahr, B.; Makowsky, J. A.
1
1982
The theorems of Beth and Craig in abstract model theory. II. Compact logics. Zbl 0472.03028
Makowsky, J. A.; Shelah, S.
10
1981
Topological model theory with an interior operator: Consistency properties and back-and-forth arguments. Zbl 0472.03027
Makowsky, J. A.; Ziegler, M.
4
1981
...and 11 more Documents
all top 5

Cited by 914 Authors

58 Makowsky, Johann-Andreas
30 Lozin, Vadim Vladislavovich
28 Courcelle, Bruno
27 Ganian, Robert
23 Brandstädt, Andreas
23 Paulusma, Daniël
21 Szeider, Stefan
20 Dabrowski, Konrad Kazimierz
17 Gurski, Frank
17 Lampis, Michael
17 Milanič, Martin
13 Otachi, Yota
12 Hliněný, Petr
12 Kotek, Tomer
11 Meister, Daniel
10 Eiben, Eduard
10 Kanté, Mamadou Moustapha
10 Kwon, O. joung
10 Mosca, Raffaele
10 Oum, Sang-Il
10 Rossmanith, Peter
9 Golovach, Petr A.
9 Ravve, Elena V.
9 Rotics, Udi
9 Väänänen, Jouko Antero
9 Zamaraev, Victor A.
8 Belmonte, Rémy
8 Hanaka, Tesshu
8 Malyshev, Dmitriĭ Sergeevich
8 Nešetřil, Jaroslav
8 Papadopoulos, Charis
8 Rautenbach, Dieter
7 Huang, Shenwei
7 Kneis, Joachim
7 Langer, Alexander
7 Masařík, Tomáš
7 Shelah, Saharon
7 Souza, Uéverton S.
7 Wanke, Egon
6 Boros, Endre
6 Heggernes, Pinar
6 Korpelainen, Nicholas
6 Kučera, Petr
6 Mitsou, Valia
6 Müller, Haiko
6 Obdržálek, Jan
6 Ordyniak, Sebastian
6 Pilipczuk, Michał
6 Siebertz, Sebastian
6 Telle, Jan Arne
6 Vatshelle, Martin
5 Brignall, Robert
5 Čepek, Ondřej
5 Fischer, Eldar
5 Goodall, Andrew J.
5 Hoàng, Chính T.
5 Kim, Eun Jung
5 Kobayashi, Yasuaki
5 Kopczyński, Eryk
5 Maffray, Frédéric
5 Makino, Kazuhisa
5 Meer, Klaus
5 Monnot, Jérôme
5 Oboudi, Mohammad Reza
5 Rao, Michaël
5 Reddy, I. Vinod
5 Ries, Bernard
5 Sikdar, Somnath
5 Torres, Pablo Daniel
5 Vardi, Moshe Ya’akov
4 Ahangar, Hossein Abdollahzadeh
4 Argiroffo, Gabriela R.
4 Bazgan, Cristina
4 Blanchet-Sadri, Francine
4 Bläser, Markus
4 Blumensath, Achim
4 Bodlaender, Hans L.
4 Broersma, Hajo J.
4 Brown, Jason Ira
4 Chellali, Mustapha
4 Das, Bireswar
4 De Oliveira Oliveira, Mateus
4 Dell, Holger
4 Enduri, Murali Krishna
4 Fomin, Fedor V.
4 Grohe, Martin
4 Koiran, Pascal
4 Kolaitis, Phokion G.
4 Hoàng-Oanh Le
4 Leoni, Valeria Alejandra
4 Liedloff, Mathieu
4 Lokshtanov, Daniel
4 Marques-Silva, João P.
4 Mencía, Carlos
4 Munaro, Andrea
4 Ossona de Mendez, Patrice
4 Paschos, Vangelis Th.
4 Protti, Fábio
4 Rakita, Vsevolod
4 Schweikardt, Nicole
...and 814 more Authors
all top 5

Cited in 118 Serials

92 Discrete Applied Mathematics
86 Theoretical Computer Science
33 Algorithmica
26 Journal of Computer and System Sciences
18 Discrete Mathematics
17 The Journal of Symbolic Logic
16 Information Processing Letters
16 Annals of Pure and Applied Logic
15 European Journal of Combinatorics
14 Information and Computation
14 SIAM Journal on Discrete Mathematics
13 Theory of Computing Systems
11 Artificial Intelligence
11 Journal of Combinatorial Theory. Series B
9 Graphs and Combinatorics
9 Annals of Mathematics and Artificial Intelligence
8 ACM Transactions on Computational Logic
8 Logical Methods in Computer Science
7 Applied Mathematics and Computation
7 Studia Logica
7 Archive for Mathematical Logic
7 Journal of Combinatorial Optimization
6 Archiv für Mathematische Logik und Grundlagenforschung
6 Journal of Graph Theory
6 Mathematical Logic Quarterly (MLQ)
6 The Bulletin of Symbolic Logic
6 Journal of Applied Logic
6 Computer Science Review
5 Proceedings of the American Mathematical Society
5 International Journal of Foundations of Computer Science
5 Distributed Computing
5 Journal of Discrete Algorithms
4 Israel Journal of Mathematics
4 Algebra Universalis
4 Synthese
4 Transactions of the American Mathematical Society
4 The Electronic Journal of Combinatorics
4 Journal of Graph Algorithms and Applications
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 Journal of Symbolic Computation
2 International Journal of Approximate Reasoning
2 Formal Aspects of Computing
2 Annals of Operations Research
2 European Journal of Operational Research
2 Computational Complexity
2 Journal of Logic, Language and Information
2 Discussiones Mathematicae. Graph Theory
2 International Transactions in Operational Research
2 Fundamenta Informaticae
2 Logica Universalis
2 Optimization Letters
2 Discrete Mathematics, Algorithms and Applications
2 Diskretnyĭ Analiz i Issledovanie Operatsiĭ
1 Computers & Mathematics with Applications
1 Communications in Mathematical Physics
1 Journal of Computational 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 Discrete & Computational Geometry
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 Journal of Algebraic Combinatorics
1 Formal Methods in System Design
1 Applied Categorical Structures
1 Journal of Applied Non-Classical Logics
1 Computational and Applied Mathematics
1 Filomat
1 Selecta Mathematica. New Series
1 The Journal of Artificial Intelligence Research (JAIR)
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
...and 18 more Serials
all top 5

Cited in 38 Fields

462 Computer science (68-XX)
414 Combinatorics (05-XX)
240 Mathematical logic and foundations (03-XX)
34 Operations research, mathematical programming (90-XX)
19 Order, lattices, ordered algebraic structures (06-XX)
12 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
10 Manifolds and cell complexes (57-XX)
8 History and biography (01-XX)
8 Probability theory and stochastic processes (60-XX)
7 Convex and discrete geometry (52-XX)
7 Biology and other natural sciences (92-XX)
6 Number theory (11-XX)
6 Category theory; homological algebra (18-XX)
5 General algebraic systems (08-XX)
5 Linear and multilinear algebra; matrix theory (15-XX)
5 Statistical mechanics, structure of matter (82-XX)
3 Commutative algebra (13-XX)
3 Group theory and generalizations (20-XX)
3 General topology (54-XX)
3 Quantum theory (81-XX)
2 General and overarching topics; collections (00-XX)
2 Field theory and polynomials (12-XX)
2 Difference and functional equations (39-XX)
2 Geometry (51-XX)
2 Differential geometry (53-XX)
2 Information and communication theory, circuits (94-XX)
2 Mathematics education (97-XX)
1 Algebraic geometry (14-XX)
1 Associative rings and algebras (16-XX)
1 Topological groups, Lie groups (22-XX)
1 Special functions (33-XX)
1 Partial differential equations (35-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 Sequences, series, summability (40-XX)
1 Algebraic topology (55-XX)
1 Statistics (62-XX)
1 Relativity and gravitational theory (83-XX)
1 Systems theory; control (93-XX)

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.