Patricia Johann
发表
Patricia Johann,
Neil Ghani,
Neil Ghani,
2016
.
Patricia Johann,
1999
.
Neil Ghani,
F. Forsberg,
Patricia Johann,
2015
.
A. Simpson,
Patricia Johann,
2018
.
Neil Ghani,
Patricia Johann,
2014
.
M. Heisel,
T. Santen,
Graeme Smith,
2022,
Bones and Bodies.
Patricia Johann,
Michael Kohlhase,
M. Kohlhase,
1994,
CADE.
Patricia Johann,
Neil Ghani,
Clément Fumex,
2011,
CALCO.
Daniel J. Dougherty,
Patricia Johann,
Patricia Johann,
1992,
Theor. Comput. Sci..
Patricia Johann,
Franklyn A. Turbak,
F. Turbak,
2001,
Comput. Sci. Educ..
Patricia Johann,
Janis Voigtländer,
J. Voigtländer,
2004,
POPL.
Patricia Johann,
Janis Voigtländer,
J. Voigtländer,
2006,
Fundam. Informaticae.
Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Language
Patricia Johann,
John Launchbury,
J. Launchbury,
1997
.
Martin Schmidt,
Patricia Johann,
Ekaterina Komendantskaya,
2016,
LOPSTR.
Robert Atkey,
Patricia Johann,
Neil Ghani,
2011,
FoSSaCS.
Patricia Johann,
Pierre Cagne,
2022,
ArXiv.
Patricia Johann,
Enrico Ghiorzi,
2021,
CPP.
Robert Atkey,
Patricia Johann,
Neil Ghani,
2014,
POPL.
Patricia Johann,
Neil Ghani,
Clément Fumex,
2012,
Log. Methods Comput. Sci..
Patricia Johann,
Neil Ghani,
Clément Fumex,
2010,
CSL.
Patricia Johann,
Patricia Johann,
1994,
Notre Dame J. Formal Log..
Neil Ghani,
Patricia Johann,
Neil Ghani,
2009,
High. Order Symb. Comput..
Neil Ghani,
Patricia Johann,
Johann,
2022
.
Patricia Johann,
Kristina Sojakova,
Patricia Johann,
2018,
LICS.
Daniel J. Dougherty,
Patricia Johann,
Patricia Johann,
1995,
Theor. Comput. Sci..