Sóstenes Luiz Soares Lins

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 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 as 3-variedades. Em época de ciência descartável (focada em número de publicações dissociadas do conteúdo), orgulha-se de não transigir e 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. Desde Setembro 2013 deslanchou o Projeto GemBlinks/UNIVs que tem grande sucesso em divulgar a Topologia e Matemática. Entre 14-20/9/2014, o Shopping Center RioMar 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). 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, na Engenharia de Produção, na Reitoria da UFPE e na entrada do prédio da Biblioteca Central. Com seu aluno Diogo Henriques publicou (em 2018) no JKTR onde se mostra que 3-variedades são classes combinatórias de grafos planos. Co-autor de artigo publicado em revista 1A da Quimica (2018), trabalho motivado pelos UNIVs. Em 2018-2019 voltou a investir em reformulacões para MaxCut e em 2019 fez progresso implicando que existe alta probabilidade de P=NP. Este é o tópico fundamental de sua pesquisa atual.

Informações coletadas do Lattes em 10/11/2024

Acadêmico

Formação acadêmica

Doutorado em Combinatorics And Optimization

1976 - 1980

University of Waterloo
Título: Graphs of Maps
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

Mestrado em Matemática

1972 - 1974

Universidade Federal de Pernambuco
Título: Não havia dissertação de mestrado.,Ano de Obtenção: 1974
Orientador: José Morgado Júnior

Graduação em Bacharelado Em Matemática

1970 - 1972

Universidade Federal de Pernambuco

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.

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Espanhol

Compreende Razoavelmente, Lê Razoavelmente.

Francês

Compreende Razoavelmente, Lê Razoavelmente.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Geometria e Topologia/Especialidade: Topologia das Variedades.

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada/Especialidade: Matemática Discreta e Combinatória.

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.

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.

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.

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.

Participação em eventos

Apresentação do Projeto GemBlinks/UNIVs ao Reitor Anísio Brasileiro/UFPE. Nascimento do Projeto GemBlinks/UNIVs. 2013. (Exposição).

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).

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).

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).

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).

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

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

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).

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

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).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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).

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

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

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).

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

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).

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

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).

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).

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

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

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

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).

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).

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).

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

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).

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

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).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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).

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

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

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

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).

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

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

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

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

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

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

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).

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

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

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

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

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

Participação em bancas

Aluno: Fábio Happ Botler

LINS, S.. 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.

Aluno: Gabriel de Morais Coutinho

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

Aluno: Nivan Roberto Ferreira Júnior

LINS, S.. Conexões e Transporte Paralelo: Abordagem Computacional. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Antonio José Ferreira Gomes Junior

LINS, S.. Elementos Pertencentes à Tríade em Matróides 3-Conexas. 2009. Dissertação (Mestrado em Matemática) - Universidade Federal de Pernambuco.

Aluno: Wagner Ferreira Santos

LINS, S.. 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.

Aluno: José Laudelino de Menezes Neto

LINS, S.. Círculos Removíveis em Grafos. 2008. Dissertação (Mestrado em Matemática) - Universidade Federal de Pernambuco.

Aluno: Karla Ferreira de Sousa Arruda

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

Aluno: Lilian Maria Santos

LINS, S.. 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.

Aluno: Arnaldo Jovanini Montagner

LINS, S.; STOLFI, J.; LEE, O.. 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.

Aluno: João Paulo Costa Longa

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

Aluno: Jalila Rios dos Santos

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

Aluno: Márcio Roberto Rocha Ribeiro

LINS, S.. O Posto da Interseção de Subgrupos de um Produto Livre de Grupos. 1999. Dissertação (Mestrado em Matemática) - Universidade de Brasília.

Aluno: Yoshiharu Kohayakawa

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

Aluno: Ricardo Nunes Machado Junior

LINS, S.; LEMOS, M.;MELO, S. B.; CASTRO, P. M. M.; STOLFI, J.. Framed Link Presentations of 3-Manifolds by an Efficient Polynomial Algorithm. 2013. Tese (Doutorado em Matemática) - Universidade Federal de Pernambuco.

Aluno: Ives Lima de Jesus

LINS, S.. Matróides 3-conexas menores-minimais possuindo uma matróide circular como menor fixado. 2012. Tese (Doutorado em Matemática) - Universidade Federal de Pernambuco.

Aluno: Mário Leston Rey

WAKABAYASHI, Y.; PINA JUNIOR, J. C.; LEE, O.; CARVALHO, M. H.;LINS, S.. 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.

Aluno: Maria Isabelle Silva

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

Aluno: João Paulo Costa Longa

LINS, S.. 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.

Aluno: Fernando Antônio Nórbrega Santos

LINS, S.. Topologia, Simetria e Transições de Fase em Modelos de Spin. 2009. Tese (Doutorado em Física) - Universidade Federal de Pernambuco.

Aluno: Andréa Vanessa Rocha

LINS, S.. Substitution Operators. 2009. Tese (Doutorado em Matemática Computacional) - Universidade Federal de Pernambuco.

Aluno: Ademakson Souza Araújo

LINS, S.. Matróides Binárias com Circunferências 6. 2009. Tese (Doutorado em Matemática Computacional) - Universidade Federal de Pernambuco.

Aluno: Líliam César de Castro Medeiros

LINS, S.. Um Modelo de Difusão da Infecção pelo Vírus da Dengue. 2008. Tese (Doutorado em Matemática Computacional) - Universidade Federal de Pernambuco.

Aluno: Jalila Rios dos Santos

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

Aluno: Claudio Tadeu Cristino

LINS, S.. Confiabilidade sobre Estruturas Combinatórias: Uma Modelagem para Redes Elétricas. 2008. Tese (Doutorado em Matemática) - Universidade Federal de Pernambuco.

Aluno: Lauro Didier Lins

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

Aluno: Tereza Raquel Brito de Melo Conde

LINS, S.. Hiperplanos Conexos em Matróides Binárias. 2005. Tese (Doutorado em Matemática) - Universidade Federal de Pernambuco.

Aluno: Glauber Ferreira Cintra

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

Aluno: Emerson Alexandre de Oliveira Lima

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

Aluno: Luis Arturo Perez Lozada

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

Aluno: Helena Cristina Gama Leitão

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

Aluno: Carlos Frederico do Amaral Cid

LINS, S.. Grupos de Bieberbarch Metabelianos com Quociente Derivado Finito. 1999. Tese (Doutorado em Matemática) - Universidade de Brasília.

Aluno: Wagner Ferreira dos Santos

LINS, S.; LEMOS, M.; SANTOS, J. R.. Some Applications of Integer Programming. 2012. Exame de qualificação (Doutorando em Matemática) - Universidade Federal de Pernambuco.

Aluno: Ricardo Nunes Machado Junior

LINS, S.. 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.

Aluno: Antonio José Ferreira Gomes Junior

LINS, S.. 14/09/2010. 2010. Exame de qualificação (Doutorando em Matemática) - Universidade Federal de Pernambuco.

Aluno: Carla Ferreira de Arruda Duque

LINS, S.. 14/09/2010. 2010. Exame de qualificação (Doutorando em Matemática) - Universidade Federal de Pernambuco.

Aluno: Maria Isabelle Silva Borges

LINS, S.. 12/03/2010. 2010. Exame de qualificação (Doutorando em Matemática Computacional) - Universidade Federal de Pernambuco.

Aluno: Ives Lima de Jesus

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

Aluno: Julio Cesar de Souza Almeida

LINS, S.. 17/09/2008. 2008. Exame de qualificação (Doutorando em Matemática) - Universidade Federal de Pernambuco.

Aluno: Tiago Marques Madureira

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

Aluno: Adriano Regis Melo Rodrigues da Silva

LINS, S.. 11/03/2008. 2008. Exame de qualificação (Doutorando em Matemática) - Universidade Federal de Pernambuco.

Aluno: Isis Gabriella de Arruda Quinteiro da Silva

LINS, S.. 11/03/2008. 2008. Exame de qualificação (Doutorando em Matemática) - Universidade Federal de Pernambuco.

Aluno: Hélio Machado da Silva Porto Neto

LINS, S.. 08/03/2007. 2007. Exame de qualificação (Doutorando em Matemática) - Universidade Federal de Pernambuco.

Aluno: Rodrigo José Gondim Neves

LINS, S.. 08/03/2007. 2007. Exame de qualificação (Doutorando em Matemática) - Universidade Federal de Pernambuco.

Aluno: Christiane Neme Campos Toledo

LINS, S.. 23/11/1999. 1999. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

LINS, S.. Concurso do Departamento de Teoria da Computação do Instituto de Computação da UNICAMP. 2012. Universidade Estadual de Campinas.

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.

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.

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.

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

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.

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

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

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

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

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

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.

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.

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.

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

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.

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.

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.

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.

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.

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.

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

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.

Orientou

Amanda da Silva Xavier

Sequenciamento de Lotes em Máquinas Paralelas Uniformes; Início: 2018; Dissertação (Mestrado em Engenharia de Produção) - Universidade Federal de Pernambuco; (Orientador);

Andersson Alves da Silva

Uma Abordagem Heurística para o Problema do Carteiro Chinês na Coleta de Lixo Urbano; Início: 2018; Dissertação (Mestrado em Engenharia de Produção) - Universidade Federal de Pernambuco; (Orientador);

DANIEL BRUNO LOPES DA SILVA

Estudo do Problema do Cojunto Fechado de Peso Máximo: Aspectos Matemáticos, Algoritmos e Aplicações; 2019; Dissertação (Mestrado em Engenharia de Produção) - Universidade Federal de Pernambuco,; Orientador: Sóstenes Luiz Soares Lins;

[Nome removido após solicitação do usuário]

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;

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;

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;

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;

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;

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;

Tereza Raquel Brito de Melo Conde

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;

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;

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;

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;

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;

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;

Diogo Brandão Borborema Henriques

An O(|E|)-linear Formulation for the Max Cut Problem; 2019; 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: Sóstenes Luiz Soares Lins;

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;

Claudio 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;

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;

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;

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;

Michele Mulazzani

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

Produções bibliográficas

LINS, 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.
Cordeiro, 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.
LINS, 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.
LINS, 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.
LINS, 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.
CRISTINO, 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.
LINS, S. ; MULAZZANI, M. . BLOBS AND FLIPS ON GEMS. Journal of Knot Theory and its Ramifications , Estados Unidos, v. 15, p. 1001-1035, 2006.
LINS, S. ; LINS, L. ; MELO, S. B. . Phorma: perfectly hashable order restricted multidimensional arrays. Discrete Applied Mathematics , v. 141, p. 209-223, 2004.
LINS, 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.
LINS, 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.
LINS, S. ; MULAZZANI, M. . Isomorphisms and homeomorphisms of a class of graphs and spaces. Aequationes Mathematicae (Print) , v. 64, p. 110-127, 2002.
LINS, 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.
LINS, S. . Thin-G Theory and Local Moves for Gems. Advances in Mathematics (New York. 1965) , v. 143, p. 251-283, 1999.
LINS, 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.
LINS, S. . Twistors bridges among 3-manifolds. Discrete Mathematics , v. 177, p. 145-165, 1997.
LINS, S. . On the vertex group of n-manifolds. Geometriae Dedicata , v. 62, p. 53-64, 1996.
LINS, S. . An effective algorithm to get linking numbers of 3-manifolds. Aequationes Mathematicae (Print) , v. 49, p. 214-233, 1995.
LINS, 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.
LINS, 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.
LINS, 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.
LINS, 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.
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.
LINS, 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.
LINS, 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.
KAUFFMAN, LOUIS ; LINS, SÓSTENES . Decomposition of the vertex group of 3-manifolds. Discrete Mathematics , v. 103, p. 49-55, 1992.
LINS, S. . Topological aspects of edge fusions in 4-graphs. Journal of Combinatorial Theory. Series B (Print) , v. 51, p. 227-243, 1991.
KAUFFMAN, L. H. ; LINS, S. . Computing Turaev-Viro invariants for 3-manifolds. Manuscripta Mathematica , v. 72, p. 81-94, 1991.
LINS, S. . Invariant groups on equivalent cristallizations. European Journal of Combinatorics , v. 10, p. 575-584, 1989.
LINS, S. . Traversing Trees and scheduling tasks for duplex corrugator machines. Pesquisa Operacional , São Paulo, v. 9, p. 40-54, 1989.
LINS, 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.
LINS, S. . The Gauss code problem off the plane. Aequationes Mathematicae (Print) , v. 33, p. 81-95, 1987.
LINS, S. . Paintings: A planar approach to higher dimensions. Geometriae Dedicata , v. 20, p. 1-25, 1986.
LINS, S. . Towards a catalog of 3-manifold cristallizations. Atti Del Seminario Matematico e Fisico Dell'universitá de Modena, v. 57, p. 261-284, 1985.
LINS, S. . A simple proof of Gagliardi's handle recognition theorem. Discrete Mathematics , v. 57, p. 253-260, 1985.
LINS, S. . Combinatorics of orientation reversing polygons. Aequationes Mathematicae (Print) , v. 29, p. 123-131, 1985.
LINS, S. ; MANDEL, A. . Graph-encoded 3-manifolds. Discrete Mathematics , North-Holland, v. 57, p. 261-284, 1985.
LINS, S. . The existence of skew strong starters in Z_16k2+1: A simpler proof. Ars Combinatoria , v. 11, p. 123-129, 1982.
LINS, S. . Graph-encoded maps. Journal of Combinatorial Theory. Series B (Print) , v. 32, p. 171-181, 1982.
LINS, S. . A minimax theorem on circuits in projective graphs. Journal of Combinatorial Theory. Series B (Print) , v. 30, p. 253-262, 1981.
LINS, S. . A sequence representation for maps. Discrete Mathematics , v. 30, p. 249-263, 1980.
LINS, S. . Gems, Computers and Attractors for 3-Manifolds. 1. ed. London: World Scientific, 1995. v. 1. 450p .
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 .
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.
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.
XAVIER, A. S. ; LINS, S ; SILVA, A. A. . Sequenciamento de tarefas em máquinas paralelas uniformes em processo de fabricação de eva e calçados. In: 51º Simpósio Brasileiro de Pesquisa Operacional, 2019, Limeira. LI SBPO, September 2-6, 2019, Limeira, SP, Brazil. Rio de Janeiro: Proceedings of the Brazilian Symposium on Operations Research, 2019. v. 2.
SILVA, A. A. ; LINS, S ; XAVIER, A. S. . Problema do Carteiro Chinês para rotas de leituristas de ruas. In: XXXIX Encontro Nacional de Engenharia de Produção, 2019, Santos/SP. Anais do XXXIX ENEGEP. Rio de Janeiro: Editora ABEPRO, 2019.
XAVIER, A. S. ; LINS, S ; SILVA, A. A. . SEQUENCIAMENTO DA PRODUÇÃO: UMA REVISÃO SISTEMA EM ESTUDOS DE CASOS. In: XXXIX Encontro Nacional de Engenharia de Produção, 2019, Santos/SP. XXXIX ENEGEP. Rio de Janeiro: Editora ABEPRO, 2019.
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.
LINS, S. . CONJUG: Um sistema para diminuir perdas no corte industrial de chapas, barras, bobinas. In: XXI Congresso Nacional de Informática, 1988, 1988.
LINS, S. . An uncrossing algorithm for the multicommodity flow problema in plane graphs. In: Primeiro Encontro Internacional de Pesquisa Operacional, 1986, Santa Maria.
LINS, S. ; PRAGANA, R. . FILIA: Extensividade, concorrência, modularização. In: 5o Congresso Regional de Informática, 1983, Recife.
LINS, S. . Gems and Maps Dualities. In: CORR 80-15, 1980, Waterloo, 1980.
LINS, S. . Euler Tours with Distinct Transitions. In: CORR 79-35, 1979, Waterloo, 1979.
LINS, S. . Construction of Cubic Cyclically 4-connect Projective Graphs. In: CORR 78-03, 1978, Waterloo, 1978.
LINS, S. . A projective Minimax Equality. In: CORR 78-30, 1978, Waterloo, 1978.
LINS, S. . A Theoretical Solution for the Hungarian Cube Problem. In: CORR 78-31, 1978, Waterloo, 1978.
SILVA, A. A. ; LINS, S ; XAVIER, A. S. . PROBLEMA DO CARTEIRO CHINÊS DIRECIONADO NA COLETA DE LIXO URBANO. In: LI Simpósio Brasileiro de Pesquisa Operacional, 2019, Limeira. LI SBPO, September 2-6, 2019, Limeira, SP, Brazil. Rio de Janeiro: Proceedings of the Brazilian Symposium on Operations Research, 2019. v. 2.
Silva, Frederico ; LINS, SÓSTENES ; Simas, Alfredo . Stereoisomerism in Lanthanide Complexes: Enumeration, Chirality, Identification, Random Coordination Ratios. INORGANIC CHEMISTRY , 2018.
LINS, S . Generalizando a Dança de Conway. 2012. (Apresentação de Trabalho/Conferência ou palestra).
LINS, S . A Dança de Conway. 2012. (Apresentação de Trabalho/Conferência ou palestra).
LINS, S . Framed Link Presentations of 3-Manifolds by an Effective Polynomial Algorithm. 2012. (Apresentação de Trabalho/Conferência ou palestra).
LINS, S . Grafos, Enlaçamentos e 3-Variedades. 2012. (Apresentação de Trabalho/Conferência ou palestra).
LINS, S . Matemática Pura e Aplicada: Centro de Minha Vida nos Últimos 39 Anos. 2011. (Apresentação de Trabalho/Conferência ou palestra).
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).
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).
JOHNSON, P. M. ; LINS, S. . A graphical calculus for tangles in surfaces. Cornell University Library: arXiv:1210.6681v2 [math.GT], 2013 (Artigo Científico).
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).
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).
LINS, S. . A tougher challenge to 3-manifold topologists and group algebraists. Cornell University Library: arXiv:1305.2617v2 [math.GT], 2013 (Artigo Científico).
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).
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).
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).
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).
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).
LINS, S. . A subtle new invariant for framed oriented knots and links. Cornell University Library: arXiv:1209.4835v2 [math.GT], 2012 (Artigo Científico).
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).
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).
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).
LINS, S . A 3-Variable Bracket. Cornell University Library: arXiv:0805.2066v1 [math.GT], 2008 (Artigo Científico).
LINS, S ; SILVA, V. . On Maps with a Single Zigzag. Cornell University Library: arXiv:0301053v1 [math.CO], 2003 (Artigo Científico).
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).
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).
LINS, S . Graph of maps 1980 (Tese (Doutorado)).

Outras produções

LINS, S. ; LINS, L. D. ; MORABITO, R. . PalletZoom. 1998.

LINS, S. . Sistema SAD. 1997.

LINS, S. . WCJB. 1997.

LINS, S. . Sistema CRR. 1997.

LINS, S. . Sistema BusOmni. 1996.

LINS, S. . WCJO. 1995.

LINS, S. . BINGOTIM. 1992.

LINS, S. . DZNTEX. 1991.

LINS, S. . TURBOLOTO. 1986.

LINS, S. . ORDIGRAF. 1986.

LINS, S. . CONJUG. 1986.

LINS, S. . PIG. 1986.

LINS, S. . BusOmni. 1986.

LINS, S. . LABIRINTOS. 1985.

LINS, S. . ATEXTA. 1985.

LINS, S. . HRAZBRA. 1985.

LINS, S . UNIVs: Novos Horizontes em Arquitetura e Urbanismo. 2014.

LINS, S . GodWormHoles3. 2014. (Maquete).

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

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

Prêmios

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.

Histórico profissional

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:

Experiência profissional

1999 - 1999

Fundação de Apoio à Pesquisa do Distrito Federal

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

1990 - 1990

University of Illinois at Chicago

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

1981 - Atual

Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq

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).

1987 - 1989

Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq

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.

1985 - 1985

Universita di Bologna

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

1999 - 1999

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

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

1985 - 1985

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

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

1982 - 1982

Universidade de São Paulo

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

1974 - 1974

Universidade Federal Rural de Pernambuco

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

Atividades

04/1974 - 08/1974
Pesquisa e desenvolvimento , Departamento de Física e Matemática, Área de Matemática.,Linhas de pesquisa
04/1974 - 08/1974
Ensino, Cálculo, Nível: Graduação,Disciplinas ministradas, Cálculo, Álgebra Linear

1974 - Atual

Universidade Federal de Pernambuco

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

Atividades

09/2006
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
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
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
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
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
09/1974
Pesquisa e desenvolvimento , Centro de Ciências Exatas e da Natureza, Departamento de Matemática.,Linhas de pesquisa
09/1974
Pesquisa e desenvolvimento , Centro de Ciências Exatas e da Natureza, Departamento de Matemática.,Linhas de pesquisa
09/1974
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.

Propriedade Intelectual

Patentes (3)

Tipo	Título	Data depósito
DEPOSITANTE	Quebra-cabeca muda-brasil-jogo topologico de inversao	04/07/1985
DEPOSITANTE	Jogo de montagem rapida de poliedros	27/02/1985
INVENTOR e DEPOSITANTE	Sistema para montagem rapida de poliedros	30/07/1980