Miki Hermann
发表
Arnaud Durand,
Miki Hermann,
Arnaud Durand,
2008,
Inf. Process. Lett..
Arnaud Durand,
Miki Hermann,
Laurent Juban,
1999,
MFCS.
Gernot Salzer,
Stefan Mengel,
Miki Hermann,
2015,
Theory of Computing Systems.
Phokion G. Kolaitis,
Arnaud Durand,
Miki Hermann,
2005,
Theor. Comput. Sci..
Gernot Salzer,
Bruno Zanuttini,
Àngel J. Gil,
2008,
SIAM J. Comput..
Phokion G. Kolaitis,
Miki Hermann,
M. Hermann,
1994,
J. Symb. Comput..
Miki Hermann,
M. Hermann,
2008,
Discret. Math..
Miki Hermann,
M. Hermann,
1992,
ALP.
Heribert Vollmer,
Nadia Creignou,
Michael Bauland,
2004,
SAT.
Reinhard Pichler,
Miki Hermann,
R. Pichler,
2008,
JELIA.
Reinhard Pichler,
Miki Hermann,
2009,
Theor. Comput. Sci..
Nadia Creignou,
Miki Hermann,
N. Creignou,
1996,
Inf. Comput..
Gernot Salzer,
Stefan Mengel,
Miki Hermann,
2015,
ISAAC.
Phokion G. Kolaitis,
Miki Hermann,
1995,
J. Symb. Comput..
Phokion G. Kolaitis,
Miki Hermann,
1996,
CADE.
Miki Hermann,
Roman Galbavý,
1997,
Theor. Comput. Sci..
Gustav Nordh,
Arnaud Durand,
Miki Hermann,
2012,
2009 24th Annual IEEE Symposium on Logic In Computer Science.
Miki Hermann,
1989,
STACS.
Denis Lugiez,
Miki Hermann,
Ali Amaniss,
1997,
TAPSOFT.
Phokion G. Kolaitis,
Miki Hermann,
1997,
CP.
Andrei Voronkov,
Miki Hermann,
2006,
LPAR.
Baris Sertkaya,
Miki Hermann,
B. Sertkaya,
2008,
ICFCA.
Gernot Salzer,
Stefan Mengel,
Miki Hermann,
2016,
CSR.
Hélène Kirchner,
Miki Hermann,
H. Kirchner,
1990,
CTRS.
Gernot Salzer,
Nadia Creignou,
Andrei A. Krokhin,
2008,
Theory of Computing Systems.
Reinhard Pichler,
Miki Hermann,
R. Pichler,
2007,
IJCAI.
Phokion G. Kolaitis,
Miki Hermann,
1995,
MFCS.
Florian Richoux,
Miki Hermann,
2009,
WALCOM.
Phokion G. Kolaitis,
Miki Hermann,
Laurent Juban,
1999,
LPAR.
Phokion G. Kolaitis,
Miki Hermann,
2000,
Inf. Comput..
Claude Kirchner,
Hélène Kirchner,
Miki Hermann,
1991,
Comput. J..
Miki Hermann,
Vincent Rudelli,
M. Hermann,
2016
.
Gernot Salzer,
Victor Chepoi,
Nadia Creignou,
2008,
38th International Symposium on Multiple Valued Logic (ismvl 2008).
Gustav Nordh,
Arnaud Durand,
Miki Hermann,
2009,
Theory of Computing Systems.
Ilka Schnoor,
Miki Hermann,
Philippe Chapdelaine,
2007,
LPNMR.
Phokion G. Kolaitis,
Arnaud Durand,
Miki Hermann,
2000,
MFCS.
Florian Richoux,
Manuel Bodirsky,
Miki Hermann,
2009,
CiE.
Georg Gottlob,
Michaël Rusinowitch,
Miki Hermann,
2004,
Theory Comput. Syst..
Gernot Salzer,
Stefan Mengel,
Miki Hermann,
2016,
WALCOM.
Reinhard Pichler,
Miki Hermann,
2008,
COCOON.
Miki Hermann,
Igor Prívara,
1986,
ICALP.
Gernot Salzer,
Miki Hermann,
1998,
MFCS.
Arnaud Durand,
Miki Hermann,
2003,
STACS.
Pavol Hell,
Mayssam Mohammadi Nevisi,
Miki Hermann,
2012,
ISAAC.
Miki Hermann,
2005,
Formal Aspects of Computing.
Arnaud Durand,
Miki Hermann,
Laurent Juban,
2002,
Theor. Comput. Sci..
Miki Hermann,
1996
.
Phokion G. Kolaitis,
Miki Hermann,
2004,
Journal of Automated Reasoning.
Gernot Salzer,
Bruno Zanuttini,
Àngel J. Gil,
2004,
IJCAR.
Gernot Salzer,
Victor Chepoi,
Nadia Creignou,
2010,
Eur. J. Comb..
Miki Hermann,
2021,
SEA.
Gernot Salzer,
Miki Hermann,
G. Salzer,
2021,
SAT.
Nadia Creignou,
Miki Hermann,
1993
.
Phokion G. Kolaitis,
Arnaud Durand,
Miki Hermann,
2000
.
Miki Hermann,
M. Hermann,
1988
.