Sciweavers

114
Voted
CUZA
2010
158views Cryptology» more  CUZA 2010»
14 years 10 months ago
An Algebra of Hierarchical Graphs and its Application to Structural Encoding
Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafue...
100
Voted
CUZA
2010
150views Cryptology» more  CUZA 2010»
14 years 10 months ago
Symbolic Synthesis of Mealy Machines from Arithmetic Bitstream Functions
In this paper, we describe a symbolic synthesis method which given an algebraic expression that specifies a bitstream function f, constructs a (minimal) Mealy machine that realise...
Helle Hvid Hansen, Jan J. M. M. Rutten