Publications

Found 2268 results
[ Author(Desc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
S
[2006-7] Silva PV, Weil P. On an algorithm to decide whether a free group is a free factor of another .Edit
Silva PV. Rational languages and inverse monoid presentations. Internat. J. Algebra Comput.. 1992;2:187-207.
[2013-25] Silva PV. Teoria Geométrica de Grupos (notas de curso, Universidade Federal da Bahia) .
Silva MC. On the circulation of algebraic knowledge in the Iberian península: the sources of Pérez de Moya's Tratado de Arithmetica (1573). Revue d'histoire des mathématiques . 2016;2:145-184.Edit
Silva MC, Ribeiro RM. Reflexão sobre um teorema de Jacques Bernoulli relativo a secções cónicas. Vol 139 SPM 2000.Edit
Silva PV. The homomorphism problem for the free monoid. Discrete Math.. 2002;259:189-200.
[2009-10] Silva PV. Fixed points of endomorphisms over special confluent rewriting systems .
Silva MC, Malet A. A note on Pérez de Moya's Principios de Geometria (1584). Revue d'histoire des mathématiques . 2008;14 ( fascicule 1 ):113-133.Edit
Silva MC. Renaissance sources of Juan Pérez de Moya’s geometries. Asclepio. Revista de Historia de la Medicina y de la Ciencia. 2013;65 (2)(julio-diciembre ):1-18.Edit
Silva PV. On free inverse monoid languages. RAIRO Inform. Théor. Appl.. 1996;30:349-378.
[2006-37] M. Silva C, Malet A. A note on Pérez de Moya’s Principios de Geometria (1584) .Edit
Silva PV, Weil P. On an algorithm to decide whether a free group is a free factor of another. Theor. Inform. Appl.. 2008;42:395-414.Edit
Silva PV. The homomorphism problem for trace monoids. Theoret. Comput. Sci.. 2003;307:199-215.
Silva PV. Recognizable subsets of a group: finite extensions and the abelian case. Bull. Eur. Assoc. Theor. Comput. Sci. EATCS. 2002:195-215.
Silva PV, Weil P. Automorphic orbits in free groups: words versus subgroups. Internat. J. Algebra Comput.. 2010;20:561-590.Edit
Simões Md, de Oliveira PM, Costa AP. Modelação do atraso dos veículos em tráfego urbano usando modelos de efeitos mistos 2003.Edit
Simões ML, Milheiro-Oliveira P. Modelação do atraso dos veículos em cruzamentos semaforizados .Edit
Simões Md, Oliveira PM, Costa AP. Queues with server vacations in urban traffic control. In: International Symposium on Applied Stochastic Models and Data Analysis (ASMDA 2005).; 2005. 1. p. 1181-1188p. Edit
Simões L, Costa AP, de Oliveira PM. Simulation and Modelling of Traffic Movements at Semi-Actuated Signalised Intersections. In: 10th International Conference on Computers in Urban Planning and Urban Management.; 2007. 1. 10.Edit
Simões Md, de Oliveira PM, Costa AP. Análise Probabilística do fluxo de tráfego num cruzamento semi-actuado 2002.Edit
Simões L, de Oliveira PM, Costa AP. Simulation and modelling of vehicule’s delay at semi-actuated signalized intersections. In: Compstat’2004 symposium.; 2004. 1. p. 1823-1830p. Edit
Simões L., Oliveira PM. Modeling and Simulation of Traffic Movements at Semi-Actuated Signalized Intersections. Journal of Transportation Engineering. 2010;136:554-564.Edit
Simões Md, Oliveira PM, Costa AP. Análise do desempenho de um cruzamento regulado por controlo semi-actuado 2006.Edit
Simões M., Costa A., Oliveira PM. Simulation Based Design of Optimal Phasing Plans for an Intersection with Semi-Actuated Signals. In: Proceedings of the Twelfth International Conference on Civil, Structural and Environmental Engineering Computing.; 2009. 2. 246.Edit
Simões Md, de Oliveira PM, Costa AP. Análise de filas de espera com pausas do servidor para controle de tráfego 2005.Edit

Pages