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
2011	Artigo em periódico	Correct transformation: From object-based graph grammars to PROMELA Leila RIBEIRO; Dos Santos Osmar MARCHI; Dotti Fernando Luã S; Luciana FOSS Science of Computer Programming (Print) DOI 10.1016/j.scico.2011.03.010 ISSN 0167-6423	PS Artificial Intelligence
2010	Trabalho em evento	Model Checking the Ant Colony Optimisation Lucio Mauro DUARTE; Luciana FOSS; Flávio Rech WAGNER; Tales HEIMFARTH Distributed; Parallel and Biologically Inspired Systems DOI 10.1007/978-3-642-15234-4_22	PS Artificial Intelligence
2010	Trabalho em evento	A Probabilistic Model Checking Technique for the Verification of Self-Organising Emergent Systems Lucio Mauro DUARTE; Luciana FOSS; Flávio Rech WAGNER; Tales HEIMFARTH XXXVII Seminário Integrado de Software e Hardware - SEMISH	PS Artificial Intelligence
2009	Capítulo de livro	Especificação de Sistemas Baseados em Objetos com Gramática de Grafos Luciana FOSS; Simone André Da COSTA; Aline Brum LORETO; Leila RIBEIRO Desafios e Avanços em Computação: o estado da arte ISBN 9788571925	PS Software
2009	Trabalho em evento	Uma Metodologia de Engenharia de Software para o Desenvolvimento de Sistemas Emergentes Auto-organizáveis Flávio Rech WAGNER; Lucio Mauro DUARTE; Tales HEIMFARTH; Luciana FOSS; Rodrigo MACHADO et al II Seminário sobre Grandes Desafios da Computação no Brasil	PS Computer Science (miscellaneous)
2009	Trabalho em evento	Graph Transformation with Dependencies for the Specification of Interactive Systems Corradini A; Luciana FOSS; Ribeiro L 19th International Workshop on Algebraic Development Techniques DOI 10.1007/978-3-642-03429-9_8 ISBN 9783642034	PS Computer Science (miscellaneous)
2009	Trabalho em evento	Model Transformation Using Graph Transactions Ribeiro L; Luciana FOSS; Bruno Da SILVA; Daltro NUNES 11th International Conference on Software Reuse DOI 10.1007/978-3-642-04211-9 ISBN 9783642042102	PS Artificial Intelligence
2009	Artigo em periódico	Aspects for Graph Grammars Rodrigo MACHADO; Luciana FOSS; Leila RIBEIRO Electronic Communications of the EASST ISSN 1863-2122	SH Linguistics and Language
2008	Artigo em periódico	Towards a Notion of Transaction in Graph Rewriting Baldan P; Corradini A; Dotti F L; Luciana FOSS; Gadducci F et al Electronic Notes in Theoretical Computer Science DOI 10.1016/j.entcs.2008.04.028 ISSN 1571-0661	PS Computer Science (miscellaneous)
2007	Trabalho em evento	Graph productions with dependencies Luciana FOSS; Rodrigo MACHADO; Leila RIBEIRO Simpósio Brasileiro de Métodos Formais ISBN 9788576691303	PS Computer Science (miscellaneous)
2007	Trabalho em evento	Formal Verification of Object-Oriented Graph Grammars Specifications Ana Paula Ludtke FERREIRA; Luciana FOSS; Leila RIBEIRO Workshop on Graph Transformation for Concurrency and Verification (GT-VC 2006) DOI 10.1016/j.entcs.2007.04.020	PS Computer Science (miscellaneous)
2007	Artigo em periódico	Modelling; property verification and behavioural equivalence of lactose operon regulation Marcelo Cezar PINTO; Luciana FOSS; José Carlos Merino MOMBACH; Leila RIBEIRO Computers in Biology and Medicine DOI 10.1016/j.compbiomed.2006.01.006 ISSN 0010-4825	LS Genetics
2006	Trabalho em evento	Graph Transactions as Processes Paolo BALDAN; Andrea CORRADINI; Luciana FOSS; Fabio GADDUCCI Third International Conference on Graph Transformations DOI 10.1007/11841883_15 ISBN 978354038	PS Artificial Intelligence
2006	Trabalho em evento	Graph transactions as a basis for graph transformation modules Paolo BALDAN; Andrea CORRADINI; Luciana FOSS; Fabio GADDUCCI; Leila RIBEIRO International Workshop on Algebraic Development Techniques	PS Artificial Intelligence
2005	Trabalho em evento	Modeling and Property Verification of Lactose Operon Regulation Marcelo Cezar PINTO; Luciana FOSS; José Carlos Merino MOMBACH; Leila RIBEIRO Brazilian Symposium on Bioinformatics DOI 10.1007/11532323_11 ISBN 9783540280	LS Clinical Biochemistry
2005	Trabalho em evento	An Environment for the Development of Concurrent Object-Based Applications Fernando Luís DOTTI; Lucio Mauro DUARTE; Luciana FOSS; Leila RIBEIRO; Daniela Tereza Ascencio RUSSI et al International Workshop on Graph-Based Tools (GraBaTs 2004) ISBN 15710661	PS Computer Science (miscellaneous)
2004	Trabalho em evento	A Translation from Object-Based Hypergraph Grammars into Pi-Calculus (Concurso de Teses e Dissertações) Luciana FOSS; Leila RIBEIRO XVII CTD/SBC - Concurso de Teses e Dissertações ISBN 8588442949	SH Language and Linguistics
2004	Trabalho em evento	Translating Java Code to Graph Transformation Systems Andrea CORRADINI; Fernando Luís DOTTI; Luciana FOSS; Leila RIBEIRO Second International Conference on Graph Transformations ISBN 978354023	PS Computer Science (miscellaneous)
2004	Trabalho em evento	A Translation from Object-Based Hypergraph Grammars into π-Calculus Luciana FOSS; Leila RIBEIRO Brazilian Workshop on Formal Methods DOI 10.1016/j.entcs.2004.04.015 ISBN 15710661	PS Artificial Intelligence
2003	Trabalho em evento	Especificação e Verificação Formal de Sistemas Distribuídos Fernando Luís DOTTI; Luciana FOSS; Leila RIBEIRO; Osmar Marchi Dos SANTOS XVII Simpósio Brasileiro de Engenharia de Software ISBN 8574011266	PS Computer Science (miscellaneous)
2003	Trabalho em evento	Verification of Distributed Object-Based Systems Fernando Luís DOTTI; Luciana FOSS; Leila RIBEIRO; Osmar Marchi Dos SANTOS 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems	PS Computer Science (miscellaneous)
2000	Trabalho em evento	AlgoMais - interpretador de linguagem algorítmica para o projeto ILENA Luciana FOSS; Ricardo Vargas DORNELES VIII Encontro de Jovens Pesquisadores da UCS	SH Language and Linguistics

2011 Artigo em periódico

PS Artificial Intelligence

Correct transformation: From object-based graph grammars to PROMELA

Science of Computer Programming (Print)

Leila RIBEIRO; Dos Santos Osmar MARCHI; Dotti Fernando Luã S; Luciana FOSS

DOI ISSN 0167-6423

2010 Trabalho em evento

PS Artificial Intelligence

Model Checking the Ant Colony Optimisation

Distributed; Parallel and Biologically Inspired Systems

Lucio Mauro DUARTE; Luciana FOSS; Flávio Rech WAGNER; Tales HEIMFARTH

DOI

2010 Trabalho em evento

PS Artificial Intelligence

A Probabilistic Model Checking Technique for the Verification of Self-Organising Emergent Systems

XXXVII Seminário Integrado de Software e Hardware - SEMISH

Lucio Mauro DUARTE; Luciana FOSS; Flávio Rech WAGNER; Tales HEIMFARTH

2009 Capítulo de livro

PS Software

Especificação de Sistemas Baseados em Objetos com Gramática de Grafos

Desafios e Avanços em Computação: o estado da arte

Luciana FOSS; Simone André Da COSTA; Aline Brum LORETO; Leila RIBEIRO

ISBN 9788571925

2009 Trabalho em evento

PS Computer Science (miscellaneous)

Uma Metodologia de Engenharia de Software para o Desenvolvimento de Sistemas Emergentes Auto-organizáveis

II Seminário sobre Grandes Desafios da Computação no Brasil

Flávio Rech WAGNER; Lucio Mauro DUARTE; Tales HEIMFARTH; Luciana FOSS; Rodrigo MACHADO et al

2009 Trabalho em evento

PS Computer Science (miscellaneous)

Graph Transformation with Dependencies for the Specification of Interactive Systems

19th International Workshop on Algebraic Development Techniques

Corradini A; Luciana FOSS; Ribeiro L

DOI ISBN 9783642034

2009 Trabalho em evento

PS Artificial Intelligence

Model Transformation Using Graph Transactions

11th International Conference on Software Reuse

Ribeiro L; Luciana FOSS; Bruno Da SILVA; Daltro NUNES

DOI ISBN 9783642042102

2009 Artigo em periódico

SH Linguistics and Language

Aspects for Graph Grammars

Electronic Communications of the EASST

Rodrigo MACHADO; Luciana FOSS; Leila RIBEIRO

ISSN 1863-2122

2008 Artigo em periódico

PS Computer Science (miscellaneous)

Towards a Notion of Transaction in Graph Rewriting

Electronic Notes in Theoretical Computer Science

Baldan P; Corradini A; Dotti F L; Luciana FOSS; Gadducci F et al

DOI ISSN 1571-0661

2007 Trabalho em evento

PS Computer Science (miscellaneous)

Graph productions with dependencies

Simpósio Brasileiro de Métodos Formais

Luciana FOSS; Rodrigo MACHADO; Leila RIBEIRO

ISBN 9788576691303

2007 Trabalho em evento

PS Computer Science (miscellaneous)

Formal Verification of Object-Oriented Graph Grammars Specifications

Workshop on Graph Transformation for Concurrency and Verification (GT-VC 2006)

Ana Paula Ludtke FERREIRA; Luciana FOSS; Leila RIBEIRO

DOI

2007 Artigo em periódico

LS Genetics

Modelling; property verification and behavioural equivalence of lactose operon regulation

Computers in Biology and Medicine

Marcelo Cezar PINTO; Luciana FOSS; José Carlos Merino MOMBACH; Leila RIBEIRO

DOI ISSN 0010-4825

2006 Trabalho em evento

PS Artificial Intelligence

Graph Transactions as Processes

Third International Conference on Graph Transformations

Paolo BALDAN; Andrea CORRADINI; Luciana FOSS; Fabio GADDUCCI

DOI ISBN 978354038

2006 Trabalho em evento

PS Artificial Intelligence

Graph transactions as a basis for graph transformation modules

International Workshop on Algebraic Development Techniques

Paolo BALDAN; Andrea CORRADINI; Luciana FOSS; Fabio GADDUCCI; Leila RIBEIRO

2005 Trabalho em evento

LS Clinical Biochemistry

Modeling and Property Verification of Lactose Operon Regulation

Brazilian Symposium on Bioinformatics

Marcelo Cezar PINTO; Luciana FOSS; José Carlos Merino MOMBACH; Leila RIBEIRO

DOI ISBN 9783540280

2005 Trabalho em evento

PS Computer Science (miscellaneous)

An Environment for the Development of Concurrent Object-Based Applications

International Workshop on Graph-Based Tools (GraBaTs 2004)

Fernando Luís DOTTI; Lucio Mauro DUARTE; Luciana FOSS; Leila RIBEIRO; Daniela Tereza Ascencio RUSSI et al

ISBN 15710661

2004 Trabalho em evento

SH Language and Linguistics

A Translation from Object-Based Hypergraph Grammars into Pi-Calculus (Concurso de Teses e Dissertações)

XVII CTD/SBC - Concurso de Teses e Dissertações

Luciana FOSS; Leila RIBEIRO

ISBN 8588442949

2004 Trabalho em evento

PS Computer Science (miscellaneous)

Translating Java Code to Graph Transformation Systems

Second International Conference on Graph Transformations

Andrea CORRADINI; Fernando Luís DOTTI; Luciana FOSS; Leila RIBEIRO

ISBN 978354023

2004 Trabalho em evento

PS Artificial Intelligence

A Translation from Object-Based Hypergraph Grammars into π-Calculus

Brazilian Workshop on Formal Methods

Luciana FOSS; Leila RIBEIRO

DOI ISBN 15710661

2003 Trabalho em evento

PS Computer Science (miscellaneous)

Especificação e Verificação Formal de Sistemas Distribuídos

XVII Simpósio Brasileiro de Engenharia de Software

Fernando Luís DOTTI; Luciana FOSS; Leila RIBEIRO; Osmar Marchi Dos SANTOS

ISBN 8574011266

2003 Trabalho em evento

PS Computer Science (miscellaneous)

Verification of Distributed Object-Based Systems

6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems

Fernando Luís DOTTI; Luciana FOSS; Leila RIBEIRO; Osmar Marchi Dos SANTOS

2000 Trabalho em evento

SH Language and Linguistics

AlgoMais - interpretador de linguagem algorítmica para o projeto ILENA

VIII Encontro de Jovens Pesquisadores da UCS

Luciana FOSS; Ricardo Vargas DORNELES