Sóstenes Luiz Soares Lins

Bolsista de Produtividade em Pesquisa do CNPq - Nível SR

  • Endereço para acessar este CV: http://lattes.cnpq.br/1018418114348974
  • Última atualização do currículo em 15/01/2019


Pesquisador Senior 1A do CNPq a partir de 2015. Breve histórico: Bacharel (1972, aos 20 anos, Laureado) e Mestre (1974) em Matemática pela UFPE. Ph.D. em Combinatorics and Optimization - Univ. Waterloo (1980). Foi (1974-2011) professor do DMat/UFPE, Prof. Titular desde 1989 (aos 37 anos). Foi 1o. colocado no Concurso para Prof. Titular CIN/UFPE (2011). Substancial experiência de pesquisa em Matemática Pura e Aplicações, com ênfase em Topologia e Otimização Combinatória. As principais contribuições científicas estão publicadas no Annals of Mathematical Studies (Orange Series de Princeton, vol. 134 - com 463 citações (este trabalho foi ignorado pelo Lattes, ver Carta Aberta em sua página), na World Scientific Press, em Discrete Mathematics, no Journal of Combinatorial Theory, em Advances in Mathematics. A partir de 1984, desenvolveu softwares aplicados à Indústria. O principal deles, o CONJUG-O, é utilizado ainda hoje pela Klabin. Membro titular da Academia Brasileira de Ciências, 2001. A partir de 2006, volta a trabalhar em problemas básicos de topologia computacional, na fronteira entre combinatória, geometria e variedades tridimensionais. Com a colaboração de seu filho, Lauro Lins (ATT, New York), produziu o 1o. censo de 3-variedades apresentáveis por framed links (ou blinks, grafos planos com uma bicoloração nas arestas) com até 9 cruzamentos (disponível em arXiv:math/0702057). Neste, a menos de 2 incertezas, obtemos a classificação por homeomorfismos. Estas incertezas foram resolvidas, depois que postou um Desafio aos Topólogos, em http://arxiv.org/pdf/1304.5964.pdf, 30/04/2013. Usando o plano hiperbólico produziu (2008) um O(n^2)-algoritmo para, por homotopias livres, chegar ao menor número possível de cruzamentos entre curvas fechadas numa superfície. Surpreendente, uma vez que Alex Schrijver reporta apenas algoritmo finito. Este trabalho permanece não publicado: continua pesquisando que problemas de decisão são a ele redutíveis. No período 2008-2010, provou que MAX-CUT era um tal problema. Isto implicaria P=NP. Escreveu 52 versões da prova do resultado até descobrir, um erro (até aqui intransponível) em 10/01/2010. Em 2012, juntamente com seu aluno R. Machado resolveu problema que se ocupou nos últimos 21 anos: como obter por algoritmo polinomial um "framed link presentation" de 3-variedade dada por 3-gem resolúvel. O trabalho foi dividido em 3 partes e postadas no arXiv. Desde 2013 elabora estudos mostrando que existe uma partição de grafos planos (blinks) onde cada membro da partição tem correspondência 1-1 com as classes de homeomorphismos de 3-variedades. Concluiu o censo de blinks de até 9 arestas: arXiv:1305.5590v6. Antevê simbiose entre Gems e o Teorema da Geometrização, simplificando o entendimento das 3-variedades. Numa época de ciência descartável (focada em número de publicações e estatísticas estranhas, dissociadas do conteúdo), orgulha-se de não transigir e ao menos tentar descobrir algo perene e importante. Ver seus trabalhos, em "The Google Scholar Citations of Sóstenes Lins" em http://scholar.google.com.br/citations?user=7s-Ax68AAAAJ&hl=pt-BR. A partir de Setembro 2013 deslanchou o Projeto GemBlinks/UNIVs que está tendo grande sucesso em divulgar a Topologia e Matemática. Entre 14-20/9/2014, o Shopping Center RioMar, o maior e mais luxuoso do Recife, abriu suas portas para Exposição sobre UNIVs (esculturas em aço de grande beleza artística induzidos por 3-variedades que descobriu em 2013). Mais de 650 pessoas assinaram o livro de visitantes. Ver fotos em https://www.facebook.com/media/set/?set=a.811123928908425.1073741865.763273210360164&type=3. Novos UNIVs foram construídos e estão exibidos no Centro de Informática, no prédio novo da Engenharia de Produção, na Reitoria da UFPE e na entrada do prédio da Biblioteca Central. Com seu aluno Diogo Henriques teve artigo aceito (em 2017) no JKTR onde se mostra que 3-variedades são classes combinatórias de grafos planos. (Texto informado pelo autor)


Identificação


Nome
Sóstenes Luiz Soares Lins
Nome em citações bibliográficas
LINS, S.;LINS, S. L.;Sóstenes L. Lins;LINS, S'STENES;LINS, S;LINS, SÓSTENES;LINS, SÓSTENES L.

Endereço


Endereço Profissional
Universidade Federal de Pernambuco, Centro de Informática.
Avenida Jornalista Aníbal Fernandes
Cidade Universitária
50740560 - Recife, PE - Brasil
Telefone: (81) 21268430
Ramal: 4370
URL da Homepage: http://sosteneslins.wix.com/sostenes


Formação acadêmica/titulação


1976 - 1980
Doutorado em Combinatorics And Optimization.
University of Waterloo, U.WATERLOO, Canadá.
Título: Graphs of Maps, Ano de obtenção: 1980.
Orientador: Daniel H Younger.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Graphs; Maps; Surfaces; Algorhtims.
Grande área: Ciências Exatas e da Terra
1972 - 1974
Mestrado em Matemática.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Não havia dissertação de mestrado.,Ano de Obtenção: 1974.
Orientador: José Morgado Júnior.
1970 - 1972
Graduação em Bacharelado Em Matemática.
Universidade Federal de Pernambuco, UFPE, Brasil.


Pós-doutorado


1990 - 1990
Pós-Doutorado.
University of Illinois at Chicago, UIC, Estados Unidos.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.


Atuação Profissional



Fundação de Apoio à Pesquisa do Distrito Federal, FAP/DF, Brasil.
Vínculo institucional

1999 - 1999
Vínculo: Consultor Ad-Hoc, Enquadramento Funcional: Apoio Bibliográfico Programa de Pós-Graduação


University of Illinois at Chicago, UIC, Estados Unidos.
Vínculo institucional

1990 - 1990
Vínculo: Professor vistante, Enquadramento Funcional: Professor titular


Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Vínculo institucional

1981 - Atual
Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Produtividade em Pesquisa, Carga horária: 20
Outras informações
Bolsista de Produtividade em Pesquisa 2A (1981-1984). Bolsista de Produtividade em Pesquisa 1C (1984-1994). Bolsista de Produtividade em Pesquisa 1B (1994-Atual).

Vínculo institucional

1987 - 1989
Vínculo: Colaborador, Enquadramento Funcional: Membro de Comitê Assessor
Outras informações
Membro Titular do Comitê Assessor de Matemática e Estatística para julgar projetos e bolsas de pesquisa.


Università di Bologna, UB, Itália.
Vínculo institucional

1985 - 1985
Vínculo: Professor vistante, Enquadramento Funcional: Professor Adjunto


Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Vínculo institucional

1999 - 1999
Vínculo: Consultor Ad-Hoc, Enquadramento Funcional: Avaliador Programas de Pós-Graduação da CAPES

Vínculo institucional

1985 - 1985
Vínculo: Consultor Ad-Hoc, Enquadramento Funcional: Avaliador Programas de Pós-Graduação da CAPES


Universidade de São Paulo, USP, Brasil.
Vínculo institucional

1982 - 1982
Vínculo: Professor vistante, Enquadramento Funcional: Professor Adjunto


Universidade Federal Rural de Pernambuco, UFRPE, Brasil.
Vínculo institucional

1974 - 1974
Vínculo: Outro, Enquadramento Funcional: Professor Auxiliar, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

4/1974 - 8/1974
Pesquisa e desenvolvimento , Departamento de Física e Matemática, Área de Matemática.

4/1974 - 8/1974
Ensino, Cálculo, Nível: Graduação

Disciplinas ministradas
Cálculo
Álgebra Linear

Universidade Federal de Pernambuco, UFPE, Brasil.
Vínculo institucional

1974 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor titular, Carga horária: 40

Atividades

09/2006 - Atual
Conselhos, Comissões e Consultoria, Centro de Informática, .

Cargo ou função
Membro da Comissão para Avaliação da Progressão dos Docentes do Centro de Informática da UFPE.
06/2005 - Atual
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e da Natureza, Departamento de Estatística.

Cargo ou função
Membro da Comissão para Avaliação da Progressão dos Docentes do Departamento de Estatística da UFPE.
03/2003 - Atual
Ensino, Matemática Computacional, Nível: Pós-Graduação

Disciplinas ministradas
Estruturas Discretas
Otimização
Tópicos em Otimização Combinatória
03/1995 - Atual
Ensino, Licenciatura em Matemática, Nível: Graduação

Disciplinas ministradas
Álgebra Linear L1
Geometria Espacial
Geometria Plana
Matemática Discreta
Princípio de Contagem
Teoria dos Números
07/1980 - Atual
Ensino, Matemática, Nível: Pós-Graduação

Disciplinas ministradas
Topologia Geral
Álgebra Linear
Estruturas Discretas
Grafos e Algoritmos
Matemática Discreta
Otimização
Tópicos em Otimização Combinatória
Tópicos em Topologia Combinatória e Variedades
9/1974 - Atual
Pesquisa e desenvolvimento , Centro de Ciências Exatas e da Natureza, Departamento de Matemática.

9/1974 - Atual
Pesquisa e desenvolvimento , Centro de Ciências Exatas e da Natureza, Departamento de Matemática.

9/1974 - Atual
Ensino, Bacharelado Em Matemática, Nível: Graduação

Disciplinas ministradas
Álgebra Linear 1 e 2
Computação Gráfica
Criptografia e Algoritmos
Grafos e Algoritmos
Introdução à Combinatória
Matemática Discreta
Programação Linear Inteira
Tópicos de Combinatória
03/2001 - 06/2002
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Álgebra Linear para Computação
10/1995 - 10/1999
Direção e administração, Centro de Ciências Exatas e da Natureza, Departamento de Matemática.

Cargo ou função
Chefe de Departamento.


Linhas de pesquisa


1.
Combinatória
2.
Grafos
3.
Otimização Discreta
4.
Otimização Combinatória

Objetivo: Obter algoritmos eficientes para problemas de otimização discreta..
5.
Topologia Combinatória

Objetivo: Estudo de gemas (graph encoded n-manifolds)..
6.
Grafos e Algoritmos

Objetivo: Obter bons algoritmos em grafos..
7.
Cálculos Diagramáticos

Objetivo: Estudo formal de classes de equivalências obtidas por transformações locais..
8.
Heurísticas em Otimização

Objetivo: Encontrar boas heurísticas para solucionar problemas de otimização..


Projetos de pesquisa


2013 - Atual
Projeto GemBlinks/UNIVs
Descrição: Um dos maiores desafios à mente humana é descobrir as possíveis formas do nosso universo, um 3D-universo. O problema tem a ver com Filosofia, Física e Cosmologia, como transpira vez por outra na imprensa leiga. No entanto, no que concerne ao autor, ele é um tópico bem formulado da Matemática Pura e da Ciência da Computação. Neste Projeto exemplificamos como conseguir nos aproximar deste desafio, vencendo algumas etapas iniciais..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Doutorado: (3) .
Integrantes: Sóstenes Luiz Soares Lins - Coordenador / Diogo Henriques - Integrante / Karline de Valésio - Integrante / Itacira Silva - Integrante / Leticia Santana - Integrante.
2010 - Atual
Grafos em Superfícies, Geometria e Algoritmos Combinatórios
Descrição: Procura-se usar topologia de grafos mergulhados em superfícies para obter algoritmos eficientes para alguns problemas fundamentais em teoria dos grafos..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (2) .
Integrantes: Sóstenes Luiz Soares Lins - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2007 - 2010
Classificação Computacional de 3-Manifolds via Blinks
Descrição: Um blink é um grafo plano bipartido com uma coloração arbitrária das suas arestas em duas cores. É um teorema que cada blink induz uma única 3-variedade. Foi obtida a classificação a menos de homeomorfismo de todas as variedades tridimensionais induzidas por blinks até 9 arestas..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) .
Integrantes: Sóstenes Luiz Soares Lins - Coordenador / Lauro Didier Lins - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.Número de orientações: 1
2006 - 2008
Análise Probabilística de Risco em Geração e Distribuição de Energia Elétrica
Descrição: Introduz-se uma metodologia geral para inferir a confiabilidade de sistemas elétricos. Suas técnicas são especializadas para sistemas de geração-transmissão-distribuição de energia elétrica..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) .
Integrantes: Sóstenes Luiz Soares Lins - Integrante / Emerson Alexandre de Oliveira Lima - Integrante / Silvio de Barros Melo - Integrante / Gauss Moutinho Cordeiro - Coordenador / Christian Daniel - Integrante / Mariz Menezes - Integrante / Cláudio Cristino - Integrante.Financiador(es): Companhia Hidro Elétrica do São Francisco - Bolsa.
Número de produções C, T & A: 1 / Número de orientações: 1


Membro de corpo editorial


1985 - 1995
Periódico: Revista da Sociedade Brasileira de Matemática Aplicada e Computacional


Revisor de periódico


1985 - Atual
Periódico: Discrete Mathematics
1980 - Atual
Periódico: Journal of Combinatorial Theory. Series B (Print)
1981 - Atual
Periódico: Aequationes Mathematicae (Print)
1986 - Atual
Periódico: European Journal of Combinatorics (Print)
1992 - Atual
Periódico: Forum Mathematicum
1997 - Atual
Periódico: Discrete Applied Mathematics


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Geometria e Topologia/Especialidade: Topologia das Variedades.
2.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada/Especialidade: Matemática Discreta e Combinatória.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Modelos Analíticos e de Simulação.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.
5.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.
6.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende RazoavelmenteLê Razoavelmente.
Espanhol
Compreende RazoavelmenteLê Razoavelmente.


Prêmios e títulos


2001
Membro Titular, Academia Brasileira de Ciências.
1972
Láurea Universitária, UFPE - Departamento de Matemática.
1972
Prêmio Universitário Banorte, Banorte.


Produções



Produção bibliográfica
Citações

SCOPUS

Artigos completos publicados em periódicos

1.
LINS, SÓSTENES L.2018LINS, SÓSTENES L.; HENRIQUES, DIOGO B. . Closed, oriented, connected 3-manifolds are subtle equivalence classes of plane graphs. JOURNAL OF KNOT THEORY AND ITS RAMIFICATIONS, v. 27, p. 1850077, 2018.

2.
Cordeiro, Gauss2010Cordeiro, Gauss ; LINS, S. . New results on the likelihood ratio and score tests for the von Mises distribution. Journal of Statistical Computation and Simulation (Print), v. 80, p. 915-926, 2010.

3.
LINS, S.2008LINS, S.. A homological solution for the Gauss code problem in arbitrary surfaces. Journal of Combinatorial Theory. Series B (Print), v. 98, p. 506-515, 2008.

4.
LINS, S.2008LINS, S.. A state sum regular isotopy link invariant with only 18n + 1 states. Journal of the Operational Research Society, v. 5, p. 1195-1198, 2008.

5.
LINS, S.2007LINS, S.. Combinatorial Dehn-Lickorish twists and framed link presentations of 3-manifolds revisited. Journal of Knot Theory and its Ramifications, v. 10, p. 1383-1392, 2007.

6.
CRISTINO, C.2007CRISTINO, C. ; CORDEIRO, G. M. ; LINS, S. . Confiabilidade e Avaliação de Risco no Sistema Elétrico. El Periplo Sustentable, v. 25, p. 87-109, 2007.

7.
LINS, S.2006LINS, S.; MULAZZANI, M. . BLOBS AND FLIPS ON GEMS. Journal of Knot Theory and its Ramifications, Estados Unidos, v. 15, p. 1001-1035, 2006.

8.
LINS, S.2004LINS, S.; LINS, L. ; MELO, S. B. . Phorma: perfectly hashable order restricted multidimensional arrays. Discrete Applied Mathematics, v. 141, p. 209-223, 2004.

9.
LINS, S.2003LINS, S.; LINS, L. ; MORABITO, R. . An L-approach for packing (-, w)-rectangles into rectangular and L-shaped pieces. Journal of the Operational Research Society, Inglaterra, v. 54, p. 777-789, 2003.

10.
LINS, S.2002LINS, S.; LINS, L. D. ; MORABITO, R. . An n-tet graph approach for non-guillotine packings of n-dimensional boxes into an n-container. European Journal of Operational Research, HOLANDA, v. 141, p. 421-439, 2002.

11.
LINS, S.2002LINS, S.; MULAZZANI, M. . Isomorphisms and homeomorphisms of a class of graphs and spaces. Aequationes Mathematicae (Print), v. 64, p. 110-127, 2002.

12.
LINS, S.2001LINS, S.; MARTINS, C. S. . A planar proof of Ferri's 3-D switching lemma and a combinatorial homogeneit theorem. Atti Del Seminario Matematico e Fisico Dell' Università Di Modena, ITALIA, v. 49, p. 73-89, 2001.

13.
LINS, S.1999 LINS, S.. Thin-G Theory and Local Moves for Gems. Advances in Mathematics (New York. 1965), v. 143, p. 251-283, 1999.

14.
LINS, S.1999LINS, S.; LINS, L. ; MORABITO, R. . A 9-fold partition heuristic for packing boxes into a container. Investigación Operativa, Brasil, v. 7, n.3, p. 69-82, 1999.

15.
LINS, S.1997LINS, S.. Twistors bridges among 3-manifolds. Discrete Mathematics, v. 177, p. 145-165, 1997.

16.
LINS, S.1996LINS, S.. On the vertex group of n-manifolds. Geometriae Dedicata, v. 62, p. 53-64, 1996.

17.
LINS, S.1995LINS, S.. An effective algorithm to get linking numbers of 3-manifolds. Aequationes Mathematicae (Print), v. 49, p. 214-233, 1995.

18.
LINS, S.1995LINS, S.. An Algorithm to Classify 3-Manifolds?. Resenhas do Instituto de Matemática e Estatística da Universidade de São Paulo, São Paulo-Brasil, v. 2, n.2, p. 209-217, 1995.

19.
LINS, S.1995LINS, S.. A string theory for 3-manifolds with a Kleinian action. Journal of Knot Theory and its Ramifications, Estados Unidos, v. 4, n.3, p. 429-480, 1995.

20.
LINS, S. L. S.1995LINS, S. L. S. ; Sóstenes L. Lins . Monografia de Pesquisa com 69 citações: Gems, Computers and Attractors for 3-Manifolds. Knots and Everything, v. 5, p. 1-450, 1995.

21.
LINS, SÓSTENES1995LINS, SÓSTENES; SIDKI, SAID . THE FUNDAMENTAL GROUPS OF CLOSED ORIENTABLE 3-MANIFOLDS ADMITTING COLORED TRIANGULATIONS WITH LESS THAN 30 TETRAHEDRA. International Journal of Algebra and Computation, v. 05, p. 205-250, 1995.

22.
KAUFFMAN, L. H.1994 KAUFFMAN, L. H. ; LINS, S. . Monografia de Pesquisa com 407 citações: Temperley-Lieb Recoupling Theory and Invariants of 3-Manifolds. Annals of Mathematical Studies, v. 134, p. 1-296, 1994.

23.
LINS, S.1993LINS, S.; SILVA, V. . From 3-gems to linking numbers of 3-manifolds. Ann Universidade Ferrara Sez VII Sc Mat, Itália, v. 39, p. 19-34, 1993.

24.
LINS, S.1992LINS, S.. A combinatorial approach to Turaev-Viro invariants for 3-manifolds, editado pela World Scientific. Proceedings do Workshop On Diferential Geometry And Topology, p. 128-200, 1992.

25.
KAUFFMAN, LOUIS1992KAUFFMAN, LOUIS ; LINS, SÓSTENES . Decomposition of the vertex group of 3-manifolds. Discrete Mathematics, v. 103, p. 49-55, 1992.

26.
LINS, S.1991LINS, S.. Topological aspects of edge fusions in 4-graphs. Journal of Combinatorial Theory. Series B (Print), v. 51, p. 227-243, 1991.

27.
KAUFFMAN, L. H.1991KAUFFMAN, L. H. ; LINS, S. . Computing Turaev-Viro invariants for 3-manifolds. Manuscripta Mathematica, v. 72, p. 81-94, 1991.

28.
LINS, S.1989LINS, S.. Invariant groups on equivalent cristallizations. European Journal of Combinatorics, v. 10, p. 575-584, 1989.

29.
LINS, S.1989LINS, S.. Traversing Trees and scheduling tasks for duplex corrugator machines. Pesquisa Operacional, São Paulo, v. 9, p. 40-54, 1989.

30.
LINS, S.1988LINS, S.. On the fundamental groups of 3-gems and a planar class of 3-manifolds. European Journal of Combinatorics (Print), v. 9, p. 291-305, 1988.

31.
LINS, S.1987LINS, S.. The Gauss code problem off the plane. Aequationes Mathematicae (Print), v. 33, p. 81-95, 1987.

32.
LINS, S.1986LINS, S.. Paintings: A planar approach to higher dimensions. Geometriae Dedicata, v. 20, p. 1-25, 1986.

33.
LINS, S.1985LINS, S.. Towards a catalog of 3-manifold cristallizations. Atti Del Seminario Matematico e Fisico Dell'universitá de Modena, v. 57, p. 261-284, 1985.

34.
LINS, S.1985LINS, S.. A simple proof of Gagliardi's handle recognition theorem. Discrete Mathematics, v. 57, p. 253-260, 1985.

35.
LINS, S.1985LINS, S.. Combinatorics of orientation reversing polygons. Aequationes Mathematicae (Print), v. 29, p. 123-131, 1985.

36.
LINS, S.1985LINS, S.; MANDEL, A. . Graph-encoded 3-manifolds. Discrete Mathematics, North-Holland, v. 57, p. 261-284, 1985.

37.
LINS, S.1982LINS, S.. The existence of skew strong starters in Z_16k2+1: A simpler proof. Ars Combinatoria, v. 11, p. 123-129, 1982.

38.
LINS, S.1982 LINS, S.. Graph-encoded maps. Journal of Combinatorial Theory. Series B (Print), v. 32, p. 171-181, 1982.

39.
LINS, S.1981 LINS, S.. A minimax theorem on circuits in projective graphs. Journal of Combinatorial Theory. Series B (Print), v. 30, p. 253-262, 1981.

40.
LINS, S.1980LINS, S.. A sequence representation for maps. Discrete Mathematics, v. 30, p. 249-263, 1980.

Livros publicados/organizados ou edições
1.
LINS, S.. Gems, Computers and Attractors for 3-Manifolds. 1. ed. London: World Scientific, 1995. v. 1. 450p .

2.
LINS, S.; KAUFFMAN, L. H. . Temperley-Lieb Recoupling Theory and Invariants of 3-Manifolds. 1. ed. New Jersey: Princeton University Press, 1994. v. 1. 296p .

Capítulos de livros publicados
1.
LINS, S.. Questions on Attractors of 3-Manifolds. In: Felipe Cucker; Michael Schub. (Org.). Foundations of Computational Mathematics. 1aed.Springer-Verlag, Berlim: Springer-Verlag, 1997, v. , p. 231-244.

2.
LINS, S.. A 3-gem approach to Turaev-Viro Invariants. In: R. Caddeo; F. Tricerri. (Org.). Differential Geometry and Topology. 1ed.River Edge: World Scientific, 1993, v. 1, p. 128-200.

Trabalhos completos publicados em anais de congressos
1.
LINS, S.. BusOmni: Um sistema para a Elaboração de Quadros de Horários e Escalas de Serviço para Ônibus Urbanos. In: XI Congresso de Ensino e Pesquisa em Transporte, 1997, Rio de Janeiro.

2.
LINS, S.. CONJUG: Um sistema para diminuir perdas no corte industrial de chapas, barras, bobinas. In: XXI Congresso Nacional de Informática, 1988, 1988.

3.
LINS, S.. An uncrossing algorithm for the multicommodity flow problema in plane graphs. In: Primeiro Encontro Internacional de Pesquisa Operacional, 1986, Santa Maria.

4.
LINS, S.; PRAGANA, R. . FILIA: Extensividade, concorrência, modularização. In: 5o Congresso Regional de Informática, 1983, Recife.

5.
LINS, S.. Gems and Maps Dualities. In: CORR 80-15, 1980, Waterloo, 1980.

6.
LINS, S.. Euler Tours with Distinct Transitions. In: CORR 79-35, 1979, Waterloo, 1979.

7.
LINS, S.. A projective Minimax Equality. In: CORR 78-30, 1978, Waterloo, 1978.

8.
LINS, S.. A Theoretical Solution for the Hungarian Cube Problem. In: CORR 78-31, 1978, Waterloo, 1978.

9.
LINS, S.. Construction of Cubic Cyclically 4-connect Projective Graphs. In: CORR 78-03, 1978, Waterloo, 1978.

Artigos aceitos para publicação
1.
Silva, Frederico ; LINS, SÓSTENES ; Simas, Alfredo . Stereoisomerism in Lanthanide Complexes: Enumeration, Chirality, Identification, Random Coordination Ratios. INORGANIC CHEMISTRY, 2018.

Apresentações de Trabalho
1.
LINS, S. A Dança de Conway. 2012. (Apresentação de Trabalho/Conferência ou palestra).

2.
LINS, S. Framed Link Presentations of 3-Manifolds by an Effective Polynomial Algorithm. 2012. (Apresentação de Trabalho/Conferência ou palestra).

3.
LINS, S. Grafos, Enlaçamentos e 3-Variedades. 2012. (Apresentação de Trabalho/Conferência ou palestra).

4.
LINS, S. Generalizando a Dança de Conway. 2012. (Apresentação de Trabalho/Conferência ou palestra).

5.
LINS, S. Matemática Pura e Aplicada: Centro de Minha Vida nos Últimos 39 Anos. 2011. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções bibliográficas
1.
LINS, S.; MACHADO JUNIOR, R. N. . Framed link presentations of 3-manifolds by an O(n^2) algorithm, I: gems and their duals. Cornell University Library: arXiv:1211.1953v3 [math.GT], 2013 (Artigo Científico).

2.
LINS, S.; MACHADO JUNIOR, R. N. . Framed link presentations of 3-manifolds by an O(n^2) algorithm, II: colored complexes and boundings in their complexity. Cornell University Library: arXiv:1212.0826v3 [math.GT], 2013 (Artigo Científico).

3.
LINS, S.; MACHADO JUNIOR, R. N. . Framed link presentations of 3-manifolds by an O(n^2) algorithm, III: geometric complex H_n* embedded into R^3. Cornell University Library: arXiv:1212.0827v3 [math.GT], 2013 (Artigo Científico).

4.
JOHNSON, P. M. ; LINS, S. . A state-sum invariant of tangles in oriented surfaces. Cornell University Library: arXiv:1211.0422v2 [math.GT], 2013 (Artigo Científico).

5.
LINS, S.; LINS, L. . A challenge to 3-manifold topologists and group algebraists. Cornell University Library: arXiv:1304.5964v4 [math.GT], 2013 (Artigo Científico).

6.
LINS, S.. A tougher challenge to 3-manifold topologists and group algebraists. Cornell University Library: arXiv:1305.2617v2 [math.GT], 2013 (Artigo Científico).

7.
LINS, S.. Closed, oriented, connected 3-manifolds are subtle equivalence classes of plane graphs. Cornell University Library: arXiv:1305.4540v9 [math.GT], 2013 (Artigo Científico).

8.
LINS, S.; LINS, L. . All the shapes of spaces: a census of small 3-manifolds. Cornell University Library: arXiv:1305.5590v6 [math.GT], 2013 (Artigo Científico).

9.
LINS, S.; HUIBAN, C. G. ; LINS, L. . The k_r-version of the WRT_r-invariants, monochromatic 3-connected blinks and evidence for a conjecture on their induced 3-manifolds. Cornell University Library: arXiv:1307.2109v2 [math.GT], 2013 (Artigo Científico).

10.
LINS, S.; MACHADO JUNIOR, R. N. . PL-embedding the dual of two Jordan curves into S^3 by an O(n^2)-algorithm. Cornell University Library: arXiv:1307.2050v1 [math.GT], 2013 (Artigo Científico).

11.
JOHNSON, P. M. ; LINS, S. . A graphical calculus for tangles in surfaces. Cornell University Library: arXiv:1210.6681v2 [math.GT], 2013 (Artigo Científico).

12.
LINS, S.. A subtle new invariant for framed oriented knots and links. Cornell University Library: arXiv:1209.4835v2 [math.GT], 2012 (Artigo Científico).

13.
LINS, S.. A short proof of the equivalence of any Reidemeister oriented move 3. Cornell University Library: arXiv:1211.0485v2 [math.GT], 2012 (Artigo Científico).

14.
LINS, S. Combinatorial Dehn-Lickorish Twists and Framed Link Presentations of 3-Manifolds Revisited. Cornell University Library: arXiv:0701578v1 [math.GT], 2008 (Artigo Científico).

15.
LINS, S; MULAZZANI, M. . Isomorphisms and Homeomorphisms of a Class of Graphs and Spaces. Cornell University Library: arXiv:0102139v1 [math.GT], 2008 (Artigo Científico).

16.
LINS, S. A 3-Variable Bracket. Cornell University Library: arXiv:0805.2066v1 [math.GT], 2008 (Artigo Científico).

17.
LINS, S; SILVA, V. . On Maps with a Single Zigzag. Cornell University Library: arXiv:0301053v1 [math.CO], 2003 (Artigo Científico).

18.
LINS, L. ; LINS, S ; MELO, S. B. . PHORMA: Perfectly Hashable Order Restricted Multidimensional Arrays. Cornell University Library: arXiv:0301025v2 [cs.DS], 2003 (Artigo Científico).

19.
LINS, S; LIMA, E. A. O. ; SILVA, V. . An Affine Linear Solution for the 2-Face Colorable Gauss Code Problem in the Klein Bottle and a Quadratic System for Arbitrary Closed Surfaces. Cornell University Library: arXiv:0301012v4 [math.CO], 2003 (Artigo Científico).

20.
LINS, S. Graph of maps 1980 (Tese (Doutorado)).


Produção técnica
Programas de computador sem registro
1.
LINS, S.; LINS, L. D. ; MORABITO, R. . PalletZoom. 1998.

2.
LINS, S.. Sistema CRR. 1997.

3.
LINS, S.. WCJB. 1997.

4.
LINS, S.. Sistema SAD. 1997.

5.
LINS, S.. Sistema BusOmni. 1996.

6.
LINS, S.. WCJO. 1995.

7.
LINS, S.. BINGOTIM. 1992.

8.
LINS, S.. DZNTEX. 1991.

9.
LINS, S.. TURBOLOTO. 1986.

10.
LINS, S.. ORDIGRAF. 1986.

11.
LINS, S.. CONJUG. 1986.

12.
LINS, S.. PIG. 1986.

13.
LINS, S.. BusOmni. 1986.

14.
LINS, S.. LABIRINTOS. 1985.

15.
LINS, S.. ATEXTA. 1985.

16.
LINS, S.. HRAZBRA. 1985.

Trabalhos técnicos
1.
LINS, S. UNIVs: Novos Horizontes em Arquitetura e Urbanismo. 2014.


Demais tipos de produção técnica
1.
LINS, S. GodWormHoles3. 2014. (Maquete).


Produção artística/cultural
Artes Visuais
1.
LINS, S. GodWormHoles3Emanações e outras Emanações Artísticas da Setima Dimensão. 2014. Escultura.



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
LINS, S.. Participação em banca de Fábio Happ Botler. Uma Redução do Problema de Fatorização de Inteiros para o Problema de Programação 0-1. 2011. Dissertação (Mestrado em Matemática) - Universidade Federal de Pernambuco.

2.
LINS, S.. Participação em banca de Gabriel de Morais Coutinho. O Polinômio de Tutte e Duas Generalizações. 2010. Dissertação (Mestrado em Matemática) - Universidade Federal de Pernambuco.

3.
LINS, S.. Participação em banca de Nivan Roberto Ferreira Júnior. Conexões e Transporte Paralelo: Abordagem Computacional. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

4.
LINS, S.. Participação em banca de Antônio José Ferreira Gomes Júnior. Elementos Pertencentes à Tríade em Matróides 3-Conexas. 2009. Dissertação (Mestrado em Matemática) - Universidade Federal de Pernambuco.

5.
LINS, S.. Participação em banca de Wagner Ferreira Santos. Teorema de Geometrização para Girassóis de Grafos com Valência Mínima 3. 2008. Dissertação (Mestrado em Matemática) - Universidade Federal de Pernambuco.

6.
LINS, S.. Participação em banca de José Laudelino de Menezes Neto. Círculos Removíveis em Grafos. 2008. Dissertação (Mestrado em Matemática) - Universidade Federal de Pernambuco.

7.
LINS, S.; LEMOS, M.; MELO, S. B.. Participação em banca de Karla Ferreira de Sousa Arruda. Distribuição de Pesos de Base de uma Matróide. 2008. Dissertação (Mestrado em Matemática) - Universidade Federal de Pernambuco.

8.
LINS, S.. Participação em banca de Lilian Maria Santos. Desempenho Escolar em Pernambuco: Análise dos Itens e das Habilidades Usando Teoria Clássica e TRI. 2008. Dissertação (Mestrado em Estatística) - Universidade Federal de Pernambuco.

9.
LINS, S.; STOLFI, J.; LEE, O.. Participação em banca de Arnaldo Jovanini Montagner. A Estrutura de Dados Gema para a Representação de Mapas n-Dimensioais. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

10.
LINS, S.. Participação em banca de João Paulo Costa Longa. Empacotamento e Cobertura por Circuitos Através de um Elemento em Matróides. 2007. Dissertação (Mestrado em Matemática) - Universidade Federal de Pernambuco.

11.
LINS, S.. Participação em banca de Jalila Rios dos Santos. Partição de Matróides, Conjuntos Co-Geradores e Bridge-It. 2003. Dissertação (Mestrado em Matemática) - Universidade Federal de Pernambuco.

12.
LINS, S.. Participação em banca de Márcio Roberto Rocha Ribeiro. O Posto da Interseção de Subgrupos de um Produto Livre de Grupos. 1999. Dissertação (Mestrado em Matemática) - Universidade de Brasília.

13.
LINS, S.; MANDEL, A.; GONÇALVES, D.. Participação em banca de Yoshiharu Kohayakawa. Uma Aplicação da Topologia Algébrica à Topologia dos Grafos. 1986. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo.

Teses de doutorado
1.
LINS, S.; LEMOS, M.; MELO, S. B.; CASTRO, P. M. M.; STOLFI, J.. Participação em banca de Ricardo Nunes Machado Junior. Framed Link Presentations of 3-Manifolds by an Efficient Polynomial Algorithm. 2013. Tese (Doutorado em Matemática) - Universidade Federal de Pernambuco.

2.
LINS, S.. Participação em banca de Ives Lima de Jesus. Matróides 3-conexas menores-minimais possuindo uma matróide circular como menor fixado. 2012. Tese (Doutorado em Matemática) - Universidade Federal de Pernambuco.

3.
WAKABAYASHI, Y.; PINA JUNIOR, J. C.; LEE, O.; CARVALHO, M. H.; LINS, S.. Participação em banca de Mario Leston Rey. Um Arcabouço Generalizado para Empacotamento de Ramificações e Outras Estruturas Combinatórias. 2012. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

4.
LEMOS, M.; LINS, S.; MELO, S. B.; LIMA, E. A. O.; CORDEIRO, G. M.. Participação em banca de Maria Isabelle Silva. Matróides com Poucas Bases Não-Comuns. 2012. Tese (Doutorado em Matemática Computacional) - Universidade Federal de Pernambuco.

5.
LINS, S.. Participação em banca de João Paulo Costa Longa. Cocircuitos Não-Separadores que Evitam um Elemento e Graficidade em Matróides Binárias. 2011. Tese (Doutorado em Matemática) - Universidade Federal de Pernambuco.

6.
LINS, S.. Participação em banca de Fernando Antônio Nórbrega Santos. Topologia, Simetria e Transições de Fase em Modelos de Spin. 2009. Tese (Doutorado em Física) - Universidade Federal de Pernambuco.

7.
LINS, S.. Participação em banca de Andrea Vanessa Rocha. Substitution Operators. 2009. Tese (Doutorado em Matemática Computacional) - Universidade Federal de Pernambuco.

8.
LINS, S.. Participação em banca de Ademakson Souza Araújo. Matróides Binárias com Circunferências 6. 2009. Tese (Doutorado em Matemática Computacional) - Universidade Federal de Pernambuco.

9.
LINS, S.. Participação em banca de Líliam César de Castro Medeiros. Um Modelo de Difusão da Infecção pelo Vírus da Dengue. 2008. Tese (Doutorado em Matemática Computacional) - Universidade Federal de Pernambuco.

10.
LINS, S.. Participação em banca de Jalila Rios dos Santos. AST: Um Modelo para Automação de Horários Escolares. 2008. Tese (Doutorado em Matemática Computacional) - Universidade Federal de Pernambuco.

11.
LINS, S.. Participação em banca de Cláudio Tadeu Cristino. Confiabilidade sobre Estruturas Combinatórias: Uma Modelagem para Redes Elétricas. 2008. Tese (Doutorado em Matemática) - Universidade Federal de Pernambuco.

12.
LINS, S.; KAUFFMAN, L. H.; WAKABAYASHI, Y.; MELO, S. B.; LEMOS, M.. Participação em banca de Lauro Didier Lins. Blink: A language to view, recognize, classify and manipulate 3D-spaces. 2007. Tese (Doutorado em Matemática Computacional) - Universidade Federal de Pernambuco.

13.
LINS, S.. Participação em banca de Tereza Raquel Brito de Melo. Hiperplanos Conexos em Matróides Binárias. 2005. Tese (Doutorado em Matemática) - Universidade Federal de Pernambuco.

14.
LINS, S.; WAKABAYASHI, Y.; YANASSE, H. H.; MIYAZAWA, F.; BIRGIN, E.. Participação em banca de Glauber Ferreira Cintra. Algoritmos para Problema de Corte de Guilhotina Bidimensional. 2004. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

15.
LINS, S.; MANDEL, A.; LEMOS, M.; MELO, S. B.; CORDEIRO, G. M.. Participação em banca de Emerson Alexandre de Oliveira Lima. Códigos de Gauss não 2-face coloráveis em RP2. 2003. Tese (Doutorado em Matemática) - Universidade Federal de Pernambuco.

16.
LINS, S.. Participação em banca de Luis Arturo Perez Lozada. Visualização Automática de Mapas Tridimensionais. 2002. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

17.
LINS, S.. Participação em banca de Helena Cristina Gama Leitão. Reconstrução Automática de Objetos Fragmentados. 1999. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

18.
LINS, S.. Participação em banca de Carlos Frederico do Amaral Cid. Grupos de Bieberbarch Metabelianos com Quociente Derivado Finito. 1999. Tese (Doutorado em Matemática) - Universidade de Brasília.

Qualificações de Doutorado
1.
LINS, S.; LEMOS, M.; SANTOS, J. R.. Participação em banca de Wagner Ferreira dos Santos. Some Applications of Integer Programming. 2012. Exame de qualificação (Doutorando em Matemática) - Universidade Federal de Pernambuco.

2.
LINS, S.. Participação em banca de Ricardo Nunes Machado Junior. Algorithm to Get Surgery Instructions for a 3-Manifold from a Resolved 3-Gem. 2011. Exame de qualificação (Doutorando em Matemática) - Universidade Federal de Pernambuco.

3.
LINS, S.. Participação em banca de Antônio José Ferreira Gomes Júnior. 14/09/2010. 2010. Exame de qualificação (Doutorando em Matemática) - Universidade Federal de Pernambuco.

4.
LINS, S.. Participação em banca de Carla Ferreira de Arruda Duque. 14/09/2010. 2010. Exame de qualificação (Doutorando em Matemática) - Universidade Federal de Pernambuco.

5.
LINS, S.. Participação em banca de Maria Isabelle Silva Borges. 12/03/2010. 2010. Exame de qualificação (Doutorando em Matemática Computacional) - Universidade Federal de Pernambuco.

6.
LINS, S.. Participação em banca de Ives Lima de Jesus. 12/03/2010. 2010. Exame de qualificação (Doutorando em Matemática) - Universidade Federal de Pernambuco.

7.
LINS, S.. Participação em banca de Júlio César de Souza Almeida. 17/09/2008. 2008. Exame de qualificação (Doutorando em Matemática) - Universidade Federal de Pernambuco.

8.
LINS, S.. Participação em banca de Tiago Marques Madureira. 12/03/2008. 2008. Exame de qualificação (Doutorando em Matemática) - Universidade Federal de Pernambuco.

9.
LINS, S.. Participação em banca de Adriano Régis Melo Rodrigues da Silva. 11/03/2008. 2008. Exame de qualificação (Doutorando em Matemática) - Universidade Federal de Pernambuco.

10.
LINS, S.. Participação em banca de Isis Gabriella de Arruda Quinteiro da Silva. 11/03/2008. 2008. Exame de qualificação (Doutorando em Matemática) - Universidade Federal de Pernambuco.

11.
LINS, S.. Participação em banca de Hélio Machado da Silva Porto Neto. 08/03/2007. 2007. Exame de qualificação (Doutorando em Matemática) - Universidade Federal de Pernambuco.

12.
LINS, S.. Participação em banca de Rodrigo José Gondim Neves. 08/03/2007. 2007. Exame de qualificação (Doutorando em Matemática) - Universidade Federal de Pernambuco.

13.
LINS, S.. Participação em banca de Christiane Neme Campos Toledo. 23/11/1999. 1999. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.



Participação em bancas de comissões julgadoras
Professor titular
1.
LINS, S.. Concurso do Departamento de Teoria da Computação do Instituto de Computação da UNICAMP. 2012. Universidade Estadual de Campinas.

2.
LINS, S.; FERRARI, P. A.; SZWARCFITER, J. L.; IUSSEM, A. N.; MACULAM FILHO, N.. Concurso do Instituto de Matemática e Estatística da Universidade de São Paulo. Candidata aprovada: Yoshiko Wakabayashi. 2006. Universidade de São Paulo.

3.
LINS, S.; LUCCHESI, C. L.; VAINSENCHER, I.; GATTASS, M.; MAGALHÃES, L. P.. Concurso do Instituto de Computação. Candidato aprovado: Jorge Stolfi. 2001. Universidade Estadual de Campinas.

4.
LINS, S.. Concurso do Instituto de Matemática e Estatística da Universidade de São Paulo. Candidato aprovado: Daciberg Lima Gonçalves. 1999. Universidade de São Paulo.

5.
LINS, S.. Concurso do Departamento de Matemática - Candidatos aprovados: Nikolai Guservskii e Israel Vainsencher. 1995. Universidade Federal de Minas Gerais.

6.
LINS, S.. Concurso do Departamento de Ciência da Computação. Candidato aprovado: Silvio Lemos Meira. 1995. Universidade Federal de Pernambuco.

7.
LINS, S.. Concurso do Instituto de Matemática e Estatística da Universidade de São Paulo. Candidatos aprovados: Siang Wun Song e Carlos Humes Júnior. 1995. Universidade de São Paulo.

8.
LINS, S.. Concurso do Departamento de Matemática - Candidatos aprovados: Nathan e Paulo. 1994. Universidade Federal Fluminense.

9.
LINS, S.. Concurso do Departamento de Ciência da Computação - Candidato aprovado: Claudio Lucchesi. 1994. Universidade Estadual de Campinas.

10.
LINS, S.. Concurso do Departamento de Eletrônica e Sistemas - Candidato aprovado: Waldemar Cardoso da Rocha. 1993. Universidade Federal de Pernambuco.

11.
LINS, S.. Concurso do Departamento de Ciencia da Computaçao - Candidato aprovado - Paulo Roberto Freire Cunha. 1993. Universidade Federal de Pernambuco.

Concurso público
1.
LINS, S.. Presidente da Banca do Concurso para Prof. Adjunto do Departamento de Matemática da Universidade Federal de Pernambuco em 10, 11 e 12/01/2011. 2011. Universidade Federal de Pernambuco.

2.
LINS, S.. Presidente da Banca do Concurso para Prof. Adjunto do Departamento de Matemática da Universidade Federal de Pernambuco em 22, 23 e 25/06/2009. 2009. Universidade Federal de Pernambuco.

3.
LINS, S.. Presidente da Banca do Concurso para Prof. Adjunto do Departamento de Matemática da Universidade Federal de Pernambuco em 01, 02 e 03/07/2009. 2009. Universidade Federal de Pernambuco.

4.
LINS, S.. Concurso Prof. Adjunto - Instituto de Matemática. 2001. Universidade de São Paulo.

5.
LINS, S.. Concurso para Prof. Adjunto na Área de Otimização, Departamento de Matemática, UFBA. Candidato aprovado: Gosula Redi. 2001. Universidade Federal da Bahia.

6.
LINS, S.. Concurso Prof. Adjunto - Instituto de Matemática. 2001. Universidade de São Paulo.

Livre docência
1.
WAKABAYASHI, Y.; SIMON, I.; LUCCHESI, C. L.; LINS, S.; SZWARCFITER, J. L.. Concurso do Instituto de Matemática e Estatística da Universidade de São Paulo. Candidata aprovada: Cristina Gomes Fernandes. 2004. Universidade de São Paulo.

2.
LINS, S.. Concurso do Departamento de Teoria da Computação do Instituto de Computação da UNICAMP. Candidato aprovado: Candido Ferreira Xavier de Mendonça Neto. 2000. Universidade Estadual de Campinas.

3.
LINS, S.. Concurso do Instituto de Matemática e Estatística da Universidade de São Paulo. Candidato aprovado: Yoshiharu Kohayakawa. 1996. Universidade de São Paulo.

4.
LINS, S.. Concurso do Instituto de Matemática e Estatística da Universidade de São Paulo. Candidato aprovado: Carlos Eduardo Ferreira. 1995. Universidade de São Paulo.

Avaliação de cursos
1.
LINS, S.; VARES, M. E.; VIANA, M.. Comissão Externa de Avaliação Institucional do Instituto de Matemática, Estatística e Computação Científica da Universidade Estadual de Campinas. 2005. Universidade Estadual de Campinas.

2.
LINS, S.. Avaliação do Curso de Mestrado em Matemática Aplicada da Universidade Federal do Paraná. 2001. Universidade Federal do Paraná.

Outras participações
1.
DOMINGUES FILHO, M. C.; LINS, S.; LUDERMIR, T. B.. Avaliação de Processos de Progressões Vertical e Horizontal da Classe de Professor Associado. 2012. Universidade Federal de Pernambuco.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Apresentação do Projeto GemBlinks/UNIVs ao Reitor Anísio Brasileiro/UFPE. Nascimento do Projeto GemBlinks/UNIVs. 2013. (Exposição).

2.
Nascimento dos UNIV TemploTibetano e SLinX na Reitoria UFPE, 1. Os UNIVs-1-Atratores TemploTibetano e SLinX e seus DDNAs, primeira parte.. 2013. (Exposição).

3.
Nascimento dos UNIV TemploTibetano e SLinX na Reitoria UFPE, 2. Os UNIVs-1-Atratores TemploTibetano e SLinX e seus DDNAs, segunda parte.. 2013. (Exposição).

4.
Nascimento do UNIV Poincaré Dextrógiro - Exposição Individual no no CIn/UFPE. O UNIV Poincaré Dextrógiro: 1-atrator e DNA da Esfera de Homologia de Poincaré. 2013. (Exposição).

5.
Nascimento do UNIV Poincaré Levógiro - Exposição Individual, Entrada do CCEN/UFPE. O UNIV Poincaré Levógiro: 1-atrator e DNA da Esfera de Homologia de Poincaré. 2013. (Exposição).

6.
Computational and Geometric Topology Conference.Polynomial Invariants of 3-Manifolds Induced by Gifs. 2010. (Encontro).

7.
Dipartimento di Matematica Pura ed Applicata, Università di Modena e Reggio Emilia.Polynomial Invariants of 3-Manifolds Induced by Gifs. 2010. (Seminário).

8.
Avanços e Perspectivas da Ciência no Brasil, América Latina e Caribe. System of Curves in Surfaces with Minimum Number of Crossings. 2009. (Congresso).

9.
III Congresso Latino-Americano de Matemáticos, Santiago, Chile. Geometrization of graphs on surface. 2009. (Congresso).

10.
Seminário de Pesquisa no Departamento de Ciência da Computação, IME-USP.A Polynomial Algorithm to Find Minimum Crossing Curves. 2009. (Seminário).

11.
Workshop on Discrete Structures, Complexity and Algorithms. 2009. (Oficina).

12.
XXVII Colóquio Brasileiro de Matemática. A Polynomial Algorithm to Find Minimum Crosing Curves. 2009. (Congresso).

13.
Invariants on Low Dimensional Topology, Oberwolfach, Germany.State sums producing regular isotopy invariants of links having a polynomial number of states. 2008. (Encontro).

14.
Workshop em Fundamentos da Ciência da Computação: Algoritmos Combinatórios e Estruturas Discretas. Blinks and 3-Manifolds. 2007. (Congresso).

15.
Fundação Cesgranrio.Multiplicação de Provas para Dificultar Fraudes em Concursos. 2005. (Seminário).

16.
Knots in Washington XX: 60th Birthday of Louis Kauffman, George Washington University. Blobs and Flips on Gems. 2005. (Congresso).

17.
XXV Colóquio Brasileiro de Matemática. Blobs and Flips and Gems. 2005. (Congresso).

18.
I Encontro Norte-Nordeste de Matemática Aplicada e Computacional. MIXnFIX: Geração, Individualização e Correção Automática de Provas. 2004. (Congresso).

19.
II Bienal da Sociedade Brasileira de Matemática. MIXnFIX: Um Sistema para Avaliação Continuada. 2004. (Congresso).

20.
Palestra na PUC: Rio de Janeiro.Empacotamento de retângulos e caixas. 2004. (Outra).

21.
Palestra no Instituto de Matemática e Estatística da USP.MIXnFIX: Um sistema para avaliação continuada. 2004. (Outra).

22.
III Encontro Regional de Matemática Aplicada e Computacional.Phormas e empacotamento de caixas. 2003. (Encontro).

23.
Mathematical Programming in Rio - A Conference in Honour of Nelson Maculan.Gem moves. 2003. (Encontro).

24.
Workshop on combinatorics, algorithms and applications. Recouplings in gems and PL-manifold. 2003. (Congresso).

25.
XXVI Congresso Nacional de Matemática Aplicada e Computacional. Cortes Industriais: Confluência de Técnicas Matemáticas para Evitar Desperdício. 2003. (Congresso).

26.
Bienal da Sociedade Brasileira de Matemática.Empacotamento e corte industriais: confluência de técnicas matemáticas para evitar desperdício. 2002. (Simpósio).

27.
Colóquio da Pós-Graduação do Departamento de Matemática da UFPE.Corte e Empacotamento: Teoria e Prática. 2002. (Encontro).

28.
Latin American Workshop on Cliques of Graphs. A solution for the 2-face colorable Gauss code problem in the Klein Bottle. 2002. (Congresso).

29.
Palestra no Instituto de Matemática da UFRGS.Empacotamento de Cortes Industriais: Confluências de Técnicas Matemáticas para Evitar Desperdício. 2002. (Seminário).

30.
Reunião Regional da Academia Brasileira de Ciências.Efficient algorithms for packings boxes into containers. 2002. (Encontro).

31.
XXV Congresso Nacional de Matemática Aplicada e Computacional. Empacotamento de caixas: o patinho feio das empresas de transporte e consultoria de logística. 2002. (Congresso).

32.
International Workshop on Numerical Linear Algebra, Numerical Methods for PDE and Optimization. ExpedPlex: A system for packing boxes in pallets and containers. 2001. (Congresso).

33.
Palestra no Departamento de Ciências de Computação e Estatística do Instituto de Ciências Matemáticas e de Computação da USP, São Carlos.Um Algoritmo Uniforme Recursivo para Carregar Caixas dentro de um Contêiner. 2000. (Seminário).

34.
I Workshop in Combinatorics and Discrete Structures em homenagem ao Prof. W.T.Tutte.Tutte's Polynomial, Kauffman's Bracker and Witten-Reshetikhin-Turaev Invariants of 3-Manifolds. 1999. (Encontro).

35.
Seminário de Geometria e Topologia do Departamento de Matemática da UFPE.Problemas e Conjecturas em 3-Variedades. 1999. (Seminário).

36.
XXII Colóquio Brasileiro de Matemática. 3-Variedades e Cálculo Diagramático em Grafos. 1999. (Congresso).

37.
Colóquio Brasileiro de Matemática. Problemas combinatórios na alocação de horários de ônibus urbanos. 1997. (Congresso).

38.
Congresso Nacional de Transportes. BusOmni: Um sistema para elaboração de quadros de horários e escalas de serviços para empresas de ônibus urbanos. 1997. (Congresso).

39.
Departamento de Engenharia de Produção da Universidade Federal de São Carlos.Algoritmos exatos relacionados com o problema de 'Crew Scheduling'. 1997. (Seminário).

40.
Departamento de Matemática da Universidade de Brasília.Calibragem combinatória do problema da escala de serviços em empresas de ônibus urbanos. 1997. (Seminário).

41.
II Panamerican Workshop on Applied and Computational Mathematics. Aspectos práticos do problema do corte de estoque. 1997. (Congresso).

42.
XI Congresso de Ensino e Pesquisa em Transporte. BusOmni: Um sistema para a elaboração de quadros de horários e escalas de serviços para ônibus urbanos. 1997. (Congresso).

43.
XX Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional. Aspectos práticos do problema do corte de estoque. 1997. (Congresso).

44.
XXIX Congresso da SOBRAPO. BusOmni: Um sistema de otimização para alocação de equipes aos quadro de horários de ônibus urbanos. 1997. (Congresso).

45.
Congresso Brasileiro de Topologia. A new local reducing configuration in 3-gems. 1996. (Congresso).

46.
Encontro de Álgebra, Sistemas Dinâmicos e Topologia. 1994. (Encontro).

47.
Encontro de Álgebra, Sistemas Dinâmicos e Topologia.Invariantes e Atratores para 3-Variedades. 1994. (Encontro).

48.
Mini-curso ministrado na School of Topological Defects. Gems and quantum invariants for 3-manifolds. 1994. (Congresso).

49.
XXV Reunião anual da SBPC e no Departamento de Matemática-UFBA. A matemática evitando desperdícios na indústria. 1993. (Congresso).

50.
Congress on Geometric and Differential Topology. K4-Symmetry and charged strings presentationof 3-manifolds. 1992. (Congresso).

51.
Congress on Geometric and Differential Topology. Diagrammatic Jones-Wenzel Projectors. 1992. (Congresso).

52.
Congress on Geometric and Differential Topology. q-Spin networks, Matveev-Piergallini moves and 3-manifold invariants. 1992. (Congresso).

53.
Congress on Geometric and Differential Topology. Recoupling theory via the Temperley-Lieb algebra. 1992. (Congresso).

54.
Consejo Superior de Investigaciones Cientificas.A combinatorial approach to quantum 3-manifold invariants. 1992. (Outra).

55.
Departamento de Matemática da Universidade de Lisboa.Uma teoria de strings para variedades com ações kleidianas. 1992. (Seminário).

56.
Dipartimento di Matematica dell'Università di Bologna.Diagrammatic Temperly-Lieb invariants for 3-manifolds. 1992. (Seminário).

57.
Dipartimento di Matematica Pura ed Applicata, Università di Modena e Reggio Emilia.3-manifold invariants. 1992. (Seminário).

58.
Faculté des Sciences de Luminy.A combinatorial approach to recent 3-manifold invariants. 1992. (Seminário).

59.
Universidad Nacional de Educación a Distancia.New Invariants for 3-Manifolds. 1992. (Seminário).

60.
Workshop on Topology. A string Theory for 3-manifolds. 1992. (Congresso).

61.
Departamento de Matemática da Universidade Estadual de Campinas.Novos invariantes combinatórios para 3-variedades. 1991. (Seminário).

62.
Encontro de Teoria da Computação e Combinatória (USP, São Paulo).Topological/combinatorial games; a hard case - the recognition of S3. 1991. (Encontro).

63.
Instituto de Matemática Pura e Aplicada (IMPA).Alguns problemas computacionais associados a 3-variedades. 1991. (Seminário).

64.
XVIII Colóquio Brasileiro de Matemática. A 3-manifold invariant by state summation. 1991. (Congresso).

65.
Colloquium of the Mathemaytical Department, University of Illinois, Chicago, USA.The Topological Recognition of 3-Manifolds Given by Colored Graphs. 1990. (Seminário).

66.
Combinatorics Seminar of the Mathematical Department of University of Illinois.Combinatorics of three-manifolds. 1990. (Seminário).

67.
Meeting on Computer Graphics and Pure Mathematics, University of Iowa, USA.Mathematical sculptures emerging from minimal forms of 3- manifolds. 1990. (Encontro).

68.
Reunião da Sobrapo.Um algoritmo prático para o corte bidimensional. 1989. (Encontro).

69.
Workshop da International Mathematical Union, USP, São Paulo.Efective generation of 3-manifolds via colored graphs. 1988. (Encontro).

70.
XVI Colóquio Brasileiro de Matemática. Diagramas planares formais e 3-variedades - Sessão Especial de Computação e Combinatória. 1987. (Congresso).

71.
XVI Colóquio Brasileiro de Matemática (Comunicação). Sobre o grupo de vértices de uma 3-variedade ( Comunicação ). 1987. (Congresso).

72.
Departamento de Matemática da Universidade de Brasília.Alguns resultados na teoria de gemas. 1986. (Seminário).

73.
Departamento de Matemática da Universidade Estadual de São Carlos.Achando caminhos aresta-disjuntos numa classe de grafos planares. 1986. (Seminário).

74.
I Congresso Internacional de Pesquisa Operacional de Santa Maria. An uncrossing algorithm for the multicommodity flow problem in plane graphs. 1986. (Congresso).

75.
V Congresso Brasileiro de Topologia, Universidade Estadual de São Paulo. Um cálculo diagramático para 3-variedades. 1986. (Congresso).

76.
I Congresso Internacional de Otimização Combinatória, IMPA, Rio de Janeiro. Routing on a trivalent grid. 1985. (Congresso).

77.
IV Conferência Internacional de Topologia e suas Aplicações, Dubrovnik, Iugoslávia. 3-manifolds from planar graphs: a connection between matroids and 3-manifolds. 1985. (Congresso).

78.
Reunião Regional da SBMAC, Recife.Atribuição a executores de tarefas com horários conflitantes - uma aplicação de matróides. 1985. (Encontro).

79.
Seminário de Pesquisa, Università di Bologna, Italia.A diagrammatical calculus for 3-manifolds. 1985. (Seminário).

80.
Seminario de Pesquisa da Universidade de Modena, Itália.Topological-combinatorial aspects in the design of printed board circuits. 1985. (Seminário).

81.
Seminário de Pesquisa na USP (São Paulo, SP) e UFMG (Belo Horizonte, MG).Labirintos em FILIA - Um software sofisticado em pseudo-código?. 1985. (Seminário).

82.
I Semana de Métodos Quantitativos, Recife, PE.Combinatória e experimentos balanceados. 1984. (Encontro).

83.
Reunião Regional da Sociedade Brasileira de Matemática.Um gosto de matróide no confronto Heurística x Matemática. 1984. (Encontro).

84.
V Congresso Regional de Informática. FILIA - Extensibilidade, concorrência, modularização.. 1983. (Congresso).

85.
Departamento de Computação da Universidade federal de Minass Gerais.FILIA - Uma linguagem alinhavada. 1982. (Seminário).

86.
Seminário de Pesquisa no Departamento de Computação da UFMG.Grafos coloridos e 3-variedades. 1982. (Seminário).

87.
Seminario de Pesquisa no Departamento de Computação do IME-USP (São Paulo).Grafos coloridos e variedades tridimensionais. 1982. (Seminário).

88.
Seminario de Pesquisa no Departamento de Computação do IME-USP (São Paulo).Grafos coloridos e a classificação das superficies. 1982. (Seminário).

89.
II Escola de Computação. Um problema NP-completo na topologia de superfícies - solubilidade polinomial para o caso do plano projetivo. 1981. (Congresso).

90.
Reunião da Sociedade Brasileira de Matemática.Domesticando o Terror Húngaro. 1981. (Encontro).

91.
Seminário de Pesquisa no IMPA e na UnB.Topologia e algoritmos combinatórios. 1981. (Seminário).

92.
Seminário de Pesquisa no Departamento de Matemática da UnB.Mergulhos celulares de grafos em superfícies. 1980. (Seminário).

93.
Seminario de Pesquisa no Department of Combinatorics and Optimization, University of Waterloo.The orientable genus of projective cubic graphs. 1980. (Seminário).



Orientações



Orientações e supervisões em andamento
Tese de doutorado
1.
Itacira Silva. A Geometria dos Buracos de Minhoca Divinos. Início: 2014. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).

2.
Diogo Henriques. Criação de Beleza Plástica a partir de 3D-Universos. Início: 2014. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. (Orientador).

3.
Karline de Valésio Pinto. Os sons dos 3D-Universos. Início: 2014. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Takanni Hannaka Abreu Kang. Problemática de Classificação com FirstTradeOff e Alocação de Recursos em Sistemas de Energia Elétrica.. 2018. Dissertação (Mestrado em Engenharia de Producao) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Coorientador: Sóstenes Luiz Soares Lins.

2.
Débora Virgínia Ramos Barbosa Cassimiro. Teoria Enumeraqtiva de Polya. 2017. Dissertação (Mestrado em Ciência da Informação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. Orientador: Sóstenes Luiz Soares Lins.

3.
Fábio Happ Botler. Uma redução do problema de fatorização de inteiros para o problema de programação 0-1. 2011. Dissertação (Mestrado em Matemática) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Sóstenes Luiz Soares Lins.

4.
Wagner Ferreira Santos. Teorema de geometrização para girassóis de grafos com valência mínima 3. 2008. Dissertação (Mestrado em Matemática) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Sóstenes Luiz Soares Lins.

5.
Jalila Rios dos Santos. Partição de matróides, conjuntos co-geradores e bridge-it. 2003. Dissertação (Mestrado em Matemática) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Sóstenes Luiz Soares Lins.

6.
Pedro Mário Cruz e Silva. Problemas Lineares com limites inferiores e superiores variáveis. 1998. 0 f. Dissertação (Mestrado em Matemática) - Universidade Federal de Pernambuco, . Orientador: Sóstenes Luiz Soares Lins.

7.
Tereza Raquel Brito de Melo. Interseção de Matróides com Pesos. 1998. 0 f. Dissertação (Mestrado em Matemática) - Universidade Federal de Pernambuco, . Orientador: Sóstenes Luiz Soares Lins.

8.
Fernando Souza. Correspondência entre 3-Gems e algumas representações clássicas de 3-Variedades. 1995. 0 f. Dissertação (Mestrado em Matemática) - Universidade Federal de Pernambuco, . Orientador: Sóstenes Luiz Soares Lins.

9.
Cassiano Ricardo Berenguer Durand. Geração e Classificação de Variedades Tridimensionais. 1992. 0 f. Dissertação (Mestrado em Matemática) - Universidade Federal de Pernambuco, . Orientador: Sóstenes Luiz Soares Lins.

10.
Cleide Soares Martins. Um algoritmo gráfico para o lema de Ferri. 1989. 0 f. Dissertação (Mestrado em Matemática) - Universidade Federal de Pernambuco, . Orientador: Sóstenes Luiz Soares Lins.

11.
Washington Bomfin. Solução Modular de Sistemas Lineares. 1986. 0 f. Dissertação (Mestrado em Matemática) - Universidade Federal de Pernambuco, . Orientador: Sóstenes Luiz Soares Lins.

12.
Manoel Lemos. Caracterização de matróides regulares. 1984. 0 f. Dissertação (Mestrado em Matemática) - Universidade Federal de Pernambuco, . Orientador: Sóstenes Luiz Soares Lins.

Tese de doutorado
1.
Ricardo Nunes Machado Junior. Framed link presentations of 3-manifolds by an efficient polynomial algorithm. 2013. Tese (Doutorado em Matemática) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Sóstenes Luiz Soares Lins.

2.
Cláudio Tadeu Cristino. Risco e Confiabilidade sobre Estruturas Combinatórias: Uma Modelagem para redes Elétricas. 2008. Tese (Doutorado em Matemática) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Sóstenes Luiz Soares Lins.

3.
Jalila Rios Santos. AST: Um modelo para automação de horários escolares. 2008. Tese (Doutorado em Matemática Computacional) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Sóstenes Luiz Soares Lins.

4.
Lauro Didier Lins. Blink: A language to view, recognize, classify and manipulate 3D-spaces. 2007. Tese (Doutorado em Matemática Computacional) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Sóstenes Luiz Soares Lins.

5.
Emerson Alexandre de Oliveira Lima. Códigos de Gauss não 2-face coloráveis em RP2. 2003. 78 f. Tese (Doutorado em Matemática) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Sóstenes Luiz Soares Lins.

6.
Michele Mulazzani. Caratterizzazione Topologica degli Spazi di Lins e Mandel. 1994. Tese (Doutorado em Matematica) - Università di Bologna, . Coorientador: Sóstenes Luiz Soares Lins.



Inovação



Projetos de pesquisa


Educação e Popularização de C & T



Artes Visuais
1.
LINS, S. GodWormHoles3Emanações e outras Emanações Artísticas da Setima Dimensão. 2014. Escultura.



Outras informações relevantes


O período 2008-2013 foi um dos mais profícuos de minha carreira como pesquisador.
Desenvolvi um algoritmo quadrático para encontrar deformação por hotopias livres 
num sistema de curvas fechadas com o menor número de cruzamentos possíveis 2008-2010.
Publiquei artigo em colaboração com Gauss Cordeiro em 2010.
Entre 2012-2013 Postei 12 artigos no arXiv 2012-2013. Alguns estão submetidos à revista Qualis A.
O meu perfil no Google Scholar está na URL: http://scholar.google.com.br/citations?user=7s-Ax68AAAAJ&hl=pt-BR.
Minha página na internet está em http://sosteneslins.wix.com/sostenes
Tenho convite da World Scientific para publicar meus resultados recentes na forma de Monografia de Pesquisa.
A World Scientific é a Editora que tem contrato de exclusividade para pubicar os ganhadores do Prêmio Nobel.
Postei (Junho de 2013) na Internet uma carta aberta à Presidência do CNPq e da Academia Brasileira de Ciências para
que o Lattes aprenda a diferenciar Livro Didádico de Monografia de Pesquisa Original. Esta lamentável miopia do Lattes
vem me prejudicando nos últimos 19 anos: tenho um artigo que continua extemamente influente com 463 citações, sendo
14 em 2013, 47 entre 2012-2013, 107 entre 2009-2013, que simplesmente é ignorado pelo Lattes, porque é livro. Isto é um
absurdo e uma injustiça.



Página gerada pelo Sistema Currículo Lattes em 20/01/2019 às 20:08:53