Publication
-
On the notion of statistical security in simulatability definitions. Information Security In Proceedings
January 2005 -
An evolutionary algorithm for discrete tomography Article
Discrete Applied Mathematics, 36-54.January 2005 -
A new algorithm for 3D binary tomography In Proceedings
January 2005 -
Normal forms for characteristic functions on n-ary relations Article
Journal of Logic and Computation, 85-98.January 2005 -
A new algorithm for 3D binary tomography In Proceedings
January 2005 -
Neural networks for discrete tomography In Proceedings
January 2005 -
January 2005
-
Common knowledge in update logics In Proceedings
January 2005