Rational Languages and Inverse Monoid Presentations. - Pedro V. Silva (Int. J. Algebra Comput., 1992)

Conjugacy and Transposition for Inverse Monoid Presentations. - Pedro V. Silva (Int. J. Algebra Comput., 1996)

On Free Inverse Monoid Languages. - Pedro V. Silva (RAIRO Theor. Informatics Appl., 1996)

Implementing MPI-2 Extended Collective Operations. - Pedro V. Silva; João Gabriel Silva (PVM/MPI, 1999)

SC-hyperdecidability of R. - Jorge Almeida 001; Pedro V. Silva (Theor. Comput. Sci., 2001)

The homomorphism problem for the free monoid. - Pedro V. Silva (Discret. Math., 2002)

Recognizable subsets of a group: finite extensions and the abelian case. - Pedro V. Silva (Bull. EATCS, 2002)

On the lattice of prefix codes. - Antonio Restivo; Pedro V. Silva (Theor. Comput. Sci., 2002)

Extensions and submonoids of automatic monoids. - Pedro V. Silva; Benjamin Steinberg (Theor. Comput. Sci., 2002)

A note on pure and p-pure languages. - Pedro V. Silva (Acta Informatica, 2003)

Periodicity vectors for labelled trees. - Antonio Restivo; Pedro V. Silva (Discret. Appl. Math., 2003)

On Fine and Wilf's theorem for bidimensional words. - Filippo Mignosi; Antonio Restivo; Pedro V. Silva (Theor. Comput. Sci., 2003)

The homomorphism problem for trace monoids. - Pedro V. Silva (Theor. Comput. Sci., 2003)

An Application of First-Order Logic to The Study of Recognizable Languages. - Pedro V. Silva (Int. J. Algebra Comput., 2004)

Free group languages: Rational versus recognizable. - Pedro V. Silva (RAIRO Theor. Informatics Appl., 2004)

On a Class of Automata Groups Generalizing Lamplighter Groups. - Pedro V. Silva; Benjamin Steinberg (Int. J. Algebra Comput., 2005)

A topological approach to transductions. - Jean-Eric Pin; Pedro V. Silva (Theor. Comput. Sci., 2005)

A Mahler's theorem for functions from words to integers. - Jean-Eric Pin; Pedro V. Silva (STACS, 2008)

On an algorithm to decide whether a free group is a free factor of another. - Pedro V. Silva; Pascal Weil (RAIRO Theor. Informatics Appl., 2008)

Maximal Error-Detecting Capabilities of Formal Languages. - Stavros Konstantinidis; Pedro V. Silva (J. Autom. Lang. Comb., 2008)

Turing machines and bimachines. - John Rhodes 001; Pedro V. Silva (Theor. Comput. Sci., 2008)

Rational subsets of partially reversible monoids. - Pedro V. Silva (Theor. Comput. Sci., 2008)

Infinite Words and Confluent Rewriting Systems: Endomorphism Extensions. - Julien Cassaigne; Pedro V. Silva (Int. J. Algebra Comput., 2009)

Groups defined by automata - Laurent Bartholdi; Pedro V. Silva (CoRR, 2010)

Rational subsets of groups - Laurent Bartholdi; Pedro V. Silva (CoRR, 2010)

Computing Maximal Error-detecting Capabilities and Distances of Regular Languages. - Stavros Konstantinidis; Pedro V. Silva (Fundam. Informaticae, 2010)

Automorphic orbits in Free Groups: Words versus Subgroups. - Pedro V. Silva; Pascal Weil (Int. J. Algebra Comput., 2010)

Never Minimal Automata and the Rainbow Bipartite Subgraph Problem. - Emanuele Rodaro; Pedro V. Silva (Developments in Language Theory, 2011)

On Profinite Uniform Structures Defined by Varieties of Finite Monoids. - Jean-Eric Pin; Pedro V. Silva (Int. J. Algebra Comput., 2011)

Finite Idempotent Inverse Monoid Presentations. - Pedro V. Silva (Int. J. Algebra Comput., 2011)

Fixed points of endomorphisms of virtually free groups - Pedro V. Silva (CoRR, 2012)

Fixed points of endomorphisms of trace monoids - Pedro V. Silva; Emanuele Rodaro (CoRR, 2012)

On periodic points of free inverse monoid endomorphisms - Emanuele Rodaro; Pedro V. Silva (CoRR, 2012)

Further Results on Monoids Acting on Trees. - John Rhodes 001; Pedro V. Silva (Int. J. Algebra Comput., 2012)

Fixed points of endomorphisms of certain free products. - Pedro V. Silva (RAIRO Theor. Informatics Appl., 2012)

Groups and Automata: a Perfect Match. - Pedro V. Silva (J. Autom. Lang. Comb., 2012)

On periodic Points of Free inverse Monoid Homomorphisms. - Emanuele Rodaro; Pedro V. Silva (Int. J. Algebra Comput., 2013)

A noncommutative extension of Mahler's theorem on interpolation series. - Jean-Éric Pin; Pedro V. Silva (Eur. J. Comb., 2014)

A new notion of vertex independence and rank for finite graphs. - John L. Rhodes 001; Pedro V. Silva (Int. J. Algebra Comput., 2015)

Using Scrum Together with UML Models: A Collaborative University-Industry R&D Software Project. - Nuno Santos 002; João M. Fernandes 001; Maria Sameiro Carvalho; Pedro V. Silva; Fábio A. Fernandes; Márcio P. Rebelo; Diogo Barbosa; Paulo Maia; Marco Couto 001; Ricardo J. Machado 001 (ICCSA (4), 2016)

iFloW: An Integrated Logistics Software System for Inbound Supply Chain Traceability. - Nuno Santos 002; Diogo Barbosa; Paulo Maia; Fábio A. Fernandes; Márcio P. Rebelo; Pedro V. Silva; Maria Sameiro Carvalho; João M. Fernandes 001; Ricardo J. Machado 001 (I-ESA, 2016)

Random walks on semaphore codes and delay de Bruijn semigroups. - John L. Rhodes 001; Anne Schilling; Pedro V. Silva (Int. J. Algebra Comput., 2016)

The semaphore codes attached to a Turing machine via resets and their various limits. - John L. Rhodes 001; Anne Schilling; Pedro V. Silva (Int. J. Algebra Comput., 2016)

On finitely generated submonoids of free groups. - Pedro V. Silva; Alexander Zakharov (CoRR, 2017)

On the topology of a boolean representable simplicial complex. - Stuart W. Margolis; John L. Rhodes 001; Pedro V. Silva (Int. J. Algebra Comput., 2017)

Equations Over Free Inverse Monoids with Idempotent Variables. - Volker Diekert; Florent Martin; Géraud Sénizergues; Pedro V. Silva (Theory Comput. Syst., 2017)

On uniformly continuous functions for some profinite topologies. - Jean-Éric Pin; Pedro V. Silva (Theor. Comput. Sci., 2017)

On finitely generated submonoids of virtually free groups. - Pedro V. Silva; Alexander Zakharov (Groups Complex. Cryptol., 2018)

The lattice of flats of a boolean representable simplicial complex. - Stuart W. Margolis; John Rhodes 001; Pedro V. Silva (Int. J. Algebra Comput., 2018)

Development of a QGIS Plugin to Obtain Parameters and Elements of Plantation Trees and Vineyards with Aerial Photographs. - Lia Duarte; Pedro V. Silva; Ana Cláudia Teodoro (ISPRS Int. J. Geo Inf., 2018)

Truncated boolean representable simplicial complexes. - Stuart W. Margolis; John Rhodes 001; Pedro V. Silva (Int. J. Algebra Comput., 2020)

Rational subsets of groups. - Laurent Bartholdi; Pedro V. Silva (Handbook of Automata Theory (II.), 2021)

Groups defined by automata. - Laurent Bartholdi; Pedro V. Silva (Handbook of Automata Theory (II.), 2021)

On the rational subsets of the monogenic free inverse monoid. - Pedro V. Silva (CoRR, 2022)

Holonomy theorem for finite semigroups. - John Rhodes 001; Anne Schilling; Pedro V. Silva (Int. J. Algebra Comput., 2022)

On the doubly generalized conjugacy problem. - André Carvalho; Pedro V. Silva (CoRR, 2024)