Simone Rinaldi

dblp:69/5799 · DBLP profile ↗
← Back
41ranked-venue papers
0as first author
8since 2021 · last 2026
0000-0003-3377-5331ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 38 · 7 since 2021Graphics, computer vision, multimedia, augmented reality and games · 2 · 1 since 2021Artificial intelligence and machine learning · 1Databases, data management, data science and information retrieval · 1 · 1 since 2021
YearPublicationVenuePosition
2026 Generation and Enumeration of Floorplans Determined by HV-Matrices
Andrea Frosini, Shin-Ichi Nakano, Simone Rinaldi
DLT3
2026 Centered Ascending Polyominoes
P. Massazza, Simone Rinaldi, Lama Tarsissi
DLT2
2026 On the generation and enumeration of prime double square polyominoes
Michela Ascolese, Andrea Frosini, Simone Rinaldi
Inf. Comput.3
2024 An algebraic approach to the reconstruction of uniform hypergraphs from their degree sequence
abstract
International audience
Michela Ascolese, Andrea Frosini, Elisa Pergola, Simone Rinaldi, Laurent Vuillon
Theor. Comput. Sci.4
2022 Burrows-Wheeler Transform on Purely Morphic Words
abstract
The study of the compressibility of repetitive sequences is an issue that is attracting great interest. We consider purely morphic words, which are highly repetitive sequences generated by iterating a morphism$\varphi$that admits a fixed point (denoted by$\varphi^{\infty}(a)$) starting from a given character$a$belonging to the finite alphabet$A$, i.e.$\varphi^{\infty}(a)=\lim\nolimits_{i\rightarrow\infty}\varphi^{i}(a)$. Such morphisms are called prolongable on$a$. Here we focus on the compressibility via the Burrows-Wheeler Transform ($BWT$) of infinite families of finite sequences generated by morphisms. In particular, denoted by$r(w)$the number of equal-letter runs of a word$w$, we provide new upper bounds on$r(\mathsf{bwt} (\varphi^{i}(a)))$, i.e. the number of equal-letter runs produced when$BWT$is applied on$\varphi^{i}(a)$. Such bounds depend on the factor complexity$f_{x}(n)$of the infinite word$x=\varphi^{\infty}(a)$, that counts, for each$n\geq 0$, the number of distinct factors of$x$having length$n$.
Andrea Frosini, Ilaria Mancini, Simone Rinaldi, Giuseppe Romana, Marinella Sciortino
DCC3
2022 Logarithmic Equal-Letter Runs for BWT of Purely Morphic Words
Andrea Frosini, Ilaria Mancini, Simone Rinaldi, Giuseppe Romana, Marinella Sciortino
DLT3
2021 On doubly symmetric Dyck words
Robert Cori, Andrea Frosini, Giulia Palma, Elisa Pergola, Simone Rinaldi
Theor. Comput. Sci.5
2021 New sufficient conditions on the degree sequences of uniform hypergraphs
Andrea Frosini, Christophe Picouleau, Simone Rinaldi
Theor. Comput. Sci.3
2020 Combinatorial Properties of Degree Sequences of 3-Uniform Hypergraphs Arising from Saind Arrays
Andrea Frosini, Giulia Palma, Simone Rinaldi
CiE3
2019 Burrows-Wheeler Transform of Words Defined by Morphisms
Srecko Brlek, Andrea Frosini, Ilaria Mancini, Elisa Pergola, Simone Rinaldi
IWOCA5
2019 Recurrence relations, succession rules and the positivity problem
Stefano Bilotta, Elisa Pergola, Renzo Pinzani, Simone Rinaldi
J. Comput. Syst. Sci.4
2019 Enumerating five families of pattern-avoiding inversion sequences; and introducing the powered Catalan numbers
Nicholas R. Beaton, Mathilde Bouvel, Veronica Guerrini, Simone Rinaldi
Theor. Comput. Sci.4
2018 A Generating Tree for Permutations Avoiding the Pattern 122+3
abstract
In this paper we study the family of permutations avoiding the pattern 122+3 (trivially equivalent to those avoiding 123⎵4), which extend the popular 123-avoiding permutations. In particular we provide an algorithmic description of a generating tree for these permutations, that is a way to build ev ery object of a given size n + 1 in a unique way by performing local modifications on an object of size n. Our algorithm leads to a direct bijection between 123⎵4-avoiding permutations and valley-marked Dyck paths. It extends a known bijection between 123-avoiding permutations and Dyck paths, and makes explicit the connection between these objects that was earlier obtained by Callan through a series of non-trivial bijective steps. In particular our construction is simple enough to allow for efficient exhaustive generation.
Enrica Duchi, Veronica Guerrini, Simone Rinaldi
Fundam. Informaticae3
2018 Semi-Baxter and Strong-Baxter: Two Relatives of the Baxter Sequence
abstract
In this paper, we enumerate two families of pattern-avoiding permutations: those avoiding the vincular pattern $2\underbracket{41}3$, which we call semi-Baxter permutations, and those avoiding the vincular patterns $2\underbracket{41}3$, $3\underbracket{14}2,$ and $3\underbracket{41}2$, which we call strong-Baxter permutations. We call semi-Baxter numbers and strong-Baxter numbers the associated enumeration sequences. We prove that the semi-Baxter numbers enumerate in addition plane permutations (avoiding $2\underbracket{14}3$). The problem of counting these permutations was open and has given rise to several conjectures, which we also prove in this paper. For each family (that of semi-Baxter---or, equivalently, plane---and that of strong-Baxter permutations), we describe a generating tree, which translates into a functional equation for the generating function. For semi-Baxter permutations, it is solved using (a variant of) the kernel method: this gives an expression for the generating function while also proving its D-finiteness. From the obtained generating function, we derive closed formulas for the semi-Baxter numbers, a recurrence that they satisfy, as well as their asymptotic behavior. For strong-Baxter permutations, we show that their generating function is (a slight modification of) that of a family of walks in the quarter plane, which is known to be non--D-finite.
Mathilde Bouvel, Veronica Guerrini, Andrew Rechnitzer, Simone Rinaldi
SIAM J. Discret. Math.4
2017 Permutation classes and polyomino classes with excluded submatrices
abstract
This article introduces an analogue of permutation classes in the context of polyominoes. For both permutation classes and polyomino classes, we present an original way of characterizing them by avoidance constraints (namely, with excluded submatrices) and we discuss how canonical such a description by submatrix-avoidance can be. We provide numerous examples of permutation and polyomino classes which may be defined and studied from the submatrix-avoidance point of view, and conclude with various directions for future research on this topic.
Daniela Battaglino, Mathilde Bouvel, Andrea Frosini, Simone Rinaldi
Math. Struct. Comput. Sci.4
2016 Geometric properties of matrices induced by pattern avoidance
Andrea Frosini, Veronica Guerrini, Simone Rinaldi
Theor. Comput. Sci.3
2016 Advances in Discrete Geometry for Computer Imagery: Preface
Andrea Frosini, Simone Rinaldi
Theor. Comput. Sci.2
2015 Recurrence Relations, Succession Rules, and the Positivity Problem
Stefano Bilotta, Elisa Pergola, Renzo Pinzani, Simone Rinaldi
LATA4
2015 The Identity Transform of a Permutation and its Applications
abstract
Starting from a Theorem by Hall, we define the identity transform of a permutation π as C(π) = (0 + π(0), 1 + π(1), ..., (n − 1) + π(n − 1)), and we define the set Cn = {(C(π) : π ∈ Sn}, where Sn is the set of permutations of the elements of the cyclic group ℤn. In the first part of this paper we s tudy the set Cn: we show some closure properties of this set, and then provide some of its combinatorial and algebraic characterizations and connections with other combinatorial structures. In the second part of the paper, we use some of the combinatorial properties we have determined to provide a different algorithm for the proof of Hall’s Theorem.
Andrea Frosini, Daniela Battaglino, Simone Rinaldi, Samanta Socci
Fundam. Informaticae3
2013 A decomposition theorem for homogeneous sets with respect to diamond probes
Daniela Battaglino, Andrea Frosini, Simone Rinaldi
Comput. Vis. Image Underst.3
2013 On the shape of permutomino tiles
Alexandre Blondin Massé, Andrea Frosini, Simone Rinaldi, Laurent Vuillon
Discret. Appl. Math.3
2013 Polygons Drawn from Permutations
abstract
In this paper we consider the class of column-convex permutominoes, i.e. column-convex polyominoes defined by a pair of permutations (π 1 , π 2 ). First, using a geometric construction, we prove that for every permutation π there is at least one column-convex permutomino P such that π 1 (P) = π or π 2 (P) = π. In the second part of the paper, we show how, for any given permutation π, it is possible to define a set of logical implications on the points of π, and prove that there exists a column-convex permutomino P such that π 1 (P) = π if and only if is satisfiable. This property can be then used to give a characterization of the set of column-convex permutominoes P such that π 1 (P) = π.
Stefano Bilotta, Simone Rinaldi, Samanta Socci
Fundam. Informaticae2
2013 Catalan structures and Catalan pairs
Stefano Bilotta, Filippo Disanto, Renzo Pinzani, Simone Rinaldi
Theor. Comput. Sci.4
2013 A tiling system for the class of L-convex polyominoes
Stefano Brocchi, Andrea Frosini, Renzo Pinzani, Simone Rinaldi
Theor. Comput. Sci.4
2013 Enumeration of 4-stack polyominoes
Jean-Marc Fedou, Andrea Frosini, Simone Rinaldi
Theor. Comput. Sci.3
2012 Foreword
abstract
The 7th International Conference on Lattice Path Combinatorics and Applications was held in Sienna from 4-7 July, 2010, and was organized by the Dipartimento di Scienze Matematiche e Informatiche, University of Sienna, in cooperation with the Dipartimento di Sistemi e Informatica, University of Florence.Papers were sought in a wide spectrum of areas, for instance, lattice path enumeration, bijective and algebraic combinatorics, non parametric statistical inference, random walks, discrete distribution, analysis of algorithms, graph theory, and queueing theory.A large Scientif c Committee, guaranteeing wide coverage of subtopics and expertise in a variety of f elds, selected 37 papers for presentation as talks, and selected 14 other papers for presentation as posters.Furthermore, one plenary lecture was given by Anthony J. Guttmann, University of Melbourne, an outstanding researcher in combinatorics who studied several models of lattice paths.The present volume collects18enriched and extended versions of the papers presented in Sienna.All papers have been referred and we thank all referees for their assistance.Altogether, the papers collected here offer a snapshot of current research.At the same time, they illustrate the numerous ramif cations of the combinatorics of lattice paths throughout statistics, mathematics and computer science.Thus we hope that this volume will serve both as a reference text and as an introduction to many fascinating aspects of this f eld.
Sri Gopal Mohanty, Simone Rinaldi, Johann A. Makowsky
Fundam. Informaticae2
2011 Encoding Centered Polyominoes by Means of a Regular Language
Daniela Battaglino, Jean-Marc Fedou, Andrea Frosini, Simone Rinaldi
Developments in Language Theory4
2011 Planar Configurations Induced by Exact Polyominoes
Daniela Battaglino, Andrea Frosini, Simone Rinaldi
IWCIA3
2011 A reconstruction algorithm for a subclass of instances of the 2-color problem
Stefano Brocchi, Andrea Frosini, Simone Rinaldi
Theor. Comput. Sci.3
2009 Lattices of local two-dimensional languages
F. De Carli, Andrea Frosini, Simone Rinaldi, Andrea Sorbi
Theor. Comput. Sci.3
2008 Scanning integer matrices by means of two rectangular windows
Andrea Frosini, Maurice Nivat, Simone Rinaldi
Theor. Comput. Sci.3
2005 An algorithm for the reconstruction of discrete sets from two projections in presence of absorption
Elena Barcucci, Andrea Frosini, Simone Rinaldi
Discret. Appl. Math.3
2005 Enumeration of L-convex polyominoes by rows and columns
abstract
In this paper, we consider the class of L-convex polyominoes, i.e. the convex polyominoes in which any two cells can be connected by a path of cells in the polyomino that switches direction between the vertical and the horizontal at most once. Using the ECO method, we prove that the number fn of L-convex polyominoes with perimeter 2(n+2) satisfies the rational recurrence relation fn =4fn−1 −2fn−2, with f0 =1, f1 =2, f2 =7. Moreover, we give a combinatorial interpretation of this statement. In the last section, we present some open problems.
Giusi Castiglione, Andrea Frosini, Antonio Restivo, Simone Rinaldi
Theor. Comput. Sci.4
2005 Preface
Elisa Pergola, Simone Rinaldi
Theor. Comput. Sci.2
2005 In memoriam: Alberto Del Lungo (1965-2003)
Elisa Pergola, Simone Rinaldi
Theor. Comput. Sci.2
2004 A bijection for the total area of parallelogram polyominoes
Alberto Del Lungo, Maurice Nivat, Renzo Pinzani, Simone Rinaldi
Discret. Appl. Math.4
2004 From object grammars to ECO systems
Enrica Duchi, Jean-Marc Fedou, Simone Rinaldi
Theor. Comput. Sci.3
2003 Some bijective results about the area of Schröder paths
Luca S. Ferrari, Elisabetta Grazzini, Elisa Pergola, Simone Rinaldi
Theor. Comput. Sci.4
2002 An algebraic characterization of the set of succession rules
Luca S. Ferrari, Elisa Pergola, Renzo Pinzani, Simone Rinaldi
Theor. Comput. Sci.4
2002 Approximating algebraic functions by means of rational ones
Elisa Pergola, Renzo Pinzani, Simone Rinaldi
Theor. Comput. Sci.3
2001 Some linear recurrences and their combinatorial interpretation by means of regular languages
Elena Barcucci, Simone Rinaldi
Theor. Comput. Sci.2