Hans Hüttel
发表
Michael Höhle,
Hans Hüttel,
M. Höhle,
2002
.
Hans Hüttel,
Hans Hüttel,
2003,
INFINITY.
Ivan Lanese,
Hans Hüttel,
I. Lanese,
2015
.
Hans Hüttel,
Dorina Gnaur,
2021
.
Hans Hüttel,
Hans Hüttel,
1991
.
Hans Hüttel,
U. Nestmann,
1998
.
Hans Hüttel,
Hans Hüttel,
2002
.
Hans Hüttel,
Dorina Gnaur,
Hans Hüttel,
2018
.
Kim G. Larsen,
Hans Hüttel,
K. Larsen,
1989,
Logic at Botik.
J. Srba,
Hans Hüttel,
2004
.
Hans Hüttel,
Alexander Rønning Bendixen,
Bjarke Bredow Bojesen,
2022,
Electronic Proceedings in Theoretical Computer Science.
Hans Hüttel,
Georgian-Vlad Saioc,
2022,
FROM.
Hans Hüttel,
Dorina Gnaur,
2016
.
G. Wagner,
Hans Hüttel,
S. Tengis,
2020,
Geochronometria.
Hans Hüttel,
Dan S. Andersen,
Lars H. Pedersen,
1996
.
Jan Friso Groote,
Hans Hüttel,
J. F. Groote,
1994,
Inf. Comput..
Hans Hüttel,
N. Kobayashi,
Hans Hüttel,
1994,
Inf. Comput..
Søren Christensen,
Hans Hüttel,
Colin Stirling,
2005
.
Hans Hüttel,
Colin Stirling,
C. Stirling,
1991,
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Ivan Lanese,
Emilio Tuosto,
Luca Padovani,
2016,
ACM Comput. Surv..
Hans Hüttel,
Mikkel Bundgaard,
Jens Chr. Godskesen,
2009,
EXPRESS.
Francisco Martins,
Vasco Thudichum Vasconcelos,
Hans Hüttel,
2017,
PLACES@ETAPS.
Kurt Nørmark,
Hans Hüttel,
Hans Hüttel,
2012,
CSEDU.
Hans Hüttel,
Vilim Staroveski,
2020,
ICISSP.
Hans Hüttel,
Vilim Staroveski,
Hans Hüttel,
2020,
ICISSP.
Josva Kleist,
Uwe Nestmann,
Hans Hüttel,
1999,
Inf. Comput..
Thomas Ryberg,
Hans Hüttel,
Jette Egelund Holgaard,
2019,
SETE@ICWL.
Hans Hüttel,
Dorina Gnaur,
Hans Hüttel,
2017
.
H Huttel,
S Shukla,
S. Shukla,
1996
.
Bent Thomsen,
Hans Hüttel,
Erik Ramsgaard Wognsen,
2012,
Anais do XII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg 2012).
Hans Hüttel,
Jens Chr. Godskesen,
Morten Kühnrich,
2009,
FOCLASA@ICALP.
Hans Hüttel,
Michael D. Pedersen,
Michael Pedersen,
2007,
MFPS.
Hans Hüttel,
Willard Rafnsson,
Hans Hüttel,
2008
.
Hans Hüttel,
Bjørn Haagensen,
Hans Hüttel,
2009,
COORDINATION.
Hans Hüttel,
Alexander Rønning Bendixen,
Bjarke Bredow Bojesen,
2019,
AGERE!@SPLASH.
Luca Aceto,
Anna Ingólfsdóttir,
Josva Kleist,
1999,
EXPRESS.
C. Stirling,
Hans Hüttel,
Søren Christensen,
1992,
Inf. Comput..
Hans Hüttel,
Hans Hüttel,
1991,
CAV.
Hans Hüttel,
Hans Hüttel,
2010
.
Uwe Nestmann,
Hans Hüttel,
Hans Hüttel,
1998
.
Hans Hüttel,
Rasmus Rendal Kjær,
Magnus Holm Lundbergh,
2021,
2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).