Travelled to:1 × Czech Republic
1 × Israel
1 × Italy
1 × Norway
1 × Switzerland
1 × United Kingdom
2 × France
2 × Germany
2 × USA
Collaborated with:∅ T.Kotek N.Labai K.Meer Y.B.Pnueli Y.Bargury V.M.Markowitz E.Dahlhaus I.Sain B.Zilber A.K.Chandra H.R.Lewis
Talks about:model (4) graph (4) abstract (3) program (3) express (3) theori (3) comput (3) power (3) defin (3) paramet (2)
Person: Johann A. Makowsky
DBLP: Makowsky:Johann_A=
Facilitated 1 volumes:
EdContributed to:
20152012201120082000199819931991
1987
1986
1986
1981
19811980
1985Wrote 17 papers:
- LATA-2015-MakowskyL #graph #matrix #word
- Hankel Matrices: From Words to Graphs (JAM, NL), pp. 47–55.
- CSL-2012-KotekM #graph #matrix #parametricity
- Connection Matrices and the Definability of Graph Parameters (TK, JAM), pp. 411–425.
- CSL-2012-Makowsky #complexity #graph #parametricity
- Definability and Complexity of Graph Parameters (JAM), pp. 14–15.
- CSL-2011-Makowsky
- Model Theory in Computer Science: My Own Recurrent Themes (JAM), pp. 553–567.
- CSL-2008-KotekMZ #on the
- On Counting Generalized Colorings (TK, JAM, BZ), pp. 339–353.
- CSL-2000-MakowskyM #combinator #complexity #generative #graph #on the
- On the Complexity of Combinatorial and Metafinite Generating Functions of Graph Properties in the Computational Model of Blum, Shub and Smale (JAM, KM), pp. 399–410.
- CSL-1998-Makowsky #invariant
- Invariant Definability and P/poly (JAM), pp. 142–158.
- CSL-1993-MakowskyP #quantifier
- Oracles and Quantifiers (JAM, YBP), pp. 189–222.
- CSL-1991-BarguryM #automaton #multi #power of #transitive
- The Expressive Power of Transitive Closue and 2-way Multihead Automata (YB, JAM), pp. 1–14.
- VLDB-1987-MarkowitzM #database #incremental #relational
- Incremental Reorganization of Relational Databases (VMM, JAM), pp. 127–135.
- ESOP-1986-DahlhausM #programming language
- The Choice of Programming Primitives for SETL-Like Programming Languages (ED, JAM), pp. 160–172.
- LICS-1986-MakowskyS #equivalence #higher-order #on the #semantics #standard #verification
- On the Equivalence of Weak Second Order and Nonstandard Time Semantics For Various Program Verification Systems (JAM, IS), pp. 293–300.
- ICALP-1981-Makowsky #database #dependence
- Characterizing Data Base Dependencies (JAM), pp. 86–97.
- ICALP-1981-Makowsky81a #logic #named #power of
- Errata: Measuring the Expressive Power of Dynamic Logics: An Application of Abstract Model Theory (JAM), p. 551.
- STOC-1981-ChandraLM #dependence #embedded #problem
- Embedded Implicational Dependencies and their Inference Problem (AKC, HRL, JAM), pp. 342–354.
- ICALP-1980-Makowsky #logic #power of
- Measuring the Expressive Power of Dynamic Logics: An Application of Abstract Model Theory (JAM), pp. 409–421.
- CAAP-1985-Makowsky #matter #why
- Why Horn Formulas Matter in Computer Science: Initial Structures and Generic Examples (Extended Abstract) (JAM), pp. 374–387.