Luciana Foss

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: 247

Á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
Aline Brum LORETO		Ciências Exatas e da Terra	Ciência da Computaçã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
Carlos Eduardo PEREIRA		Engenharias	Engenharia Elétrica
Christiano Martino Otero AVILA		Ciências Exatas e da Terra	Ciência da Computação
Leila RIBEIRO		Ciências Exatas e da Terra	Ciência da Computação
Leomar Soares Da Rosa JUNIOR		Ciências Exatas e da Terra	Ciência da Computação
Leugim Corteze ROMIO		Ciências Exatas e da Terra	Matemática
Maria Arlita Da Silveira SOARES		Ciências Exatas e da Terra	Matemática
Maria Simone DEBACCO		Ciências Humanas	Educação
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
Rozelma Soares De FRANÇA		Ciências Exatas e da Terra	Ciência da Computação
Simone André Da Costa CAVALHEIRO		Ciências Exatas e da Terra	Ciência da Computação
Tatiana Aires TAVARES		Ciências Exatas e da Terra	Ciência da Computação
Tiago Thompsen PRIMO		Ciências Exatas e da Terra	Ciência da Computaçã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 → 8

Mapa de calor das categorias ASJC por ano
Categoria ASJC	2000	2003	2004	2005	2006	2007	2008	2009	2010	2011	2012	2013	2014	2015	2016	2017	2018	2019	2020	2021	2022	2023	2024	2025	2026
3304 · Education	0	0	0	0	0	0	0	0	0	1	0	4	3	4	4	3	2	2	0	2	5	3	6	6	3
1706 · Computer Science Applications	0	0	0	0	0	0	0	0	0	1	2	5	1	1	2	4	3	1	2	8	3	1	3	7	0
1701 · Computer Science (miscellaneous)	0	2	1	1	0	2	1	2	0	1	1	4	2	4	0	0	1	3	2	5	0	0	1	0	0
1702 · Artificial Intelligence	0	0	1	0	2	0	0	1	2	3	0	4	2	2	0	2	0	1	0	0	1	1	0	1	0
2614 · Theoretical Computer Science	0	0	0	0	0	0	0	0	0	2	1	2	0	2	1	2	0	6	0	2	0	0	1	2	0
1703 · Computational Theory and Mathematics	0	0	0	0	0	0	0	0	0	2	1	1	0	0	0	2	0	1	0	3	0	0	2	1	0
1700 · General Computer Science	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	1	1	1	0	1	0	6	1	0	0
2604 · Applied Mathematics	0	0	0	0	0	0	0	0	0	0	1	0	0	2	1	1	0	1	0	0	1	0	0	0	0
1203 · Language and Linguistics	1	0	1	0	0	0	0	0	0	0	0	1	0	1	0	0	0	0	0	0	2	0	0	0	0
1712 · Software	0	0	0	0	0	0	0	1	0	1	0	0	0	1	1	0	0	2	0	0	0	0	0	0	0
2601 · Mathematics (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	2	0	0	1	0	0	0	0	1	0
3310 · Linguistics and Language	0	0	0	0	0	0	0	1	0	2	0	0	1	0	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	1	1	0	0	0	0	0	0	0	0	0	2	0	0	0	0
3201 · Psychology (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	1	0	1	0	0	0	0	0	0	1	0	0	0
1000 · Multidisciplinary	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	1	0	0	0	0	0	0	0
1201 · Arts and Humanities (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	1	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	2	0	0	0
2606 · Control and Optimization	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	1	0	0	0	0	0	0	0	0
1308 · Clinical Biochemistry	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
1311 · Genetics	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	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	1	0	0	0	0	0	0	0	0	0
1705 · Computer Networks and Communications	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0
1803 · Management Science and Operations Research	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
2102 · Energy Engineering and Power Technology	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
2605 · Computational Mathematics	0	0	0	0	0	0	0	0	0	0	0	1	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	1	0	0	0	0	0	0	0	0	0	0	0	0	0
3204 · Developmental and Educational Psychology	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

Ano	Tipo	Registro	Área temática e categoria ASJC
	Tipo de Publicação	Registro	Área temática e categoria ASJC
2013	Trabalho em evento	Sensitivity and Dual Constructions on the Fuzzy f-Xor Class Zanotelli Rosana MEDINA; Reiser Renata Hax SANDER; Cavalheiro Simone Andre Da COSTA; Luciana FOSS 2013 2nd WorkshopSchool on Theoretical Computer Science (WEIT) DOI 10.1109/WEIT.2013.13 ISBN 9781479930579	SH Language and Linguistics
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; Cavalheiro SIMONE et al 2013 2nd WorkshopSchool on Theoretical Computer Science (WEIT) DOI 10.1109/WEIT.2013.27 ISBN 9781479930579	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 Cícero Augusto De S CAMARGO; Simone André Da Costa CAVALHEIRO; Luciana FOSS; Gerson Geraldo H 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; Costa Simone A; Luciana FOSS Cluster Computing DOI 10.1007/s10586-013-0322-3 ISSN 1573-7543	PS Computer Networks and Communications
2013	Artigo em periódico	From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis Luciana FOSS; Simone André Da Costa CAVALHEIRO; Nicolas BISI; Vinicius Steffens PAZZINI; Lisane Brisolara De BRISOLARA et al REVISTA DE INFORMÁTICA TEÓRICA E APLICADA: RITA ISSN 2175-2745	LS Neuroscience (miscellaneous)
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 H CAVALHEIRO; Maurício Lima PILLA; Simone André Da Costa CAVALHEIRO; Luciana FOSS Latin American Symposium on High Performance Computing	PS Computer Science Applications
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 Applied Mathematics
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 Seminário de Pesquisa em Computação - SPC 2012	PS Computational Theory and Mathematics
2012	Trabalho em evento	Automatização da Transformação de sistemas UML para modelos Simulink Andrei COSTA; Simone André Da COSTA; Luciana FOSS; Lisane Brisolara De BRISOLARA Seminário de Pesquisa em Computação - SPC 2012	PS Computer Science Applications
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; Luciana FOSS Seminário de Pesquisa em Computação - SPC 2012	PS Theoretical Computer Science
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; Luciana FOSS X Jornada de Pós‐Graduação e Pesquisa (CONGREGA 2012)	PS Discrete Mathematics and Combinatorics
2011	Livro	1st Workshop-School on Theoretical Computer Science (WEIT 2011) Simone André Da Costa CAVALHEIRO; Luciana FOSS; Marilton Sanchotene De AGUIAR; Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA — ISBN 9781467302258	PS Theoretical Computer Science
2011	Livro	Anais do WEIT 2011 Graçaliz Pereira DIMURO; Luciana FOSS; Marilton Sanchotene De AGUIAR; Simone André Da Costa CAVALHEIRO; Antonio Carlos Da Rocha COSTA — ISBN 2236-9163	SH Education
2011	Trabalho em evento	From UML to SIMULINK: a Graph Grammar Specification Luciana FOSS; Simone André Da COSTA; Nícolas BISI; Lisane Brisolara De BRISOLARA; Flávio Rech WAGNER Simpósio Brasileiro de Métodos Formais ISBN 9788587837219	PS Software
2011	Trabalho em evento	Utilizando Gramática de Grafos para o Desenvolvimento de Sistemas Embarcados Baseado em Modelos UML Nícolas BISI; Vinícius PAZZINI; Luciana FOSS; Simone André Da Costa CAVALHEIRO; Lisane Brisolara De BRISOLARA Workshop-Escola de Informática Teórica ISBN 22369163	PS Computational Theory and Mathematics
2011	Trabalho em evento	Uma Gramática para a Transformação de DAGs em Grafos Descrevendo Programas Multithreaded Cícero Augusto De S CAMARGO; Gerson Geraldo H CAVALHEIRO; Luciana FOSS; Simone André Da COSTA Workshop-Escola de Informática Teórica ISBN 22369163	PS Theoretical Computer Science
2011	Trabalho em evento	Using Graph Grammars to Develop Embedded Systems Based on UML Models Bisi Nicolas N; Pazzini VINICIUS; Luciana FOSS; Cavalheiro Simone Andre Da COSTA; Brisolara Lisane B DE et al 2011 WorkshopSchool on Theoretical Computer Science (WEIT) DOI 10.1109/WEIT.2011.16	PS Artificial Intelligence
2011	Trabalho em evento	Graph Grammars: A Comparison between Verification Methods Mello Andre Moura DE; Lemos Junior Luiz CARLOS; Luciana FOSS; Cavalheiro Simone Andre Da COSTA 2011 WorkshopSchool on Theoretical Computer Science (WEIT) DOI 10.1109/WEIT.2011.17	SH Linguistics and Language
2011	Trabalho em evento	A Graph Grammar to Transform DAGs into Graphs Describing Multithreaded Programs Camargo Cicero Augusto De S; Cavalheiro Gerson Geraldo H; Luciana FOSS; Cavalheiro Simone Andre Da COSTA 2011 WorkshopSchool on Theoretical Computer Science (WEIT) DOI 10.1109/WEIT.2011.25	PS Artificial Intelligence
2011	Trabalho em evento	Tradução Formal de Diagramas UML para Modelos SIMULINK Vinícius PAZZINI; Nícolas BISI; Simone André Da Costa CAVALHEIRO; Luciana FOSS; Lisane Brisolara De BRISOLARA XX Congresso de Iniciação Científica da UFPEL	PS Computer Science Applications
2011	Trabalho em evento	Gramática de Grafos: Um comparativo de métodos de verificação Luiz Carlos Lemos JUNIOR; André Moura De MELLO; Simone André Da Costa CAVALHEIRO; Luciana FOSS XIII Encontro de Pós-Graduação UFPEL - ENPOS 2011	SH Linguistics and Language
2011	Trabalho em evento	Modelo PopOrg: Uma proposta de Especificação em Gramática de Grafos André Moura De MELLO; Luciana FOSS; Simone André Da Costa CAVALHEIRO \|\| Seminário de Pesquisa em Computação - SPC 2011	PS Discrete Mathematics and Combinatorics
2011	Trabalho em evento	Provador de Teoremas para Gramática de Grafos: Um estudo nas árvores de prova e proposta de táticas Luiz Carlos Lemos JUNIOR; Simone André Da Costa CAVALHEIRO; Luciana FOSS \|\| Seminário de Pesquisa em Computação - SPC 2011	PS Computational Theory and Mathematics
2011	Trabalho em evento	Tradução Formal de Sistemas UML para Simulink Vinícius PAZZINI; Nícolas BISI; Simone André Da Costa CAVALHEIRO; Luciana FOSS \|\| Seminário de Pesquisa em Computação - SPC 2011	PS Computer Science (miscellaneous)

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; Cavalheiro Simone Andre Da COSTA; Luciana FOSS

DOI ISBN 9781479930579

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; Cavalheiro SIMONE et al

DOI ISBN 9781479930579

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

Cícero Augusto De S CAMARGO; Simone André Da Costa CAVALHEIRO; Luciana FOSS; Gerson Geraldo H 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; Costa Simone A; Luciana FOSS

DOI ISSN 1573-7543

2013 Artigo em periódico

LS Neuroscience (miscellaneous)

From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis

REVISTA DE INFORMÁTICA TEÓRICA E APLICADA: RITA

Luciana FOSS; Simone André Da Costa CAVALHEIRO; Nicolas BISI; Vinicius Steffens PAZZINI; Lisane Brisolara De BRISOLARA et al

ISSN 2175-2745

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 H CAVALHEIRO; Maurício Lima PILLA; Simone André Da Costa CAVALHEIRO; Luciana FOSS

2012 Trabalho em evento

PS Applied Mathematics

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 Computational Theory and Mathematics

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

Seminário de Pesquisa em Computação - SPC 2012

André Moura De MELLO; Luciana FOSS; Simone André Da COSTA

2012 Trabalho em evento

PS Computer Science Applications

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

Seminário de Pesquisa em Computação - SPC 2012

Andrei COSTA; Simone André Da COSTA; Luciana FOSS; Lisane Brisolara De BRISOLARA

2012 Trabalho em evento

PS Theoretical Computer Science

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

Seminário de Pesquisa em Computação - SPC 2012

Luiz Carlos Lemos JUNIOR; Simone André Da COSTA; Luciana FOSS

2012 Trabalho em evento

PS Discrete Mathematics and Combinatorics

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; Luciana FOSS

2011 Livro

PS Theoretical Computer Science

1st Workshop-School on Theoretical Computer Science (WEIT 2011)

—

Simone André Da Costa CAVALHEIRO; Luciana FOSS; Marilton Sanchotene De AGUIAR; Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA

ISBN 9781467302258

2011 Livro

SH Education

Anais do WEIT 2011

—

Graçaliz Pereira DIMURO; Luciana FOSS; Marilton Sanchotene De AGUIAR; Simone André Da Costa CAVALHEIRO; Antonio Carlos Da Rocha COSTA

ISBN 2236-9163

2011 Trabalho em evento

PS Software

From UML to SIMULINK: a Graph Grammar Specification

Simpósio Brasileiro de Métodos Formais

Luciana FOSS; Simone André Da COSTA; Nícolas BISI; Lisane Brisolara De BRISOLARA; Flávio Rech WAGNER

ISBN 9788587837219

2011 Trabalho em evento

PS Computational Theory and Mathematics

Utilizando Gramática de Grafos para o Desenvolvimento de Sistemas Embarcados Baseado em Modelos UML

Workshop-Escola de Informática Teórica

Nícolas BISI; Vinícius PAZZINI; Luciana FOSS; Simone André Da Costa CAVALHEIRO; Lisane Brisolara De BRISOLARA

ISBN 22369163

2011 Trabalho em evento

PS Theoretical Computer Science

Uma Gramática para a Transformação de DAGs em Grafos Descrevendo Programas Multithreaded

Workshop-Escola de Informática Teórica

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

ISBN 22369163

2011 Trabalho em evento

PS Artificial Intelligence

Using Graph Grammars to Develop Embedded Systems Based on UML Models

2011 WorkshopSchool on Theoretical Computer Science (WEIT)

Bisi Nicolas N; Pazzini VINICIUS; Luciana FOSS; Cavalheiro Simone Andre Da COSTA; Brisolara Lisane B DE et al

DOI

2011 Trabalho em evento

SH Linguistics and Language

Graph Grammars: A Comparison between Verification Methods

2011 WorkshopSchool on Theoretical Computer Science (WEIT)

Mello Andre Moura DE; Lemos Junior Luiz CARLOS; Luciana FOSS; Cavalheiro Simone Andre Da COSTA

DOI

2011 Trabalho em evento

PS Artificial Intelligence

A Graph Grammar to Transform DAGs into Graphs Describing Multithreaded Programs

2011 WorkshopSchool on Theoretical Computer Science (WEIT)

Camargo Cicero Augusto De S; Cavalheiro Gerson Geraldo H; Luciana FOSS; Cavalheiro Simone Andre Da COSTA

DOI

2011 Trabalho em evento

PS Computer Science Applications

Tradução Formal de Diagramas UML para Modelos SIMULINK

XX Congresso de Iniciação Científica da UFPEL

Vinícius PAZZINI; Nícolas BISI; Simone André Da Costa CAVALHEIRO; Luciana FOSS; Lisane Brisolara De BRISOLARA

2011 Trabalho em evento

SH Linguistics and Language

Gramática de Grafos: Um comparativo de métodos de verificação

XIII Encontro de Pós-Graduação UFPEL - ENPOS 2011

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

2011 Trabalho em evento

PS Discrete Mathematics and Combinatorics

Modelo PopOrg: Uma proposta de Especificação em Gramática de Grafos

|| Seminário de Pesquisa em Computação - SPC 2011

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

2011 Trabalho em evento

PS Computational Theory and Mathematics

Provador de Teoremas para Gramática de Grafos: Um estudo nas árvores de prova e proposta de táticas

|| Seminário de Pesquisa em Computação - SPC 2011

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

2011 Trabalho em evento

PS Computer Science (miscellaneous)

Tradução Formal de Sistemas UML para Simulink

|| Seminário de Pesquisa em Computação - SPC 2011

Vinícius PAZZINI; Nícolas BISI; Simone André Da Costa CAVALHEIRO; Luciana FOSS