Lígia Maria Soares Passos

18 papers A 1B 5Misc 1Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2023 J jnl
Mental Health of Computer Science Students during the COVID-19 Pandemic Social Isolation.
Revista Brasileira de Informática na Educ.
Lígia Maria Soares Passos, Christian Murphy, Rita Zhen Chen, Marcos Gonçalves de Santana, Giselle Soares Passos
2020 A conf
The Prevalence of Anxiety and Depression Symptoms among Brazilian Computer Science Students.
SIGCSE
Lígia Maria Soares Passos, Christian Murphy, Rita Zhen Chen, Marcos Gonçalves de Santana, Giselle Soares Passos
2019 — conf
A Linear Logic Based Method for Deadlock-Freeness Scenarios Monitoring in Web Services Composition.
SOSE
Lígia Maria Soares Passos, Stéphane Julia, Bruno Francisco Martins da Silva
2017 — conf
A Linear Logic based Synchronization Rule for Deadlock Prevention in Web Service Composition.
ICEIS (2)
Vinícius Ferreira de Oliveira, Stéphane Julia, Lígia Maria Soares Passos, Kênia Santos de Oliveira
2016 J jnl
Functional Testing Using Object WorkFlow Nets.
Comput. Informatics
Stéphane Julia, Liliane do Nascimento Vale, Lígia Maria Soares Passos
2016 J jnl
Linear Logic as a Tool for Qualitative and Quantitative Analysis of Workow Processes.
Int. J. Artif. Intell. Tools
Lígia Maria Soares Passos, Stéphane Julia
2016 B conf
Linear Logic as a Tool for Weak Soundness Verification for Interorganizational Workflow Processes.
ICTAI
Lígia Maria Soares Passos, Stéphane Julia
2016 — —
Uma metodologia baseada na lógica linear para análise de processos de workflow interorganizacionais.
Lígia Maria Soares Passos
2015 — conf
Deadlock-Freeness Scenarios Detection in Web Service Composition.
ITNG
Lígia Maria Soares Passos, Stéphane Julia
2015 — conf
Relaxed Soundness Verification for Interorganizational Workflow Processes.
ICEIS (3)
Lígia Maria Soares Passos, Stéphane Julia
2014 — conf
FaceEduc: Análises e Resultados da Adaptação Gráfica do Moodle baseada no Facebook.
SBSI
Gliner Dias Alencar, Juliana Ferreira G. da Silva, Lígia Maria Soares Passos, Cecir Barbosa de Almeida Farias, Anderson Apolônio Lira Queiroz
2014 B conf
Linear Logic as a Tool for Deadlock-Freeness Scenarios Detection in Interorganizational Workflow Processes.
ICTAI
Lígia Maria Soares Passos, Stéphane Julia
2013 B conf
Qualitative Analysis of Interorganizational WorkFlow Nets Using Linear Logic: Soundness Verification.
ICTAI
Lígia Maria Soares Passos, Stéphane Julia
2013 Misc conf
Siphon-based deadlock prevention policy for interorganizational WorkFlow net design.
IRI
Luciane de Fatima Silva, Lígia Maria Soares Passos, Michel dos Santos Soares, Stéphane Julia
2013 — conf
Verification of Workflow Specifications in UML Using Automated Transformations to WF-nets.
SBSI
Lígia Maria Soares Passos, Tarcísio Abadio de Magalhães Júnior, Marcelo de Almeida Maia, Stéphane Julia
2011 B conf
Game modeling using WorkFlow nets.
SMC
Guilherme Willian de Oliveira, Stéphane Julia, Lígia Maria Soares Passos
2009 — conf
Análise qualitativa e quantitativa de WorkFlow nets utilizando Lógica Linear.
SBSI
Lígia Maria Soares Passos, Stéphane Julia
2009 B conf
Qualitative Analysis of WorkFlow nets using Linear Logic: Soundness Verification.
SMC
Lígia Maria Soares Passos, Stéphane Julia