Janis Voigtländer
发表
Daniel Seidel,
Janis Voigtländer,
2009,
GI Jahrestagung.
Daniel Seidel,
Janis Voigtländer,
Jan Christiansen,
2010,
PLPV '10.
Meng Wang,
Kazutaka Matsuda,
Zhenjiang Hu,
2010,
ICFP '10.
Janis Voigtländer,
Helmut Grohne,
2017,
J. Log. Algebraic Methods Program..
Jürgen Giesl,
Armin Kühnemann,
Janis Voigtländer,
2003,
ASIAN.
Frank Hermann,
Janis Voigtländer,
2012
.
Daniel Seidel,
Janis Voigtländer,
Jan Christiansen,
2010,
WFLP.
Janis Voigtländer,
2009,
POPL '09.
Janis Voigtländer,
2009,
ICFP.
Jens Knoop,
Janis Voigtländer,
2013,
Software Engineering.
Janis Voigtländer,
J. Voigtländer,
2002,
ICFP '02.
Janis Voigtländer,
2008,
PEPM '08.
Janis Voigtländer,
2007
.
Daniel Seidel,
Janis Voigtländer,
2010,
FLOPS.
Andres Löh,
Janis Voigtländer,
Helmut Grohne,
2014,
EDBT/ICDT Workshops.
Daniel Seidel,
Janis Voigtländer,
J. Voigtländer,
2010,
WADT.
Janis Voigtländer,
2012,
LDTA.
John P. Gallagher,
Janis Voigtländer,
2010,
PEPM.
Tom Schrijvers,
Richard S. Bird,
Jeremy Gibbons,
2013,
Haskell '13.
Lutz Straßburger,
Daniel Seidel,
Janis Voigtländer,
2014,
PPDP '14.
Janis Voigtländer,
Florian Stenger,
2009,
TLCA.
Janis Voigtländer,
Violet Kafa,
Marcellus Siegburg,
2019
.
Oliver Westphal,
Janis Voigtländer,
Marcellus Siegburg,
2019,
ABP.
Patricia Johann,
Janis Voigtländer,
2007,
Theor. Comput. Sci..
Armin Kühnemann,
Janis Voigtländer,
J. Voigtländer,
2004,
Journal of Functional Programming.
Jürgen Giesl,
Armin Kühnemann,
Janis Voigtländer,
2007,
J. Log. Algebraic Methods Program..
Oliver Westphal,
Janis Voigtländer,
2020,
FLOPS.
Janis Voigtländer,
2008,
POPL '08.
Meng Wang,
Kazutaka Matsuda,
Zhenjiang Hu,
2013,
J. Funct. Program..
Janis Voigtländer,
Marcellus Siegburg,
2020,
Modellierung.
Oliver Westphal,
Janis Voigtländer,
2020,
TFPIE.
Janis Voigtländer,
2008,
FLOPS.
Patricia Johann,
Janis Voigtländer,
J. Voigtländer,
2004,
POPL.
Janis Voigtländer,
2012,
ICFP 2012.
Daniel Seidel,
Janis Voigtländer,
2011,
QAPL.
Frank Huch,
Janis Voigtländer,
2012,
Software Engineering.
Daniel Seidel,
Janis Voigtländer,
J. Voigtländer,
2011,
Acta Informatica.
Patricia Johann,
Janis Voigtländer,
2009,
Inf. Comput..
Ralf Hinze,
Janis Voigtländer,
2015,
Lecture Notes in Computer Science.
Janis Voigtländer,
2002,
ASIA-PEPM '02.
Kazutaka Matsuda,
Nate Foster,
Janis Voigtländer,
2010,
SSGIP.
Janis Voigtländer,
2012,
PEPM '12.
Frank Hermann,
Janis Voigtländer,
2012,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
John P. Gallagher,
Janis Voigtländer,
2010,
High. Order Symb. Comput..
Janis Voigtländer,
2002,
RTA.
Janis Voigtländer,
2004,
High. Order Symb. Comput..
Janis Voigtländer,
J. Voigtländer,
2005
.
Janis Voigtländer,
Sibylle Schwarz,
2017
.
John P. Gallagher,
Janis Voigtländer,
2020,
PEPM@POPL.
João Saraiva,
João Paulo Fernandes,
Daniel Seidel,
2011,
PEPM '11.
Janis Voigtländer,
J. Voigtländer,
2008,
MPC.
Patricia Johann,
Janis Voigtländer,
Alex K. Simpson,
2010,
2010 25th Annual IEEE Symposium on Logic in Computer Science.
Patricia Johann,
Janis Voigtländer,
J. Voigtländer,
2006,
Fundam. Informaticae.
Andreas Maletti,
Armin Kühnemann,
Janis Voigtländer,
2001
.
Janis Voigtländer,
2019,
DECLARE.
Daniel Seidel,
Janis Voigtländer,
Jan Christiansen,
2010,
SIGP.
Alcino Cunha,
Janis Voigtländer,
Hugo Pacheco,
2013,
ArXiv.
Janis Voigtländer,
Tobias Gödderz,
2014,
WLP/WFLP.
Janis Voigtländer,
J. Voigtländer,
2007,
Theory of Computing Systems.
Jens Knoop,
Janis Voigtländer,
2013,
Software Engineering.
Daniel Seidel,
Janis Voigtländer,
2009
.