Análise qualitativa e quantitativa de WorkFlow nets utilizando Lógica Linear. - Lígia Maria Soares Passos; Stéphane Julia (SBSI, 2009)

Qualitative Analysis of WorkFlow nets using Linear Logic: Soundness Verification. - Lígia Maria Soares Passos; Stéphane Julia (SMC, 2009)

Game modeling using WorkFlow nets. - Guilherme Willian de Oliveira; Stéphane Julia; Lígia Maria Soares Passos (SMC, 2011)

Qualitative Analysis of Interorganizational WorkFlow Nets Using Linear Logic: Soundness Verification. - Lígia Maria Soares Passos; Stéphane Julia (ICTAI, 2013)

Siphon-based deadlock prevention policy for interorganizational WorkFlow net design. - Luciane de Fatima Silva; Lígia Maria Soares Passos; Michel dos Santos Soares; Stéphane Julia (IRI, 2013)

Verification of Workflow Specifications in UML Using Automated Transformations to WF-nets. - Lígia Maria Soares Passos; Tarcísio Abadio de Magalhães Júnior; Marcelo de Almeida Maia; Stéphane Julia (SBSI, 2013)

Linear Logic as a Tool for Deadlock-Freeness Scenarios Detection in Interorganizational Workflow Processes. - Lígia Maria Soares Passos; Stéphane Julia (ICTAI, 2014)

FaceEduc: Análises e Resultados da Adaptação Gráfica do Moodle baseada no Facebook. - Gliner Dias Alencar; Juliana Ferreira G. da Silva; Lígia Maria Soares Passos; Cecir Barbosa de Almeida Farias; Anderson Apolônio Lira Queiroz (SBSI, 2014)

Relaxed Soundness Verification for Interorganizational Workflow Processes. - Lígia Maria Soares Passos; Stéphane Julia (ICEIS (3), 2015)

Deadlock-Freeness Scenarios Detection in Web Service Composition. - Lígia Maria Soares Passos; Stéphane Julia (ITNG, 2015)

Linear Logic as a Tool for Weak Soundness Verification for Interorganizational Workflow Processes. - Lígia Maria Soares Passos; Stéphane Julia (ICTAI, 2016)

Functional Testing Using Object WorkFlow Nets. - Stéphane Julia; Liliane do Nascimento Vale; Lígia Maria Soares Passos (Comput. Informatics, 2016)

Linear Logic as a Tool for Qualitative and Quantitative Analysis of Workow Processes. - Lígia Maria Soares Passos; Stéphane Julia (Int. J. Artif. Intell. Tools, 2016)

Uma metodologia baseada na lógica linear para análise de processos de workflow interorganizacionais. - Lígia Maria Soares Passos (2016)

A Linear Logic based Synchronization Rule for Deadlock Prevention in Web Service Composition. - Vinícius Ferreira de Oliveira; Stéphane Julia; Lígia Maria Soares Passos; Kênia Santos de Oliveira (ICEIS (2), 2017)

A Linear Logic Based Method for Deadlock-Freeness Scenarios Monitoring in Web Services Composition. - Lígia Maria Soares Passos; Stéphane Julia; Bruno Francisco Martins da Silva (SOSE, 2019)

The Prevalence of Anxiety and Depression Symptoms among Brazilian Computer Science Students. - Lígia Maria Soares Passos; Christian Murphy; Rita Zhen Chen; Marcos Gonçalves de Santana; Giselle Soares Passos (SIGCSE, 2020)

Mental Health of Computer Science Students during the COVID-19 Pandemic Social Isolation. - Lígia Maria Soares Passos; Christian Murphy; Rita Zhen Chen; Marcos Gonçalves de Santana; Giselle Soares Passos (Revista Brasileira de Informática na Educ., 2023)