Folgen
Johann (Janos) A. Makowsky
Johann (Janos) A. Makowsky
Faculty of Computer Science, Technion - Israel Institute of Technology, Haifa, Israel
Bestätigte E-Mail-Adresse bei cs.technion.ac.il - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Linear time solvable optimization problems on graphs of bounded clique-width
B Courcelle, JA Makowsky, U Rotics
Theory of Computing Systems 33 (2), 125-150, 2000
9382000
On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic
B Courcelle, JA Makowsky, U Rotics
Discrete Applied Mathematics 108 (1), 23-52, 2001
2552001
Algorithmic uses of the Feferman–Vaught theorem
JA Makowsky
Annals of Pure and Applied Logic 126 (1-3), 159-213, 2004
2462004
Identifying extended entity-relationship object structures in relational schemas
VM Markowitz, JA Makowsky
IEEE transactions on Software Engineering 16 (8), 777-790, 1990
2211990
Embedded implicational dependencies and their inference problem
AK Chandra, HR Lewis, JA Makowsky
Proceedings of the thirteenth annual ACM symposium on Theory of computing …, 1981
1491981
Why Horn formulas matter in computer science: Initial structures and generic examples
JA Makowsky
Journal of Computer and System Sciences 34 (2-3), 266-292, 1987
1451987
Unification as a complexity measure for logic programming
A Itai, JA Makowsky
The Journal of Logic Programming 4 (2), 105-117, 1987
136*1987
Counting truth assignments of formulas of bounded tree-width or clique-width
E Fischer, JA Makowsky, EV Ravve
Discrete Applied Mathematics 156 (4), 511-529, 2008
1222008
Chapter XVIII: Compactness, Embeddings and Definability
JA Makowsky
Model-theoretic logics 8, 645-717, 1985
111*1985
ON THE CLIQUE–WIDTH OF GRAPH WITH FEW P4'S
JA Makowsky, U Rotics
International Journal of Foundations of Computer Science 10 (03), 329-348, 1999
1041999
A proof rule for fair termination of guarded commands
O Grumberg, N Francez, JA Makowsky, WP de Roever
Information and Control 66 (1-2), 83-102, 1985
911985
Δ-logics and generalized quantifiers
JA Makowsky, S Shelah, J Stavi
Annals of Mathematical Logic 10 (2), 155-192, 1976
831976
Coloured Tutte polynomials and Kauffman brackets for graphs of bounded tree width
JA Makowsky
Discrete Applied Mathematics 145 (2), 276-290, 2005
782005
An extension of the bivariate chromatic polynomial
I Averbouch, B Godlin, JA Makowsky
European Journal of Combinatorics 31 (1), 1-17, 2010
77*2010
Characterizing specification languages which admit initial semantics
B Mahr, JA Makowsky
Theoretical Computer Science 31 (1), 49-59, 1984
77*1984
Restrictions of minimum spanner problems
G Venkatesan, U Rotics, MS Madanlal, JA Makowsky, CP Rangan
Information and computation 136 (2), 143-164, 1997
761997
Query languages for hierarchic databases
E Dahlhaus, JA Makowsky
Information and computation 101 (1), 1-32, 1992
63*1992
From a zoo to a zoology: Towards a general theory of graph polynomials
JA Makowsky
Theory of Computing Systems 43, 542-562, 2008
60*2008
Computing graph polynomials on graphs of bounded clique-width
JA Makowsky, U Rotics, I Averbouch, B Godlin
Graph-Theoretic Concepts in Computer Science: 32nd International Workshop …, 2006
582006
Fusion in relational structures and the verification of monadic second-order properties
B Courcelle, JA Makowsky
Mathematical Structures in Computer Science 12 (2), 203-235, 2002
51*2002
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20