34 citations · 118 across the 30 of their papers we have counts for
31 papers
On solving basic equations over the semiring of functional digraphs
Alberto Dennunzio, Enrico Formenti, Luciano Margara +1
Endowing the set of functional graphs (FGs) with the sum (disjoint union of graphs) and product (standard direct product on graphs) operations induces on FGs a structure of a commu…
An Easily Checkable Algebraic Characterization of Positive Expansivity for Additive Cellular Automata over a Finite Abelian Group
Alberto Dennunzio, Enrico Formenti, Luciano Margara
We provide an easily checkable algebraic characterization of positive expansivity for Additive Cellular Automata over a finite abelian group. First of all, an easily checkable char…
Drawing non-planar graphs with rotation systems on the Klein bottle
François Doré, Enrico Formenti
This paper provides a linear time algorithm in the number of edges that, given a simple 3-connected non-planar graph G with a Klein bottle rotation system, outputs a straight line…
Exhaustive Generation of Linear Orthogonal Cellular Automata
Enrico Formenti, Luca Mariot
We consider the problem of exhaustively visiting all pairs of linear cellular automata which give rise to orthogonal Latin squares, i.e., linear Orthogonal Cellular Automata (OCA).…
A New Heuristic for Rectilinear Crossing Minimization
François Doré, Enrico Formenti
A new heuristic for rectilinear crossing minimization is proposed. It is based on the idea of iteratively repositioning nodes after a first initial graph drawing. The new position…
An Algorithmic Pipeline for Solving Equations over Discrete Dynamical Systems Modelling Hypothesis on Real Phenomena
Alberto Dennunzio, Enrico Formenti, Luciano Margara +1
This paper provides an algorithmic pipeline for studying the intrinsic structure of a finite discrete dynamical system (DDS) modelling an evolving phenomenon. Here, by intrinsic st…