Johann (Janos) A. Makowsky

Cited by

	All	Since 2019
Citations	4761	890
h-index	34	13
i10-index	82	20

260

130

195

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202436 36 31 38 37 43 48 56 51 54 99 59 72 49 68 58 71 68 94 85 114 120 137 252 140 180 220 197 182 192 196 205 140 173 145 181 136 166 172 89

Public access

View all

7 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Elena RavveLecturer, Ort-Braude College, Karmiel, IsraelVerified email at braude.ac.il
Tomer KotekTU WienVerified email at forsyte.at
Bruno CourcelleProfesseur émérite , Bordeaux, InformatiqueVerified email at labri.fr
Ilia AverbouchResearcher at IBM, HaifaVerified email at il.ibm.com
Saharon ShelahProfessor of Mathematics, The Hebrew UniversityVerified email at math.huji.ac.il
Nadia LabaiAmazon Web ServicesVerified email at amazon.com
Julián P. MariñoDirector Centro de Evaluación, Universidad de los AndesVerified email at uniandes.edu.co
Vsevolod RakitaTechnion-Israel Institute of TechnologyVerified email at campus.technion.ac.il
Peter TittmannHochschule MittweidaVerified email at hs-mittweida.de
C.Pandu RanganProfessor, Department of Computer Science and Engg, IIT-Madras, India.Verified email at cse.iitm.ac.in
Venkatesan GuruswamiUniversity of California, BerkeleyVerified email at berkeley.edu
Orna GrumbergProfessor of Computer Science, TechnionVerified email at cs.technion.ac.il
Nissim FrancezComputer Science Faculty, TechnionVerified email at cs.technion.ac.il
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Holger DellGoethe University FrankfurtVerified email at uni-frankfurt.de
Markus BläserSaarland University, Saarland Informatics Campus, Saarbrücken, GermanyVerified email at cs.uni-saarland.de
Alex GliksonCarnegie Mellon UniversityVerified email at andrew.cmu.edu
Neil JonesVerified email at diku.dk
Martin LotzMathematical Institute, University of WarwickVerified email at warwick.ac.uk
Enka BlanchardCNRS, LAMIH (UPHF), Centre Internet et Societé (CNRS), Chaire d'Intelligence Spatiale (UPHF)Verified email at cnrs.fr

Johann (Janos) A. Makowsky

Faculty of Computer Science, Technion - Israel Institute of Technology, Haifa, Israel

Verified email at cs.technion.ac.il - Homepage

Mathematics Theoretical Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	946	2000
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	260	2001
Algorithmic uses of the Feferman–Vaught theorem JA Makowsky Annals of Pure and Applied Logic 126 (1-3), 159-213, 2004	248	2004
Identifying extended entity-relationship object structures in relational schemas VM Markowitz, JA Makowsky IEEE transactions on Software Engineering 16 (8), 777-790, 1990	221	1990
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	149	1981
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	145	1987
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	123	2008
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	104	1999
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	91	1985
Δ-logics and generalized quantifiers JA Makowsky, S Shelah, J Stavi Annals of Mathematical Logic 10 (2), 155-192, 1976	84	1976
Coloured Tutte polynomials and Kauffman brackets for graphs of bounded tree width JA Makowsky Discrete Applied Mathematics 145 (2), 276-290, 2005	79	2005
Restrictions of minimum spanner problems G Venkatesan, U Rotics, MS Madanlal, JA Makowsky, CP Rangan Information and computation 136 (2), 143-164, 1997	76	1997
Chapter XVIII: Compactness, Embeddings and Definability JA Makowsky Model-theoretic logics 8, 645-717, 1985	68	1985
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	61*	2008
An extension of the bivariate chromatic polynomial I Averbouch, B Godlin, JA Makowsky European Journal of Combinatorics 31 (1), 1-17, 2010	58	2010
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	58	2006
Connection Matrices and the Definability of Graph Parameters T Kotek, JA Makowsky Logical Methods in Computer Science 10 (ISSUE 4), 2014	51*	2014
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

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors