Mariana Matulovic Da Silva Rodrigueiro

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: Matemática

Publicações

Total: 61

Á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
Luiz Henrique Da Cruz SILVESTRINI		Ciências Exatas e da Terra	Matemática
Sueli Liberatti JAVARONI		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 → 2

Mapa de calor das categorias ASJC por ano
Categoria ASJC	2002	2003	2005	2006	2007	2011	2012	2013	2014	2015	2016	2017	2018	2019	2020	2021	2022	2023	2025	2026
2609 · Logic	1	1	0	2	1	1	1	0	0	1	0	0	0	0	0	0	0	1	0	0
2103 · Fuel Technology	0	0	0	0	0	0	0	0	0	0	0	0	0	1	1	0	2	0	0	0
2209 · Industrial and Manufacturing Engineering	0	0	0	0	0	0	0	0	0	0	0	0	0	1	1	1	0	1	0	0
2614 · Theoretical Computer Science	0	0	0	0	0	0	0	2	1	1	0	0	0	0	0	0	0	0	0	0
3304 · Education	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	1	0	2
1102 · Agronomy and Crop Science	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	1	0	1	0
1706 · Computer Science Applications	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	2	0	0	0
1103 · Animal Science and Zoology	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	1	0	0	0
1106 · Food Science	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	1	0	0	0	0
1702 · Artificial Intelligence	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	1	0
2208 · Electrical and Electronic Engineering	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	1	0
2305 · Environmental Engineering	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	2	0
2601 · Mathematics (miscellaneous)	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0
1100 · General Agricultural and Biological Sciences	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0
1211 · Philosophy	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
1508 · Process Chemistry and Technology	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0
1701 · Computer Science (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0
1707 · Computer Vision and Pattern Recognition	0	0	0	0	0	0	0	0	0	0	0	0	1	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	1	0	0	0
2102 · Energy Engineering and Power Technology	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0
2105 · Renewable Energy; Sustainability and the Environment	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0
2207 · Control and Systems Engineering	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0
2210 · Mechanical Engineering	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0
2215 · Building and Construction	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1
2308 · Management; Monitoring; Policy and Law	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0
2312 · Water Science and Technology	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0
2602 · Algebra and Number Theory	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0
2604 · Applied Mathematics	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
3105 · Instrumentation	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0
3204 · Developmental and Educational Psychology	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0
3301 · Social Sciences (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	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	Polynomial Proof Systems: from the classical to the non-classical logics. Mariana Matulovic Da Silva RODRIGUEIRO 4th World Congress and School on Universal Logic.	PS Theoretical Computer Science
2012	Trabalho em evento	Polynomial Proof Systems and Suszko's Thesis. Mariana Matulovic Da Silva RODRIGUEIRO Philosophy and Mathematics of Uncertainty and Vagueness.	PS Logic
2011	Artigo em periódico	LECTURE NOTES: Proof theory for contemporary logic by handling polynomials over finite fields. Walter Alexandre CARNIELLI; Mariana Matulovic Da Silva RODRIGUEIRO CLE e-Prints (Online) ISSN 1519-9681	PS Logic
2007	Trabalho em evento	Algumas Lógicas Moduladas em Sistemas de Tableaux. Mariana Matulovic Da Silva RODRIGUEIRO V Simpósio Internacional Principia	PS Logic
2006	Trabalho em evento	Tablôs for Logic of Much. Mariana Matulovic Da Silva RODRIGUEIRO; Hércules De Araújo FEITOSA 9°th International Meeting on Pragmatism.	PS Logic
2006	Trabalho em evento	Lógica do Muito em um sistema dedutivo por tablôs Hercules De Araújo FEITOSA; Mariana Matulovic Da Silva RODRIGUEIRO VII EBICC - Encontro Brasileiro de Ciência Cognitiva	PS Logic
2005	Trabalho em evento	Um estudo sobre a Lógica do Muito. Mariana Matulovic Da Silva RODRIGUEIRO 8º Encontro Internacional sobre Pragmatismo.	SH Philosophy
2005	Trabalho em evento	A modalidade temporal do Sistema Kb Mariana Matulovic Da Silva RODRIGUEIRO; Hércules De Araújo FEITOSA XVI Semana de Licenciatura em Matemática e I Reunião Científica da Licenciatura	PS Mathematics (miscellaneous)
2003	Trabalho em evento	Refletindo sobre o sistema de lógica minimal Kt Mariana Matulovic Da Silva RODRIGUEIRO XV Semana da licenciatura em Matemática: Repensando as licenciaturas	PS Logic
2002	Trabalho em evento	Sobre lógica fuzzy Mariana Matulovic Da Silva RODRIGUEIRO XIV Congresso de Iniciação Científica	PS Logic
2002	Trabalho em evento	Inferências Fuzzy Mariana Matulovic Da Silva RODRIGUEIRO XIV Semana da Licenciatura em Matemática	PS Applied Mathematics

2013 Trabalho em evento

PS Theoretical Computer Science

Polynomial Proof Systems: from the classical to the non-classical logics.

4th World Congress and School on Universal Logic.

Mariana Matulovic Da Silva RODRIGUEIRO

2012 Trabalho em evento

PS Logic

Polynomial Proof Systems and Suszko's Thesis.

Philosophy and Mathematics of Uncertainty and Vagueness.

Mariana Matulovic Da Silva RODRIGUEIRO

2011 Artigo em periódico

PS Logic

LECTURE NOTES: Proof theory for contemporary logic by handling polynomials over finite fields.

CLE e-Prints (Online)

Walter Alexandre CARNIELLI; Mariana Matulovic Da Silva RODRIGUEIRO

ISSN 1519-9681

2007 Trabalho em evento

PS Logic

Algumas Lógicas Moduladas em Sistemas de Tableaux.

V Simpósio Internacional Principia

Mariana Matulovic Da Silva RODRIGUEIRO

2006 Trabalho em evento

PS Logic

Tablôs for Logic of Much.

9°th International Meeting on Pragmatism.

Mariana Matulovic Da Silva RODRIGUEIRO; Hércules De Araújo FEITOSA

2006 Trabalho em evento

PS Logic

Lógica do Muito em um sistema dedutivo por tablôs

VII EBICC - Encontro Brasileiro de Ciência Cognitiva

Hercules De Araújo FEITOSA; Mariana Matulovic Da Silva RODRIGUEIRO

2005 Trabalho em evento

SH Philosophy

Um estudo sobre a Lógica do Muito.

8º Encontro Internacional sobre Pragmatismo.

Mariana Matulovic Da Silva RODRIGUEIRO

2005 Trabalho em evento

PS Mathematics (miscellaneous)

A modalidade temporal do Sistema Kb

XVI Semana de Licenciatura em Matemática e I Reunião Científica da Licenciatura

Mariana Matulovic Da Silva RODRIGUEIRO; Hércules De Araújo FEITOSA

2003 Trabalho em evento

PS Logic

Refletindo sobre o sistema de lógica minimal Kt

XV Semana da licenciatura em Matemática: Repensando as licenciaturas

Mariana Matulovic Da Silva RODRIGUEIRO

2002 Trabalho em evento

PS Logic

Sobre lógica fuzzy

XIV Congresso de Iniciação Científica

Mariana Matulovic Da Silva RODRIGUEIRO

2002 Trabalho em evento

PS Applied Mathematics

Inferências Fuzzy

XIV Semana da Licenciatura em Matemática

Mariana Matulovic Da Silva RODRIGUEIRO