Johann A. Makowsky
发表
Bruno Courcelle,
Johann A. Makowsky,
Udi Rotics,
2000,
Theory of Computing Systems.
Johann A. Makowsky,
Alex Glikson,
J. Makowsky,
2003,
WG.
Johann A. Makowsky,
A. Calò,
1992,
LFCS.
Johann A. Makowsky,
Elena V. Ravve,
Tomer Kotek,
2012,
2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Johann A. Makowsky,
Victor M. Markowitz,
J. Makowsky,
1987,
VLDB.
Johann A. Makowsky,
Ildikó Sain,
J. Makowsky,
1989,
Theor. Comput. Sci..
Johann A. Makowsky,
Y. B. Pnueli,
1998,
Ann. Pure Appl. Log..
Johann A. Makowsky,
Alexander A. Razborov,
2009,
CSL.
Johann A. Makowsky,
Tomer Kotek,
2012,
CSL.
Johann A. Makowsky,
Annalisa Marcja,
1977,
Math. Log. Q..
Johann A. Makowsky,
Tomer Kotek,
E. Fischer,
2009,
AMS-ASL Joint Special Session.
Johann A. Makowsky,
J. Makowsky,
1981,
ICALP.
Johann A. Makowsky,
Nadia Labai,
J. Makowsky,
2015,
LATA.
Johann A. Makowsky,
Elena V. Ravve,
Tomer Kotek,
2011,
Electron. Notes Discret. Math..
Johann A. Makowsky,
Ilya Averbouch,
Peter Tittmann,
2008,
Eur. J. Comb..
Johann A. Makowsky,
J. Makowsky,
2004,
Ann. Pure Appl. Log..
Johann A. Makowsky,
Tomer Kotek,
J. Makowsky,
2014,
J. Comput. Syst. Sci..
Johann A. Makowsky,
Ashok K. Chandra,
Harry R. Lewis,
1981,
STOC '81.
Johann A. Makowsky,
Yachin Pnueli,
1995
.
Johann A. Makowsky,
Nadia Labai,
J. Makowsky,
2016,
MFCS.
Johann A. Makowsky,
J. Makowsky,
2006,
CiE.
Johann A. Makowsky,
J. Makowsky,
1997,
Bulletin of Symbolic Logic.
Johann A. Makowsky,
2007,
LPAR.
Johann A. Makowsky,
J. Makowsky,
2018,
WoLLIC.
Johann A. Makowsky,
Elena V. Ravve,
2013,
Electron. Notes Discret. Math..
Johann A. Makowsky,
Ildikó Sain,
1986,
LICS.
Saharon Shelah,
Johann A. Makowsky,
S. Shelah,
1983,
Ann. Pure Appl. Log..
Johann A. Makowsky,
Tomer Kotek,
J. Makowsky,
2015,
TTCS.
Johann A. Makowsky,
Elena V. Ravve,
Tomer Kotek,
2017,
Eur. J. Comb..
Johann A. Makowsky,
Benny Godlin,
Emilia Katz,
2008,
J. Log. Comput..
Johann A. Makowsky,
Jacob P. Ukelson,
1992,
Interact. Comput..
Johann A. Makowsky,
Shmuel Sagiv,
J.-C. Gregoire,
1992,
J. Log. Program..
Johann A. Makowsky,
Damian Niwinski,
2008,
CSL.
Johann A. Makowsky,
Y. B. Pnueli,
1994,
LCC.
Johann A. Makowsky,
1980,
ICALP.
Johann A. Makowsky,
Udi Rotics,
Benny Godlin,
2006,
WG.
Johann A. Makowsky,
Bernd Mahr,
B. Mahr,
1983,
Theoretical Computer Science.
Johann A. Makowsky,
Boris Zilber,
Tomer Kotek,
2008,
CSL.
Johann A. Makowsky,
Elena V. Ravve,
1995,
MFCS.
Johann A. Makowsky,
Elias Dahlhaus,
J. Makowsky,
1992,
Inf. Comput..
Johann A. Makowsky,
Michael Kaminski,
Ariel Cohen,
2005,
We Will Show Them!.
Johann A. Makowsky,
Matthias Baaz,
2003,
Lecture Notes in Computer Science.
Johann A. Makowsky,
J. Makowsky,
2011,
CSL.
Johann A. Makowsky,
Elena V. Ravve,
1997,
SOFSEM.
Johann A. Makowsky,
1997,
Kurt Gödel Colloquium.
Johann A. Makowsky,
Matthias Baaz,
Kurt Gödel Colloquium,
2003
.
Johann A. Makowsky,
Abraham Sharell,
J. Makowsky,
1995,
J. Log. Comput..
Johann A. Makowsky,
Elena V. Ravve,
1998
.
Johann A. Makowsky,
Bernd Mahr,
1984,
Theor. Comput. Sci..
Johann A. Makowsky,
Markus Bläser,
Holger Dell,
2008,
Theory of Computing Systems.
Johann A. Makowsky,
Johann Shelah,
J. Makowsky,
1981,
Arch. Math. Log..
Johann A. Makowsky,
Nadia Labai,
2015
.
Johann A. Makowsky,
Elena V. Ravve,
1996,
ER.
Johann A. Makowsky,
J. Makowsky,
1985,
TAPSOFT, Vol.1.
Johann A. Makowsky,
Tomer Kotek,
J. Makowsky,
2019,
ArXiv.
Johann A. Makowsky,
Victor M. Markowitz,
J. Makowsky,
1990,
IEEE Trans. Software Eng..
Johann A. Makowsky,
Y. B. Pnueli,
J. Makowsky,
1996,
Ann. Pure Appl. Log..
Johann A. Makowsky,
Ilya Averbouch,
Peter Tittmann,
2009,
WG.
Johann A. Makowsky,
J. Makowsky,
2008,
CiE.
Johann A. Makowsky,
Bernd Mahr,
B. Mahr,
1983,
Theor. Comput. Sci..
Johann A. Makowsky,
Michael Kaminski,
Michael L. Tiomkin,
1996,
J. Log. Comput..
Johann A. Makowsky,
Elena V. Ravve,
Nicolas K. Blanchard,
2013,
Eur. J. Comb..
Johann A. Makowsky,
R. Asher Hasson,
1992
.
Johann A. Makowsky,
2005,
CSL.
Johann A. Makowsky,
Nadia Labai,
2012,
Lecture Notes in Computer Science.
Johann A. Makowsky,
Victor M. Markowitz,
Nimrod Rotics,
1986,
ICDT.
Johann A. Makowsky,
Eldar Fischer,
E. Fischer,
2008,
Pillars of Computer Science.
Johann A. Makowsky,
Yaniv Bargury,
1991,
CSL.
Johann A. Makowsky,
2018,
Annals of Mathematics and Artificial Intelligence.
Johann A. Makowsky,
Victor M. Markowitz,
J. Makowsky,
1988,
Proceedings. Fourth International Conference on Data Engineering.
Johann A. Makowsky,
Nadia Labai,
2013,
GandALF.
Johann A. Makowsky,
Elena V. Ravve,
2012,
Conceptual Modelling and Its Theoretical Foundations.
Willem P. de Roever,
Johann A. Makowsky,
Nissim Francez,
1985,
Inf. Control..
Johann A. Makowsky,
1985,
J. Symb. Log..
Johann A. Makowsky,
Sri Gopal Mohanty,
Simone Rinaldi,
2012,
Fundam. Informaticae.
Johann A. Makowsky,
Nadia Labai,
J. Makowsky,
2016,
Lecture Notes in Computer Science.
Johann A. Makowsky,
Tomer Kotek,
Benny Godlin,
2008,
WG.
Johann A. Makowsky,
J. Makowsky,
2008,
Theory of Computing Systems.
Johann A. Makowsky,
Elena V. Ravve,
Eldar Fischer,
2008,
Discret. Appl. Math..
Johann A. Makowsky,
Benny Godlin,
Ilya Averbouch,
2010,
Eur. J. Comb..
Johann A. Makowsky,
Anna Zamansky,
J. Makowsky,
2017,
Formal Methods Syst. Des..
Notions of Sameness by Default and their Application to Anaphora, Vagueness, and Uncertain Reasoning
Johann A. Makowsky,
Michael Kaminski,
Ariel Cohen,
2008,
J. Log. Lang. Inf..
Johann A. Makowsky,
Tomer Kotek,
J. Makowsky,
2013,
Log. Methods Comput. Sci..
Johann A. Makowsky,
Vsevolod Rakita,
J. Makowsky,
2018,
Discret. Math. Theor. Comput. Sci..
Johann A. Makowsky,
Y. B. Pnueli,
J. Makowsky,
1994,
LFCS.
Johann A. Makowsky,
Sauro Tulipani,
J. Makowsky,
1977,
Arch. Math. Log..
Bruno Courcelle,
Johann A. Makowsky,
Udi Rotics,
2001,
Discret. Appl. Math..
Johann A. Makowsky,
Julian Mariño,
J. Makowsky,
2003,
Theor. Comput. Sci..
Johann A. Makowsky,
Tomer Kotek,
J. Makowsky,
2013,
Eur. J. Comb..
Johann A. Makowsky,
Elias Dahlhaus,
1986,
ESOP.
Johann A. Makowsky,
Markus Bläser,
Holger Dell,
2008,
CSR.
Johann A. Makowsky,
Damian Niwinski,
2010,
CSL.
Alon Itai,
Johann A. Makowsky,
A. Itai,
1987,
J. Log. Program..
Johann A. Makowsky,
Bernd Mahr,
1983
.
Johann A. Makowsky,
J. P. Mariño,
J. Makowsky,
2003,
Adv. Appl. Math..
Johann A. Makowsky,
Elias Dahlhaus,
1988
.
Johann A. Makowsky,
1998,
CSL.
Johann A. Makowsky,
Y. B. Pnueli,
1993,
CSL.
Johann A. Makowsky,
Nadia Labai,
J. Makowsky,
2015,
Fields of Logic and Computation II.
Johann A. Makowsky,
Alexander A. Razborov,
Erich Grädel,
2005,
CSL.
Johann A. Makowsky,
Elena V. Ravve,
J. Makowsky,
2016,
WoLLIC.
Johann A. Makowsky,
1981,
ICALP.
Johann A. Makowsky,
Martin Grohe,
2011
.
Johann A. Makowsky,
Tomer Kotek,
Steven D. Noble,
2017,
Adv. Appl. Math..
Johann A. Makowsky,
Udi Rotics,
Udi Rotics,
1999,
Int. J. Found. Comput. Sci..
Johann A. Makowsky,
Nadia Labai,
J. Makowsky,
2015,
LATA.
Johann A. Makowsky,
Neil D. Jones,
Arnaud Durand,
2009,
Bull. Symb. Log..
Klaus Meer,
Johann A. Makowsky,
2000,
CSL.
Johann A. Makowsky,
2020,
Fields of Logic and Computation III.
Johann A. Makowsky,
Martin Grohe,
Martin Hyland,
2007,
CSL.
Johann A. Makowsky,
2015,
ArXiv.
Johann A. Makowsky,
Samson Abramsky,
Erich Grädel,
2006,
CSL.
Johann A. Makowsky,
Eldar Fischer,
E. Fischer,
2003,
COCOON.
Johann A. Makowsky,
Kurt Gödel Colloquium,
2003
.
Johann A. Makowsky,
Iain Moffatt,
Andrew J. Goodall,
2016,
Dagstuhl Reports.
C. Pandu Rangan,
Johann A. Makowsky,
Udi Rotics,
1997,
Inf. Comput..
Johann A. Makowsky,
Moshe Y. Vardi,
2004,
Acta Informatica.
Johann A. Makowsky,
Elias Dahlhaus,
J. Makowsky,
1986,
CAAP.
E. V. Ravve,
Johann A. Makowsky,
Elena V. Ravve,
1998,
Data Knowl. Eng..
Johann A. Makowsky,
J. Makowsky,
1987,
J. Comput. Syst. Sci..
Johann A. Makowsky,
Julian Mariño,
J. Makowsky,
2003,
J. Comput. Syst. Sci..
Johann A. Makowsky,
Martin Ziegler,
M. Ziegler,
1981,
Arch. Math. Log..
Johann A. Makowsky,
J. Makowsky,
2010,
WoLLIC.
Johann A. Makowsky,
J. Makowsky,
2008,
Annals of Mathematics and Artificial Intelligence.
Johann A. Makowsky,
Tomer Kotek,
J. Makowsky,
2012,
Fundam. Informaticae.
Johann A. Makowsky,
Tomer Kotek,
J. Makowsky,
2009,
Fields of Logic and Computation.
Johann A. Makowsky,
Eldar Fischer,
E. Fischer,
2004,
Journal of Symbolic Logic.
Johann A. Makowsky,
J. Makowsky,
1994,
MFCS.
Johann A. Makowsky,
Michael L. Tiomkin,
1985,
Theor. Comput. Sci..
Johann A. Makowsky,
Michael Kaminski,
Michael L. Tiomkin,
1996,
JELIA.
Bruno Courcelle,
Johann A. Makowsky,
Udi Rotics,
1998,
WG.
Johann A. Makowsky,
Elena V. Ravve,
1995
.
Johann A. Makowsky,
Michael L. Tiomkin,
J. Makowsky,
1991,
Inf. Comput..
Johann A. Makowsky,
A. Ban,
1986,
ICMC.
Johann A. Makowsky,
Jirí Adámek,
Jirí Rosický,
1997,
J. Symb. Log..
Johann A. Makowsky,
2012,
CSL.
Johann A. Makowsky,
Martin Lotz,
Martin Lotz,
2004,
Adv. Appl. Math..
Johann A. Makowsky,
J. Makowsky,
2009,
ICLA.
Johann A. Makowsky,
1988
.
Johann A. Makowsky,
Benny Godlin,
Ilya Averbouch,
2008,
WG.
Johann A. Makowsky,
J. Makowsky,
2017,
ArXiv.
Johann A. Makowsky,
Amos Israeli,
Elias Dahlhaus,
1988,
Notre Dame J. Formal Log..
Johann A. Makowsky,
J. Makowsky,
2001,
SODA '01.
Johann A. Makowsky,
2021,
Logic, Computation and Rigorous Methods.
Johann A. Makowsky,
Tomer Kotek,
2021
.
Johann A. Makowsky,
Vsevolod Rakita,
J. Makowsky,
2021,
Eur. J. Comb..
Johann A. Makowsky,
Yachin Pnueli,
1995
.
Johann A. Makowsky,
Udi Rotics,
1993
.
Johann A. Makowsky,
Jon Barwise,
Solomon Feferman,
2016
.
Johann A. Makowsky,
Martin Grohe,
Martin Grohe,
2011
.