Johann (Janos) A. Makowsky

Cited by

	All	Since 2019
Citations	4911	1016
h-index	34	14
i10-index	83	26

260

130

195

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202436 35 33 36 38 45 49 55 54 45 106 59 73 49 66 56 76 69 95 86 112 121 138 255 141 180 222 197 182 198 197 205 142 176 147 176 143 161 169 219

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
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
Vsevolod RakitaTechnion-Israel Institute of TechnologyVerified email at campus.technion.ac.il
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 GliksonSpot by NetAppVerified email at netapp.com
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	980	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	266	2001
Algorithmic uses of the Feferman–Vaught theorem JA Makowsky Annals of Pure and Applied Logic 126 (1-3), 159-213, 2004	258	2004
Identifying extended entity-relationship object structures in relational schemas VM Markowitz, JA Makowsky IEEE transactions on Software Engineering 16 (8), 777-790, 1990	257*	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	152	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	147	1987
Unification as a complexity measure for logic programming A Itai, JA Makowsky The Journal of Logic Programming 4 (2), 105-117, 1987	140*	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	126	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	109	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	95	1985
Coloured Tutte polynomials and Kauffman brackets for graphs of bounded tree width JA Makowsky Discrete Applied Mathematics 145 (2), 276-290, 2005	84	2005
Δ-logics and generalized quantifiers JA Makowsky, S Shelah, J Stavi Annals of Mathematical Logic 10 (2), 155-192, 1976	84	1976
Restrictions of minimum spanner problems G Venkatesan, U Rotics, MS Madanlal, JA Makowsky, CP Rangan Information and computation 136 (2), 143-164, 1997	77	1997
Chapter XVIII: Compactness, Embeddings and Definability JA Makowsky Model-theoretic logics 8, 645-717, 1985	69	1985
From a zoo to a zoology: Towards a general theory of graph polynomials JA Makowsky Theory of Computing Systems 43, 542-562, 2008	67*	2008
Query languages for hierarchic databases E Dahlhaus, JA Makowsky Information and computation 101 (1), 1-32, 1992	64*	1992
An extension of the bivariate chromatic polynomial I Averbouch, B Godlin, JA Makowsky European Journal of Combinatorics 31 (1), 1-17, 2010	61	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	52*	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	52*	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