-
Life Sciences
Biochemistry, Genetics and Molecular Biology (miscellaneous)
Alvaro ALBUQUERQUE; Yana MENDES; Eliana Silva De ALMEIDA; Raquel Da Silva CABRAL; Fabiane QUEIROZ.
2022.
Combining statistical and graph-based approaches to classification of interstitial pulmonary diseases.
In:
Sibgrapi - conference on graphics; patterns and images.
Brasil.
-
Life Sciences
Neuroscience (miscellaneous)
-
Social Sciences & Humanities
Education
Danisson Luiz Dos Santos REIS; Eliana Silva De ALMEIDA.
2019.
Fortalecendo a cultura empreendedora e os negócios de impacto social: uma proposta de programa de extensão para instituições de ensino superior.
In:
Conferência anprotec 2019.
Brasil.
-
Physical Sciences
Computer Science Applications
Andreiza Marcia Maia De OLIVEIRA; Eliana Silva De ALMEIDA; Claudia Beatriz L ALMEIDA; Tatiane BALLIANO.
2018.
Transferência de tecnologia: um enfoque em contratos de fornecimento de tecnologia e assistência técnica e científica.
In:
Encontro nacional de propriedade intelectual.
Brasil.
-
Social Sciences & Humanities
Business, Management and Accounting (miscellaneous)
Danisson Luiz Dos Santos REIS; Eliana Silva De ALMEIDA.
2018.
Uma análise da extensão universitária na promoção do empreendedorismo social e dos negócios de impacto social em engenharia de produção: um estudo de caso ufal.
In:
Encontro nacional de engenharia de produção.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Wylken Dos Santos MACHADO; Barros P H; Eliana Silva De ALMEIDA; André Luis Lins De AQUINO.
2018.
Avaliação de técnicas de inteligência computacional para identificação de atividades de vida diária.
In:
10º simpósio brasileiro de computação ubíqua e pervasiva (sbcup 2018).
Brasil.
-
Social Sciences & Humanities
Education
Carolina Conde SÁ; Eliana Silva De ALMEIDA; Rodrigo CARVALHO; Vitor Henrique Dantas Da SILVA.
2017.
Uma avaliação do programa institucional de bolsas de iniciação em desenvolvimento tecnológico e inovação - pibiti da universidade federal de alagoas quanto ao estímulo à inovação e empreendedorismo.
In:
Conferência anprotec.
Brasil.
-
Physical Sciences
Artificial Intelligence
Isadora CARDOSO; Eliana Silva De ALMEIDA; Héctor Allende CID; Alejandro C FRERY; Rangaraj Mandayam RANGAYYAN et al.
2017.
Evaluation of deep feedforward neural networks for classification of diffuse lung diseases.
In:
22nd iberoamerican congress on pattern recognition - ciarp'17; 2017.
Chile.
-
Health Sciences
Medicine (miscellaneous)
Isadora CARDOSO; Heitor Soares Ramos FILHO; Eliana Silva De ALMEIDA.
2016.
Classificação de doenças intersticiais pulmonares difusas através de tomografia computadorizada de alta-resolução.
In:
Csbc 2016 - workshop de informática médica (wim).
Brasil.
-
Health Sciences
Medicine (miscellaneous)
Isadora CARDOSO; Heitor Soares Ramos FILHO; Eliana Silva De ALMEIDA.
2016.
Classificação de imagens pulmonares por tomografias computadorizadas de alta-resolução.
In:
Xvi escola regional de computação bahia; alagoas e sergipe (erbase); 2016; maceió. workshop de trabalhos de iniciação científica e graduação (wticgbase).
Brasil.
-
Physical Sciences
Biomedical Engineering
Eliana Silva De ALMEIDA; Rangaraj Mandayam RANGAYYAN; Paulo Mazzoncini Azevedo MARQUES.
2015.
Gaussian mixture modeling for statistical analysis of features of high-resolution ct images of diffuse pulmonary diseases.
In:
Ieee international symposium on medical measurements and applications.
Itália.
-
Physical Sciences
Computer Science Applications
David Henrique De S LIMA; Eliana Silva De ALMEIDA; André Luis Lins De AQUINO.
2015.
Evaluation of parking space detection systems using wireless cameras.
In:
7 simpósio brasileiro de computação ubíqua e pervasiva.
Brasil.
-
Physical Sciences
Biomedical Engineering
Eliana Silva De ALMEIDA; Rangaraj Mandayam RANGAYYAN; Paulo Mazzoncini Azevedo MARQUES.
2015.
Fuzzy membership functions for analysis of high-resolution ct images of diffuse pulmonary diseases.
In:
37th annual international conference of the ieee engineering in medicine and biology society; embc 2015.
Itália.
-
Physical Sciences
Computer Science (miscellaneous)
David Henrique De S LIMA; André Luis Lins De AQUINO; Eliana Silva De ALMEIDA.
2014.
Um sistema para detecção de vagas de estacionamento utilizando câmeras.
In:
Iv simpósio brasileiro de engenharia de sistemas computacionais.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
André Luis Lins De AQUINO; Tamer CAVALCANTE; Alejandro C FRERY; Eliana Silva De ALMEIDA; Osvaldo Anibel ROSSO.
2014.
Characterization of vehicle behavior with information theory.
In:
Xviii conference on nonequilibrium statistical mechanics and nonlinear physics.
Brasil.
-
Life Sciences
Neuroscience (miscellaneous)
Alejandro C FRERY; Eliana Silva De ALMEIDA; Osvaldo Anibel ROSSO.
2013.
The generalized statistical complexity of polsar data.
In:
4th asia-pacific conference on synthetic aperture radar.
Japão.
-
Physical Sciences
Computer Networks and Communications
David Henrique De S LIMA; André Luis Lins De AQUINO; Eliana Silva De ALMEIDA.
2013.
Sistema para detecção oportunista de vagas de estacionamento via câmeras de segurança.
In:
V simpósio brasileiro de computação ubíqua e pervasiva (sbcup'13).
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Tamer CAVALCANTE; André Luis Lins De AQUINO; Eliana Silva De ALMEIDA; Osvaldo Anibel ROSSO.
2013.
Teoria da informação aplicada à caracterização de velocidades em redes veículares.
In:
11º simposio argentino de investigación operativa.
Brasil.
-
Social Sciences & Humanities
Education
Fernando A D G PINTO; Eliana Silva De ALMEIDA; Leonardo Viana PEREIRA.
2013.
Especificação semântica de uma linguagem para o método das diferenças finitas.
In:
Xxxiv iberian latin american congress on computational methods in engineering (cilamce 2013).
Brasil.
-
Social Sciences & Humanities
Music
Raphael P RIBEIRO; Igor Souza FERRAZ; Eliana Silva De ALMEIDA.
2012.
Um estudo da planilha do lotus symphony: será que é confiável?.
In:
Workshop de trabalhos de iniciação científica e de graduação.
Brasil.
-
Physical Sciences
Artificial Intelligence
Eliana Silva De ALMEIDA; Antonio Carlos De MEDEIROS; Alejandro C FRERY; Osvaldo Anibel ROSSO.
2012.
Generalized statistical complexity of sar imagery.
In:
Ciarp - iberoamerican conference on pattern recognition.
Argentina.
-
Physical Sciences
Computer Science Applications
Alexandre José Braga Da SILVA; Eliana Silva De ALMEIDA.
2012.
Integração de multiplas plataformas robóticas no ensino fundamental e médio.
In:
Iii workshop de robótica educacional do simpósio ieee latino americano e robótica e simpósio brasileiro de robótica.
Brasil.
-
Life Sciences
Neuroscience (miscellaneous)
Tamer CAVALCANTE; André Luis Lins De AQUINO; Osvaldo Anibel ROSSO; Evellyn Soares CAVALCANTE; Eliana Silva De ALMEIDA.
2012.
A study of vanets behavior: a information theory approach.
In:
Xvii conference in nonequilibrion statistical mechanics and nonlinear physic.
Chile.
-
Social Sciences & Humanities
Education
Alexandre José Braga Da SILVA; Eliana Silva De ALMEIDA.
2011.
A olimpíada brasileira de robótica e a robótica educativa como ferramenta de ensino/aprendizagem no ensino fundamental.
In:
Weibase 2011: workshop de informatica e educação bahia-alagoas-sergipe.
Brasil.
-
Social Sciences & Humanities
Education
Fernando Henrique Tavares Lima Da SILVA; Raphael P RIBEIRO; Emanuella Toledo LOPES; Paulo R I Da SILVA; Eliana Silva De ALMEIDA.
2011.
Uma experiencia de inclusao digital e incentivo aos alunos de escolas publicas atraves da metodologia capinfo-sl.
In:
Weibase 2011: workshop de informatica e educação bahia-alagoas-sergipe.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Cledson Calaça Cavalcante GOMES; David Henrique De S LIMA; Raphael P RIBEIRO; Eliana Silva De ALMEIDA; Patrick Henrique BRITO.
2011.
Aprendizagem de programac¸ ? ao com base na resoluc¸ ? ao de problemas em um ambiente apoiado por um assistente inteligente.
In:
Weibase 2011: workshop de informatica e educação bahia-alagoas-sergipe.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
David Henrique De S LIMA; Cledson Calaça Cavalcante GOMES; Raphael P RIBEIRO; Patrick Henrique BRITO; Eliana Silva De ALMEIDA.
2011.
Uma proposta de arquitetura para um ambiente inteligente de aprendizagem de programacao baseado na resolucao de problemas.
In:
Wticg 2011: workshop de trabalhos de inciciação científica e graduação bahia-alagoas-sergipe.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Cledson Calaça Cavalcante GOMES; David Henrique De S LIMA; Raphael P RIBEIRO; Eliana Silva De ALMEIDA; Patrick Henrique BRITO.
2011.
Uma proposta para auxiliar alunos e professores no ensino de programacao: o ambiente aiip.
In:
Xix workshop sobre educação em computação - wei - csbc 2011.
Brasil.
-
Social Sciences & Humanities
Education
Tamer CAVALCANTE; Evellyn Soares CAVALCANTE; David Henrique De S LIMA; Eliana Silva De ALMEIDA.
2010.
Proposta de sistema computacional de apoio os estudantes do ensino fundamental das escolas públicas no treinamento para a obi.
In:
X escola regional bahia - alagoas - sergipe - weibase 2010.
Brasil.
-
Physical Sciences
Computer Science Applications
Evellyn Soares CAVALCANTE; Tamer CAVALCANTE; David Henrique De S LIMA; Eliana Silva De ALMEIDA.
2010.
Uma experiência de extensão universitária a partir da realização da olimpíada brasileira de informática nas escolas públicas de alagoas.
In:
X escola regional bahia - alagoas - sergipe - wind 2010.
Brasil.
-
Social Sciences & Humanities
Linguistics and Language
Alejandro Cesar Frery ORGANBIDE; Eliana Silva De ALMEIDA; Antonio Carlos De MEDEIROS.
2010.
Are octave; scilab and matlab reliable?.
In:
Cilamce 2010: xxxi congreso ibero-latino-americano de métodos computacionales en la ingeniería.
Argentina.
-
Social Sciences & Humanities
Psychology (miscellaneous)
João Roberto Dos Santos JUNIOR; José Tenório Cesar COSTA; Eliana Silva De ALMEIDA.
2009.
Um sistema de informação modelado com redes bayesianas para auxílio na resolução de testes de paternidade.
In:
Simposio brasileiro de sistemas de informacao.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
David Henrique De S LIMA; Eliana Silva De ALMEIDA.
2009.
Aprendendo maquina de turing atraves de um ambiente grafico de simulaçao.
In:
Ix escola regional bahia - alagoas - sergigipe - workshop de educaçao em computaçao e informatica.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Adriano Saes De Melo NETO; Carlos Antonio F SILVA; David Henrique De S LIMA; Eliana Silva De ALMEIDA.
2009.
Utilizando grafo de dependências como ferramenta grafica para auxiliar no aprendizado de funções recursivas.
In:
Ix escola regional bahia - alagoas - sergigipe - workshop de educaçao em computaçao e informatica.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Emanuelle Ramalho SILVA; Vilker T Cabral LOBO; David Henrique De S LIMA; Eliana Silva De ALMEIDA.
2009.
Construindo uma interface para um ambiente educacional de apoio ao aprendizado dos aspectos formais da computação.
In:
Ix escola regional bahia - alagoas - sergigipe - workshop de trabalhos de iniciação científica e graduação.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
André Gustavo Teixeira LINS; Tercio Morais Sampaio SILVA; Eliana Silva De ALMEIDA.
2009.
Modelagem formal de workflow com redes de petri e software livre na gestão de processos de negócio em saúde pública.
In:
Workshop de software livre do 10o forum internacional de software livre.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
André Gustavo Teixeira LINS; Tercio Morais Sampaio SILVA; Eliana Silva De ALMEIDA.
2009.
Modelagem formal de workflow com redes de petri na gestão de processos de negócio em saúde ambienta.
In:
Workshop de informatica médica - csbc 2009.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Vitor Normande VIEIRA; Vitor MARCOLINO; David Henrique De S LIMA; Eliana Silva De ALMEIDA.
2009.
Uma ferramenta de apoio ao ensino de computabilidade que facilita o entendimento de máquinas abstratas.
In:
Xx simpósio brasileiro de informática na educação.
Brasil.
-
Life Sciences
Neuroscience (miscellaneous)
David Henrique De S LIMA; Eliana Silva De ALMEIDA.
2009.
Paralelização de programas de diferenças finitas.
In:
Vi congresso acadêmico da ufal.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Alexandre PAES; Eliana Silva De ALMEIDA.
2008.
Um ambiente para execução de funções computáveis através de uma ferramenta gráfica de simulação utilizando o conceito de grafo de dependências e linguagens de programação.
In:
Weibase 2008 - viii escola regional de computação bahia - alagoas - sergipe.
Brasil.
-
Social Sciences & Humanities
Education
Vitor Normande VIEIRA; Vitor MARCOLINO; Eliana Silva De ALMEIDA.
2008.
Uma ferramenta de apoio ao ensino de computabilidade que facilita o entendimento das evidências da tese de church.
In:
Weibase 2008 - viii escola regional de computação bahia - alagoas - sergipe.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Bruno Lopes VIEIRA; Eliana Silva De ALMEIDA; Alejandro Cesar Frery ORGANBIDE.
2008.
Detecção de paralelismo através de grafos de dependências em filtros convolucionais.
In:
60ª reunião anual da sociedade brasileira para o progresso da ciência.
Brasil.
-
Social Sciences & Humanities
Education
Susana FERRERO; Elsa MOSCHETTI; Alejandro Cesar Frery ORGANBIDE; Eliana Silva De ALMEIDA.
2008.
Combinacion de tecnicas multivariadas para classificacion.
In:
Xxix cilamce - iberian latin american congress on comp. methods in engineering.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
André Gustavo Teixeira LINS; Tercio Morais Sampaio SILVA; Eliana Silva De ALMEIDA.
2008.
Gerenciamento dos dados e processos de negócio na modelagem de um padrão de workflow para inferência sobre indicadores de saúde pública.
In:
Simpósio brasileiro de informática na saúde.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
José Tenório Cesar COSTA; João Roberto Dos Santos JUNIOR; Eliana Silva De ALMEIDA.
2008.
Utilização de redes bayesianas na verificação de vínculo genético.
In:
Viii encontro regional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Alexandre PAES; Eliana Silva De ALMEIDA.
2008.
Transformando funções recursivas em programas através de uma ferramenta gráfica de simulação.
In:
Viii encontro regional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Vilker T Cabral LOBO; David Henrique De S LIMA; Emanuelle Ramalho SILVA; Eliana Silva De ALMEIDA.
2008.
Um arcabouçode ferramentas computacionais para auxílio ao ensino de computação: acaraje.
In:
V congresso acadêmico da ufal.
Brasil.
-
Physical Sciences
Artificial Intelligence
Bruno Lopes VIEIRA; Eliana Silva De ALMEIDA; Alejandro Cesar Frery ORGANBIDE.
2007.
Detecção de paralelismo para filtros convolucionais.
In:
Xiii simpósio brasileiro de sensoriamento remoto.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Mário PEIXOTO; Bruno Lopes VIEIRA; Eliana Silva De ALMEIDA.
2007.
Construindo uma ferramenta para transpor paradigmas de interface em máquinas de turing - tomate.
In:
I workshop de ambientes de apoio à aprendizagem de algoritmos e programação.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Bruno Lopes VIEIRA; Eliana Silva De ALMEIDA.
2007.
Um simulador para ilustrar graficamente a execução de programas e as noções de computabilidade.
In:
59ª reunião da sociedade brasileira para o progresso da ciência.
Brasil.
-
Social Sciences & Humanities
Language and Linguistics
Bruno Lopes VIEIRA; Alejandro Cesar Frery ORGANBIDE; Eliana Silva De ALMEIDA.
2007.
Vicroacustografia: teoria; aplicações processamento e análise - vatapa.
In:
Congresso acadêmico da ufal.
Brasil.
-
Life Sciences
Biochemistry, Genetics and Molecular Biology (miscellaneous)
Luis Henrique Teixeira CAETANO; Andriana Braga De Goes BARBOSA; Eliana Silva De ALMEIDA; Luiz Antônio Ferreira Da SILVA.
2006.
Eva: a new bioinformatic system for analysing and storing mtdna for the identification of missing persons.
In:
85th annual meeting of the german society of legal medicine and dna in forensic.
Austria.
-
Physical Sciences
Computer Science (miscellaneous)
Bruno Lopes VIEIRA; Eliana Silva De ALMEIDA.
2006.
Um simulador para ilustrar graficamente a execução de programas e as noções de computabilidade.
In:
Congresso acadêmico da ufal.
Brasil.
-
Physical Sciences
Artificial Intelligence
Alejandro Cesar Frery ORGANBIDE; Glauber T SILVA; Eliana Silva De ALMEIDA; OUTROS.
2005.
Edge preserving noise reduction via combination of filters.
In:
Xi reunión de trabajo en procesamiento de la información y control.
Argentina.
-
Life Sciences
Biochemistry, Genetics and Molecular Biology (miscellaneous)
Luis Henrique Teixeira CAETANO; Andriana Braga De Goes BARBOSA; Eliana Silva De ALMEIDA; Luiz Antônio Ferreira Da SILVA.
2005.
A bioinformatic tool to assist in human mtdna profiles for forensic purposes in brazil.
In:
1st international conference of the brazilian association for bioinformatics and computational biology.
Brasil.
-
Physical Sciences
Engineering (miscellaneous)
Pablo TIBURCIO; Eliana Silva De ALMEIDA; Glauber T SILVA.
2005.
Modelagem e simulação de ondas acústicas com diferenças finitas.
In:
Ii jornadas de iniciação científica - impa.
Brasil.
-
Life Sciences
Biochemistry, Genetics and Molecular Biology (miscellaneous)
Luis Henrique Teixeira CAETANO; Andriana Braga De Goes BARBOSA; Eliana Silva De ALMEIDA; Luiz Antônio Ferreira Da SILVA.
2005.
Development of a bioinformatic tool for analysis; data storage and comparisons of mtdna profiles.
In:
Fifth international congress on mathematical and computational biology (biomat 5).
Brasil.
-
Physical Sciences
Artificial Intelligence
Danielle Furtado Dos SANTOS; Ulisses Martins DIAS; Roberta Vilhena VIEIRA; Eliana Silva De ALMEIDA.
2005.
Improving the multiple protein alignment using genetic algorith based on abstract data types.
In:
X-meeting 2005- 1st international conference of the brazilian association for bioinformatics and computational biology.
Brasil.
-
Life Sciences
Biochemistry, Genetics and Molecular Biology (miscellaneous)
Vicente De Paula Brasileiro FILHO; Eliana Silva De ALMEIDA; André Atanásio Maranhão De ALMEIDA.
2005.
Partitional clustering applied to bioinformatics: case study in the analysis os types of hpv.
In:
1st international conference of the brazilian association for bioinformatics and computational biology.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Bruno Lopes VIEIRA; Eliana Silva De ALMEIDA.
2005.
Um simulador para ilustrar graficamente a execução de programas e as noções de computabilidade.
In:
Congresso acadêmico da ufal.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Edilson FERNEDA; Evandro De Barros COSTA; Hyggo Oliveira De ALMEIDA; Dory Gonzaga RODRIGUES; Eliana Silva De ALMEIDA.
2004.
A web-based cooperative e-learning environment for musical harmony.
In:
3rd iasted international conference on web-based education (wbe 2004).
Austria.
-
Physical Sciences
Computer Science Applications
Cledja Karina Rolin Da SILVA; Alejandro Cesar Frery ORGANBIDE; Eliana Silva De ALMEIDA; Evandro De Barros COSTA.
2004.
Cartographic generalization in virtual reality.
In:
Xx international society for photogrammetry and remote sensing congress.
Turquia.
-
Physical Sciences
Computer Science Applications
Glauber T SILVA; Alejandro Cesar Frery ORGANBIDE; Eliana Silva De ALMEIDA.
2004.
Image formation in vibro-acoustography with sector array transducers.
In:
Xvii brazilian symposium on computer graphics and image processing - ii ibero-american symposium on computer graphics; 2004.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Bruno Lopes VIEIRA; Eliana Silva De ALMEIDA; OUTROS.
2004.
Um simulador para ilustrar graficamente a execução de programas e as noções de computabilidade.
In:
Congresso acadêmico da ufal.
Brasil.
-
Physical Sciences
Computer Science Applications
Eliana Silva De ALMEIDA; Evandro De Barros COSTA; Alejandro Cesar Frery ORGANBIDE; Cledja Karina Rolin Da SILVA.
2003.
Aplicação da generalização cartográfica em realidade virtual.
In:
Vi symposium on virtual reality.
Brasil.
-
Social Sciences & Humanities
General Social Sciences
Eliana Silva De ALMEIDA; Alejandro Cesar Frery ORGANBIDE; Evandro De Barros COSTA; Judith KELNER; Ana Lucia B CANDEIAS et al.
2003.
Modelagem de conteúdo histórico na web: a batalha do jenipapo.
In:
Vi symposium on virtual reality.
Brasil.
-
Social Sciences & Humanities
Education
Eliana Silva De ALMEIDA; Alejandro Cesar Frery ORGANBIDE; Ana Lucia B CANDEIAS; Evandro De Barros COSTA; Judith KELNER et al.
2003.
Análise de ferramentas gratuitas para construção de mundos virtuais: o metrô de teresina em alice.
In:
Vi symposium on virtual reality.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Eliana Silva De ALMEIDA; Evandro De Barros COSTA; Julian Diego Herrera BRAGA; Klebson Dos Santos SILVA; Rodrigo De Baros PAES et al.
2002.
Ambap: um ambiente de apoio ao aprendizado de programação.
In:
X workshop sobre educação em computação.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Eliana Silva De ALMEIDA; André Atanásio Maranhão De ALMEIDA; Klebson Dos Santos SILVA; Rodrigo De Barros PAES.
2001.
Ambap: um ambiente de aprendizado de programação.
In:
6o concresso de iniciação científica.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Eliana Silva De ALMEIDA; Edward Hermann HAEUSLER.
1998.
Lorec: uma linguagem lógica de especificação de sistemas concorrentes desenvolvida a partir do uso de recursos no formalismo de redes de petri lugar/transição.
In:
I workshop brasileiro de métodos formais.
Brasil.
-
Physical Sciences
Artificial Intelligence
Eliana Silva De ALMEIDA; Edward Hermann HAEUSLER.
1998.
From petri nets to a logical specification language of concurrent systems.
In:
Ii workshop do projeto locus (logic for concurrency and synchronization).
Brasil.