Pedro V. Silva

61 papers A 1C 1Misc 1Journal 52Unranked 4
YearRankTypeTitle / Venue / Authors
2024 J jnl
On the doubly generalized conjugacy problem.
CoRR
André Carvalho, Pedro V. Silva
2022 J jnl
Holonomy theorem for finite semigroups.
Int. J. Algebra Comput.
John Rhodes, Anne Schilling, Pedro V. Silva
2022 J jnl
On the rational subsets of the monogenic free inverse monoid.
CoRR
Pedro V. Silva
2021 — ch.
Groups defined by automata.
Handbook of Automata Theory (II.)
Laurent Bartholdi, Pedro V. Silva
2021 — ch.
Rational subsets of groups.
Handbook of Automata Theory (II.)
Laurent Bartholdi, Pedro V. Silva
2020 J jnl
On the lattice of subgroups of a free group: complements and rank.
Groups Complex. Cryptol.
Jordi Delgado, Pedro V. Silva
2020 J jnl
Truncated boolean representable simplicial complexes.
Int. J. Algebra Comput.
Stuart W. Margolis, John Rhodes, Pedro V. Silva
2018 J jnl
Development of a QGIS Plugin to Obtain Parameters and Elements of Plantation Trees and Vineyards with Aerial Photographs.
ISPRS Int. J. Geo Inf.
Lia Duarte, Pedro V. Silva, Ana Cláudia Teodoro
2018 J jnl
On finitely generated submonoids of virtually free groups.
Groups Complex. Cryptol.
Pedro V. Silva, Alexander Zakharov
2018 J jnl
The lattice of flats of a boolean representable simplicial complex.
Int. J. Algebra Comput.
Stuart W. Margolis, John Rhodes, Pedro V. Silva
2017 J jnl
Equations Over Free Inverse Monoids with Idempotent Variables.
Theory Comput. Syst.
Volker Diekert, Florent Martin, Géraud Sénizergues, Pedro V. Silva
2017 J jnl
On finitely generated submonoids of free groups.
CoRR
Pedro V. Silva, Alexander Zakharov
2017 J jnl
On the topology of a boolean representable simplicial complex.
Int. J. Algebra Comput.
Stuart W. Margolis, John L. Rhodes, Pedro V. Silva
2017 J jnl
On uniformly continuous functions for some profinite topologies.
Theor. Comput. Sci.
Jean-Éric Pin, Pedro V. Silva
2016 J jnl
Random walks on semaphore codes and delay de Bruijn semigroups.
Int. J. Algebra Comput.
John L. Rhodes, Anne Schilling, Pedro V. Silva
2016 J jnl
The semaphore codes attached to a Turing machine via resets and their various limits.
Int. J. Algebra Comput.
John L. Rhodes, Anne Schilling, Pedro V. Silva
2016 — conf
Using Scrum Together with UML Models: A Collaborative University-Industry R&D Software Project.
ICCSA (4)
Nuno Santos, João M. Fernandes, Maria Sameiro Carvalho, Pedro V. Silva, Fábio A. Fernandes, Márcio P. Rebelo, Diogo Barbosa, Paulo Maia, Marco Couto, Ricardo J. Machado
2016 — conf
iFloW: An Integrated Logistics Software System for Inbound Supply Chain Traceability.
I-ESA
Nuno Santos, Diogo Barbosa, Paulo Maia, Fábio A. Fernandes, Márcio P. Rebelo, Pedro V. Silva, Maria Sameiro Carvalho, João M. Fernandes, Ricardo J. Machado
2015 J jnl
A new notion of vertex independence and rank for finite graphs.
Int. J. Algebra Comput.
John L. Rhodes, Pedro V. Silva
2015 Misc conf
Equations over Free Inverse Monoids with Idempotent Variables.
CSR
Volker Diekert, Florent Martin, Géraud Sénizergues, Pedro V. Silva
2014 J jnl
A noncommutative extension of Mahler's theorem on interpolation series.
Eur. J. Comb.
Jean-Éric Pin, Pedro V. Silva
2014 J jnl
Equations over free inverse monoids with idempotent variables.
CoRR
Volker Diekert, Florent Martin, Géraud Sénizergues, Pedro V. Silva
2013 J jnl
On periodic Points of Free inverse Monoid Homomorphisms.
Int. J. Algebra Comput.
Emanuele Rodaro, Pedro V. Silva
2012 J jnl
A new notion of vertex independence and rank for finite graphs.
CoRR
John Rhodes, Pedro V. Silva
2012 J jnl
Fixed points of endomorphisms of certain free products.
RAIRO Theor. Informatics Appl.
Pedro V. Silva
2012 J jnl
Fixed points of endomorphisms of trace monoids
CoRR
Pedro V. Silva, Emanuele Rodaro
2012 J jnl
Fixed points of endomorphisms of virtually free groups
CoRR
Pedro V. Silva
2012 J jnl
Further Results on Monoids Acting on Trees.
Int. J. Algebra Comput.
John Rhodes, Pedro V. Silva
2012 — conf
Groups and Automata: A Perfect Match.
DCFS
Pedro V. Silva
2012 J jnl
Groups and Automata: a Perfect Match.
J. Autom. Lang. Comb.
Pedro V. Silva
2012 J jnl
On periodic points of free inverse monoid endomorphisms
CoRR
Emanuele Rodaro, Pedro V. Silva
2011 J jnl
Finite Idempotent Inverse Monoid Presentations.
Int. J. Algebra Comput.
Pedro V. Silva
2011 C conf
Never Minimal Automata and the Rainbow Bipartite Subgraph Problem.
Developments in Language Theory
Emanuele Rodaro, Pedro V. Silva
2011 J jnl
On Profinite Uniform Structures Defined by Varieties of Finite Monoids.
Int. J. Algebra Comput.
Jean-Eric Pin, Pedro V. Silva
2010 J jnl
Automorphic orbits in Free Groups: Words versus Subgroups.
Int. J. Algebra Comput.
Pedro V. Silva, Pascal Weil
2010 J jnl
Computing Maximal Error-detecting Capabilities and Distances of Regular Languages.
Fundam. Informaticae
Stavros Konstantinidis, Pedro V. Silva
2010 J jnl
Groups defined by automata
CoRR
Laurent Bartholdi, Pedro V. Silva
2010 J jnl
Rational subsets of groups
CoRR
Laurent Bartholdi, Pedro V. Silva
2009 J jnl
Infinite Words and Confluent Rewriting Systems: Endomorphism Extensions.
Int. J. Algebra Comput.
Julien Cassaigne, Pedro V. Silva
2008 A conf
A Mahler's theorem for functions from words to integers.
STACS
Jean-Eric Pin, Pedro V. Silva
2008 J jnl
Maximal Error-Detecting Capabilities of Formal Languages.
J. Autom. Lang. Comb.
Stavros Konstantinidis, Pedro V. Silva
2008 J jnl
On an algorithm to decide whether a free group is a free factor of another.
RAIRO Theor. Informatics Appl.
Pedro V. Silva, Pascal Weil
2008 J jnl
Rational subsets of partially reversible monoids.
Theor. Comput. Sci.
Pedro V. Silva
2008 J jnl
Turing machines and bimachines.
Theor. Comput. Sci.
John Rhodes, Pedro V. Silva
2005 J jnl
A topological approach to transductions.
Theor. Comput. Sci.
Jean-Eric Pin, Pedro V. Silva
2005 J jnl
On a Class of Automata Groups Generalizing Lamplighter Groups.
Int. J. Algebra Comput.
Pedro V. Silva, Benjamin Steinberg
2004 J jnl
An Application of First-Order Logic to The Study of Recognizable Languages.
Int. J. Algebra Comput.
Pedro V. Silva
2004 J jnl
Free group languages: Rational versus recognizable.
RAIRO Theor. Informatics Appl.
Pedro V. Silva
2003 J jnl
A note on pure and p-pure languages.
Acta Informatica
Pedro V. Silva
2003 J jnl
On Fine and Wilf's theorem for bidimensional words.
Theor. Comput. Sci.
Filippo Mignosi, Antonio Restivo, Pedro V. Silva
2003 J jnl
Periodicity vectors for labelled trees.
Discret. Appl. Math.
Antonio Restivo, Pedro V. Silva
2003 J jnl
The homomorphism problem for trace monoids.
Theor. Comput. Sci.
Pedro V. Silva
2002 J jnl
Extensions and submonoids of automatic monoids.
Theor. Comput. Sci.
Pedro V. Silva, Benjamin Steinberg
2002 J jnl
On the lattice of prefix codes.
Theor. Comput. Sci.
Antonio Restivo, Pedro V. Silva
2002 J jnl
Recognizable subsets of a group: finite extensions and the abelian case.
Bull. EATCS
Pedro V. Silva
2002 J jnl
The homomorphism problem for the free monoid.
Discret. Math.
Pedro V. Silva
2001 J jnl
SC-hyperdecidability of R.
Theor. Comput. Sci.
Jorge Almeida, Pedro V. Silva
1999 — conf
Implementing MPI-2 Extended Collective Operations.
PVM/MPI
Pedro V. Silva, João Gabriel Silva
1996 J jnl
Conjugacy and Transposition for Inverse Monoid Presentations.
Int. J. Algebra Comput.
Pedro V. Silva
1996 J jnl
On Free Inverse Monoid Languages.
RAIRO Theor. Informatics Appl.
Pedro V. Silva
1992 J jnl
Rational Languages and Inverse Monoid Presentations.
Int. J. Algebra Comput.
Pedro V. Silva