Simone André Da Costa Cavalheiro

Dados pessoais

Lattes
Grupos de Pesquisa
Genealogia Acadêmica

Nacionalidade: Brasileira
Grande área de atuação: Ciências Exatas e da Terra
Área de atuação: Ciência da Computação

Publicações

Total: 262

Área temática ASJC

Percentual das publicações classificadas

HS Ciências da Saúde
LS Ciências da Vida
MU Multidisciplinar
PS Ciências Físicas
SH Ciências Sociais e Humanidades

Categoria ASJC

Categorias ASJC mais frequentes

Nome	Vínculo	Grande área de atuação	Área de atuação
Nome	Vínculo	Grande área de atuação	Área de atuação
Ana Marilza Pernas FLEISCHMANN		Ciências Exatas e da Terra	Ciência da Computação
André Rauber Du BOIS		Ciências Exatas e da Terra	Ciência da Computação
Antonio Carlos Da Rocha COSTA		Ciências Exatas e da Terra	Ciência da Computação
Christiano Martino Otero AVILA		Ciências Exatas e da Terra	Ciência da Computação
Claudia Lage Rebello Da MOTTA		Ciências Exatas e da Terra	Ciência da Computação
Leila RIBEIRO		Ciências Exatas e da Terra	Ciência da Computação
Luciana FOSS		Ciências Exatas e da Terra	Ciência da Computação
Marcia Rodrigues Notare MENEGHETTI		Ciências Exatas e da Terra	Matemática
Marilton Sanchotene De AGUIAR		Ciências Exatas e da Terra	Ciência da Computação
Renata Hax Sander REISER		Ciências Exatas e da Terra	Ciência da Computação
Rosária Ilgenfritz SPEROTTO		Ciências Humanas	Educação

Figura 1

Número de publicações por ano e por tipo

Todas as publicações do perfil

Figura 2

Categorias ASJC mais frequentes por ano

A cor dos pontos identifica a categoria predominante

Figura 3

Mapa de calor das categorias ASJC por ano

Frequências absolutas; cores mais escuras indicam mais publicações. Todas as categorias ASJC e anos disponíveis, sem aplicar os filtros da página.

Escala: 0 → 11

Mapa de calor das categorias ASJC por ano
Categoria ASJC	1996	1997	1998	1999	2000	2001	2002	2003	2004	2006	2007	2009	2010	2011	2012	2013	2014	2015	2016	2017	2018	2019	2020	2021	2022	2023	2024	2025
3304 · Education	0	0	0	1	0	0	0	0	0	0	0	0	0	1	0	7	6	7	8	11	3	7	4	5	8	2	5	8
1701 · Computer Science (miscellaneous)	0	0	0	0	0	0	0	1	1	1	1	0	0	2	2	6	1	4	1	3	2	3	2	7	1	0	0	1
1706 · Computer Science Applications	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	2	2	1	4	2	2	2	1	3	2	1	4	9
1702 · Artificial Intelligence	0	0	0	0	0	1	1	0	0	0	0	0	0	5	1	4	2	2	0	1	0	0	0	1	1	0	1	1
1700 · General Computer Science	0	0	0	0	0	0	0	0	0	0	0	2	2	0	1	0	0	0	0	2	1	3	0	1	1	6	1	0
2614 · Theoretical Computer Science	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	1	1	1	0	1	0	0	0	0	1	2
1203 · Language and Linguistics	0	0	0	0	0	0	1	0	0	0	0	0	0	1	0	2	0	1	0	0	0	0	0	0	1	0	0	0
3201 · Psychology (miscellaneous)	0	0	0	0	1	0	0	0	0	0	0	0	0	1	2	0	0	0	1	0	0	0	0	0	0	1	0	0
3310 · Linguistics and Language	0	0	0	0	0	0	1	0	0	0	0	0	0	2	0	1	0	0	1	1	0	0	0	0	0	0	0	0
1703 · Computational Theory and Mathematics	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	1	0	0	0	1	0	0	0	0	0	0	2	0
1000 · Multidisciplinary	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	1	0	1	0	1	0	0	0	0	0	0
1712 · Software	0	0	0	0	0	0	0	0	1	0	0	1	0	1	0	0	0	0	1	0	0	0	0	0	0	0	0	0
1402 · Accounting	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	2	0	0	0	0	0	1	0	0
2604 · Applied Mathematics	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	1	1	0	0	0	0	0	0	0	0	0	0
2607 · Discrete Mathematics and Combinatorics	0	0	0	0	0	0	0	0	0	0	0	0	0	1	1	0	0	0	0	1	0	0	0	0	0	0	0	0
1709 · Human-Computer Interaction	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	2	0	0
2601 · Mathematics (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	1	0	0	0
1201 · Arts and Humanities (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0
1211 · Philosophy	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0
1705 · Computer Networks and Communications	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0
2102 · Energy Engineering and Power Technology	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0
2200 · General Engineering	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0
2201 · Engineering (miscellaneous)	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2404 · Microbiology	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2605 · Computational Mathematics	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0
2606 · Control and Optimization	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0
2700 · General Medicine	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2801 · Neuroscience (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0

Ano	Tipo	Registro	Área temática e categoria ASJC
	Tipo de Publicação	Registro	Área temática e categoria ASJC
2013	Trabalho em evento	Towards the use of Graph Grammars for specification of Multi-Agent System Organizations André Moura De MELLO; Luciana FOSS; Simone André Da Costa CAVALHEIRO XVI Simpósio Brasileiro de Métodos Formais ISBN 2178-6097	PS Computer Science (miscellaneous)
2013	Trabalho em evento	Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations Luiz Carlos Lemos JUNIOR; Simone André Da Costa CAVALHEIRO; Luciana FOSS Simpósio Brasileiro de Métodos Formais ISBN 0302-9743	SH Education
2013	Trabalho em evento	Gramática de Grafos em Event-B: Estratégias para Demonstrar Propriedades Utilizando Prova de Teoremas Luiz Carlos Lemos JUNIOR; Luciana FOSS; Simone André Da Costa CAVALHEIRO XV Encontro de Pós-Graduação UFPEL (XV ENPOS)	SH Education
2013	Trabalho em evento	Investigações na Classe de Conectivos Fuzzy f-Xor: Dualidade; Robustez e Implicações Rosana Medina ZANOTELLI; Luciana FOSS; Simone André Da Costa CAVALHEIRO; Renata Hax Sander REISER XV Encontro de Pós-Graduação UFPEL (XV ENPOS)	SH Linguistics and Language
2013	Trabalho em evento	Desenvolvendo o Pensamento Computacional no Ensino Fundamental Daiane ANDRADE; Tainã CARVALHO; Victor Alexandre AULER; Marilton Sanchotene De AGUIAR; Luciana FOSS et al XXII Congresso de Iniciação Científica da Universidade Federal de Pelotas (XXII CIC 2013 - UFPEL)	SH Education
2013	Trabalho em evento	Proposta de Padrões de Propriedades e Táticas de Prova para Sistemas Especificados em Gramática de Grafos na Plataforma Rodin Simone Drawanz RUTZ; Plinio Finkenauer JUNIOR; Luciana FOSS; Simone André Da Costa CAVALHEIRO XXII Congresso de Iniciação Científica da Universidade Federal de Pelotas (XXII CIC 2013 - UFPEL)	SH Language and Linguistics
2013	Trabalho em evento	Discussão sobre os Desafios Relacionados à Implantação do Pensamento Computacional no Ensino Brasileiro Tainã CARVALHO; Daiane ANDRADE; Victor Alexandre AULER; Marilton Sanchotene De AGUIAR; Luciana FOSS et al XXII Congresso de Iniciação Científica da Universidade Federal de Pelotas (XXII CIC 2013 - UFPEL)	SH Education
2013	Trabalho em evento	Transformação Automática de Diagramas UML para Modelos Simulink Andrei COSTA; Vinícius Steffens PAZZINI; Simone André Da Costa CAVALHEIRO; Lisane Brisolara De BRISOLARA; Flávio Rech WAGNER et al XXII Congresso de Iniciação Científica da Universidade Federal de Pelotas (XXII CIC 2013 - UFPEL)	PS Computer Science (miscellaneous)
2013	Trabalho em evento	Ferramenta para Extração de Transações de Sistemas de Transformação de Grafos Transacionais Erick C ESPINDULA; Tamara M Da CRUZ; Simone André Da Costa CAVALHEIRO; Luciana FOSS XXII Congresso de Iniciação Científica da Universidade Federal de Pelotas (XXII CIC 2013 - UFPEL)	PS Artificial Intelligence
2013	Trabalho em evento	Discussing the Challenges Related to Deployment of Computational Thinking in Brazilian Basic Education Carvalho TAINA; Andrade DAIANE; Silveira JAYNE; Auler VICTOR; Simone André Da Costa CAVALHEIRO et al 2013 2nd WorkshopSchool on Theoretical Computer Science (WEIT) DOI 10.1109/WEIT.2013.27 ISBN 9781479930579	SH Education
2013	Trabalho em evento	Sensitivity and Dual Constructions on the Fuzzy f-Xor Class Zanotelli Rosana MEDINA; Reiser Renata Hax SANDER; Simone André Da Costa CAVALHEIRO; Foss LUCIANA 2013 2nd WorkshopSchool on Theoretical Computer Science (WEIT) DOI 10.1109/WEIT.2013.13 ISBN 9781479930579	SH Language and Linguistics
2013	Trabalho em evento	Automatic Translation from UML to Simulink CAAM Using Graph Grammars Costa ANDREI; Pazzini VINICIUS; Foss LUCIANA; Simone André Da Costa CAVALHEIRO; Brisolara Lisane Brisolara DE et al 2013 2nd WorkshopSchool on Theoretical Computer Science (WEIT) DOI 10.1109/WEIT.2013.20 ISBN 9781479930579	PS Artificial Intelligence
2013	Trabalho em evento	Towards the Use and Description of Proof Tactics for Theorem Proving Graph Grammars through Rodin Junior Luiz Carlos LEMOS; Simone André Da Costa CAVALHEIRO; Foss LUCIANA 2013 2nd WorkshopSchool on Theoretical Computer Science (WEIT) DOI 10.1109/WEIT.2013.24 ISBN 9781479930579	SH Education
2013	Trabalho em evento	Graph Grammar Specification for the Populational Level of Multi-agent System Organizations Mello Andre Moura DE; Foss LUCIANA; Simone André Da Costa CAVALHEIRO 2013 2nd WorkshopSchool on Theoretical Computer Science (WEIT) DOI 10.1109/WEIT.2013.26 ISBN 9781479930579	PS Computer Science (miscellaneous)
2013	Trabalho em evento	Proposta de Atividades para o Desenvolvimento do Pensamento Computacional no Ensino Fundamental Andrade DAIANE; Carvalho TAINÃ; Silveira JAYNE; Simone André Da Costa CAVALHEIRO; Foss LUCIANA et al XIX Workshop de Informática na Escola DOI 10.5753/CBIE.WIE.2013.189	PS Computer Science Applications
2013	Artigo em periódico	From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis papers Luciana FOSS; Simone André Da Costa CAVALHEIRO; Nicolas BISI; Pazzini VINICIUS; Lisane Brisolara De BRISOLARA et al Revista de Informática Teórica e Aplicada: RITA ISSN 2175-2745	SH Education
2013	Artigo em periódico	A Graph Grammar to Transform a Dataflow Graph into a Multithread Graph and its Application in Task Scheduling Simone André Da Costa CAVALHEIRO; Luciana FOSS; Cícero Augusto De S CAMARGO; Gerson Geraldo Homrich CAVALHEIRO Revista de Informática Teórica e Aplicada: RITA ISSN 2175-2745	PS Artificial Intelligence
2013	Artigo em periódico	Aproximating static list schedules in dynamic multithreaded applications Camargo Cícero A S; Cavalheiro Gerson G H; Pilla Maurício L; Simone André Da Costa CAVALHEIRO; Foss LUCIANA Cluster Computing DOI 10.1007/s10586-013-0322-3 ISSN 1386-7857	PS Computer Networks and Communications
2012	Trabalho em evento	Specification Patterns for Properties over Reachable States of Graph Grammars Simone André Da Costa CAVALHEIRO; Luciana FOSS; Leila RIBEIRO Simpósio Brasileiro de Métodos Formais	PS Computer Science (miscellaneous)
2012	Trabalho em evento	Applying List Scheduling Algorithms In A Multithreaded Execution Environment Cícero Augusto De S CAMARGO; Gerson Geraldo Homrich CAVALHEIRO; Mauricio Lima PILLA; Simone André Da Costa CAVALHEIRO; Luciana FOSS Latin American Symposium on High Performance Computing	PS Computer Science Applications
2012	Trabalho em evento	Prova de Teoremas para Gramática de Grafos: Obrigações e Táticas de Prova no Uso do Rodin Luiz Carlos Lemos JUNIOR; Simone André Da Costa CAVALHEIRO; Foss LUCIANA X Jornada de Pós-Graduação e Pesquisa (CONGREGA 2012)	SH Psychology (miscellaneous)
2012	Trabalho em evento	Gramática de Grafos para Modelagem de Sistemas Multi-Agentes baseados no PopOrg André Moura De MELLO; Luciana FOSS; Simone André Da Costa CAVALHEIRO X Jornada de Pós-Graduação e Pesquisa (CONGREGA 2012)	PS Discrete Mathematics and Combinatorics
2012	Trabalho em evento	Gramática de Grafos para Modelagem de Sistemas Multi-Agentes baseados no PopOrg André Moura De MELLO; Foss LUCIANA; Simone André Da Costa CAVALHEIRO III Seminário de Pesquisa em Computação da UFPel (SPC2012)	PS Computer Science (miscellaneous)
2012	Trabalho em evento	Automatização da Transformação de sistemas UML para modelos Simulink Andrei COSTA; Simone André Da Costa CAVALHEIRO; Luciana FOSS III Seminário de Pesquisa em Computação da UFPel (SPC2012)	PS Artificial Intelligence
2012	Trabalho em evento	Prova de Teoremas Para Gramática de Grafos: Estratégias para Demonstração de Obrigações de Prova Luiz Carlos Lemos JUNIOR; Simone André Da Costa CAVALHEIRO; Luciana FOSS III Seminário de Pesquisa em Computação da UFPel (SPC2012)	SH Psychology (miscellaneous)

2013 Trabalho em evento

PS Computer Science (miscellaneous)

Towards the use of Graph Grammars for specification of Multi-Agent System Organizations

XVI Simpósio Brasileiro de Métodos Formais

André Moura De MELLO; Luciana FOSS; Simone André Da Costa CAVALHEIRO

ISBN 2178-6097

2013 Trabalho em evento

SH Education

Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations

Simpósio Brasileiro de Métodos Formais

Luiz Carlos Lemos JUNIOR; Simone André Da Costa CAVALHEIRO; Luciana FOSS

ISBN 0302-9743

2013 Trabalho em evento

SH Education

Gramática de Grafos em Event-B: Estratégias para Demonstrar Propriedades Utilizando Prova de Teoremas

XV Encontro de Pós-Graduação UFPEL (XV ENPOS)

Luiz Carlos Lemos JUNIOR; Luciana FOSS; Simone André Da Costa CAVALHEIRO

2013 Trabalho em evento

SH Linguistics and Language

Investigações na Classe de Conectivos Fuzzy f-Xor: Dualidade; Robustez e Implicações

XV Encontro de Pós-Graduação UFPEL (XV ENPOS)

Rosana Medina ZANOTELLI; Luciana FOSS; Simone André Da Costa CAVALHEIRO; Renata Hax Sander REISER

2013 Trabalho em evento

SH Education

Desenvolvendo o Pensamento Computacional no Ensino Fundamental

XXII Congresso de Iniciação Científica da Universidade Federal de Pelotas (XXII CIC 2013 - UFPEL)

Daiane ANDRADE; Tainã CARVALHO; Victor Alexandre AULER; Marilton Sanchotene De AGUIAR; Luciana FOSS et al

2013 Trabalho em evento

SH Language and Linguistics

Proposta de Padrões de Propriedades e Táticas de Prova para Sistemas Especificados em Gramática de Grafos na Plataforma Rodin

XXII Congresso de Iniciação Científica da Universidade Federal de Pelotas (XXII CIC 2013 - UFPEL)

Simone Drawanz RUTZ; Plinio Finkenauer JUNIOR; Luciana FOSS; Simone André Da Costa CAVALHEIRO

2013 Trabalho em evento

SH Education

Discussão sobre os Desafios Relacionados à Implantação do Pensamento Computacional no Ensino Brasileiro

XXII Congresso de Iniciação Científica da Universidade Federal de Pelotas (XXII CIC 2013 - UFPEL)

Tainã CARVALHO; Daiane ANDRADE; Victor Alexandre AULER; Marilton Sanchotene De AGUIAR; Luciana FOSS et al

2013 Trabalho em evento

PS Computer Science (miscellaneous)

Transformação Automática de Diagramas UML para Modelos Simulink

XXII Congresso de Iniciação Científica da Universidade Federal de Pelotas (XXII CIC 2013 - UFPEL)

Andrei COSTA; Vinícius Steffens PAZZINI; Simone André Da Costa CAVALHEIRO; Lisane Brisolara De BRISOLARA; Flávio Rech WAGNER et al

2013 Trabalho em evento

PS Artificial Intelligence

Ferramenta para Extração de Transações de Sistemas de Transformação de Grafos Transacionais

XXII Congresso de Iniciação Científica da Universidade Federal de Pelotas (XXII CIC 2013 - UFPEL)

Erick C ESPINDULA; Tamara M Da CRUZ; Simone André Da Costa CAVALHEIRO; Luciana FOSS

2013 Trabalho em evento

SH Education

Discussing the Challenges Related to Deployment of Computational Thinking in Brazilian Basic Education

2013 2nd WorkshopSchool on Theoretical Computer Science (WEIT)

Carvalho TAINA; Andrade DAIANE; Silveira JAYNE; Auler VICTOR; Simone André Da Costa CAVALHEIRO et al

DOI ISBN 9781479930579

2013 Trabalho em evento

SH Language and Linguistics

Sensitivity and Dual Constructions on the Fuzzy f-Xor Class

2013 2nd WorkshopSchool on Theoretical Computer Science (WEIT)

Zanotelli Rosana MEDINA; Reiser Renata Hax SANDER; Simone André Da Costa CAVALHEIRO; Foss LUCIANA

DOI ISBN 9781479930579

2013 Trabalho em evento

PS Artificial Intelligence

Automatic Translation from UML to Simulink CAAM Using Graph Grammars

2013 2nd WorkshopSchool on Theoretical Computer Science (WEIT)

Costa ANDREI; Pazzini VINICIUS; Foss LUCIANA; Simone André Da Costa CAVALHEIRO; Brisolara Lisane Brisolara DE et al

DOI ISBN 9781479930579

2013 Trabalho em evento

SH Education

Towards the Use and Description of Proof Tactics for Theorem Proving Graph Grammars through Rodin

2013 2nd WorkshopSchool on Theoretical Computer Science (WEIT)

Junior Luiz Carlos LEMOS; Simone André Da Costa CAVALHEIRO; Foss LUCIANA

DOI ISBN 9781479930579

2013 Trabalho em evento

PS Computer Science (miscellaneous)

Graph Grammar Specification for the Populational Level of Multi-agent System Organizations

2013 2nd WorkshopSchool on Theoretical Computer Science (WEIT)

Mello Andre Moura DE; Foss LUCIANA; Simone André Da Costa CAVALHEIRO

DOI ISBN 9781479930579

2013 Trabalho em evento

PS Computer Science Applications

Proposta de Atividades para o Desenvolvimento do Pensamento Computacional no Ensino Fundamental

XIX Workshop de Informática na Escola

Andrade DAIANE; Carvalho TAINÃ; Silveira JAYNE; Simone André Da Costa CAVALHEIRO; Foss LUCIANA et al

DOI

2013 Artigo em periódico

SH Education

From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis papers

Revista de Informática Teórica e Aplicada: RITA

Luciana FOSS; Simone André Da Costa CAVALHEIRO; Nicolas BISI; Pazzini VINICIUS; Lisane Brisolara De BRISOLARA et al

ISSN 2175-2745

2013 Artigo em periódico

PS Artificial Intelligence

A Graph Grammar to Transform a Dataflow Graph into a Multithread Graph and its Application in Task Scheduling

Revista de Informática Teórica e Aplicada: RITA

Simone André Da Costa CAVALHEIRO; Luciana FOSS; Cícero Augusto De S CAMARGO; Gerson Geraldo Homrich CAVALHEIRO

ISSN 2175-2745

2013 Artigo em periódico

PS Computer Networks and Communications

Aproximating static list schedules in dynamic multithreaded applications

Cluster Computing

Camargo Cícero A S; Cavalheiro Gerson G H; Pilla Maurício L; Simone André Da Costa CAVALHEIRO; Foss LUCIANA

DOI ISSN 1386-7857

2012 Trabalho em evento

PS Computer Science (miscellaneous)

Specification Patterns for Properties over Reachable States of Graph Grammars

Simpósio Brasileiro de Métodos Formais

Simone André Da Costa CAVALHEIRO; Luciana FOSS; Leila RIBEIRO

2012 Trabalho em evento

PS Computer Science Applications

Applying List Scheduling Algorithms In A Multithreaded Execution Environment

Latin American Symposium on High Performance Computing

Cícero Augusto De S CAMARGO; Gerson Geraldo Homrich CAVALHEIRO; Mauricio Lima PILLA; Simone André Da Costa CAVALHEIRO; Luciana FOSS

2012 Trabalho em evento

SH Psychology (miscellaneous)

Prova de Teoremas para Gramática de Grafos: Obrigações e Táticas de Prova no Uso do Rodin

X Jornada de Pós-Graduação e Pesquisa (CONGREGA 2012)

Luiz Carlos Lemos JUNIOR; Simone André Da Costa CAVALHEIRO; Foss LUCIANA

2012 Trabalho em evento

PS Discrete Mathematics and Combinatorics

Gramática de Grafos para Modelagem de Sistemas Multi-Agentes baseados no PopOrg

X Jornada de Pós-Graduação e Pesquisa (CONGREGA 2012)

André Moura De MELLO; Luciana FOSS; Simone André Da Costa CAVALHEIRO

2012 Trabalho em evento

PS Computer Science (miscellaneous)

Gramática de Grafos para Modelagem de Sistemas Multi-Agentes baseados no PopOrg

III Seminário de Pesquisa em Computação da UFPel (SPC2012)

André Moura De MELLO; Foss LUCIANA; Simone André Da Costa CAVALHEIRO

2012 Trabalho em evento

PS Artificial Intelligence

Automatização da Transformação de sistemas UML para modelos Simulink

III Seminário de Pesquisa em Computação da UFPel (SPC2012)

Andrei COSTA; Simone André Da Costa CAVALHEIRO; Luciana FOSS

2012 Trabalho em evento

SH Psychology (miscellaneous)

Prova de Teoremas Para Gramática de Grafos: Estratégias para Demonstração de Obrigações de Prova

III Seminário de Pesquisa em Computação da UFPel (SPC2012)

Luiz Carlos Lemos JUNIOR; Simone André Da Costa CAVALHEIRO; Luciana FOSS