Herbert Wiklicky
发表
Mieke Massink,
Herbert Wiklicky,
2012
.
Herbert Wiklicky,
Alessandra Di Pierro,
H. Wiklicky,
2015,
Semantics, Logics, and Calculi.
Herbert Wiklicky,
Alessandra Di Pierro,
A. Pierro,
1998,
CATS.
Herbert Wiklicky,
Alessandra Di Pierro,
A. Pierro,
2008,
Electron. Notes Theor. Comput. Sci..
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2004
.
Herbert Wiklicky,
Austin P. Wright,
2020,
ArXiv.
Herbert Wiklicky,
E. P. de Vink,
2017
.
Herbert Wiklicky,
Alessandra Di Pierro,
2000,
LOPSTR.
Paolo Ciancarini,
Herbert Wiklicky,
2006,
COORDINATION.
Herbert Wiklicky,
Alessandra Di Pierro,
2006,
Electron. Notes Theor. Comput. Sci..
Georg Dorffner,
Herbert Wiklicky,
Claudia Ulbricht,
1991,
Wissensbasierte Systeme.
Herbert Wiklicky,
Alessandra Di Pierro,
2013,
FOPARA.
Herbert Wiklicky,
Alessandra Di Pierro,
2002,
PAPM-PROBMIV.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2005,
Journal of Functional Programming.
Herbert Wiklicky,
Marco Bernardo,
A. Di Pierro,
2013,
Lecture Notes in Computer Science.
Georg Dorffner,
Herbert Wiklicky,
Erich Prem,
1999
.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2007,
QAPL.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2004,
FMCO.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2005,
FMCO.
Herbert Wiklicky,
Alessandro Aldini,
2020,
QAPL@ETAPS.
Herbert Wiklicky,
Alessandra Di Pierro,
1997,
APPIA-GULP-PRODE.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2010,
SFM.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2006,
Mathematical Structures in Computer Science.
Herbert Wiklicky,
Alessandra Di Pierro,
1998,
Proceedings of the 1998 International Conference on Computer Languages (Cat. No.98CB36225).
Herbert Wiklicky,
Alessandra Di Pierro,
2013,
APLAS.
Formal neural network specification and its implications on standardization 1 Originally published i
Georg Dorffner,
Herbert Wiklicky,
Erich Prem,
1999
.
Herbert Wiklicky,
Luca Bortolussi,
L. Bortolussi,
2005,
ICLP.
Herbert Wiklicky,
David P. Cunningham,
2005
.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2010,
Comput. J..
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2008,
ICICS.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2005,
Theor. Comput. Sci..
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2001,
APPIA-GULP-PRODE.
Mario Bravetti,
Chris Hankin,
Roberto Gorrieri,
2001,
FOSAD.
Herbert Wiklicky,
Alessandra Di Pierro,
2007,
Theor. Comput. Sci..
Herbert Wiklicky,
Mirco Tribastone,
2016,
QAPL.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2005,
SecCo.
Herbert Wiklicky,
1994
.
Herbert Wiklicky,
2014,
SYNT.
Herbert Wiklicky,
Alessandra Di Pierro,
A. Pierro,
1999,
New Trends in Constraints.
Maurizio Gabbrielli,
Herbert Wiklicky,
Maria Chiara Meo,
2013,
Theory and Practice of Logic Programming.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2002
.
Mieke Massink,
Herbert Wiklicky,
Gethin Norman,
2014,
Theor. Comput. Sci..
Herbert Wiklicky,
Santiago Rementeria,
Alberto Lafuente,
1992
.
Herbert Wiklicky,
Pascal Sotin,
Alessandra Di Pierro,
2008,
QAPL.
Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems
Herbert Wiklicky,
Luca Bortolussi,
2013
.
Herbert Wiklicky,
Alessandro Aldini,
Marco Bernardo,
2010,
SFM.
Herbert Wiklicky,
Alessandra Di Pierro,
2002
.
Thom W. Frühwirth,
Herbert Wiklicky,
Alessandra Di Pierro,
2002,
Electron. Notes Theor. Comput. Sci..
Herbert Wiklicky,
Alessandro Aldini,
A. Aldini,
2020
.
Nathalie Bertrand,
Herbert Wiklicky,
Luca Bortolussi,
2016,
Theor. Comput. Sci..
Herbert Wiklicky,
Alessandra Di Pierro,
1998,
MFCS.
Herbert Wiklicky,
1993,
NIPS.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2006,
Math. Struct. Comput. Sci..
Herbert Wiklicky,
Erik de Vink,
2017,
QAPL@ETAPS.
Mieke Massink,
Herbert Wiklicky,
2012,
QAPL.
Herbert Wiklicky,
Viet Pham Ngoc,
2020
.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2003,
CONCUR.
Herbert Wiklicky,
Alessandra Di Pierro,
2001,
APPIA-GULP-PRODE.
Herbert Wiklicky,
Alessandra Di Pierro,
A. Pierro,
2000,
PPDP '00.
Herbert Wiklicky,
Alessandra Di Pierro,
A. Pierro,
2006,
MFCSIT.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2006,
Program Analysis and Compilation.
Herbert Wiklicky,
Alessandra Di Pierro,
2001,
Electron. Notes Theor. Comput. Sci..
Herbert Wiklicky,
Alessandra Di Pierro,
Nicos Angelopoulos,
1998,
IJCSLP.
Herbert Wiklicky,
H. Wiklicky,
2016,
COORDINATION.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2005,
J. Log. Comput..
Paolo Ciancarini,
Herbert Wiklicky,
P. Ciancarini,
2006
.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2011,
International Journal of Information Security.
Herbert Wiklicky,
Alessandro Aldini,
Marco Bernardo,
2010
.
Paolo Ciancarini,
Herbert Wiklicky,
P. Ciancarini,
2006
.
Herbert Wiklicky,
Alessandra Di Pierro,
A. Pierro,
2001,
MFCSIT.
Herbert Wiklicky,
Luca Bortolussi,
2013
.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2002,
SAS.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2004,
COORDINATION.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2002,
Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2007,
APLAS.
Chris Hankin,
Herbert Wiklicky,
C. Hankin,
2005,
Electron. Notes Theor. Comput. Sci..
Chris Hankin,
Herbert Wiklicky,
Igor Siveroni,
2007,
J. Log. Algebraic Methods Program..
Herbert Wiklicky,
Alessandra Di Pierro,
A. Pierro,
1998,
APPIA-GULP-PRODE.
Antonio Cerone,
Herbert Wiklicky,
2006,
Electron. Notes Theor. Comput. Sci..
Antonio Brogi,
Herbert Wiklicky,
Alessandra Di Pierro,
2001,
Electron. Notes Theor. Comput. Sci..
Herbert Wiklicky,
Alessandra Di Pierro,
2013,
GandALF.
Herbert Wiklicky,
Alessandra Di Pierro,
2000,
LOPSTR.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2005
.