Lígia Maria Soares Passos

ORCID

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 7

Top Venues

Federal University of Uberlândia, Brazil (PHD)

Education History

Federal University of Uberlândia, Brazil

PHD

Publications

Lígia Maria Soares Passos, Christian Murphy, Rita Zhen Chen, Marcos Gonçalves de Santana, Giselle Soares Passos
Mental Health of Computer Science Students during the COVID-19 Pandemic Social Isolation. Revista Brasileira de Informática na Educ. 31 (2023)
Lígia Maria Soares Passos, Christian Murphy, Rita Zhen Chen, Marcos Gonçalves de Santana, Giselle Soares Passos
The Prevalence of Anxiety and Depression Symptoms among Brazilian Computer Science Students. SIGCSE (2020)
Lígia Maria Soares Passos, Stéphane Julia, Bruno Francisco Martins da Silva
A Linear Logic Based Method for Deadlock-Freeness Scenarios Monitoring in Web Services Composition. SOSE (2019)
Vinícius Ferreira de Oliveira, Stéphane Julia, Lígia Maria Soares Passos, Kênia Santos de Oliveira
A Linear Logic based Synchronization Rule for Deadlock Prevention in Web Service Composition. ICEIS (2) (2017)
Lígia Maria Soares Passos, Stéphane Julia
Linear Logic as a Tool for Qualitative and Quantitative Analysis of Workow Processes. Int. J. Artif. Intell. Tools 25 (3) (2016)
Stéphane Julia, Liliane do Nascimento Vale, Lígia Maria Soares Passos
Functional Testing Using Object WorkFlow Nets. Comput. Informatics 35 (3) (2016)
Lígia Maria Soares Passos, Stéphane Julia
Linear Logic as a Tool for Weak Soundness Verification for Interorganizational Workflow Processes. ICTAI (2016)
Lígia Maria Soares Passos, Stéphane Julia
Deadlock-Freeness Scenarios Detection in Web Service Composition. ITNG (2015)
Lígia Maria Soares Passos, Stéphane Julia
Relaxed Soundness Verification for Interorganizational Workflow Processes. ICEIS (3) (2015)
Lígia Maria Soares Passos, Stéphane Julia
Linear Logic as a Tool for Deadlock-Freeness Scenarios Detection in Interorganizational Workflow Processes. ICTAI (2014)
Gliner Dias Alencar, Juliana Ferreira G. da Silva, Lígia Maria Soares Passos, Cecir Barbosa de Almeida Farias, Anderson Apolonio Lira Queiroz
FaceEduc: Análises e Resultados da Adaptação Gráfica do Moodle baseada no Facebook. SBSI (2014)
Lígia Maria Soares Passos, Stéphane Julia
Qualitative Analysis of Interorganizational WorkFlow Nets Using Linear Logic: Soundness Verification. ICTAI (2013)
Luciane de Fatima Silva, Lígia Maria Soares Passos, Michel dos Santos Soares, Stéphane Julia
Siphon-based deadlock prevention policy for interorganizational WorkFlow net design. IRI (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. SBSI (2013)
Guilherme Willian de Oliveira, Stéphane Julia, Lígia Maria Soares Passos
Game modeling using WorkFlow nets. SMC (2011)
Lígia Maria Soares Passos, Stéphane Julia
Qualitative Analysis of WorkFlow nets using Linear Logic: Soundness Verification. SMC (2009)
Lígia Maria Soares Passos, Stéphane Julia
Análise qualitativa e quantitativa de WorkFlow nets utilizando Lógica Linear. SBSI (2009)

Lígia Maria Soares Passos.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Lígia Maria Soares Passos