ligia maria soares passos

DeptCC/IM - DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃO/IM

Produção Intelectual

Artigos (2)

• 2016, JULIA, STÉPHANE, Liliane do Nascimento Vale, Lígia Maria Soares Passos , Functional Testing Using Object Workflow Nets, ISSN: 13359150
• 2016, Lígia Maria Soares Passos, JULIA, STÉPHANE , Linear Logic as a Tool for Qualitative and Quantitative Analysis of Workow Processes, ISSN: 02182130

Publicação em Eventos (24)

• 2022, Lígia Maria Soares Passos, MURPHY, CHRISTIAN, CHEN, RITA ZHEN, SANTANA, MARCOS GONÇALVES, PASSOS, GISELLE SOARES, Association of Positive and Negative Feelings with Anxiety and Depression Symptoms among Computer Science Students during the COVID-19 Pandemic, Simpósio Brasileiro de Educação em Computação, Trabalho Completo
• 2020, Lígia Maria Soares Passos, MURPHY, CHRISTIAN, ZHEN CHEN, RITA, GONÇALVES DE SANTANA, MARCOS, SOARES PASSOS, GISELLE, The Prevalence of Anxiety and Depression Symptoms among Brazilian Computer Science Students, SIGCSE '20: The 51st ACM Technical Symposium on Computer Science Education, Trabalho Completo
• 2019, Ramon Machado de Almeida; Wagner de Souza de Oliveira; Samuel Igor dos Santos Pessoa; Natália Chaves Lessa Schots; Lígia Maria Soares Passos, PROJETO DE INTRODUÇÃO AO PENSAMENTO ALGORÍTMICO PARA ESTUDANTES DO ENSINO MÉDIO, VII Reunião Anual de Iniciação Científica - RAIC 2019 - UFRRJ - Desafios e Perspectiva da Política Científica no Brasil, Resumo
• 2019, ZHEN CHEN, RITA, Giselle Soares Passos, GONÇALVES DE SANTANA, MARCOS, Lígia Maria Soares Passos, Perfil Sociodemográfico dos Estudantes de Ciência da Computação da UFRRJ, VII Reunião Anual de Iniciação Científica RAIC 2019 - UFRRJ - Desafios e Perspectiva da Política Científica no Brasil, Resumo
• 2019, José Lucas Alves Gomes, Lígia Maria Soares Passos, Interface gráfica para provador de teoremas da Lógica Linear que representam modelos em rede de Petri, VII Reunião Anual de Iniciação Científica RAIC 2019 - UFRRJ - Desafios e Perspectiva da Política Científica no Brasil, Resumo
• 2019, Lígia Maria Soares Passos, JULIA, STEPHANE, MARTINS DA SILVA, BRUNO FRANCISCO, A Linear Logic Based Method for Deadlock-Freeness Scenarios Monitoring in Web Services Composition, 2019 IEEE International Conference on ServiceOriented System Engineering (SOSE), Trabalho Completo
• 2017, FERREIRA DE OLIVEIRA, VINÍCIUS, JULIA, STÉPHANE, Lígia Maria Soares Passos, SANTOS DE OLIVEIRA, KÊNIA, A Linear Logic based Synchronization Rule for Deadlock Prevention in Web Service Composition, 19th International Conference on Enterprise Information Systems, Trabalho Completo
• 2016, Lígia Maria Soares Passos, Linear Logic as a Tool for Weak Soundness Verification for Interorganizational Workflow Processes, 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI), Trabalho Completo
• 2016, Lígia Maria Soares Passos, JULIA, STEPHANE, Linear Logic as a Tool for Weak Soundness Verification for Interorganizational Workflow Processes, 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI), Trabalho Completo
• 2015, Lígia Maria Soares Passos, JULIA, STEPHANE, Deadlock-Freeness Scenarios Detection in Web Service Composition, 2015 12th International Conference on Information Technology New Generations (ITNG), Trabalho Completo
• 2015, Lígia Maria Soares Passos, JULIA, STÉPHANE, Relaxed Soundness Verification for Interorganizational Workflow Processes, 17th International Conference on Enterprise Information Systems, Trabalho Completo
• 2014, Lígia Maria Soares Passos, JULIA, STEPHANE, Linear Logic as a Tool for Deadlock-Freeness Scenarios Detection in Interorganizational Workflow Processes, 2014 IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI), Trabalho Completo
• 2014, ALENCAR, GLINER DIAS, DA SILVA, JULIANA FERREIRA G., Lígia Maria Soares Passos, FARIAS, CECIR BARBOSA A., QUEIROZ, ANDERSON APOLONIO L., FaceEduc: Análises e Resultados da Adaptação Gráfica do Moodle baseada no Facebook, X Simpósio Brasileiro de Sistemas de Informação, Trabalho Completo
• 2013, Lígia Maria Soares Passos, JULIA, STEPHANE, Qualitative Analysis of Interorganizational WorkFlow Nets Using Linear Logic: Soundness Verification, 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI), Trabalho Completo
• 2013, ALENCAR, GLINER DIAS, FARIAS, CECIR BARBOSA A., SILVA, JULIANA FERREIRA G., QUEIROZ, ANDERSON APOLONIO L., Lígia Maria Soares Passos, FaceEduc: Uma Adaptação Visual do Moodle Baseada na Interface e Mecanismos de Interação do Facebook, XXIV Simpósio Brasileiro de Informática na Educação, Trabalho Completo
• 2013, Lígia Maria Soares Passos, Qualitative Analysis of Interorganizational WorkFlow nets using Linear Logic: Soundness Verification, 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, Trabalho Completo
• 2013, DE FATIMA SILVA, LUCIANE, Lígia Maria Soares Passos, DOS SANTOS SOARES, MICHEL, JULIA, STEPHANE, Siphon-based deadlock prevention policy for interorganizational WorkFlow net design, 2013 IEEE 14th International Conference on Information Reuse & Integration (IRI), Trabalho Completo
• 2013, Lígia Maria Soares Passos; Tarcísio Abadio de Magalhães Júnior; Marcelo de Almeida Maia; Stéphane Julia, Verification of Workflow Specifications in UML Using Automated Transformations to WF-nets, IX Simpósio Brasileiro de Sistemas de Informação, Trabalho Completo
• 2013, Lígia Maria Soares Passos, MAGALHÃES JÚNIOR, TARCÍSIO ABADIO DE, MAIA, MARCELO DE ALMEIDA, JULIA, STÉPHANE, Verification of Workflow Specifications in UML Using Automated Transformations to WF-nets, Simpósio Brasileiro de Sistemas de Informação, Trabalho Completo
• 2011, Guilherme Willian de Oliveira, Stéphane Julia, Lígia Maria Soares Passos, Game Modeling using WorkFlow nets, IEEE International Conference on Systems, Man, and Cybernetics, Trabalho Completo
• 2009, Lígia Maria Soares Passos, Stéphane Julia, Qualitative analysis of WorkFlow nets using linear logic: Soundness verification, 2009 IEEE International Conference on Systems, Man, and Cybernetics, Trabalho Completo
• 2009, Lígia Maria Soares Passos, Qualitative Analysis of Workflow nets using Linear Logic: Soundness Verification, 2009 IEEE International Conference on Systems, Man, and Cybernetics, Trabalho Completo
• 2009, Lígia Maria Soares Passos, JULIA, STÉPHANE, Análise qualitativa e quantitativa de WorkFlow nets utilizando Lógica Linear, Simpósio Brasileiro de Sistemas de Informação, Trabalho Completo
• 2009, Lígia Maria Soares Passos , Análise Qualitativa e Quantitativa de WorkFlow nets utilizando Lógica Linear, V Simpósio Brasileiro de Sistemas de Informação - SBSI, Trabalho Completo

Capítulos de Livros (1)

• 2018, A Synchronization Rule Based on Linear Logic for Deadlock Prevention in Interorganizational WorkFlow Nets, Advances in Intelligent Systems and Computing, de Oliveira, Vinícius Ferreira, JULIA, STÉPHANE, Lígia Maria Soares Passos, de Oliveira, Kênia Santos

Participações em Bancas de Cursos (15)

• 2022, Monografia de Graduação Relevancia das Soft Skills no Desenvolvimento de Software: uma Visao das Empresas e de Alunos do Curso de Ciencia da Computacao da UFRRJ, FRANCISCO SANCAS JUNIOR
• 2022, Monografia de Graduação Heuristicas ILS e GRASP aplicadas ao Problema de Rotacao de Culturas, HANDY CLAUDE MARIE MILLIANCE
• 2022, Monografia de Graduação Heuristicas ILS e GRASP aplicadas ao Problema de Rotacao de Culturas, WAGNER DE SOUZA DE OLIVEIRA
• 2021, Monografia de Graduação Mapeando Perfis de Analistas de Requisitos a partir de Tecnicas de Elicitacao, DOUGLAS CUSTODIO DE ARAUJO
• 2021, Monografia de Graduação Catalogo de Boas Praticas para Elaboracao e Escrita de Casos de Teste, ANDREIA DOS SANTOS DE OLIVEIRA
• 2021, Monografia de Graduação LOGIC CALCULATOR: UM APLICATIVO MOVEL PARA CALCULO DA LOGICA PROPOSICIONAL, AULOS RAFAEL DUTRA DE SOUSA
• 2021, Monografia de Graduação PN2LL: transformacao de um modelo em rede de Petri em um sequente da Logica Linear, ANGELO VICTOR DA SILVA TRACIERRA
• 2021, Monografia de Graduação Survey sobre o Uso de Ferramentas de Comunicacao no Desenvolvimento de Software, LUIS PAULO DA COSTA CAVALCANTE
• 2020, Monografia de Graduação Modelos para Gestao de Inovacao em Startups, WILLIAM MESSIAS DA COSTA
• 2020, Monografia de Graduação Provador de Sequentes da Logica Linear para modelos em redes de Petri utilizando arvores de provas rotuladas, GABRIEL SANTOS DE OLIVEIRA
• 2019, Monografia de Graduação Provador de sequentes da Logica Linear que representam modelos em rede de Petri, BRUNO FRANCISCO MARTINS DA SILVA
• 2019, Monografia de Graduação Caracterizacao Inicial da Pratica de Gerencia de Risco em Projetos Ageis, DIANA SOARES DE ANDRADE XAVIER
• 2018, Dissertação de Mestrado Governo Eletrônico: uma proposta para avaliação dos serviços governamentais eletrônicos sob o prisma da usabilidade, Luciana Alves de Melo
• 2018, Monografia de Graduação Caracterização da Aprendizagem Organizacional para Novos Colaboradores em Organizações de Desenvolvimento de Software, LARISSA FERRAREZ RIBEIRO
• 2018, Qualificação de Mestrado Governo Eletrônico: uma proposta para avaliação da usabilidade dos serviços governamentais eletrônicos, Luciana Alves de Melo

Organização de Eventos, Consultorias, Edição e Revisão de Períodicos (1)

• 2008,Responsavel pela Organização de Evento, Universidade Federal de Uberlândia, Local, Comissão Organizadora do II Workshop de Dissertações - Pós-Graduação em Ciência da Computação - UFU

Participação em Colegiados e Comissões (1)

• Núcleo Docente Estruturante, Membro, UNIVERSIDADE FEDERAL RURAL DO RIO DE JANEIRO

Trabalho de Fim de Curso(4)

• ., STEPHANIE BARROS HONORIO , 09/2022
• ., MARINA HAMANN DA ROSA RIBEIRO CORDEIRO , 03/2023
• ., JOAO VITOR DE OLIVEIRA MEDEIROS , 07/2024
• Avaliação de Usabilidade do aplicativo Logic Calculator, MARINA HAMANN DA ROSA RIBEIRO CORDEIRO , 12/2024