H. Wiklicky
发表
M. Bernardo,
A. Aldini,
A. Pierro,
2011
.
L. Bortolussi,
E. Vink,
J. Hillston,
2013,
SFM.
H. Wiklicky,
1996
.
H. Wiklicky,
2022
.
C. Hankin,
A. Pierro,
H. Wiklicky,
2004
.
C. Hankin,
H. Wiklicky,
2005
.
Herbert Wiklicky,
Alessandra Di Pierro,
A. Pierro,
1998,
CATS.
H. Wiklicky,
1996
.
Herbert Wiklicky,
Alessandro Aldini,
A. Aldini,
2020
.
A. Pierro,
H. Wiklicky,
2006
.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2004,
COORDINATION.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2005
.
Chris Hankin,
Herbert Wiklicky,
C. Hankin,
2005,
Electron. Notes Theor. Comput. Sci..
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2002
.
Herbert Wiklicky,
Alessandro Aldini,
Marco Bernardo,
2010
.
Paolo Ciancarini,
Herbert Wiklicky,
P. Ciancarini,
2006
.
Paolo Ciancarini,
Herbert Wiklicky,
P. Ciancarini,
2006
.
Viet Pham Ngoc,
H. Wiklicky,
David Tuckey,
2022,
2205.01514.
Georg Dorffner,
Herbert Wiklicky,
Claudia Ulbricht,
1991,
Wissensbasierte Systeme.
Herbert Wiklicky,
Alessandra Di Pierro,
A. Pierro,
2008,
Electron. Notes Theor. Comput. Sci..
Georg Dorffner,
Herbert Wiklicky,
Erich Prem,
1999
.
Herbert Wiklicky,
Pascal Sotin,
Alessandra Di Pierro,
2008,
QAPL.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2005,
FMCO.
Herbert Wiklicky,
Marco Bernardo,
A. Di Pierro,
2013,
Lecture Notes in Computer Science.
W. Thirring,
H. Narnhofer,
H. Wiklicky,
1988
.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2011,
International Journal of Information Security.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2010,
Comput. J..
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2008,
ICICS.
Chris Hankin,
Herbert Wiklicky,
Igor Siveroni,
2007,
J. Log. Algebraic Methods Program..
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2005,
Theor. Comput. Sci..
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2003,
CONCUR.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2002,
Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15.
Herbert Wiklicky,
Alessandra Di Pierro,
A. Pierro,
2001,
MFCSIT.
Mario Bravetti,
Chris Hankin,
Roberto Gorrieri,
2001,
FOSAD.
Herbert Wiklicky,
Luca Bortolussi,
L. Bortolussi,
2005,
ICLP.
Herbert Wiklicky,
Alessandra Di Pierro,
A. Pierro,
2006,
MFCSIT.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2010,
SFM.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2002,
SAS.
Herbert Wiklicky,
Alessandra Di Pierro,
A. Pierro,
2000,
PPDP '00.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2006,
Program Analysis and Compilation.
M. Bernardo,
A. Aldini,
A. Pierro,
2011
.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2006,
Mathematical Structures in Computer Science.
Herbert Wiklicky,
H. Wiklicky,
2016,
COORDINATION.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2005,
J. Log. Comput..
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2007,
QAPL.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2005,
Journal of Functional Programming.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2005,
SecCo.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2004,
FMCO.
Herbert Wiklicky,
Alessandra Di Pierro,
A. Pierro,
1999,
New Trends in Constraints.
Herbert Wiklicky,
Alessandra Di Pierro,
A. Pierro,
1998,
APPIA-GULP-PRODE.
M. Bernardo,
A. Aldini,
A. Pierro,
2018
.
A. Pierro,
H. Wiklicky,
A. D. Pierro,
2015
.
C. Hankin,
I. Siveroni,
A. Pierro,
2007,
J. Log. Algebraic Methods Program..
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2001,
APPIA-GULP-PRODE.
Maurizio Gabbrielli,
Herbert Wiklicky,
Maria Chiara Meo,
2013,
Theory and Practice of Logic Programming.
Herbert Wiklicky,
Alessandra Di Pierro,
H. Wiklicky,
2015,
Semantics, Logics, and Calculi.