Pedro V. Silva

According to our database1, Pedro V. Silva
  • authored at least 48 papers between 1992 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
On uniformly continuous functions for some profinite topologies.
Theor. Comput. Sci., 2017

On the topology of a boolean representable simplicial complex.
IJAC, 2017

2016
The semaphore codes attached to a Turing machine via resets and their various limits.
IJAC, 2016

Random walks on semaphore codes and delay de Bruijn semigroups.
IJAC, 2016

Using Scrum Together with UML Models: A Collaborative University-Industry R&D Software Project.
Proceedings of the Computational Science and Its Applications - ICCSA 2016, 2016

2015
A new notion of vertex independence and rank for finite graphs.
IJAC, 2015

Equations over Free Inverse Monoids with Idempotent Variables.
Proceedings of the Computer Science - Theory and Applications, 2015

2014
A noncommutative extension of Mahler's theorem on interpolation series.
Eur. J. Comb., 2014

Equations over free inverse monoids with idempotent variables.
CoRR, 2014

2013
On periodic Points of Free inverse Monoid Homomorphisms.
IJAC, 2013

2012
Groups and Automata: a Perfect Match.
Journal of Automata, Languages and Combinatorics, 2012

Fixed points of endomorphisms of certain free products.
RAIRO - Theor. Inf. and Applic., 2012

Further Results on Monoids Acting on Trees.
IJAC, 2012

On periodic points of free inverse monoid endomorphisms
CoRR, 2012

Fixed points of endomorphisms of trace monoids
CoRR, 2012

Fixed points of endomorphisms of virtually free groups
CoRR, 2012

A new notion of vertex independence and rank for finite graphs.
CoRR, 2012

Groups and Automata: A Perfect Match.
Proceedings of the Descriptional Complexity of Formal Systems, 2012

2011
Finite Idempotent Inverse Monoid Presentations.
IJAC, 2011

On Profinite Uniform Structures Defined by Varieties of Finite Monoids.
IJAC, 2011

Never Minimal Automata and the Rainbow Bipartite Subgraph Problem.
Proceedings of the Developments in Language Theory - 15th International Conference, 2011

2010
Automorphic orbits in Free Groups: Words versus Subgroups.
IJAC, 2010

Computing Maximal Error-detecting Capabilities and Distances of Regular Languages.
Fundam. Inform., 2010

Rational subsets of groups
CoRR, 2010

Groups defined by automata
CoRR, 2010

2009
Infinite Words and Confluent Rewriting Systems: Endomorphism Extensions.
IJAC, 2009

2008
Rational subsets of partially reversible monoids.
Theor. Comput. Sci., 2008

Turing machines and bimachines.
Theor. Comput. Sci., 2008

Maximal Error-Detecting Capabilities of Formal Languages.
Journal of Automata, Languages and Combinatorics, 2008

On an algorithm to decide whether a free group is a free factor of another.
ITA, 2008

A Mahler's theorem for functions from words to integers.
Proceedings of the STACS 2008, 2008

2005
A topological approach to transductions.
Theor. Comput. Sci., 2005

On a Class of Automata Groups Generalizing Lamplighter Groups.
IJAC, 2005

2004
Free group languages: Rational versus recognizable.
ITA, 2004

An Application of First-Order Logic to The Study of Recognizable Languages.
IJAC, 2004

2003
The homomorphism problem for trace monoids.
Theor. Comput. Sci., 2003

On Fine and Wilf's theorem for bidimensional words.
Theor. Comput. Sci., 2003

Periodicity vectors for labelled trees.
Discrete Applied Mathematics, 2003

A note on pure and p-pure languages.
Acta Inf., 2003

2002
Extensions and submonoids of automatic monoids.
Theor. Comput. Sci., 2002

On the lattice of prefix codes.
Theor. Comput. Sci., 2002

Recognizable subsets of a group: finite extensions and the abelian case.
Bulletin of the EATCS, 2002

The homomorphism problem for the free monoid.
Discrete Mathematics, 2002

2001
SC-hyperdecidability of R.
Theor. Comput. Sci., 2001

1999
Implementing MPI-2 Extended Collective Operations.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 1999

1996
On Free Inverse Monoid Languages.
ITA, 1996

Conjugacy and Transposition for Inverse Monoid Presentations.
IJAC, 1996

1992
Rational Languages and Inverse Monoid Presentations.
IJAC, 1992


  Loading...