Bernardo Lula Júnior

Idiomas

Áreas de atuação

Organização de eventos

Participação em bancas

Orientou

Produções bibliográficas

• Guedes, Elloá B. ; ASSIS, F. M. ; de Assis, F. M. ; LULA JR, B. . Quantum attacks on pseudorandom generators. MSCS. Mathematical Structures in Computer Science (Print) , v. 23, p. 608-634, 2013.

• OLIVEIRA, K. M. A. ; AGUIAR, Y. P. C. ; LULA JR, B. . O Uso de modelos e Múltiplos Protótipos na Concepção de Interface do Usuário. Principia (João Pessoa) , v. 1, p. 15-29, 2007.

• AGUIAR, Y. P. C. ; LULA JR, B. ; Lima, C. . SMILE: uma ferramenta computacional baseada em modelos para geração e manipulação de esboço de interface do usuário. Principia (João Pessoa) , v. 1, p. 30-39, 2007.

• CABRAL, Gustavo Eulálio Miranda ; LIMA, Aércio Ferreira de ; LULA JR, B. . Interpretando o Algoritmo de Deutsch no Interferômetro de Mach-Zehnder. Revista Brasileira de Ensino de Física (São Paulo) , v. 26, n.2, p. 109-116, 2004.

• DELANNOY, J. F. ; LULA JR, B. . Les Interfaces Graphiques: l'Avenir de la Communication Homme-Machine. Cahiers de Linguistique Sociale, Université de Rouen, v. 16, p. 125-140, 1990.

• GUEDES, E. B. ; LULA JR, B. . Autômatos Finitos - com uma introdução aos Autômatos Finitos Quânticos. 1. ed. Campina Grande: Editora da Universidade Federal de Campina Grande, 2009. v. 500. 145p .

• LIMA, Aércio Ferreira de (Org.) ; LULA JR, B. (Org.) . 2o. Workshop-Escola de Computação e Informação Quântica. 1a. ed. Campina Grande: EDUFCG-Editora da Universidade Federal de Campina Grande, 2007. v. 1. 190p .

• LIMA, Aércio Ferreira de ; LULA JR, B. . Computação Quântica: noções básicas utilizando a linguagem de circuitos quânticos. 1a. ed. Campina Grande: EDUFCG- Editora da Universidade Federal de Campina Grande, 2007. v. 1. 84p .

• GUEDES, E.B. ; ASSIS, F. M. ; LULA JR, B. . Ataque Clássico ao Gerador Pseudoaleatório de Blum-Micali. In: Paulo Sausen; Airam Sausen. (Org.). Ataque Clássico ao Gerador Pseudoaleatório de Blum-Micali. 1ed.Ijuí: Editora Unijuí, 2012, v. 2, p. 217-242.

• MONTEIRO, H. A. ; LULA JR, B. . Uma Alternativa Eficiente de Armazenamento e Manipulação de Estruturas Quânticas para Simuladores. In: WECIQ-2010 - III Worshop-Escola de Computação e Informação Quântica, 2010, Petrópolis. III Worshop-Escola de Computação e Informação Quântica. Petrópolis: LNCC - Laboratório Nacional de Computação Quântica, 2010. v. 1. p. 137-146.

• Giuseppe A. N. Lima ; AGUIAR, Y. P. C. ; LULA JR, B. . Impacto do Apoio Metodológico Ferramental a Aspectos de Usabilidade no Ensino Prático da Engenharia de Software. In: XVII Workshop sobre Educação em Informática - WEI2009, 2009, Bento Gonçalves - RS. XXX Congresso da Sociedade Brasileira de Computação, 2009. v. 1. p. 537-546.

• OLIVEIRA, K. M. A. ; LULA JR, B. . Desenvolvimento Evolutivo de Interfaces com o Usuário em uma Abordagem Baseada em Modelos e Múltipla Prototipagem: FastInterface. In: Simpósio Brasileiro de Engenaria de Software - SBES2009, 2009, Fortaleza. SBES2009 - XVI Sessão de Ferramentas. Fortaleza, 2009. v. 1. p. 19-24.

• BARBOSA, A. A. ; LULA JR, B. ; LIMA, Aércio Ferreira de . Symbolic and Numeric Quantum Circuit Simulation. In: First International Conference on Quantum, Nano, and Micro Technologies - ICQNM 2007, 2007, Guadalupe-França Caribenha. First International Conference on Quantum, Nano, and Micro Technologies - ICQNM 2007. Los Alamitos, Califórnia: IEEE Computer Society, 2007. v. 1. p. 1-4.

• LIMA, Aércio Ferreira de ; ISIDRO, C. R. G. ; LULA JR, B. . Considerações sobre as possibilidades de solução quântica para problemas NP-completos. In: 2o. Workshop-Escola de Computação e Informação Quãntica - WECIQ2007, 2007, Campina Grande. Anais do 2o.Workshop-Escola de Computação e Informação Quântica. Campina Grande: EDUFCG - Editora da Universidade Federal de Campína Grande, 2007. v. 1. p. 51-59.

• BARBOSA, A. A. ; LULA JR, B. ; LIMA, Aércio Ferreira de . Uma ferramenta de simulação numérica e simbólica de circuitos quânticos. In: Workshop-Escola de Computação e Informação Quântica, 2006, Pelotas. Anais do Workshop-Escola de Computação e Informação Quântica. Pelotas: Antonio Carlos da Rocha Costa, 2006. v. 1. p. 141-148.

• ISIDRO, C. R. G. ; LULA JR, B. . Um algoritmo para transformar autômatos finitos não-determinísticos em automatos finitos quânticos preservando o número de estados e a linguagem reconhecida. In: Workshop-Escola de Computação e Informação Quântica, 2006, Pelotas. Anais do Workshop-Escola de Computação e Informação Quântica. Pelotas: UCPel-Universidade Católica de Pelotas, 2006. v. 1. p. 161-168.

• CABRAL, Gustavo Eulálio Miranda ; LULA JR, B. ; LIMA, Aércio Ferreira de . Zeno: a New Graphical Tool for Design and Simulation of Quantum Circuits. In: Quantum Information and Computation III - Session : Quantum Architectural Systems, 2005, Orlando. Proceedings of SPIE. Bellingham, WA: SPIE - The International Society for Optical Engineering.Editores: E.J.Donkor, A.Pirich and H.Brandt, 2005. v. 5815. p. 127-137.

• LULA JR, B. ; ALBERT, B. B. ; ASSIS, Francisco Marcos de . Alguns comentários sobre transformadas quânticas. In: 22o SIMPÓSIO BRASILEIRO DE TELECOMUNICAÇÕES - SBrT'05, 2005, Campinas. ANAIS DO 22o SIMPÓSIO BRASILEIRO DE TELECOMUNICAÇÕES - SBrT'05, 2005. v. 22. p. 403-407.

• RODRIGUES, C. E. C. L. ; LULA JR, B. ; RIBEIRO, Pablo Suarez . Using a Script Model to Preserve the Consistency within an UI Design Environnment. In: TAMODIA 2005, 2005, Gdansk. 4th International Workshop on Task Models and Diagramas for User Interface Design. New York: ACM, 2005. v. 4. p. 143-149.

• LULA JR, B. ; ALBERT, B. B. ; ASSIS, Francisco Marcos de . Transformadas Quânticas de Fourier e de Hartley. In: 7o Congresso Brasileiro de Redes Neurais, 2005, Natal. 7o CBRN - Congresso Brasileiro de Redes Neurais, 2005. v. 7. p. 1-6.

• MATOS, E. S. ; BARROS, Marcelo Alves ; LULA JR, B. . Uma Estratégia Híbrida de Ensino-Aprendizagem para Cursos de Design de Interfaces. In: 16o. Simpósio Brasileiro de Informática na Educação, 2005. 16o. Simpósio Brasileiro de Informática na Educação, 2005. v. 16. p. 1-4.

• BEZERRA, E ; SCHIEL, U. ; LULA JR, B. . LITO - A Logic for Indeterminate Temporal Objects. In: 15th International Workshop on Database and Expert Systems Applications, DEXA2004, 2004, Zaragoza. Proceedings of 15th International Workshop on Database and Expert Systems Applications, DEXA2004. v. 1. p. 940-944.

• RIBEIRO, Pablo Suarez ; LULA JR, B. ; BARROS, Marcelo Alves . Applying Knowledge Management in UI Design Process. In: TAsk MOdels and DIAgrams for user interface design - TAMODIA'2004, 2004, Praga. Proceedings of TAsk MOdels and DIAgrams for user interface design - TAMODIA 2004. New York: ACM, 2004. v. 1. p. 113-120.

• MEDEIROS, F. P. A. ; BARBOSA, P. C. ; LULA JR, B. . iTAOS: Suporte à Descrição de Tarefas no Contexto de Interfaces do Usuário. In: 17º Simpósio Brasileiro de Engenharia de Software, 2003, Manaus. 10ª Sessão de Ferramentas do 17º Simpósio Brasileiro de Engenharia de Software. Manaus: EDUA - Editora da Universidade Federal do Amazonas, 2003. v. 1. p. 85-90.

• RIBEIRO, Pablo Suarez ; LULA JR, B. ; RODRIGUES, C. E. C. L. ; GOMES, H. M. ; BARROS, Marcelo Alves ; SANTOS, S. . Representação do Conhecimento e Inteligência Artificial: Uma Estratégia de Apoio ao Projeto de Interfaces Homem-Computador. In: 2° Congresso Brasileiro de Gestão do Conhecimento KMBRASIL2003, 2003, São Paulo. Anais do 2° Congresso Brasileiro de Gestão do Conhecimento KMBRASIL2003, 2003. p. 1-15.

• RIBEIRO, Pablo Suarez ; LULA JR, B. ; BARROS, Marcelo Alves . Uma Estratégia de Gestão do Conhecimento para o Projeto de Interfaces Homem-Computador. In: 2° Congresso Brasileiro de Gestão do Conhecimento KMBRASIL2003, 2003, São Paulo. Anais do 2° Congresso Brasileiro de Gestão do Conhecimento KMBRASIL2003, 2003. p. 1-15.

• GUERRERO, C. V. S. ; LULA JR, B. . A Model-Guided and Task-Based Approach to UI Design Centered in a Unified Interaction and Architectural Model. In: 4th International Conference on Computer-Aided Design of User Interfaces (CADUI), 2002, Valenciennes. Proceedings of the 4th International Conference on Computer-Aided Design of User Interfaces. Dordrecht: Kluwer Academics Publisher, 2002. v. 1. p. 119-130.

• MEDEIROS, F. P. A. ; LULA JR, B. ; BARBOSA, P. C. . iTAOS: a Graphical Tool to Support User's Task Description in UI Design Context. In: V Symposium on Human Factors in Computer Systems, 2002, Fortaleza. Proceedings of the V Symposium on Human Factors in Computer Systems. Fortaleza: BNDE, 2002. v. 01. p. 376-379.

• MEDEIROS, F. P. A. ; LULA JR, B. ; BARBOSA, P. C. . A Graphical Tool to Support Task Description Using TAOS Formalism for UI Design. In: 7th ERCIM Workshop: User Interface for All, 2002, Paris (Chantilly). Adjunct Proceedings of the 7th ERCIM Workshop, 2002. v. 1. p. 45-51.

• FRANCA, M. L. ; LULA JR, B. . Web User's Interfaces Layout. In: IADS International Conference WWW/INTERNET 2002, 2002, Lisboa. Proceedings of the IADS International Conference WWW/INTERNET 2002, 2002. v. 1. p. 491-494.

• BEZERRA, E. P. ; SCHIEL, U. ; LULA JR, B. . A Logic for Representation and Manipulation of Inderterminate Temporal Databases. In: 2nd Congress of Logic Applied to Technology LAPTEC'2001, 2001, São Paulo. Proceedings of the 2nd Congress of Logic Applied to Technology. São Paulo: Pléiade, 2001. v. II. p. 59-66.

• GUERRERO, C. V. S. ; LULA JR, B. . MEDITE: uma Abordagem Baseada em Modelos para a Concepção de Interfaces Ergonômicas. In: Jornadas Chilenas de Computación 2001, 2001, Punta Arenas. Atas IX Encuentro Chileno de Computación 2001, 2001.

• MEDEIROS, J. H. ; KAFURE, I. ; LULA JR, B. . TAOS: a Task-and-Action Oriented Framework for Users Task Analysis in the Context of Human-Computer Interface Design. In: XX International Conference of the Chilean Computer Science Society (SCCC'2000), 2000, Santiago. Proceedings of SCCC'2000, 2000. v. 01. p. 24-31.

• SCHIEL, U. ; BEZERRA, E. ; LULA JR, B. . Toward a Logic for Representation and Retrieval of Incomplete Temporal Objects. In: International Workshop on Computer Science and Information Technology - CSIT'99, 1999, Moscou. Proceedings of the 1st International Workshop on Computer Science and Information Technology. Moscou: MEPhI Publishing, 1999. v. 01. p. 11-17.

• MARTINS, A. ; FERNEDA, E. ; LULA JR, B. . Computação de Analogias via Lógica: uma Análise. In: XIII Simpósio Brasileiro de Inteligência Artificial, 1996, Curitiba, 1996.

• LULA JR, B. ; CHOURAQUI, E. ; SILVA, H. . Automatic Generation of Graphical Interfaces in an Object Programming Environment. In: VI Workshop on Logic Programming Environment, 1994, Padoa. Proceedings LP'94, 1994.

• LULA JR, B. ; CHOURAQUI, E. ; SILVA, H. . Using Logic Programming for Automatic Generation of Graphical Interfaces. In: XI Simpósio Brasileiro de Inteligência Artificial, 1994, Fortaleza, 1994.

• LULA JR, B. ; CHOURAQUI, E. ; SILVA, H. . Automatic Generation of Graphical Interfaces Driven by a Multi-Agent Object Oriented Model. In: CLEI'93, 1993, Buenos Aires, 1993.

• CHIANCA, M. ; LULA JR, B. . Oftalmo: Um Sistema Especialista para Diagnóstico de Síndromes Oculares. In: XIII SEMISH, 1986, Recife, 1986.

• SILVA, H. ; LULA JR, B. ; HAMURABI, J. . Sistemas Especialistas Sugerem Dedução Quantitativa com Motor de Inferência Baseado na Teoria dos Jogos. In: II Simpósio Brasileiro de Inteligência Artificial, 1985, S. José dos Campos, 1985.

• LULA JR, B. . Intuicionismo e o Princípio da Resolução. In: II Seminário Fluminense de Lógica, Filosofia e Teoria da Ciência, 1984, Niterói. Anais do II Seminário Fluminense de Lógica, Filosofia e Teoria da Ciência. Niterói: Universidade Federal Fluminense, 1984.

• LULA JR, B. . Análise Construtivista de um Provador Automático de Teoremas. In: I Simpósio Brasileiro de Inteligência Artificial, 1984, Porto Alegre, 1984.

• CABRAL, Gustavo Eulálio Miranda ; LIMA, Aércio Ferreira de ; LULA JR, B. . Usando o interferômetro de Mach-Zehnder para implementar o algoritmo de Deutsch. In: XXI Enconctro de Físicos do Norte e Nordeste, 2003, Fortaleza, 2003. p. 1-1.

• LIMA, Aércio Ferreira de ; LULA JR, B. ; CABRAL, G. E. . Introdução à Computação Quântica. Campina Grande - PB: Miniblio-DSC/CCT/UFCG, 2003 (Publicação Interna).

• CABRAL, G. E. ; LULA JR, B. . O Estado da Arte em Ferramentas para Síntese e Simulação de Circuitos Quânticos. Campina Grande: Miniblio-DSC, 2003 (Publicação Interna).

• ISIDRO, C. R. G. ; LULA JR, B. . Introdução à Criptografia Clássica e à Criptografia Quântica. Campina Grande-PB: Miniblio-DSC, 2003 (Publicação Interna).

• MEDEIROS, F. P. A. ; BARBOSA, P. C. ; LULA JR, B. . Projeto iTAOS-Modelagem da Tarefa e Fase de Planejamento. Campina Grande-PB: Miniblio DSC/CCT/UFPB, 2002 (Publicação Interna).

• GUERRERO, C. V. S. ; LULA JR, B. . Um Tutorial na Web: obtenção do modelo da interação a partir do modelo da tarefa com o auxílio de regras ergonômicas. Campina Grande - PB: Miniblio-DSC/CCT/UFPB, 2001 (Publicação Interna).

• MEDEIROS, F. P. A. ; LULA JR, B. . Análise e Modelagem da Tarefa. Campina Grande - PB: Miniblio-DSC/CCT/UFPB, 2001 (Publicação Interna).

• LULA JR, B. ; BARBOSA, P. C. . Modelagem da tarefa "Gerenciar Processo de Software" com o formalismo TAOS. Campina Grande-PB: Miniblio DSC/CCT/UFPB, 2001 (Publicação Interna).

• LULA JR, B. . Análise Construtivista de um Provador Automático de Teorema por Resolução. Campina Grande - PB: Miniblio-DSC/CCT/UFPB, 1984 (Publicação Interna).

• LULA JR, B. . Introdução à Lógica Intuicionista. Campina Grande - PB: Miniblio-DSC/CCT/UFPB, 1984 (Publicação Interna).

Outras produções

Projetos de pesquisa

• 2000 - Atual

  Concepção e Desenvolvimento de Interfaces Homem-Computador, Descrição: Desenvolver pesquisa no campo de IHC incorporando esforços e resultados de vários domínios, tais como Inteligência Artificial (IA) e Ergonomia Cognitiva, objetivando a proposição e elaboração de métodos, modelos, metodologias e ferramentas computacionais para a concepção e desenvolvimento de interfaces ergonômicas, isto é, interfaces que proporcionem sistemas com um alto grau de usabilidade. Os objetivos específicos deste projeto de pesquisa podem ser divididos em 2 grupos principais: 1-Desenvolvimento teórico: -Revisão bibliográfica de ferramentas conceituais e computacionais para a concepção e desenvolvimento de interfaces ergonômicas. -Definição de um formalismo de representação da tarefa. -Definição de um formalismo de representação do perfil do usuário. -Definição de um modelo de interação. -Definição de métodos de obtenção da especificação da interação a partir das descrições da tarefa e do usuário e do conhecimento em Ergonomia e em práticas de projeto. -Definição e estruturação de uma base de conhecimentos em Ergonomia para auxílio na concepção e desenvolvimento de interfaces. -Definição e estruturação de uma base de conhecimentos sobre práticas de projetos de interfaces para auxílio na concepção e desenvolvimento de interfaces. -Definição de uma metodologia de concepção e desenvolvimento de interfaces integrando os modelos, métodos e os diversos tipos de conhecimentos envolvidos. 2- Desenvolvimento de ferramentas computacionais de suporte -à análise da tarefa; -à simulação de atividades e validação da descrição da tarefa; -aos processos de aquisição, representação e edição de conhecimento ergonômico e de práticas de projeto de interface; -à transformação do modelo da tarefa no modelo da interação e para edição e simulação do modelo.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (9) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Bernardo Lula Júnior - Coordenador / Ivette Kafure - Integrante / Pedro Cordeiro Barbosa - Integrante / Francisco Petrônio Alencar de Medeiros - Integrante / Claudia Veronica Serey Guerrero - Integrante / Pablo Suarez Ribeiro - Integrante / Carlos Eduardo Caminha Lopes Rodrigues - Integrante / Marcelo Alves Barros - Integrante / Ecivaldo de Souza Matos - Integrante / Yuska Paola Costa Aguiar - Integrante / Karolyne Maria Alves de Oliveira - Integrante., Número de produções C, T & A: 17 / Número de orientações: 8

Prêmios