default search action
Pedro V. Silva
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j41]John Rhodes, Anne Schilling
, Pedro V. Silva
Holonomy theorem for finite semigroups. Int. J. Algebra Comput. 32(3): 443-460 (2022) - [i9]Pedro V. Silva:
On the rational subsets of the monogenic free inverse monoid. CoRR abs/2205.08854 (2022) - 2021
- [p2]Laurent Bartholdi, Pedro V. Silva:
Rational subsets of groups. Handbook of Automata Theory (II.) 2021: 841-869 - [p1]Laurent Bartholdi, Pedro V. Silva:
Groups defined by automata. Handbook of Automata Theory (II.) 2021: 871-911 - 2020
- [j40]Stuart W. Margolis, John Rhodes, Pedro V. Silva
Truncated boolean representable simplicial complexes. Int. J. Algebra Comput. 30(07): 1399-1435 (2020)
2010 – 2019
- 2018
- [j39]Pedro V. Silva
On finitely generated submonoids of virtually free groups. Groups Complex. Cryptol. 10(2): 63-82 (2018) - [j38]Stuart W. Margolis, John Rhodes, Pedro V. Silva
The lattice of flats of a boolean representable simplicial complex. Int. J. Algebra Comput. 28(8): 1677-1691 (2018) - [j37]Lia Duarte
Development of a QGIS Plugin to Obtain Parameters and Elements of Plantation Trees and Vineyards with Aerial Photographs. ISPRS Int. J. Geo Inf. 7(3): 109 (2018) - 2017
- [j36]Stuart W. Margolis, John L. Rhodes, Pedro V. Silva
On the topology of a boolean representable simplicial complex. Int. J. Algebra Comput. 27(1): 121-156 (2017) - [j35]Volker Diekert, Florent Martin, Géraud Sénizergues, Pedro V. Silva
Equations Over Free Inverse Monoids with Idempotent Variables. Theory Comput. Syst. 61(2): 494-520 (2017) - [j34]Jean-Éric Pin, Pedro V. Silva
On uniformly continuous functions for some profinite topologies. Theor. Comput. Sci. 658: 246-262 (2017) - [i8]Pedro V. Silva, Alexander Zakharov:
On finitely generated submonoids of free groups. CoRR abs/1712.07746 (2017) - 2016
- [j33]John L. Rhodes, Anne Schilling
Random walks on semaphore codes and delay de Bruijn semigroups. Int. J. Algebra Comput. 26(4): 635-673 (2016) - [j32]John L. Rhodes, Anne Schilling
The semaphore codes attached to a Turing machine via resets and their various limits. Int. J. Algebra Comput. 26(4): 675-704 (2016) - [c7]Nuno Santos, João M. Fernandes
Using Scrum Together with UML Models: A Collaborative University-Industry R&D Software Project. ICCSA (4) 2016: 480-495 - [c6]Nuno Santos, Diogo Barbosa, Paulo Maia, Fábio A. Fernandes, Márcio P. Rebelo, Pedro V. Silva, Maria Sameiro Carvalho, João M. Fernandes
iFloW: An Integrated Logistics Software System for Inbound Supply Chain Traceability. I-ESA 2016: 187-197 - 2015
- [j31]John L. Rhodes, Pedro V. Silva
A new notion of vertex independence and rank for finite graphs. Int. J. Algebra Comput. 25(1-2): 123-167 (2015) - [c5]Volker Diekert, Florent Martin, Géraud Sénizergues, Pedro V. Silva
Equations over Free Inverse Monoids with Idempotent Variables. CSR 2015: 173-188 - 2014
- [j30]Jean-Éric Pin, Pedro V. Silva
A noncommutative extension of Mahler's theorem on interpolation series. Eur. J. Comb. 36: 564-578 (2014) - [i7]Volker Diekert, Florent Martin
Equations over free inverse monoids with idempotent variables. CoRR abs/1412.4737 (2014) - 2013
- [j29]Emanuele Rodaro
On periodic Points of Free inverse Monoid Homomorphisms. Int. J. Algebra Comput. 23(8): 1789-1804 (2013) - 2012
- [j28]John Rhodes, Pedro V. Silva
Further Results on Monoids Acting on Trees. Int. J. Algebra Comput. 22(4) (2012) - [j27]Pedro V. Silva
Fixed points of endomorphisms of certain free products. RAIRO Theor. Informatics Appl. 46(1): 165-179 (2012) - [j26]Pedro V. Silva:
Groups and Automata: a Perfect Match. J. Autom. Lang. Comb. 17(2-4): 277-292 (2012) - [c4]Pedro V. Silva
Groups and Automata: A Perfect Match. DCFS 2012: 50-63 - [i6]John Rhodes, Pedro V. Silva:
A new notion of vertex independence and rank for finite graphs. CoRR abs/1201.3984 (2012) - [i5]Pedro V. Silva:
Fixed points of endomorphisms of virtually free groups. CoRR abs/1203.1355 (2012) - [i4]Pedro V. Silva, Emanuele Rodaro:
Fixed points of endomorphisms of trace monoids. CoRR abs/1211.4517 (2012) - [i3]Emanuele Rodaro, Pedro V. Silva:
On periodic points of free inverse monoid endomorphisms. CoRR abs/1212.4284 (2012) - 2011
- [j25]Jean-Eric Pin, Pedro V. Silva
On Profinite Uniform Structures Defined by Varieties of Finite Monoids. Int. J. Algebra Comput. 21(1-2): 295-314 (2011) - [j24]Pedro V. Silva
Finite Idempotent Inverse Monoid Presentations. Int. J. Algebra Comput. 21(7): 1111-1133 (2011) - [c3]Emanuele Rodaro
Never Minimal Automata and the Rainbow Bipartite Subgraph Problem. Developments in Language Theory 2011: 374-385 - 2010
- [j23]Stavros Konstantinidis
Computing Maximal Error-detecting Capabilities and Distances of Regular Languages. Fundam. Informaticae 101(4): 257-270 (2010) - [j22]Pedro V. Silva
Automorphic orbits in Free Groups: Words versus Subgroups. Int. J. Algebra Comput. 20(4): 561-590 (2010) - [i2]Laurent Bartholdi, Pedro V. Silva:
Groups defined by automata. CoRR abs/1012.1531 (2010) - [i1]Laurent Bartholdi, Pedro V. Silva:
Rational subsets of groups. CoRR abs/1012.1532 (2010)
2000 – 2009
- 2009
- [j21]Julien Cassaigne, Pedro V. Silva
Infinite Words and Confluent Rewriting Systems: Endomorphism Extensions. Int. J. Algebra Comput. 19(4): 443-490 (2009) - 2008
- [j20]Pedro V. Silva
On an algorithm to decide whether a free group is a free factor of another. RAIRO Theor. Informatics Appl. 42(2): 395-414 (2008) - [j19]Stavros Konstantinidis, Pedro V. Silva:
Maximal Error-Detecting Capabilities of Formal Languages. J. Autom. Lang. Comb. 13(1): 55-71 (2008) - [j18]John Rhodes, Pedro V. Silva
Turing machines and bimachines. Theor. Comput. Sci. 400(1-3): 182-224 (2008) - [j17]Pedro V. Silva
Rational subsets of partially reversible monoids. Theor. Comput. Sci. 409(3): 537-548 (2008) - [c2]Jean-Eric Pin, Pedro V. Silva:
A Mahler's theorem for functions from words to integers. STACS 2008: 585-596 - 2005
- [j16]Pedro V. Silva
On a Class of Automata Groups Generalizing Lamplighter Groups. Int. J. Algebra Comput. 15(5-6): 1213-1234 (2005) - [j15]Jean-Eric Pin, Pedro V. Silva
A topological approach to transductions. Theor. Comput. Sci. 340(1): 443-456 (2005) - 2004
- [j14]Pedro V. Silva
An Application of First-Order Logic to The Study of Recognizable Languages. Int. J. Algebra Comput. 14(5-6): 785-799 (2004) - [j13]Pedro V. Silva
Free group languages: Rational versus recognizable. RAIRO Theor. Informatics Appl. 38(1): 49-67 (2004) - 2003
- [j12]Pedro V. Silva
A note on pure and p-pure languages. Acta Informatica 39(8): 579-595 (2003) - [j11]Antonio Restivo, Pedro V. Silva
Periodicity vectors for labelled trees. Discret. Appl. Math. 126(2-3): 241-260 (2003) - [j10]Filippo Mignosi, Antonio Restivo, Pedro V. Silva
On Fine and Wilf's theorem for bidimensional words. Theor. Comput. Sci. 292(1): 245-262 (2003) - [j9]Pedro V. Silva
The homomorphism problem for trace monoids. Theor. Comput. Sci. 307(1): 199-215 (2003) - 2002
- [j8]Pedro V. Silva
The homomorphism problem for the free monoid. Discret. Math. 259(1-3): 189-200 (2002) - [j7]Pedro V. Silva:
Recognizable subsets of a group: finite extensions and the abelian case. Bull. EATCS 77: 195-215 (2002) - [j6]Pedro V. Silva
Extensions and submonoids of automatic monoids. Theor. Comput. Sci. 289(1): 727-754 (2002) - [j5]Antonio Restivo, Pedro V. Silva
On the lattice of prefix codes. Theor. Comput. Sci. 289(1): 755-782 (2002) - 2001
- [j4]Jorge Almeida
SC-hyperdecidability of R. Theor. Comput. Sci. 255(1-2): 569-591 (2001)
1990 – 1999
- 1999
- [c1]Pedro V. Silva, João Gabriel Silva:
Implementing MPI-2 Extended Collective Operations. PVM/MPI 1999: 125-132 - 1996
- [j3]Pedro V. Silva
Conjugacy and Transposition for Inverse Monoid Presentations. Int. J. Algebra Comput. 6(5): 607-622 (1996) - [j2]Pedro V. Silva
On Free Inverse Monoid Languages. RAIRO Theor. Informatics Appl. 30(4): 349-378 (1996) - 1992
- [j1]Pedro V. Silva:
Rational Languages and Inverse Monoid Presentations. Int. J. Algebra Comput. 2(2): 187-208 (1992)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: