Johann A. Makowsky Home Page Coauthor index DBLP Vis pubzone.org

Janos Makowsky

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky, Alexander A. Razborov: The Ackermann Award 2009. CSL 2009: 561-565
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky: Connection Matrices for MSOL-Definable Structural Invariants. ICLA 2009: 51-64
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlya Averbouch, Johann A. Makowsky, Peter Tittmann: A Graph Polynomial Arising from Community Structure (Extended Abstract). WG 2009: 33-43
2008
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomer Kotek, Johann A. Makowsky, Boris Zilber: On Counting Generalized Colorings. CSL 2008: 339-353
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky, Damian Niwinski: The Ackermann Award 2008. CSL 2008: 508-512
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Bläser, Holger Dell, Johann A. Makowsky: Complexity of the Bollobás-Riordan Polynomial. CSR 2008: 86-98
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky: Uniform Algebraic Reducibilities between Parameterized Numeric Graph Invariants. CiE 2008: 403-406
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEldar Fischer, Johann A. Makowsky: Linear Recurrence Relations for Graph Polynomials. Pillars of Computer Science 2008: 266-279
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenny Godlin, Tomer Kotek, Johann A. Makowsky: Evaluations of Graph Polynomials. WG 2008: 183-194
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlya Averbouch, Benny Godlin, Johann A. Makowsky: A Most General Edge Elimination Polynomial. WG 2008: 31-42
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky: From Hilbert's program to a logic tool box. Ann. Math. Artif. Intell. 53(1-4): 225-250 (2008)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenny Godlin, Emilia Katz, Johann A. Makowsky: Graph Polynomials: From Recursive Definitions To Subset Expansion Formulas CoRR abs/0812.1364: (2008)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEldar Fischer, Johann A. Makowsky, Elena V. Ravve: Counting truth assignments of formulas of bounded tree-width or clique-width. Discrete Applied Mathematics 156(4): 511-529 (2008)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAriel Cohen, Michael Kaminski, Johann A. Makowsky: Notions of Sameness by Default and their Application to Anaphora, Vagueness, and Uncertain Reasoning. Journal of Logic, Language and Information 17(3): 285-306 (2008)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky: From a Zoo to a Zoology: Towards a General Theory of Graph Polynomials. Theory Comput. Syst. 43(3-4): 542-562 (2008)
2007
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Grohe, Martin Hyland, Johann A. Makowsky, Damian Niwinski: The Ackermann Award 2007. CSL 2007: 589-597
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky: From Hilbert's Program to a Logic Toolbox. LPAR 2007: 1
2006
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Erich Grädel, Johann A. Makowsky: The Ackermann Award 2006. CSL 2006: 622-626
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky: From a Zoo to a Zoology: Descriptive Complexity for Graph Polynomials. CiE 2006: 330-341
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky, Udi Rotics, Ilya Averbouch, Benny Godlin: Computing Graph Polynomials on Graphs of Bounded Clique-Width. WG 2006: 191-204
2005
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErich Grädel, Janos Makowsky, Alexander A. Razborov: The Ackermann Award 2005. CSL 2005: 557-565
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky: Clemens Lautemann: 1951-2005 An Obituary. CSL 2005: 566-566
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAriel Cohen, Michael Kaminski, Johann A. Makowsky: Indistinguishability by Default. We Will Show Them! (1) 2005: 415-428
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky: Coloured Tutte polynomials and Kauffman brackets for graphs of bounded tree width. Discrete Applied Mathematics 145(2): 276-290 (2005)
2004
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky: Algorithmic uses of the Feferman-Vaught Theorem. Ann. Pure Appl. Logic 126(1-3): 159-213 (2004)
2003
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Baaz, Johann A. Makowsky: Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings Springer 2003
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEldar Fischer, Johann A. Makowsky: The Specker-Blatter Theorem Revisited. COCOON 2003: 90-101
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Glikson, Johann A. Makowsky: NCE Graph Grammars and Clique-Width. WG 2003: 237-248
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky, Julian Mariño: The parametrized complexity of knot polynomials. J. Comput. Syst. Sci. 67(4): 742-756 (2003)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky, Julian Mariño: Tree-width and the monadic quantifier hierarchy. Theor. Comput. Sci. 1(303): 157-170 (2003)
2002
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno Courcelle, Johann A. Makowsky: Fusion in Relational Structures and the Verification of Monadic Second-Order Properties. Mathematical Structures in Computer Science 12(2): 203-235 (2002)
2001
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky: Colored Tutte polynomials and Kaufman brackets for graphs of bounded tree width. SODA 2001: 487-495
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno Courcelle, Johann A. Makowsky, Udi Rotics: On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic. Discrete Applied Mathematics 108(1-2): 23-52 (2001)
2000
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky, Klaus Meer: On the Complexity of Combinatorial and Metafinite Generating Functions of Graph Properties in the Computational Model of Blum, Shub and Smale. CSL 2000: 399-410
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno Courcelle, Johann A. Makowsky, Udi Rotics: Linear Time Solvable Optimization Problems on Graphs of Bounded Clique-Width. Theory Comput. Syst. 33(2): 125-150 (2000)
1999
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky, Udi Rotics: On the Clique-Width of Graphs with Few P4's. Int. J. Found. Comput. Sci. 10(3): 329-348 (1999)
1998
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky: Invariant Definability and P/poly. CSL 1998: 142-158
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno Courcelle, Johann A. Makowsky, Udi Rotics: Linear Time Solvable Optimization Problems on Graphs of Bounded Clique Width. WG 1998: 1-16
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky, Y. B. Pnueli: Erratum to ``Arity and Alternation in Second-Order Logic. Ann. Pure Appl. Logic 92(2): 215 (1998)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky, Elena V. Ravve: Dependency Preserving Refinements and the Fundamental Problem of Database Design. Data Knowl. Eng. 24(3): 277-312 (1998)
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Kaminski, Johann A. Makowsky, Michael L. Tiomkin: Extensions for Open Default Theories via the Domain Closure Assumption. J. Log. Comput. 8(2): 169-187 (1998)
1997
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky: Invariant Definability (Extended Abstract). Kurt Gödel Colloquium 1997: 186-202
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky, Elena V. Ravve: The Fundamental Problem of Database Design. SOFSEM 1997: 53-69
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLG. Venkatesan, Udi Rotics, M. S. Madanlal, Johann A. Makowsky, C. Pandu Rangan: Restrictions of Minimum Spanner Problems. Inf. Comput. 136(2): 143-164 (1997)
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJirí Adámek, Peter T. Johnstone, Johann A. Makowsky, Jirí Rosický: Finitary Sketches. J. Symb. Log. 62(3): 699-707 (1997)
1996
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky, Elena V. Ravve: Translation Schemes and the Fundamental Problem of Database Design. ER 1996: 5-26
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Kaminski, Johann A. Makowsky, Michael L. Tiomkin: Extensions for Open Default Theories via the Domain Closure Assumption. JELIA 1996: 373-387
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky, Y. B. Pnueli: Arity and Alternation in Second-Order Logic. Ann. Pure Appl. Logic 78(1-3): 189-202 (1996)
1995
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky, Elena V. Ravve: Incremental Model Checking for Decomposable Structures (Extended Abstract). MFCS 1995: 540-551
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky, Abraham Sharell: On Average Case Complexity of SAT for Symmetric Distribution. J. Log. Comput. 5(1): 71-92 (1995)
1994
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky, Y. B. Pnueli: Logics Capturing Relativized Complexity Classes Uniformly. LCC 1994: 463-479
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky, Y. B. Pnueli: Arity vs. Alternation in Second Order Logic. LFCS 1994: 240-252
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky: Capturing Complexity Classes with Lindström Quantifiers. MFCS 1994: 68-71
1993
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky, Y. B. Pnueli: Oracles and Quantifiers. CSL 1993: 189-222
1992
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. Calò, Johann A. Makowsky: The Ehrenfeucht-Fraisse Games for Transitive Closure. LFCS 1992: 57-68
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElias Dahlhaus, Johann A. Makowsky: Query Languages for Hierarchic Databases Inf. Comput. 101(1): 1-32 (1992)
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacob P. Ukelson, Johann A. Makowsky: Formal Interactive Menu Design. Interacting with Computers 4(1): 83-101 (1992)
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky, J.-C. Gregoire, Shmuel Sagiv: The Expressive Power of Side Effects in Prolog. J. Log. Program. 12(1&2): 179-188 (1992)
1991
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYaniv Bargury, Johann A. Makowsky: The Expressive Power of Transitive Closue and 2-way Multihead Automata. CSL 1991: 1-14
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael L. Tiomkin, Johann A. Makowsky: Decidability of Finite Probablistic Propositional Dynamic Logics Inf. Comput. 94(2): 180-203 (1991)
1990
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVictor M. Markowitz, Johann A. Makowsky: Identifying Extended Entity-Relationship Object Structures in Relational Schemas. IEEE Trans. Software Eng. 16(8): 777-790 (1990)
1989
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky, Ildikó Sain: Weak Second Order Characterizations of Various Program Verification Systems. Theor. Comput. Sci. 66(3): 299-321 (1989)
1988
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVictor M. Markowitz, Johann A. Makowsky: Incremental Restructuring of Relational Schemas. ICDE 1988: 276-284
1987
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVictor M. Markowitz, Johann A. Makowsky: Incremental Reorganization of Relational Databases. VLDB 1987: 127-135
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky: Why Horn Formulas Matter in Computer Science: Initial Structures and Generic Examples. J. Comput. Syst. Sci. 34(2/3): 266-292 (1987)
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlon Itai, Johann A. Makowsky: Unification as a Complexity Measure for Logic Programming. J. Log. Program. 4(2): 105-117 (1987)
1986
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElias Dahlhaus, Johann A. Makowsky: Computable Directory Queries. CAAP 1986: 254-265
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElias Dahlhaus, Johann A. Makowsky: The Choice of Programming Primitives for SETL-Like Programming Languages. ESOP 1986: 160-172
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky, Victor M. Markowitz, Nimrod Rotics: Entity-Relationship Consistency for Relational Schemas. ICDT 1986: 306-322
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky, Ildikó Sain: On the Equivalence of Weak Second Order and Nonstandard Time Semantics For Various Program Verification Systems LICS 1986: 293-300
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky, Moshe Y. Vardi: On the Expressive Power of Data Dependencies. Acta Inf. 23(3): 231-244 (1986)
1985
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky: Why Horn Formulas Matter in Computer Science: Initial Structures and Generic Examples (Extended Abstract). TAPSOFT, Vol.1 1985: 374-387
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Grumberg, Nissim Francez, Johann A. Makowsky, Willem P. de Roever: A Proof Rule for Fair Termination of Guarded Commands Information and Control 66(1/2): 83-102 (1985)
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky: Vopenka's Principle and Compact Logics. J. Symb. Log. 50(1): 42-48 (1985)
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael L. Tiomkin, Johann A. Makowsky: Propositional Dynamic Logic with Local Assignments. Theor. Comput. Sci. 36: 71-87 (1985)
1984
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Mahr, Johann A. Makowsky: Characterizing Specification Languages which Admit Initial Semantics. Theor. Comput. Sci. 31: 49-59 (1984)
1983
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Mahr, Johann A. Makowsky: Characterizing Specification Languages Which Admit Initial Semantics. CAAP 1983: 300-316
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky, Bernd Mahr: An axiomatic approach to semantics of specification languages. Theoretical Computer Science 1983: 211-219
1981
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky: Errata: Measuring the Expressive Power of Dynamic Logics: An Application of Abstract Model Theory. ICALP 1981: 551
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky: Characterizing Data Base Dependencies. ICALP 1981: 86-97
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshok K. Chandra, Harry R. Lewis, Johann A. Makowsky: Embedded Implicational Dependencies and their Inference Problem STOC 1981: 342-354
1980
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann A. Makowsky: Measuring the Expressive Power of Dynamic Logics: An Application of Abstract Model Theory. ICALP 1980: 409-421
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshok K. Chandra, Harry R. Lewis, Johann A. Makowsky: Embedded Implicational Dependencies and their Inference Problem. XP1 Workshop on Database Theory 1980

Coauthor Index

1Samson Abramsky [66]
2Jirí Adámek [39]
3Ilya Averbouch [64] [74] [81]
4Matthias Baaz [58]
5Yaniv Bargury [25]
6Markus Bläser [78]
7A. Calò [29]
8Ashok K. Chandra [1] [3]
9Ariel Cohen [61] [70]
10Bruno Courcelle [46] [49] [51] [53]
11Elias Dahlhaus [16] [17] [28]
12Holger Dell [78]
13Eldar Fischer [57] [71] [76]
14Nissim Francez [11]
15Alexander Glikson [56]
16Benny Godlin [64] [72] [74] [75]
17Erich Grädel [63] [66]
18J.-C. Gregoire [26]
19Martin Grohe [68]
20Orna Grumberg [11]
21Martin Hyland (J. M. E. Hyland) [68]
22Alon Itai [18]
23Peter T. Johnstone [39]
24Michael Kaminski [37] [43] [61] [70]
25Emilia Katz [72]
26Tomer Kotek [75] [80]
27Harry R. Lewis [1] [3]
28M. S. Madanlal [40]
29Bernd Mahr [6] [7] [8]
30Julian Mariño [54] [55]
31Victor M. Markowitz [15] [20] [21] [23]
32Klaus Meer [50]
33Damian Niwinski [68] [79]
34Y. B. Pnueli [30] [32] [33] [36] [45]
35C. Pandu Rangan (Chandrasekaran Pandu Rangan) [40]
36Elena V. Ravve [35] [38] [41] [44] [71]
37Alexander A. Razborov [63] [83]
38Willem P. de Roever [11]
39Jirí Rosický [39]
40Nimrod Rotics [15]
41Udi Rotics [40] [46] [48] [49] [51] [64]
42Shmuel Sagiv (Mooly Sagiv) [26]
43Ildikó Sain [14] [22]
44Abraham Sharell [34]
45Michael L. Tiomkin [9] [24] [37] [43]
46Peter Tittmann [81]
47Jacob P. Ukelson [27]
48Moshe Y. Vardi [13]
49G. Venkatesan [40]
50Boris Zilber [80]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)