Lamas, Alejandro Flores
92  results:
Search for persons X
?
2

Solving string constraints with Regex-dependent functions t..:

Chen, Taolue ; Flores-Lamas, Alejandro ; Hague, Matthew...
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-31 , 2022
 
?
4

Solving string constraints with Regex-dependent functions t..:

Chen, Taolue ; Flores-Lamas, Alejandro ; Hague, Matthew...
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-31 , 2022
 
?
7

Fast Random Cactus Graph Generation:

, In: Communications in Computer and Information Science; Supercomputing,
 
?
 
?
10

Estudio de factibilidad para resolver el problema 2-packing..:

Alejandro Flores Lamas
citation:Flores Lamas, A. 2018. Estudio de factibilidad para resolver el problema 2-packing máximo en tiempo polinomial en grafos outerplanares. Tesis de Doctorado en Ciencias. Centro de Investigación Científica y de Educación Superior de Ensenada, Baja California. 103 pp..  , 2018
 
?
11

Algoritmo para encontrar el conjunto independiente fuerte m..:

Alejandro Flores Lamas
citation:Flores Lamas,A.2014.Algoritmo para encontrar el conjunto independiente fuerte máximo sobre un grafo tipo cactus.Tesis de Maestría en Ciencias. Centro de Investigación Científica y de Educación Superior de Ensenada, Baja California.xi, 87 pp..  , 2014
 
?
 
1-15