BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Makowsky:Johann_A=

Facilitated 1 volumes:

CSL 2003Ed

Contributed to:

LATA 20152015
CSL 20122012
CSL 20112011
CSL 20082008
CSL 20002000
CSL 19981998
CSL 19931993
CSL 19911991
VLDB 19871987
ESOP 19861986
LICS 19861986
ICALP 19811981
STOC 19811981
ICALP 19801980
TAPSOFT, Vol.1: CAAP 19851985

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.