Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Johann A. Makowsky
@inproceedings{DBLP:conf/csl/FischerM24,
author = {Eldar Fischer and
Johann A. Makowsky},
editor = {Aniello Murano and
Alexandra Silva},
title = {Extensions and Limits of the Specker-Blatter Theorem},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {26:1--26:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.26},
doi = {10.4230/LIPICS.CSL.2024.26},
timestamp = {Wed, 07 Feb 2024 14:22:56 +0100},
biburl = {https://dblp.org/rec/conf/csl/FischerM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/MakowskyR23,
author = {Johann A. Makowsky and
Vsevolod Rakita},
title = {Almost unimodal and real-rooted graph polynomials},
journal = {Eur. J. Comb.},
volume = {108},
pages = {103637},
year = {2023},
url = {https://doi.org/10.1016/j.ejc.2022.103637},
doi = {10.1016/J.EJC.2022.103637},
timestamp = {Tue, 03 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejc/MakowskyR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KotekM22,
author = {Tomer Kotek and
Johann A. Makowsky},
title = {On the Tutte and Matching Polynomials for Complete Graphs},
journal = {Fundam. Informaticae},
volume = {186},
number = {1-4},
pages = {155--173},
year = {2022},
url = {https://doi.org/10.3233/FI-222124},
doi = {10.3233/FI-222124},
timestamp = {Wed, 21 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KotekM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Makowsky21,
author = {Johann A. Makowsky},
editor = {Alexander Raschke and
Elvinia Riccobene and
Klaus{-}Dieter Schewe},
title = {Some Thoughts on Computational Models: From Massive Human Computing
to Abstract State Machines, and Beyond},
booktitle = {Logic, Computation and Rigorous Methods - Essays Dedicated to Egon
B{\"{o}}rger on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {12750},
pages = {173--186},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-76020-5\_10},
doi = {10.1007/978-3-030-76020-5\_10},
timestamp = {Sat, 12 Jun 2021 12:58:01 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Makowsky21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Makowsky20,
author = {Johann A. Makowsky},
editor = {Andreas Blass and
Patrick C{\'{e}}gielski and
Nachum Dershowitz and
Manfred Droste and
Bernd Finkbeiner},
title = {To Yuri at 80 and More than 40 Years of Friendship},
booktitle = {Fields of Logic and Computation {III} - Essays Dedicated to Yuri Gurevich
on the Occasion of His 80th Birthday},
series = {Lecture Notes in Computer Science},
volume = {12180},
pages = {3--6},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-48006-6\_1},
doi = {10.1007/978-3-030-48006-6\_1},
timestamp = {Tue, 26 May 2020 11:23:56 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Makowsky20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-06250,
author = {Orli Herscovici and
Johann A. Makowsky and
Vsevolod Rakita},
title = {Harary polynomials},
journal = {CoRR},
volume = {abs/2003.06250},
year = {2020},
url = {https://arxiv.org/abs/2003.06250},
eprinttype = {arXiv},
eprint = {2003.06250},
timestamp = {Tue, 17 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-06250.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ajc/MakowskyZ19,
author = {Johann A. Makowsky and
R. X. Zhang},
title = {On \emph{P}-unique hypergraphs},
journal = {Australas. {J} Comb.},
volume = {73},
pages = {456--465},
year = {2019},
url = {http://ajc.maths.uq.edu.au/pdf/73/ajc\_v73\_p456.pdf},
timestamp = {Tue, 23 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ajc/MakowskyZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Makowsky19,
author = {Johann A. Makowsky},
title = {Can one design a geometry engine? - On the (un)decidability of certain
affine Euclidean geometries},
journal = {Ann. Math. Artif. Intell.},
volume = {85},
number = {2-4},
pages = {259--291},
year = {2019},
url = {https://doi.org/10.1007/s10472-018-9610-1},
doi = {10.1007/S10472-018-9610-1},
timestamp = {Wed, 27 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/Makowsky19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MakowskyRK19,
author = {Johann A. Makowsky and
Elena V. Ravve and
Tomer Kotek},
title = {A logician's view of graph polynomials},
journal = {Ann. Pure Appl. Log.},
volume = {170},
number = {9},
pages = {1030--1069},
year = {2019},
url = {https://doi.org/10.1016/j.apal.2019.04.007},
doi = {10.1016/J.APAL.2019.04.007},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/MakowskyRK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dmtcs/MakowskyR19,
author = {Johann A. Makowsky and
Vsevolod Rakita},
title = {On Weakly Distinguishing Graph Polynomials},
journal = {Discret. Math. Theor. Comput. Sci.},
volume = {21},
number = {1},
year = {2019},
url = {https://doi.org/10.23638/DMTCS-21-1-4},
doi = {10.23638/DMTCS-21-1-4},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dmtcs/MakowskyR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-08915,
author = {Tomer Kotek and
Johann A. Makowsky},
title = {The exact complexity of the Tutte polynomial},
journal = {CoRR},
volume = {abs/1910.08915},
year = {2019},
url = {http://arxiv.org/abs/1910.08915},
eprinttype = {arXiv},
eprint = {1910.08915},
timestamp = {Tue, 22 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-08915.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aam/GoodallHKMN18,
author = {Andrew J. Goodall and
Miki Hermann and
Tomer Kotek and
Johann A. Makowsky and
Steven D. Noble},
title = {On the complexity of generalized chromatic polynomials},
journal = {Adv. Appl. Math.},
volume = {94},
pages = {71--102},
year = {2018},
url = {https://doi.org/10.1016/j.aam.2017.04.005},
doi = {10.1016/J.AAM.2017.04.005},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aam/GoodallHKMN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/KotekMR18,
author = {Tomer Kotek and
Johann A. Makowsky and
Elena V. Ravve},
title = {On sequences of polynomials arising from graph invariants},
journal = {Eur. J. Comb.},
volume = {67},
pages = {181--198},
year = {2018},
url = {https://doi.org/10.1016/j.ejc.2017.08.002},
doi = {10.1016/J.EJC.2017.08.002},
timestamp = {Tue, 24 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ejc/KotekMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Makowsky18,
author = {Johann A. Makowsky},
editor = {Lawrence S. Moss and
Ruy J. G. B. de Queiroz and
Maricarmen Mart{\'{\i}}nez},
title = {The Undecidability of Orthogonal and Origami Geometries},
booktitle = {Logic, Language, Information, and Computation - 25th International
Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10944},
pages = {250--270},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-662-57669-4\_15},
doi = {10.1007/978-3-662-57669-4\_15},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Makowsky18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/MakowskyZ17,
author = {Johann A. Makowsky and
Anna Zamansky},
title = {Keeping logic in the trivium of computer science: a teaching perspective},
journal = {Formal Methods Syst. Des.},
volume = {51},
number = {2},
pages = {419--430},
year = {2017},
url = {https://doi.org/10.1007/s10703-017-0301-z},
doi = {10.1007/S10703-017-0301-Z},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/MakowskyZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GoodallHKMN17,
author = {Andrew J. Goodall and
Miki Hermann and
Tomer Kotek and
Johann A. Makowsky and
Steven D. Noble},
title = {On the complexity of generalized chromatic polynomials},
journal = {CoRR},
volume = {abs/1701.06639},
year = {2017},
url = {http://arxiv.org/abs/1701.06639},
eprinttype = {arXiv},
eprint = {1701.06639},
timestamp = {Fri, 04 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/GoodallHKMN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-07474,
author = {Johann A. Makowsky},
title = {Can one design a geometry engine? On the (un)decidability of affine
Euclidean geometries},
journal = {CoRR},
volume = {abs/1712.07474},
year = {2017},
url = {http://arxiv.org/abs/1712.07474},
eprinttype = {arXiv},
eprint = {1712.07474},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-07474.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/LabaiM16,
author = {Nadia Labai and
Johann A. Makowsky},
editor = {Adrian{-}Horia Dediu and
Jan Janousek and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {Hankel Matrices for Weighted Visibly Pushdown Automata},
booktitle = {Language and Automata Theory and Applications - 10th International
Conference, {LATA} 2016, Prague, Czech Republic, March 14-18, 2016,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9618},
pages = {464--477},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30000-9\_36},
doi = {10.1007/978-3-319-30000-9\_36},
timestamp = {Mon, 16 Sep 2019 15:27:03 +0200},
biburl = {https://dblp.org/rec/conf/lata/LabaiM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LabaiM16,
author = {Nadia Labai and
Johann A. Makowsky},
editor = {Piotr Faliszewski and
Anca Muscholl and
Rolf Niedermeier},
title = {On the Exact Learnability of Graph Parameters: The Case of Partition
Functions},
booktitle = {41st International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2016, August 22-26, 2016 - Krak{\'{o}}w, Poland},
series = {LIPIcs},
volume = {58},
pages = {63:1--63:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2016.63},
doi = {10.4230/LIPICS.MFCS.2016.63},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/LabaiM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/MakowskyR16,
author = {Johann A. Makowsky and
Elena V. Ravve},
editor = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen and
{\AA}sa Hirvonen and
Ruy J. G. B. de Queiroz},
title = {Semantic Equivalence of Graph Polynomials Definable in Second Order
Logic},
booktitle = {Logic, Language, Information, and Computation - 23rd International
Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9803},
pages = {279--296},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-52921-8\_18},
doi = {10.1007/978-3-662-52921-8\_18},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wollic/MakowskyR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LabaiM16,
author = {Nadia Labai and
Johann A. Makowsky},
title = {On the exact learnability of graph parameters: The case of partition
functions},
journal = {CoRR},
volume = {abs/1606.04056},
year = {2016},
url = {http://arxiv.org/abs/1606.04056},
eprinttype = {arXiv},
eprint = {1606.04056},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LabaiM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/Ellis-MonaghanG16,
author = {Joanna A. Ellis{-}Monaghan and
Andrew J. Goodall and
Johann A. Makowsky and
Iain Moffatt},
title = {Graph Polynomials: Towards a Comparative Theory (Dagstuhl Seminar
16241)},
journal = {Dagstuhl Reports},
volume = {6},
number = {6},
pages = {26--48},
year = {2016},
url = {https://doi.org/10.4230/DagRep.6.6.26},
doi = {10.4230/DAGREP.6.6.26},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/Ellis-MonaghanG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LabaiM15,
author = {Nadia Labai and
Johann A. Makowsky},
editor = {Lev D. Beklemishev and
Andreas Blass and
Nachum Dershowitz and
Bernd Finkbeiner and
Wolfram Schulte},
title = {Logics of Finite Hankel Rank},
booktitle = {Fields of Logic and Computation {II} - Essays Dedicated to Yuri Gurevich
on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9300},
pages = {237--252},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23534-9\_14},
doi = {10.1007/978-3-319-23534-9\_14},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LabaiM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/MakowskyL15,
author = {Johann A. Makowsky and
Nadia Labai},
editor = {Adrian{-}Horia Dediu and
Enrico Formenti and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {Hankel Matrices: From Words to Graphs (Extended Abstract)},
booktitle = {Language and Automata Theory and Applications - 9th International
Conference, {LATA} 2015, Nice, France, March 2-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8977},
pages = {47--55},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15579-1\_3},
doi = {10.1007/978-3-319-15579-1\_3},
timestamp = {Mon, 16 Sep 2019 15:27:03 +0200},
biburl = {https://dblp.org/rec/conf/lata/MakowskyL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ttcs/KotekM15,
author = {Tomer Kotek and
Johann A. Makowsky},
editor = {Mohammad Taghi Hajiaghayi and
Mohammad Reza Mousavi},
title = {Efficient Computation of Generalized Ising Polynomials on Graphs with
Fixed Clique-Width},
booktitle = {Topics in Theoretical Computer Science - The First {IFIP} {WG} 1.8
International Conference, {TTCS} 2015, Tehran, Iran, August 26-28,
2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9541},
pages = {135--146},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28678-5\_10},
doi = {10.1007/978-3-319-28678-5\_10},
timestamp = {Sat, 11 Jul 2020 10:44:59 +0200},
biburl = {https://dblp.org/rec/conf/ttcs/KotekM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KotekM15,
author = {Tomer Kotek and
Johann A. Makowsky},
title = {Efficient computation of generalized Ising polynomials on graphs with
fixed clique-width},
journal = {CoRR},
volume = {abs/1505.06617},
year = {2015},
url = {http://arxiv.org/abs/1505.06617},
eprinttype = {arXiv},
eprint = {1505.06617},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KotekM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Makowsky15,
author = {Johann A. Makowsky},
title = {Teaching Logic for Computer Science: Are We Teaching the Wrong Narrative?},
journal = {CoRR},
volume = {abs/1507.03672},
year = {2015},
url = {http://arxiv.org/abs/1507.03672},
eprinttype = {arXiv},
eprint = {1507.03672},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Makowsky15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LabaiM15,
author = {Nadia Labai and
Johann A. Makowsky},
title = {Hankel Matrices for Weighted Visibly Pushdown Automata},
journal = {CoRR},
volume = {abs/1512.02430},
year = {2015},
url = {http://arxiv.org/abs/1512.02430},
eprinttype = {arXiv},
eprint = {1512.02430},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LabaiM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KotekM13,
author = {Tomer Kotek and
Johann A. Makowsky},
title = {Connection Matrices and the Definability of Graph Parameters},
journal = {Log. Methods Comput. Sci.},
volume = {10},
number = {4},
year = {2014},
url = {https://doi.org/10.2168/LMCS-10(4:1)2014},
doi = {10.2168/LMCS-10(4:1)2014},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KotekM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/MakowskyRB14,
author = {Johann A. Makowsky and
Elena V. Ravve and
N. K. Blanchard},
title = {On the location of roots of graph polynomials},
journal = {Eur. J. Comb.},
volume = {41},
pages = {1--19},
year = {2014},
url = {https://doi.org/10.1016/j.ejc.2014.03.003},
doi = {10.1016/J.EJC.2014.03.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejc/MakowskyRB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/KotekM14,
author = {Tomer Kotek and
Johann A. Makowsky},
title = {Recurrence relations for graph polynomials on bi-iterative families
of graphs},
journal = {Eur. J. Comb.},
volume = {41},
pages = {47--67},
year = {2014},
url = {https://doi.org/10.1016/j.ejc.2014.03.012},
doi = {10.1016/J.EJC.2014.03.012},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejc/KotekM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KotekM14,
author = {Tomer Kotek and
Johann A. Makowsky},
title = {A representation theorem for (q-)holonomic sequences},
journal = {J. Comput. Syst. Sci.},
volume = {80},
number = {2},
pages = {363--374},
year = {2014},
url = {https://doi.org/10.1016/j.jcss.2013.05.004},
doi = {10.1016/J.JCSS.2013.05.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/KotekM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/MakowskyR13,
author = {Johann A. Makowsky and
Elena V. Ravve},
title = {On the Location of Roots of Graph Polynomials},
journal = {Electron. Notes Discret. Math.},
volume = {43},
pages = {201--206},
year = {2013},
url = {https://doi.org/10.1016/j.endm.2013.07.033},
doi = {10.1016/J.ENDM.2013.07.033},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/MakowskyR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LabaiM13,
author = {Nadia Labai and
Johann A. Makowsky},
editor = {Gabriele Puppis and
Tiziano Villa},
title = {Weighted Automata and Monadic Second Order Logic},
booktitle = {Proceedings Fourth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites,
Italy, 29-31th August 2013},
series = {{EPTCS}},
volume = {119},
pages = {122--135},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.119.12},
doi = {10.4204/EPTCS.119.12},
timestamp = {Fri, 27 Mar 2020 08:38:57 +0100},
biburl = {https://dblp.org/rec/journals/corr/LabaiM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/DurandJMM12,
author = {Arnaud Durand and
Neil D. Jones and
Johann A. Makowsky and
Malika More},
title = {Fifty years of the spectrum problem: survey and new results},
journal = {Bull. Symb. Log.},
volume = {18},
number = {4},
pages = {505--553},
year = {2012},
url = {https://doi.org/10.2178/bsl.1804020},
doi = {10.2178/BSL.1804020},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/DurandJMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KotekM12,
author = {Tomer Kotek and
Johann A. Makowsky},
title = {A Representation Theorem for Holonomic Sequences Based on Counting
Lattice Paths},
journal = {Fundam. Informaticae},
volume = {117},
number = {1-4},
pages = {199--213},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-696},
doi = {10.3233/FI-2012-696},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KotekM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MohantyRM12,
author = {Sri Gopal Mohanty and
Simone Rinaldi and
Johann A. Makowsky},
title = {Foreword},
journal = {Fundam. Informaticae},
volume = {117},
number = {1-4},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-683},
doi = {10.3233/FI-2012-683},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MohantyRM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GodlinKM12,
author = {Benny Godlin and
Emilia Katz and
Johann A. Makowsky},
title = {Graph Polynomials: From Recursive Definitions to Subset Expansion
Formulas},
journal = {J. Log. Comput.},
volume = {22},
number = {2},
pages = {237--265},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq006},
doi = {10.1093/LOGCOM/EXQ006},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GodlinKM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MakowskyR12,
author = {Johann A. Makowsky and
Elena V. Ravve},
editor = {Antje D{\"{u}}sterh{\"{o}}ft and
Meike Klettke and
Klaus{-}Dieter Schewe},
title = {{BCNF} via Attribute Splitting},
booktitle = {Conceptual Modelling and Its Theoretical Foundations - Essays Dedicated
to Bernhard Thalheim on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7260},
pages = {73--84},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28279-9\_7},
doi = {10.1007/978-3-642-28279-9\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MakowskyR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Makowsky12,
author = {Johann A. Makowsky},
editor = {Patrick C{\'{e}}gielski and
Arnaud Durand},
title = {Definability and Complexity of Graph Parameters (Invited Talk)},
booktitle = {Computer Science Logic (CSL'12) - 26th International Workshop/21st
Annual Conference of the EACSL, {CSL} 2012, September 3-6, 2012, Fontainebleau,
France},
series = {LIPIcs},
volume = {16},
pages = {14--15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.CSL.2012.14},
doi = {10.4230/LIPICS.CSL.2012.14},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/Makowsky12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KotekM12,
author = {Tomer Kotek and
Johann A. Makowsky},
editor = {Patrick C{\'{e}}gielski and
Arnaud Durand},
title = {Connection Matrices and the Definability of Graph Parameters},
booktitle = {Computer Science Logic (CSL'12) - 26th International Workshop/21st
Annual Conference of the EACSL, {CSL} 2012, September 3-6, 2012, Fontainebleau,
France},
series = {LIPIcs},
volume = {16},
pages = {411--425},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.CSL.2012.411},
doi = {10.4230/LIPICS.CSL.2012.411},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/KotekM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/KotekMR12,
author = {Tomer Kotek and
Johann A. Makowsky and
Elena V. Ravve},
editor = {Andrei Voronkov and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {A Computational Framework for the Study of Partition Functions and
Graph Polynomials},
booktitle = {14th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2012, Timisoara, Romania, September
26-29, 2012},
pages = {365--368},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SYNASC.2012.36},
doi = {10.1109/SYNASC.2012.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/KotekMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/TittmannAM11,
author = {Peter Tittmann and
Ilya Averbouch and
Johann A. Makowsky},
title = {The enumeration of vertex induced subgraphs with respect to the number
of components},
journal = {Eur. J. Comb.},
volume = {32},
number = {7},
pages = {954--974},
year = {2011},
url = {https://doi.org/10.1016/j.ejc.2011.03.017},
doi = {10.1016/J.EJC.2011.03.017},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejc/TittmannAM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/AverbouchKMR11,
author = {Ilya Averbouch and
Tomer Kotek and
Johann A. Makowsky and
Elena V. Ravve},
title = {The Universal Edge Elimination Polynomial and the Dichromatic Polynomial},
journal = {Electron. Notes Discret. Math.},
volume = {38},
pages = {77--82},
year = {2011},
url = {https://doi.org/10.1016/j.endm.2011.09.013},
doi = {10.1016/J.ENDM.2011.09.013},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/AverbouchKMR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Makowsky11,
author = {Johann A. Makowsky},
editor = {Marc Bezem},
title = {Model Theory in Computer Science: My Own Recurrent Themes},
booktitle = {Computer Science Logic, 25th International Workshop / 20th Annual
Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
Norway, Proceedings},
series = {LIPIcs},
volume = {12},
pages = {553--567},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.CSL.2011.553},
doi = {10.4230/LIPICS.CSL.2011.553},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/Makowsky11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asl/2009s,
editor = {Martin Grohe and
Johann A. Makowsky},
title = {Model Theoretic Methods in Finite Combinatorics - {AMS-ASL} Joint
Special Session, Washington, DC, USA, January 5-8, 2009},
series = {Contemporary Mathematics},
volume = {558},
publisher = {American Mathematical Society},
year = {2011},
url = {https://bookstore.ams.org/conm-558/},
isbn = {978-0-8218-4943-9},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asl/2009s.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/AverbouchGM10,
author = {Ilya Averbouch and
Benny Godlin and
Johann A. Makowsky},
title = {An extension of the bivariate chromatic polynomial},
journal = {Eur. J. Comb.},
volume = {31},
number = {1},
pages = {1--17},
year = {2010},
url = {https://doi.org/10.1016/j.ejc.2009.05.006},
doi = {10.1016/J.EJC.2009.05.006},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejc/AverbouchGM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BlaserDM10,
author = {Markus Bl{\"{a}}ser and
Holger Dell and
Johann A. Makowsky},
title = {Complexity of the Bollob{\'{a}}s-Riordan Polynomial. Exceptional
Points and Uniform Reductions},
journal = {Theory Comput. Syst.},
volume = {46},
number = {4},
pages = {690--706},
year = {2010},
url = {https://doi.org/10.1007/s00224-009-9213-7},
doi = {10.1007/S00224-009-9213-7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/BlaserDM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KotekM10,
author = {Tomer Kotek and
Johann A. Makowsky},
editor = {Andreas Blass and
Nachum Dershowitz and
Wolfgang Reisig},
title = {Definability of Combinatorial Functions and Their Linear Recurrence
Relations},
booktitle = {Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich
on the Occasion of His 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {6300},
pages = {444--462},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15025-8\_21},
doi = {10.1007/978-3-642-15025-8\_21},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KotekM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/MakowskyN10,
author = {Johann A. Makowsky and
Damian Niwinski},
editor = {Anuj Dawar and
Helmut Veith},
title = {The Ackermann Award 2010},
booktitle = {Computer Science Logic, 24th International Workshop, {CSL} 2010, 19th
Annual Conference of the EACSL, Brno, Czech Republic, August 23-27,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6247},
pages = {544--546},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15205-4\_41},
doi = {10.1007/978-3-642-15205-4\_41},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/MakowskyN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Makowsky10,
author = {Johann A. Makowsky},
editor = {Anuj Dawar and
Ruy J. G. B. de Queiroz},
title = {Application of Logic to Integer Sequences: {A} Survey},
booktitle = {Logic, Language, Information and Computation, 17th International Workshop,
WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6188},
pages = {34--41},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13824-9\_3},
doi = {10.1007/978-3-642-13824-9\_3},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Makowsky10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asl/FischerKM09,
author = {Eldar Fischer and
Tomer Kotek and
Johann A. Makowsky},
editor = {Martin Grohe and
Johann A. Makowsky},
title = {Application of logic to combinatorial sequences and their recurrence
relations},
booktitle = {Model Theoretic Methods in Finite Combinatorics - {AMS-ASL} Joint
Special Session, Washington, DC, USA, January 5-8, 2009},
series = {Contemporary Mathematics},
volume = {558},
pages = {1--42},
publisher = {American Mathematical Society},
year = {2009},
timestamp = {Tue, 03 Nov 2020 16:34:28 +0100},
biburl = {https://dblp.org/rec/conf/asl/FischerKM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asl/KotekMZ09,
author = {Tomer Kotek and
Johann A. Makowsky and
Boris Zilber},
editor = {Martin Grohe and
Johann A. Makowsky},
title = {On Counting Generalized Colorings},
booktitle = {Model Theoretic Methods in Finite Combinatorics - {AMS-ASL} Joint
Special Session, Washington, DC, USA, January 5-8, 2009},
series = {Contemporary Mathematics},
volume = {558},
pages = {207--242},
publisher = {American Mathematical Society},
year = {2009},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asl/KotekMZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/MakowskyR09,
author = {Johann A. Makowsky and
Alexander A. Razborov},
editor = {Erich Gr{\"{a}}del and
Reinhard Kahle},
title = {The Ackermann Award 2009},
booktitle = {Computer Science Logic, 23rd international Workshop, {CSL} 2009, 18th
Annual Conference of the EACSL, Coimbra, Portugal, September 7-11,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5771},
pages = {561--565},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04027-6\_40},
doi = {10.1007/978-3-642-04027-6\_40},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/MakowskyR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Makowsky09,
author = {Johann A. Makowsky},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {Connection Matrices for MSOL-Definable Structural Invariants},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {51--64},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_4},
doi = {10.1007/978-3-540-92701-3\_4},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/icla/Makowsky09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/AverbouchMT09,
author = {Ilya Averbouch and
Johann A. Makowsky and
Peter Tittmann},
editor = {Christophe Paul and
Michel Habib},
title = {A Graph Polynomial Arising from Community Structure (Extended Abstract)},
booktitle = {Graph-Theoretic Concepts in Computer Science, 35th International Workshop,
{WG} 2009, Montpellier, France, June 24-26, 2009. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5911},
pages = {33--43},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11409-0\_3},
doi = {10.1007/978-3-642-11409-0\_3},
timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wg/AverbouchMT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Makowsky08,
author = {Johann A. Makowsky},
title = {From Hilbert's program to a logic tool box},
journal = {Ann. Math. Artif. Intell.},
volume = {53},
number = {1-4},
pages = {225--250},
year = {2008},
url = {https://doi.org/10.1007/s10472-009-9115-z},
doi = {10.1007/S10472-009-9115-Z},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Makowsky08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/FischerMR08,
author = {Eldar Fischer and
Johann A. Makowsky and
Elena V. Ravve},
title = {Counting truth assignments of formulas of bounded tree-width or clique-width},
journal = {Discret. Appl. Math.},
volume = {156},
number = {4},
pages = {511--529},
year = {2008},
url = {https://doi.org/10.1016/j.dam.2006.06.020},
doi = {10.1016/J.DAM.2006.06.020},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/FischerMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/CohenKM08,
author = {Ariel Cohen and
Michael Kaminski and
Johann A. Makowsky},
title = {Notions of Sameness by Default and their Application to Anaphora,
Vagueness, and Uncertain Reasoning},
journal = {J. Log. Lang. Inf.},
volume = {17},
number = {3},
pages = {285--306},
year = {2008},
url = {https://doi.org/10.1007/s10849-008-9057-6},
doi = {10.1007/S10849-008-9057-6},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/CohenKM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Makowsky08,
author = {Johann A. Makowsky},
title = {From a Zoo to a Zoology: Towards a General Theory of Graph Polynomials},
journal = {Theory Comput. Syst.},
volume = {43},
number = {3-4},
pages = {542--562},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9022-9},
doi = {10.1007/S00224-007-9022-9},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Makowsky08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FischerM08,
author = {Eldar Fischer and
Johann A. Makowsky},
editor = {Arnon Avron and
Nachum Dershowitz and
Alexander Rabinovich},
title = {Linear Recurrence Relations for Graph Polynomials},
booktitle = {Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot
on the Occasion of His 85th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4800},
pages = {266--279},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78127-1\_15},
doi = {10.1007/978-3-540-78127-1\_15},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FischerM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Makowsky08,
author = {Johann A. Makowsky},
editor = {Arnold Beckmann and
Costas Dimitracopoulos and
Benedikt L{\"{o}}we},
title = {Uniform Algebraic Reducibilities between Parameterized Numeric Graph
Invariants},
booktitle = {Logic and Theory of Algorithms, 4th Conference on Computability in
Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5028},
pages = {403--406},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69407-6\_43},
doi = {10.1007/978-3-540-69407-6\_43},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/Makowsky08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KotekMZ08,
author = {Tomer Kotek and
Johann A. Makowsky and
Boris Zilber},
editor = {Michael Kaminski and
Simone Martini},
title = {On Counting Generalized Colorings},
booktitle = {Computer Science Logic, 22nd International Workshop, {CSL} 2008, 17th
Annual Conference of the EACSL, Bertinoro, Italy, September 16-19,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5213},
pages = {339--353},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87531-4\_25},
doi = {10.1007/978-3-540-87531-4\_25},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/KotekMZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/MakowskyN08,
author = {Johann A. Makowsky and
Damian Niwinski},
editor = {Michael Kaminski and
Simone Martini},
title = {The Ackermann Award 2008},
booktitle = {Computer Science Logic, 22nd International Workshop, {CSL} 2008, 17th
Annual Conference of the EACSL, Bertinoro, Italy, September 16-19,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5213},
pages = {508--512},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87531-4\_36},
doi = {10.1007/978-3-540-87531-4\_36},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/MakowskyN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/BlaserDM08,
author = {Markus Bl{\"{a}}ser and
Holger Dell and
Johann A. Makowsky},
editor = {Edward A. Hirsch and
Alexander A. Razborov and
Alexei L. Semenov and
Anatol Slissenko},
title = {Complexity of the Bollob{\'{a}}s-Riordan Polynomial},
booktitle = {Computer Science - Theory and Applications, Third International Computer
Science Symposium in Russia, {CSR} 2008, Moscow, Russia, June 7-12,
2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5010},
pages = {86--98},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79709-8\_12},
doi = {10.1007/978-3-540-79709-8\_12},
timestamp = {Tue, 21 Mar 2023 21:00:47 +0100},
biburl = {https://dblp.org/rec/conf/csr/BlaserDM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/Makowsky08,
author = {Johann A. Makowsky},
title = {From Hilbert's Program to a Logic Toolbox},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2008, Fort Lauderdale, Florida, USA, January 2-4, 2008},
year = {2008},
url = {http://isaim2008.unl.edu/PAPERS/SS1-AI+Logic/JMakowsky-ss1.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/Makowsky08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/AverbouchGM08,
author = {Ilya Averbouch and
Benny Godlin and
Johann A. Makowsky},
editor = {Hajo Broersma and
Thomas Erlebach and
Tom Friedetzky and
Dani{\"{e}}l Paulusma},
title = {A Most General Edge Elimination Polynomial},
booktitle = {Graph-Theoretic Concepts in Computer Science, 34th International Workshop,
{WG} 2008, Durham, UK, June 30 - July 2, 2008. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5344},
pages = {31--42},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-92248-3\_4},
doi = {10.1007/978-3-540-92248-3\_4},
timestamp = {Sun, 25 Oct 2020 23:07:56 +0100},
biburl = {https://dblp.org/rec/conf/wg/AverbouchGM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/GodlinKM08,
author = {Benny Godlin and
Tomer Kotek and
Johann A. Makowsky},
editor = {Hajo Broersma and
Thomas Erlebach and
Tom Friedetzky and
Dani{\"{e}}l Paulusma},
title = {Evaluations of Graph Polynomials},
booktitle = {Graph-Theoretic Concepts in Computer Science, 34th International Workshop,
{WG} 2008, Durham, UK, June 30 - July 2, 2008. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5344},
pages = {183--194},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-92248-3\_17},
doi = {10.1007/978-3-540-92248-3\_17},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wg/GodlinKM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0812-1364,
author = {Benny Godlin and
Emilia Katz and
Johann A. Makowsky},
title = {Graph Polynomials: From Recursive Definitions To Subset Expansion
Formulas},
journal = {CoRR},
volume = {abs/0812.1364},
year = {2008},
url = {http://arxiv.org/abs/0812.1364},
eprinttype = {arXiv},
eprint = {0812.1364},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0812-1364.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GroheHMN07,
author = {Martin Grohe and
Martin Hyland and
Johann A. Makowsky and
Damian Niwinski},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {The Ackermann Award 2007},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {589--597},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_43},
doi = {10.1007/978-3-540-74915-8\_43},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/GroheHMN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Makowsky07,
author = {Johann A. Makowsky},
editor = {Nachum Dershowitz and
Andrei Voronkov},
title = {From Hilbert's Program to a Logic Toolbox},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 14th
International Conference, {LPAR} 2007, Yerevan, Armenia, October 15-19,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4790},
pages = {1},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75560-9\_1},
doi = {10.1007/978-3-540-75560-9\_1},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Makowsky07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Makowsky06,
author = {Johann A. Makowsky},
editor = {Arnold Beckmann and
Ulrich Berger and
Benedikt L{\"{o}}we and
John V. Tucker},
title = {From a Zoo to a Zoology: Descriptive Complexity for Graph Polynomials},
booktitle = {Logical Approaches to Computational Barriers, Second Conference on
Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3988},
pages = {330--341},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780342\_35},
doi = {10.1007/11780342\_35},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/Makowsky06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AbramskyGM06,
author = {Samson Abramsky and
Erich Gr{\"{a}}del and
Johann A. Makowsky},
editor = {Zolt{\'{a}}n {\'{E}}sik},
title = {The Ackermann Award 2006},
booktitle = {Computer Science Logic, 20th International Workshop, {CSL} 2006, 15th
Annual Conference of the EACSL, Szeged, Hungary, September 25-29,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4207},
pages = {622--626},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11874683\_41},
doi = {10.1007/11874683\_41},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/AbramskyGM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/MakowskyRAG06,
author = {Johann A. Makowsky and
Udi Rotics and
Ilya Averbouch and
Benny Godlin},
editor = {Fedor V. Fomin},
title = {Computing Graph Polynomials on Graphs of Bounded Clique-Width},
booktitle = {Graph-Theoretic Concepts in Computer Science, 32nd International Workshop,
{WG} 2006, Bergen, Norway, June 22-24, 2006, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4271},
pages = {191--204},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11917496\_18},
doi = {10.1007/11917496\_18},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wg/MakowskyRAG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/Makowsky05,
author = {Johann A. Makowsky},
title = {Coloured Tutte polynomials and Kauffman brackets for graphs of bounded
tree width},
journal = {Discret. Appl. Math.},
volume = {145},
number = {2},
pages = {276--290},
year = {2005},
url = {https://doi.org/10.1016/j.dam.2004.01.016},
doi = {10.1016/J.DAM.2004.01.016},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/Makowsky05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CohenKM05,
author = {Ariel Cohen and
Michael Kaminski and
Johann A. Makowsky},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Indistinguishability by Default},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {415--428},
publisher = {College Publications},
year = {2005},
timestamp = {Thu, 09 Jul 2020 09:13:39 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CohenKM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GradelMR05,
author = {Erich Gr{\"{a}}del and
Janos Makowsky and
Alexander A. Razborov},
editor = {C.{-}H. Luke Ong},
title = {The Ackermann Award 2005},
booktitle = {Computer Science Logic, 19th International Workshop, {CSL} 2005, 14th
Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3634},
pages = {557--565},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11538363\_38},
doi = {10.1007/11538363\_38},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/GradelMR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Makowsky05,
author = {Johann A. Makowsky},
editor = {C.{-}H. Luke Ong},
title = {Clemens Lautemann: 1951-2005 \emph{An Obituary}},
booktitle = {Computer Science Logic, 19th International Workshop, {CSL} 2005, 14th
Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3634},
pages = {566--566},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11538363\_39},
doi = {10.1007/11538363\_39},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Makowsky05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aam/LotzM04,
author = {Martin Lotz and
Johann A. Makowsky},
title = {On the algebraic complexity of some families of coloured Tutte polynomials},
journal = {Adv. Appl. Math.},
volume = {32},
number = {1-2},
pages = {327--349},
year = {2004},
url = {https://doi.org/10.1016/S0196-8858(03)00087-3},
doi = {10.1016/S0196-8858(03)00087-3},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aam/LotzM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Makowsky04,
author = {Johann A. Makowsky},
title = {Algorithmic uses of the Feferman-Vaught Theorem},
journal = {Ann. Pure Appl. Log.},
volume = {126},
number = {1-3},
pages = {159--213},
year = {2004},
url = {https://doi.org/10.1016/j.apal.2003.11.002},
doi = {10.1016/J.APAL.2003.11.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Makowsky04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FischerM04,
author = {Eldar Fischer and
Johann A. Makowsky},
title = {On spectra of sentences of monadic second order logic with counting},
journal = {J. Symb. Log.},
volume = {69},
number = {3},
pages = {617--640},
year = {2004},
url = {https://doi.org/10.2178/jsl/1096901758},
doi = {10.2178/JSL/1096901758},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/FischerM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aam/MakowskyM03,
author = {Johann A. Makowsky and
Julian Mari{\~{n}}o},
title = {Farrell polynomials on graphs of bounded tree width},
journal = {Adv. Appl. Math.},
volume = {30},
number = {1-2},
pages = {160--176},
year = {2003},
url = {https://doi.org/10.1016/S0196-8858(02)00530-4},
doi = {10.1016/S0196-8858(02)00530-4},
timestamp = {Wed, 07 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aam/MakowskyM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/MakowskyM03,
author = {Johann A. Makowsky and
Julian Mari{\~{n}}o},
title = {The parametrized complexity of knot polynomials},
journal = {J. Comput. Syst. Sci.},
volume = {67},
number = {4},
pages = {742--756},
year = {2003},
url = {https://doi.org/10.1016/S0022-0000(03)00080-1},
doi = {10.1016/S0022-0000(03)00080-1},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/MakowskyM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MakowskyM03,
author = {Johann A. Makowsky and
Julian Mari{\~{n}}o},
title = {Tree-width and the monadic quantifier hierarchy},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {1},
pages = {157--170},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00449-8},
doi = {10.1016/S0304-3975(02)00449-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MakowskyM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/FischerM03,
author = {Eldar Fischer and
Johann A. Makowsky},
editor = {Tandy J. Warnow and
Binhai Zhu},
title = {The Specker-Blatter Theorem Revisited},
booktitle = {Computing and Combinatorics, 9th Annual International Conference,
{COCOON} 2003, Big Sky, MT, USA, July 25-28, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2697},
pages = {90--101},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45071-8\_11},
doi = {10.1007/3-540-45071-8\_11},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/FischerM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/GliksonM03,
author = {Alexander Glikson and
Johann A. Makowsky},
editor = {Hans L. Bodlaender},
title = {{NCE} Graph Grammars and Clique-Width},
booktitle = {Graph-Theoretic Concepts in Computer Science, 29th International Workshop,
{WG} 2003, Elspeet, The Netherlands, June 19-21, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2880},
pages = {237--248},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39890-5\_21},
doi = {10.1007/978-3-540-39890-5\_21},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wg/GliksonM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/2003,
editor = {Matthias Baaz and
Johann A. Makowsky},
title = {Computer Science Logic, 17th International Workshop, {CSL} 2003, 12th
Annual Conference of the EACSL, and 8th Kurt G{\"{o}}del Colloquium,
{KGC} 2003, Vienna, Austria, August 25-30, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2803},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b13224},
doi = {10.1007/B13224},
isbn = {3-540-40801-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CourcelleM02,
author = {Bruno Courcelle and
Johann A. Makowsky},
title = {Fusion in Relational Structures and the Verification of Monadic Second-Order
Properties},
journal = {Math. Struct. Comput. Sci.},
volume = {12},
number = {2},
pages = {203--235},
year = {2002},
url = {https://doi.org/10.1017/S0960129501003565},
doi = {10.1017/S0960129501003565},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CourcelleM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/CourcelleMR01,
author = {Bruno Courcelle and
Johann A. Makowsky and
Udi Rotics},
title = {On the fixed parameter complexity of graph enumeration problems definable
in monadic second-order logic},
journal = {Discret. Appl. Math.},
volume = {108},
number = {1-2},
pages = {23--52},
year = {2001},
url = {https://doi.org/10.1016/S0166-218X(00)00221-3},
doi = {10.1016/S0166-218X(00)00221-3},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/CourcelleMR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/Makowsky01,
author = {Johann A. Makowsky},
editor = {S. Rao Kosaraju},
title = {Colored Tutte polynomials and Kaufman brackets for graphs of bounded
tree width},
booktitle = {Proceedings of the Twelfth Annual Symposium on Discrete Algorithms,
January 7-9, 2001, Washington, DC, {USA}},
pages = {487--495},
publisher = {{ACM/SIAM}},
year = {2001},
url = {http://dl.acm.org/citation.cfm?id=365411.365514},
timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
biburl = {https://dblp.org/rec/conf/soda/Makowsky01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/CourcelleMR00,
author = {Bruno Courcelle and
Johann A. Makowsky and
Udi Rotics},
title = {Linear Time Solvable Optimization Problems on Graphs of Bounded Clique-Width},
journal = {Theory Comput. Syst.},
volume = {33},
number = {2},
pages = {125--150},
year = {2000},
url = {https://doi.org/10.1007/s002249910009},
doi = {10.1007/S002249910009},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mst/CourcelleMR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/MakowskyM00,
author = {Johann A. Makowsky and
Klaus Meer},
editor = {Peter Clote and
Helmut Schwichtenberg},
title = {On the Complexity of Combinatorial and Metafinite Generating Functions
of Graph Properties in the Computational Model of Blum, Shub and Smale},
booktitle = {Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau,
Germany, August 21-26, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1862},
pages = {399--410},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44622-2\_27},
doi = {10.1007/3-540-44622-2\_27},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/MakowskyM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/MakowskyR99,
author = {Johann A. Makowsky and
Udi Rotics},
title = {On the Clique-Width of Graphs with Few P\({}_{\mbox{4}}\)'s},
journal = {Int. J. Found. Comput. Sci.},
volume = {10},
number = {3},
pages = {329--348},
year = {1999},
url = {https://doi.org/10.1142/S0129054199000241},
doi = {10.1142/S0129054199000241},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/MakowskyR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MakowskyP98,
author = {Johann A. Makowsky and
Y. B. Pnueli},
title = {Erratum to "Arity and Alternation in Second-Order Logic"},
journal = {Ann. Pure Appl. Log.},
volume = {92},
number = {2},
pages = {215},
year = {1998},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/MakowskyP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/MakowskyR98,
author = {Johann A. Makowsky and
Elena V. Ravve},
title = {Dependency Preserving Refinements and the Fundamental Problem of Database
Design},
journal = {Data Knowl. Eng.},
volume = {24},
number = {3},
pages = {277--312},
year = {1998},
url = {https://doi.org/10.1016/S0169-023X(97)00029-3},
doi = {10.1016/S0169-023X(97)00029-3},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dke/MakowskyR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KaminskiMT98,
author = {Michael Kaminski and
Johann A. Makowsky and
Michael L. Tiomkin},
title = {Extensions for Open Default Theories via the Domain Closure Assumption},
journal = {J. Log. Comput.},
volume = {8},
number = {2},
pages = {169--187},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.2.169},
doi = {10.1093/LOGCOM/8.2.169},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/KaminskiMT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Makowsky98,
author = {Johann A. Makowsky},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {Invariant Definability and P/\emph{poly}},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {142--158},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_10},
doi = {10.1007/10703163\_10},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Makowsky98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/CourcelleMR98,
author = {Bruno Courcelle and
Johann A. Makowsky and
Udi Rotics},
editor = {Juraj Hromkovic and
Ondrej S{\'{y}}kora},
title = {Linear Time Solvable Optimization Problems on Graphs of Bounded Clique
Width},
booktitle = {Graph-Theoretic Concepts in Computer Science, 24th International Workshop,
{WG} '98, Smolenice Castle, Slovak Republic, June 18-20, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1517},
pages = {1--16},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10692760\_1},
doi = {10.1007/10692760\_1},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wg/CourcelleMR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/logicColl/1995,
editor = {Johann A. Makowsky and
Elena V. Ravve},
title = {Proceedings of the Annual European Summer Meeting of the Association
of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
1995},
series = {Lecture Notes in Logic},
volume = {11},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-662-22108-2},
doi = {10.1007/978-3-662-22108-2},
isbn = {978-3-540-63994-7},
timestamp = {Fri, 15 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/logicColl/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/VenkatesanRMMR97,
author = {G. Venkatesan and
Udi Rotics and
M. S. Madanlal and
Johann A. Makowsky and
C. Pandu Rangan},
title = {Restrictions of Minimum Spanner Problems},
journal = {Inf. Comput.},
volume = {136},
number = {2},
pages = {143--164},
year = {1997},
url = {https://doi.org/10.1006/inco.1997.2641},
doi = {10.1006/INCO.1997.2641},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/VenkatesanRMMR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AdamekJMR97,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Peter T. Johnstone and
Johann A. Makowsky and
Jir{\'{\i}} Rosick{\'{y}}},
title = {Finitary Sketches},
journal = {J. Symb. Log.},
volume = {62},
number = {3},
pages = {699--707},
year = {1997},
url = {https://doi.org/10.2307/2275568},
doi = {10.2307/2275568},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AdamekJMR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Makowsky97,
author = {Johann A. Makowsky},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Invariant Definability (Extended Abstract)},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {186--202},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_43},
doi = {10.1007/3-540-63385-5\_43},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Makowsky97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/MakowskyR97,
author = {Johann A. Makowsky and
Elena V. Ravve},
editor = {Frantisek Pl{\'{a}}sil and
Keith G. Jeffery},
title = {The Fundamental Problem of Database Design},
booktitle = {{SOFSEM} '97: Theory and Practice of Informatics, 24th Seminar on
Current Trends in Theory and Practice of Informatics, Milovy, Czech
Republic, November 22-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1338},
pages = {53--69},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63774-5\_97},
doi = {10.1007/3-540-63774-5\_97},
timestamp = {Mon, 26 Jun 2023 20:44:33 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/MakowskyR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MakowskyP96,
author = {Johann A. Makowsky and
Y. B. Pnueli},
title = {Arity and Alternation in Second-Order Logic},
journal = {Ann. Pure Appl. Log.},
volume = {78},
number = {1-3},
pages = {189--202},
year = {1996},
url = {https://doi.org/10.1016/0168-0072(95)00013-5},
doi = {10.1016/0168-0072(95)00013-5},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/MakowskyP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/MakowskyR96,
author = {Johann A. Makowsky and
Elena V. Ravve},
editor = {Bernhard Thalheim},
title = {Translation Schemes and the Fundamental Problem of Database Design},
booktitle = {Conceptual Modeling - ER'96, 15th International Conference on Conceptual
Modeling, Cottbus, Germany, October 7-10, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1157},
pages = {5--26},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0019911},
doi = {10.1007/BFB0019911},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/er/MakowskyR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/KaminskiMT96,
author = {Michael Kaminski and
Johann A. Makowsky and
Michael L. Tiomkin},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Lu{\'{\i}}s Moniz Pereira and
Ewa Orlowska},
title = {Extensions for Open Default Theories via the Domain Closure Assumption},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '96,
{\'{E}}vora, Portugal, September 30 - October 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1126},
pages = {373--387},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61630-6\_26},
doi = {10.1007/3-540-61630-6\_26},
timestamp = {Sat, 19 Oct 2019 20:16:50 +0200},
biburl = {https://dblp.org/rec/conf/jelia/KaminskiMT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/MakowskyS95,
author = {Johann A. Makowsky and
Abraham Sharell},
title = {On Average Case Complexity of {SAT} for Symmetric Distribution},
journal = {J. Log. Comput.},
volume = {5},
number = {1},
pages = {71--92},
year = {1995},
url = {https://doi.org/10.1093/logcom/5.1.71},
doi = {10.1093/LOGCOM/5.1.71},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/MakowskyS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MakowskyR95,
author = {Johann A. Makowsky and
Elena V. Ravve},
editor = {Jir{\'{\i}} Wiedermann and
Petr H{\'{a}}jek},
title = {Incremental Model Checking for Decomposable Structures (Extended Abstract)},
booktitle = {Mathematical Foundations of Computer Science 1995, 20th International
Symposium, MFCS'95, Prague, Czech Republic, August 28 - September
1, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {969},
pages = {540--551},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60246-1\_159},
doi = {10.1007/3-540-60246-1\_159},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/MakowskyR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/MakowskyP94,
author = {Johann A. Makowsky and
Y. B. Pnueli},
editor = {Daniel Leivant},
title = {Logics Capturing Relativized Complexity Classes Uniformly},
booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
pages = {463--479},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60178-3\_98},
doi = {10.1007/3-540-60178-3\_98},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lcc/MakowskyP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/MakowskyP94,
author = {Johann A. Makowsky and
Y. B. Pnueli},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {Arity vs. Alternation in Second Order Logic},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {240--252},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_24},
doi = {10.1007/3-540-58140-5\_24},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/MakowskyP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Makowsky94,
author = {Johann A. Makowsky},
editor = {Igor Pr{\'{\i}}vara and
Branislav Rovan and
Peter Ruzicka},
title = {Capturing Complexity Classes with Lindstr{\"{o}}m Quantifiers},
booktitle = {Mathematical Foundations of Computer Science 1994, 19th International
Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {841},
pages = {68--71},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58338-6\_59},
doi = {10.1007/3-540-58338-6\_59},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Makowsky94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Makowsky93,
author = {Johann A. Makowsky},
title = {Book Review: Predicate Transformer Semantics. By Ernest G. Manes.
(Cambridge University Press, 1992, 233pp. {ISBN} 0-521-42036-9. {\textdollar}39.95)},
journal = {{SIGACT} News},
volume = {24},
number = {4},
pages = {36--38},
year = {1993},
url = {https://doi.org/10.1145/164996.990819},
doi = {10.1145/164996.990819},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/Makowsky93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/MakowskyP93,
author = {Johann A. Makowsky and
Y. B. Pnueli},
editor = {Egon B{\"{o}}rger and
Yuri Gurevich and
Karl Meinke},
title = {Oracles and Quantifiers},
booktitle = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
September 13-17, 1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {832},
pages = {189--222},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0049333},
doi = {10.1007/BFB0049333},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/csl/MakowskyP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DahlhausM92,
author = {Elias Dahlhaus and
Johann A. Makowsky},
title = {Query Languages for Hierarchic Databases},
journal = {Inf. Comput.},
volume = {101},
number = {1},
pages = {1--32},
year = {1992},
url = {https://doi.org/10.1016/0890-5401(92)90074-P},
doi = {10.1016/0890-5401(92)90074-P},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/DahlhausM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iwc/UkelsonM92,
author = {Jacob P. Ukelson and
Johann A. Makowsky},
title = {Formal Interactive Menu Design},
journal = {Interact. Comput.},
volume = {4},
number = {1},
pages = {83--101},
year = {1992},
url = {https://doi.org/10.1016/0953-5438(92)90014-7},
doi = {10.1016/0953-5438(92)90014-7},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iwc/UkelsonM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MakowskyGS92,
author = {Johann A. Makowsky and
J.{-}C. Gregoire and
Shmuel Sagiv},
title = {The Expressive Power of Side Effects in Prolog},
journal = {J. Log. Program.},
volume = {12},
number = {1{\&}2},
pages = {179--188},
year = {1992},
url = {https://doi.org/10.1016/0743-1066(92)90043-3},
doi = {10.1016/0743-1066(92)90043-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/MakowskyGS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/CaloM92,
author = {A. Cal{\`{o}} and
Johann A. Makowsky},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {The Ehrenfeucht-Fraisse Games for Transitive Closure},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {57--68},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023863},
doi = {10.1007/BFB0023863},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/CaloM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/TiomkinM91,
author = {Michael L. Tiomkin and
Johann A. Makowsky},
title = {Decidability of Finite Probablistic Propositional Dynamic Logics},
journal = {Inf. Comput.},
volume = {94},
number = {2},
pages = {180--203},
year = {1991},
url = {https://doi.org/10.1016/0890-5401(91)90037-3},
doi = {10.1016/0890-5401(91)90037-3},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/TiomkinM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BarguryM91,
author = {Yaniv Bargury and
Johann A. Makowsky},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine B{\"{u}}ning and
Michael M. Richter},
title = {The Expressive Power of Transitive Closue and 2-way Multihead Automata},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {1--14},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023754},
doi = {10.1007/BFB0023754},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/csl/BarguryM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MarkowitzM90,
author = {Victor M. Markowitz and
Johann A. Makowsky},
title = {Identifying Extended Entity-Relationship Object Structures in Relational
Schemas},
journal = {{IEEE} Trans. Software Eng.},
volume = {16},
number = {8},
pages = {777--790},
year = {1990},
url = {https://doi.org/10.1109/32.57618},
doi = {10.1109/32.57618},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MarkowitzM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MakowskyS89,
author = {Johann A. Makowsky and
Ildik{\'{o}} Sain},
title = {Weak Second Order Characterizations of Various Program Verification
Systems},
journal = {Theor. Comput. Sci.},
volume = {66},
number = {3},
pages = {299--321},
year = {1989},
url = {https://doi.org/10.1016/0304-3975(89)90156-4},
doi = {10.1016/0304-3975(89)90156-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MakowskyS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/DahlhausIM88,
author = {Elias Dahlhaus and
Amos Israeli and
Johann A. Makowsky},
title = {On the existence of polynomial time algorithms for interpolation problems
in propositional logic},
journal = {Notre Dame J. Formal Log.},
volume = {29},
number = {4},
pages = {497--509},
year = {1988},
url = {https://doi.org/10.1305/ndjfl/1093638014},
doi = {10.1305/NDJFL/1093638014},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/DahlhausIM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/MarkowitzM88,
author = {Victor M. Markowitz and
Johann A. Makowsky},
title = {Incremental Restructuring of Relational Schemas},
booktitle = {Proceedings of the Fourth International Conference on Data Engineering,
February 1-5, 1988, Los Angeles, California, {USA}},
pages = {276--284},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.org/10.1109/ICDE.1988.105470},
doi = {10.1109/ICDE.1988.105470},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/MarkowitzM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Makowsky87,
author = {Johann A. Makowsky},
title = {Why Horn Formulas Matter in Computer Science: Initial Structures and
Generic Examples},
journal = {J. Comput. Syst. Sci.},
volume = {34},
number = {2/3},
pages = {266--292},
year = {1987},
url = {https://doi.org/10.1016/0022-0000(87)90027-4},
doi = {10.1016/0022-0000(87)90027-4},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Makowsky87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ItaiM87,
author = {Alon Itai and
Johann A. Makowsky},
title = {Unification as a Complexity Measure for Logic Programming},
journal = {J. Log. Program.},
volume = {4},
number = {2},
pages = {105--117},
year = {1987},
url = {https://doi.org/10.1016/0743-1066(87)90014-8},
doi = {10.1016/0743-1066(87)90014-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/ItaiM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/MarkowitzM87,
author = {Victor M. Markowitz and
Johann A. Makowsky},
editor = {Peter M. Stocker and
William Kent and
Peter Hammersley},
title = {Incremental Reorganization of Relational Databases},
booktitle = {VLDB'87, Proceedings of 13th International Conference on Very Large
Data Bases, September 1-4, 1987, Brighton, England},
pages = {127--135},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.vldb.org/conf/1987/P127.PDF},
timestamp = {Wed, 29 Mar 2017 16:45:24 +0200},
biburl = {https://dblp.org/rec/conf/vldb/MarkowitzM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/MakowskyV86,
author = {Johann A. Makowsky and
Moshe Y. Vardi},
title = {On the Expressive Power of Data Dependencies},
journal = {Acta Informatica},
volume = {23},
number = {3},
pages = {231--244},
year = {1986},
url = {https://doi.org/10.1007/BF00289111},
doi = {10.1007/BF00289111},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/MakowskyV86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/DahlhausM86,
author = {Elias Dahlhaus and
Johann A. Makowsky},
editor = {Paul Franchi{-}Zannettacci},
title = {Computable Directory Queries},
booktitle = {{CAAP} '86, 11th Colloquium on Trees in Algebra and Programming, Nice,
France, March 24-26, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {214},
pages = {254--265},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0022673},
doi = {10.1007/BFB0022673},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/DahlhausM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/DahlhausM86,
author = {Elias Dahlhaus and
Johann A. Makowsky},
editor = {Bernard J. Robinet and
Reinhard Wilhelm},
title = {The Choice of Programming Primitives for SETL-Like Programming Languages},
booktitle = {{ESOP} 86, European Symposium on Programming, Saarbr{\"{u}}cken,
Federal Republic of Germany, March 17-19, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {213},
pages = {160--172},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16442-1\_12},
doi = {10.1007/3-540-16442-1\_12},
timestamp = {Thu, 24 Feb 2022 13:41:39 +0100},
biburl = {https://dblp.org/rec/conf/esop/DahlhausM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/MakowskyMR86,
author = {Johann A. Makowsky and
Victor M. Markowitz and
Nimrod Rotics},
editor = {Giorgio Ausiello and
Paolo Atzeni},
title = {Entity-Relationship Consistency for Relational Schemas},
booktitle = {ICDT'86, International Conference on Database Theory, Rome, Italy,
September 8-10, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {243},
pages = {306--322},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-17187-8\_43},
doi = {10.1007/3-540-17187-8\_43},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/MakowskyMR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmc/BanM86,
author = {A. Ban and
Johann A. Makowsky},
title = {Musician - {A} Music Processing and Synthesis System},
booktitle = {Proceedings of the 1986 International Computer Music Conference, {ICMC}
1986, Den Haag, The Netherlands, October 20-24, 1986},
publisher = {Michigan Publishing},
year = {1986},
url = {https://hdl.handle.net/2027/spo.bbp2372.1986.095},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmc/BanM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MakowskyS86,
author = {Johann A. Makowsky and
Ildik{\'{o}} Sain},
title = {On the Equivalence of Weak Second Order and Nonstandard Time Semantics
For Various Program Verification Systems},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'86), Cambridge, Massachusetts, USA, June 16-18, 1986},
pages = {293--300},
publisher = {{IEEE} Computer Society},
year = {1986},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/MakowskyS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GrumbergFR85,
author = {Orna Grumberg and
Nissim Francez and
Johann A. Makowsky and
Willem P. de Roever},
title = {A Proof Rule for Fair Termination of Guarded Commands},
journal = {Inf. Control.},
volume = {66},
number = {1/2},
pages = {83--102},
year = {1985},
url = {https://doi.org/10.1016/S0019-9958(85)80014-0},
doi = {10.1016/S0019-9958(85)80014-0},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GrumbergFR85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Makowsky85,
author = {Johann A. Makowsky},
title = {Vopenka's Principle and Compact Logics},
journal = {J. Symb. Log.},
volume = {50},
number = {1},
pages = {42--48},
year = {1985},
url = {https://doi.org/10.2307/2273786},
doi = {10.2307/2273786},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Makowsky85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/TiomkinM85,
author = {Michael L. Tiomkin and
Johann A. Makowsky},
title = {Propositional Dynamic Logic with Local Assignments},
journal = {Theor. Comput. Sci.},
volume = {36},
pages = {71--87},
year = {1985},
url = {https://doi.org/10.1016/0304-3975(85)90031-3},
doi = {10.1016/0304-3975(85)90031-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/TiomkinM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Makowsky85,
author = {Johann A. Makowsky},
editor = {Hartmut Ehrig and
Christiane Floyd and
Maurice Nivat and
James W. Thatcher},
title = {Why Horn Formulas Matter in Computer Science: Initial Structures and
Generic Examples (Extended Abstract)},
booktitle = {Mathematical Foundations of Software Development, Proceedings of the
International Joint Conference on Theory and Practice of Software
Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume
1: Colloquium on Trees in Algebra and Programming (CAAP'85)},
series = {Lecture Notes in Computer Science},
volume = {185},
pages = {374--387},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15198-2\_24},
doi = {10.1007/3-540-15198-2\_24},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Makowsky85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MahrM84,
author = {Bernd Mahr and
Johann A. Makowsky},
title = {Characterizing Specification Languages which Admit Initial Semantics},
journal = {Theor. Comput. Sci.},
volume = {31},
pages = {49--59},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90125-7},
doi = {10.1016/0304-3975(84)90125-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MahrM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MakowskyS83,
author = {Johann A. Makowsky and
Saharon Shelah},
title = {Positive results in abstract model theory: a theory of compact logics},
journal = {Ann. Pure Appl. Log.},
volume = {25},
number = {3},
pages = {263--299},
year = {1983},
url = {https://doi.org/10.1016/0168-0072(83)90021-0},
doi = {10.1016/0168-0072(83)90021-0},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/MakowskyS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/MahrM83,
author = {Bernd Mahr and
Johann A. Makowsky},
editor = {Giorgio Ausiello and
Marco Protasi},
title = {Characterizing Specification Languages Which Admit Initial Semantics},
booktitle = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
Italy, March 9-11, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {159},
pages = {300--316},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12727-5\_18},
doi = {10.1007/3-540-12727-5\_18},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/MahrM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tcs/MakowskyM83,
author = {Johann A. Makowsky and
Bernd Mahr},
editor = {Armin B. Cremers and
Hans{-}Peter Kriegel},
title = {An axiomatic approach to semantics of specification languages},
booktitle = {Theoretical Computer Science, 6th GI-Conference, Dortmund, Germany,
January 5-7, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {145},
pages = {211--219},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/BFb0009646},
doi = {10.1007/BFB0009646},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/tcs/MakowskyM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/MakowskyS81,
author = {Johann A. Makowsky and
Johann Shelah},
title = {The theorems of beth and Craig in abstract model theory {II.} Compact
logics},
journal = {Arch. Math. Log.},
volume = {21},
number = {1},
pages = {13--35},
year = {1981},
url = {https://doi.org/10.1007/BF02011631},
doi = {10.1007/BF02011631},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/MakowskyS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Makowsky081,
author = {Johann A. Makowsky and
Martin Ziegler},
title = {Topological model theory with an interior operator: Consistency properties
and back - and forth arguments},
journal = {Arch. Math. Log.},
volume = {21},
number = {1},
pages = {37--54},
year = {1981},
url = {https://doi.org/10.1007/BF02011632},
doi = {10.1007/BF02011632},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Makowsky081.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Makowsky81,
author = {Johann A. Makowsky},
editor = {Shimon Even and
Oded Kariv},
title = {Characterizing Data Base Dependencies},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {86--97},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_8},
doi = {10.1007/3-540-10843-2\_8},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Makowsky81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Makowsky81a,
author = {Johann A. Makowsky},
editor = {Shimon Even and
Oded Kariv},
title = {Errata: Measuring the Expressive Power of Dynamic Logics: An Application
of Abstract Model Theory},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {551},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_44},
doi = {10.1007/3-540-10843-2\_44},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Makowsky81a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/ChandraLM81,
author = {Ashok K. Chandra and
Harry R. Lewis and
Johann A. Makowsky},
title = {Embedded Implicational Dependencies and their Inference Problem},
booktitle = {Proceedings of the 13th Annual {ACM} Symposium on Theory of Computing,
May 11-13, 1981, Milwaukee, Wisconsin, {USA}},
pages = {342--354},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800076.802488},
doi = {10.1145/800076.802488},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/ChandraLM81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Makowsky80,
author = {Johann A. Makowsky},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Measuring the Expressive Power of Dynamic Logics: An Application of
Abstract Model Theory},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {409--421},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_88},
doi = {10.1007/3-540-10003-2\_88},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Makowsky80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/ChandraLM80,
author = {Ashok K. Chandra and
Harry R. Lewis and
Johann A. Makowsky},
editor = {David Maier},
title = {Embedded Implicational Dependencies and their Inference Problem},
booktitle = {{XP1} Workshop on Relational Database Theory, 30 June - 2 July 1980,
{SUNY} at Stony Brook, NY, {USA}},
year = {1980},
timestamp = {Sun, 05 Nov 2017 14:40:12 +0100},
biburl = {https://dblp.org/rec/conf/xp/ChandraLM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/MakowskyT77,
author = {Johann A. Makowsky and
Sauro Tulipani},
title = {Some model theory for monotone quantifiers},
journal = {Arch. Math. Log.},
volume = {18},
number = {1},
pages = {115--134},
year = {1977},
url = {https://doi.org/10.1007/BF02007264},
doi = {10.1007/BF02007264},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/MakowskyT77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/MakowskyM77,
author = {Johann A. Makowsky and
Annalisa Marcja},
title = {Completeness Theorems For Modal Model Theory With the Montague-Chang
Semantics {I}},
journal = {Math. Log. Q.},
volume = {23},
number = {7-12},
pages = {97--104},
year = {1977},
url = {https://doi.org/10.1002/malq.19770230702},
doi = {10.1002/MALQ.19770230702},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/MakowskyM77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-08 20:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
