Joachim Niehren
发表
Joachim Niehren,
2000,
J. Funct. Program..
Joachim Niehren,
Joachim Niehren,
1996,
POPL '96.
Joachim Niehren,
Jérôme Champavère,
Jean Decoster,
2009
.
Joachim Niehren,
Jérôme Champavère,
Jean Decoster,
2009
.
Joachim Niehren,
Tom Sebastian,
Denis Debarbieux,
2013,
CIAA.
Joachim Niehren,
Guillaume Madelaine,
Cédric Lhoussaine,
2015,
CMSB.
Joachim Niehren,
Manfred Pinkal,
Peter Ruhrberg,
1997,
ACL.
Joachim Niehren,
Aurélien Lemay,
Adrien Boiret,
2016,
ICGI.
Joachim Niehren,
Gert Smolka,
Jan Schwinghammer,
2005,
Theor. Comput. Sci..
Joachim Niehren,
Alexander Koller,
Alexander Koller,
2000
.
Joachim Niehren,
Marc Tommasi,
Julien Carme,
2004,
RTA.
Joachim Niehren,
Olivier Gauwin,
2011,
CIAA.
Joachim Niehren,
Feiyu Xu,
Markus Egg,
1998,
COLING-ACL.
Joachim Niehren,
Tim Priesnitz,
Joachim Niehren,
2003,
Inf. Comput..
Joachim Niehren,
Mateu Villaret,
Joachim Niehren,
2002,
LPAR.
Kurt Mehlhorn,
Joachim Niehren,
Alexander Koller,
2000,
ACL.
Joachim Niehren,
Jan Schwinghammer,
Manfred Schmidt-Schauß,
2007,
MFPS.
Joachim Niehren,
Mathias John,
Adelinde M. Uhrmacher,
2009
.
Joachim Niehren,
Sebastian Maneth,
Aurélien Lemay,
2010,
PODS '10.
Joachim Niehren,
Andreas Podelski,
Martin Müller,
1997,
TAPSOFT.
Joachim Niehren,
Aurélien Lemay,
Adrien Boiret,
2012,
Developments in Language Theory.
Joachim Niehren,
Katrin Erk,
Manuel Bodirsky,
2001,
RTA.
Joachim Niehren,
Ralph Debusmann,
Denys Duchier,
2002
.
Joachim Niehren,
Mathias John,
François Coutte,
2016,
Biosyst..
Joachim Niehren,
Jan Schwinghammer,
Manfred Schmidt-Schauß,
2008,
IFIP TCS.
Joachim Niehren,
Andreas Podelski,
Martin Müller,
1997,
Constraints.
Joachim Niehren,
Jean-Marc Talbot,
Sophie Tison,
2005
.
Isabelle Tellier,
Joachim Niehren,
Rémi Gilleron,
2005
.
Joachim Niehren,
Sophie Tison,
Iovka Boneva,
2009
.
Joachim Niehren,
Cédric Lhoussaine,
Céline Kuttler,
2007,
AB.
Joachim Niehren,
Martin Müller,
1995,
ArXiv.
Joachim Niehren,
Iovka Boneva,
Momar Sakho,
2019,
LATA.
Joachim Niehren,
Iovka Boneva,
Momar Sakho,
2019
.
Joachim Niehren,
Katrin Erk,
Joachim Niehren,
2007,
Inf. Process. Lett..
Joachim Niehren,
Jan Ramon,
Florent Capelli,
2019
.
Joachim Niehren,
Alexander Koller,
Alexander Koller,
2000,
COLING.
Joachim Niehren,
Céline Kuttler,
Joachim Niehren,
2006,
Trans. Comp. Sys. Biology.
Joachim Niehren,
Ralf Treinen,
Adrien Boiret,
2017,
Inf. Comput..
Joachim Niehren,
Aurélien Lemay,
Antoine Ndione,
2015,
LATA.
Joachim Niehren,
Jean-Marc Talbot,
Sophie Tison,
2007,
PODS.
Joachim Niehren,
Sophie Tison,
2007
.
Joachim Niehren,
Martin Müller,
Joachim Niehren,
1995
.
Joachim Niehren,
Iovka Boneva,
Momar Sakho,
2018,
RP.
Joachim Niehren,
Olivier Gauwin,
Yves Roos,
2008,
Inf. Process. Lett..
Joachim Niehren,
Ralf Treinen,
Alexander Koller,
1998,
LACL.
Joachim Niehren,
Katrin Erk,
Joachim Niehren,
2003,
EACL.
Joachim Niehren,
Joachim Niehren,
2007
.
Joachim Niehren,
Andreas Podelski,
A. Podelski,
1993,
TAPSOFT.
Joachim Niehren,
Martin Müller,
Joachim Niehren,
2000,
Inf. Comput..
Joachim Niehren,
Jérôme Champavère,
Rémi Gilleron,
2008,
ICGI.
Joachim Niehren,
Sophie Tison,
Olivier Gauwin,
2008,
PLAN-X.
Joachim Niehren,
Ralf Treinen,
Adrien Boiret,
2014,
GandALF.
Joachim Niehren,
Grégoire Laurence,
Aurélien Lemay,
2009,
FCT.
Joachim Niehren,
Jean-Marc Talbot,
Sophie Tison,
2006,
PLAN-X.
Joachim Niehren,
Mateu Villaret,
Joachim Niehren,
2005,
LACL.
Joachim Niehren,
Jérôme Champavère,
Rémi Gilleron,
2013,
J. Mach. Learn. Res..
Joachim Niehren,
Guillaume Madelaine,
Cédric Lhoussaine,
2017,
Comput..
Joachim Niehren,
Zhendong Su,
Tim Priesnitz,
2005,
ESOP.
Joachim Niehren,
Marco Kuhlmann,
Marco Kuhlmann,
2008,
RTA.
Joachim Niehren,
Jérôme Champavère,
Rémi Gilleron,
2008,
LATA.
Joachim Niehren,
Rustam Azimov,
Sylvain Salvati,
2020
.
Joachim Niehren,
Andreas Podelski,
Martin Müller,
2004,
Constraints.
Joachim Niehren,
Mathias John,
Adelinde M. Uhrmacher,
2008,
CMSB.
Joachim Niehren,
Pavel Labath,
2013
.
Joachim Niehren,
Joachim Niehren,
2009,
Workshop on Non-Classical Models for Automata and Applications.
Joachim Niehren,
Alexander Koller,
Alexander Koller,
2002
.
Joachim Niehren,
Wim Martens,
W. Martens,
2007,
J. Comput. Syst. Sci..
Joachim Niehren,
Gert Smolka,
1994,
CCL.
Joachim Niehren,
Rémi Gilleron,
Aurélien Lemay,
2006,
ICGI.
Joachim Niehren,
Denys Duchier,
Joachim Niehren,
2000,
Computational Logic.
Joachim Niehren,
Tom Sebastian,
2016,
SOFSEM.
Joachim Niehren,
Katrin Erk,
Manuel Bodirsky,
2001,
ACL.
Joachim Niehren,
Grégoire Laurence,
Aurélien Lemay,
2011,
LATA.
Joachim Niehren,
Alexander Aiken,
Zhendong Su,
2002,
POPL '02.
Joachim Niehren,
Martin Müller,
Joachim Niehren,
1995,
ASIAN.
Joachim Niehren,
Sophie Tison,
Grégoire Laurence,
2007
.
Joachim Niehren,
Martin Müller,
2000,
Inf. Comput..
Joachim Niehren,
Mathias John,
Cédric Lhoussaine,
2009,
CMSB.
Joachim Niehren,
Stefan Thater,
Alexander Koller,
2004,
ACL.
Joachim Niehren,
Ralf Treinen,
Adrien Boiret,
2015,
LATA.
Joachim Niehren,
David Sabel,
Joachim Niehren,
2019,
WPTE@FSCD.
Joachim Niehren,
Wim Martens,
W. Martens,
2005,
DBPL.
Joachim Niehren,
Ralf Treinen,
Adrien Boiret,
2015,
LATA.
Joachim Niehren,
Tom Sebastian,
Denis Debarbieux,
2015,
Theor. Comput. Sci..
Joachim Niehren,
Alexander Koller,
1998,
LACL.
Kurt Mehlhorn,
Ernst Althaus,
Joachim Niehren,
2001,
SODA '01.
Joachim Niehren,
Tim Priesnitz,
2003,
Inf. Comput..
Joachim Niehren,
Sophie Tison,
Ralf Treinen,
2000,
Inf. Process. Lett..
Joachim Niehren,
Stefan Thater,
Alexander Koller,
2003,
EACL.
Joachim Niehren,
Guillaume Madelaine,
Cédric Lhoussaine,
2016,
CMSB.
Joachim Niehren,
Sophie Tison,
Olivier Gauwin,
2011,
Inf. Comput..
Joachim Niehren,
Rémi Gilleron,
Aurélien Lemay,
2006,
Machine Learning.
Joachim Niehren,
Iovka Boneva,
Momar Sakho,
2020,
CSR.
Joachim Niehren,
Manfred Pinkal,
Peter Ruhrberg,
1997,
CADE.
Joachim Niehren,
Jan Ramon,
Florent Capelli,
2019,
ArXiv.
Joachim Niehren,
Jérôme Champavère,
Rémi Gilleron,
2009,
Inf. Comput..
Joachim Niehren,
Iovka Boneva,
Momar Sakho,
2017
.
Kurt Mehlhorn,
Ernst Althaus,
Joachim Niehren,
2003,
J. Algorithms.
Joachim Niehren,
Grégoire Laurence,
Aurélien Lemay,
2014,
LATA.
Joachim Niehren,
Alexander Koller,
Kristina Striegnitz,
2000,
Grammars.
Joachim Niehren,
Ralf Treinen,
Martin Müller,
1998,
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Joachim Niehren,
Sophie Tison,
Olivier Gauwin,
2009,
FCT.
Joachim Niehren,
Stefan Thater,
Alexander Koller,
2002
.
Joachim Niehren,
Aurélien Lemay,
Julien Carme,
2004,
ICGI.
Joachim Niehren,
Sophie Tison,
Olivier Gauwin,
2009,
LATA.
Joachim Niehren,
Mathias John,
Cédric Lhoussaine,
2011,
ESOP.
Joachim Niehren,
Aurélien Lemay,
Antoine Ndione,
2013,
Theor. Comput. Sci..
Joachim Niehren,
Guillaume Madelaine,
Cédric Lhoussaine,
2016,
Biosyst..
Joachim Niehren,
Manfred Pinkal,
Peter Ruhrberg,
1997
.
Joachim Niehren,
Claire Gardent,
Denys Duchier,
1998
.
Joachim Niehren,
Cristian Versari,
Emilie Allart,
2020
.
Joachim Niehren,
Adrien Boiret,
Vincent Hugot,
2017,
DLT.
Joachim Niehren,
Mathias John,
Mirabelle Nebut,
2012,
VMCAI.
Joachim Niehren,
Pavel Labath,
2015,
SOFSEM.
Joachim Niehren,
Andreas Podelski,
Ralf Treinen,
1993,
RTA.
Joachim Niehren,
Gert Smolka,
G. Smolka,
1998
.
Joachim Niehren,
Jean-Marc Talbot,
Martin Müller,
1999,
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Joachim Niehren,
Jan Schwinghammer,
Manfred Schmidt-Schauß,
2015,
Theor. Comput. Sci..
Joachim Niehren,
Alexander Koller,
1999
.
Joachim Niehren,
Jan Schwinghammer,
Manfred Schmidt-Schauß,
2009
.
Joachim Niehren,
Gert Smolka,
Jan Schwinghammer,
2006,
Theor. Comput. Sci..
Joachim Niehren,
Markus Egg,
Alexander Koller,
2001,
J. Log. Lang. Inf..
Joachim Niehren,
Manuel Bodirsky,
Denys Duchier,
2004,
SODA '04.
Joachim Niehren,
Cristian Versari,
Emilie Allart,
2019,
CMSB.
Joachim Niehren,
Jordi Levy,
Mateu Villaret,
2005,
CADE.
Joachim Niehren,
Guillaume Madelaine,
Cédric Lhoussaine,
2014,
FMMB.
Joachim Niehren,
Ralph Debusmann,
Denys Duchier,
2004,
MOZ.
Joachim Niehren,
Stefan Thater,
2003,
ACL.
Isabelle Tellier,
Joachim Niehren,
Sophie Tison,
2003
.
Joachim Niehren,
1994
.
Joachim Niehren,
Mathias John,
François Coutte,
2015,
CMSB.
Joachim Niehren,
Katrin Erk,
2000,
RTA.
Joachim Niehren,
David Sabel,
2019
.
Joachim Niehren,
Katrin Erk,
Alexander Koller,
2003
.
Joachim Niehren,
Tim Priesnitz,
Joachim Niehren,
1999,
ASIAN.
Joachim Niehren,
Iovka Boneva,
Momar Sakho,
2021,
Information and Computation.
Joachim Niehren,
Cristian Versari,
Emilie Allart,
2021,
Theor. Comput. Sci..
Joachim Niehren,
Momar Sakho,
Joachim Niehren,
2021,
Algorithms.
Joachim Niehren,
Cristian Versari,
Emilie Allart,
2021,
Comput..
Joachim Niehren,
Jan Schwinghammer,
Manfred Schmidt-Schauß,
2009
.
Joachim Niehren,
Mathias John,
François Coutte,
2015,
Biotechnology journal.
Joachim Niehren,
1997
.
Joachim Niehren,
Long VersionAlexander Koller,
1999
.