Somos PUC Minas
PUC Minas
Última atualização do sistema: 29.03.2025
HOME
INDICADORES
CONTATO
SOBRE
Professor
Mark Alan Junho Song
http://lattes.cnpq.br/3841441176161322
Última atualização do Lattes: 17.03.2025
Unidade:
ICEI - INST. DE CIÊNCIAS EXATAS E INFORMÁTICA
Departamento:
DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃO
Nomes de citação:
SONG, Mark Alan Junho / Song, Mark / SONG, MARK A. J. / Song, Mark A. / SONG, MARK ALAN J. / SONG, Mark / J. SONG, MARK A / SONG, MARK A. JUNHO / Mark A.J. Song / Mark A. J. Song
Exibir Gráficos
Gráfico de Produção Bibliográfica
Gráfico de Orientações Concluídas
Produção Bibliográfica
Artigos Aceitos para Publicação
(2 - 50% com DOI)
+
Artigos Publicados
(24 - 92% com DOI)
+
Demais Tipos de Produção
(3 - 0% com DOI)
+
Trabalho em Eventos
(75 - 41% com DOI)
+
Orientações Concluídas
Mestrado:
25
Doutorado:
2
Pos-Doutorado:
0
Outras:
46
Produção Técnica
Software
(1)
+
Ano
2023
Título
Parallel In-Close 4 Algorithm
Trabalho Técnico
(15)
+
Ano
2024
Título
Membro do Comitê de Programa - Brazilian Symposium on Computing Systems Engineering
Ano
2023
Título
Membro do Comitê de Programa - Conferência Ibero-Americana em Computação Aplicada
Ano
2023
Título
Membro do Comitê de Programa - Brazilian Symposium on Computing Systems Engineering
Ano
2021
Título
Membro do Comitê de Programa - Brazilian Symposium on Computing Systems Engineering
Ano
2020
Título
Membro do Comitê de Programa - Brazilian Symposium on Computing Systems Engineering
Ano
2019
Título
Membro do Comitê de Programa - Brazilian Symposium on Computing Systems Engineering
Ano
2018
Título
Membro do Comitê de Programa - Brazilian Symposium on Computing Systems Engineering
Ano
2017
Título
Membro do Comitê de Programa - Brazilian Symposium on Computing Systems Engineering
Ano
2016
Título
Membro do Comitê de Programa - WebMedia
Ano
2016
Título
Membro do Comitê de Programa - Simpósio Mineiro de Engenharia de Software
Ano
2016
Título
Membro do Comitê de Programa - Brazilian Symposium on Computing Systems Engineering
Ano
2015
Título
Membro do Comitê de Programa - WebMedia
Ano
2014
Título
Membro do Comitê de Programa - Simpósio Mineiro de Engenharia de Software
Ano
2014
Título
Revisor - Brazilian Symposium on BioInformatics
Ano
2013
Título
Membro do Comitê de Programa - Conferência Ibero-Americana em Computação Aplicada
9 Especialidades
Por ordem de relevância
Nome da especialidade
(número de vezes que aparece no Lattes)
Engenharia de Software
(41)
+
mais informações sobre esta especialidade
Redes Neurais
(3)
+
mais informações sobre esta especialidade
Linguagens de Programação
(2)
+
mais informações sobre esta especialidade
Sistemas de Informação
(2)
+
mais informações sobre esta especialidade
Redes
(1)
+
mais informações sobre esta especialidade
Verificação de Modelos
(1)
+
mais informações sobre esta especialidade
Verificação de Modelos
(1)
+
mais informações sobre esta especialidade
Verificação Formal de Sistemas
(1)
+
mais informações sobre esta especialidade
Verificação Formal de Sistemas
(1)
+
mais informações sobre esta especialidade
Coautores
Total: 138
Professor da PUC Minas (6)
Externo Identificado no Lattes (19)
Não identificado (113)
Luis Enrique Zárate Gálvez
Luis zarate
ZÁRATE, LUIS
Luis Enrique Zárate Gálvez
Sérgio Mariano Dias
Sergio Vale Aguiar Campos
NOBRE, CRISTIANE
Adriano Pereira
Julio Neves
Rokia Missaoui
Wagner Meira Jr
Gustavo Gorgulho
Pedro Henrique Ruas
kaio Ananias
Cristiane Neri
Frederico Papatella Guerino
Elizabeth Marques Duarte Pereira
Tadeu Renato André Santos
Bruno Magalhães Nogueira
Rodrigo Richard Gomes
MIRANDA, DIOGO
Wanderson Soares
SILVA, PAULA
Andrei Rimsa
BRANDÃO, WLADMIR C.
DIAS, SERGIO M.
Sebastião Mendes Neto
ZARATE, LUIS E.
Humberto Torres Marques Neto
Flávio Gonçalves Fernandes
Bruno de Castro Bahia Alvarenga Soares
Wladmir Brandão
Daniel Pereira
SANTANA, RENATA
TEODORO, MAYCOLN
Léonard Kwuida
NOBRE, CRISTIANE N.
Henrique Cota de Freitas
NEVES, JULIO
SANTOS, PHILLIP
DIAS, SÉRGIO M.
ZÁRATE, LUIS E.
Decius Pereira
Rodrigo Rezende Marinho Diana
Júlio César Neves
Gustavo Ludovico Guidoni
Newton José Vieira
Renato Vimieiro
Luciano Carreiro de Sá
Bernardo Dantas Teixeira
MENDES, HENRIQUE FERNANDES VIANA
SILVA, ATÍLIO FERREIRA
SANTOS, JOÃO PEDRO
heleny Bessa
Diogo Castro
IBRAHIM, MOHAMED HAMZA
KWUIDA, LÉONARD
RUAS, PEDRO H. B.
Jefferson Eduardo de Carvalho Camelo
Arthur Vinicius do Carmo Santos
SANTOS, DEIVID SARDINHA
Henrique Mendes
Marcos Rodrigues
RODRIGUES, MARCOS WANDER
Matheus Souza
Lucas Maciel
João P. Novais
RUAS, PEDRO HENRIQUE B.
NEVES, JULIO C. V.
Flavio Silva
Cherukuri Aswani Kumar
José Newton Vieira
Paula Raissa Costa e Silva
MARQUES-NETO, HUMBERTO TORRES
RIBEIRO, MARCOS GUILHERME
MIRANDA, MÁRCIO ASSIS
BARROS, CRISTIANO
Lucila Ishitani
Ronan Ferreira
Monica Machado
Diogo dos Reis
Marta Dias Noron'ha
Daniel Rocha Franca
Caio Davi Rabelo Fiorini
Ligia Gonçalves
Laura Xavier
Martha Dias
Mateus Sobreira
COUTINHO, LINCOLN
OLIVEIRA, THIAGO
FREITAS, HENRIQUE
ALVES, ANDRÉ
Deivid Santos
Paulo Lana
ASSIS, ÉRIKA
N. DE LIMA, THIAGO
B. DA SILVA, ARIANE
BALBINO, MARCELO
JANDRE, CAROLINE
XAVIER, PEDRO
HOTT, HENRIQUE
MILOUD-AOUIDATE, AMAL
MIRANDA, DÉBORA
FERREIRA, LUCAS
Marta Noronha
Lorenzo Marzano
Walisson Ferreira
RIBEIRO, CAIO E.
RODRIGUES, MARCOS W.
NORONHA, MARTA D. M.
NOVAIS, JOÃO PAULO
MACIEL, LUCAS
SOUZA, MATHEUS
Patrícia Lima
PEREIRA, OTMAR M.
SILVA, PAULA R. C.
Humberto Torres Marques
Thiago Dias
renan tavares
Marcos Ribeiro
marcio assis miranda
NETO, SEBASTIAO M.
otmar pereira junior
Anselmo Obadias Nhane
Carolina Diniz Cunha
Amanda Lima de Olivieira
Rafael Odon de Alencar
Pedro Felipe Oliveira
Tiago Figueiredo de Carvalho
Sebastião Eustáquio de Jesus
Carolina Francisco Cota
Sérgio Roberto Imaeda Yoshioka
Igor Perdigão Reis
Hugo Barros
Ana Angêlica Alvarez
Horácio Helman
Roberto da Silva Bigonha
Mariza Bigonha
31 Palavras Chave
utilizadas pelo(a) professor(a)
Engenharia de Software
web systems
model checking
Transformação de Aplicações
BMC
Métodos Formais
Processos
Framework
reuso de código
clause symmetry
e-commerce
Comunicação distribuida
Data Mining
Paralelismo
SAT
Energia Solar
projeto de classes
UML
Metodologia de Projetos
model checking pattern
Padrões de Projeto
Gerência de Projeto
Modelos
OCL
Verificação de Modelos com Fronteiras
grafos de dependência
XUL
Orientação por Objeto
Desenvolvimento de software
Projeto de Sotware
Comércio Eletrônico
CTIT UFMG