Lígia Maria Soares Passos

According to our database, Lígia Maria Soares Passos authored at least 18 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

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

2020

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

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

2019

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

Proceedings of the 13th IEEE International Conference on Service-Oriented System Engineering, 2019

2017

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

Proceedings of the ICEIS 2017, 2017

2016

Uma metodologia baseada na lógica linear para análise de processos de workflow interorganizacionais.

Lígia Maria Soares Passos

PhD thesis, 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

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 Weak Soundness Verification for Interorganizational Workflow Processes.

Lígia Maria Soares Passos, Stéphane Julia

Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

2015

Deadlock-Freeness Scenarios Detection in Web Service Composition.

Lígia Maria Soares Passos, Stéphane Julia

Proceedings of the 12th International Conference on Information Technology, 2015

Relaxed Soundness Verification for Interorganizational Workflow Processes.

Lígia Maria Soares Passos, Stéphane Julia

Proceedings of the ICEIS 2015, 2015

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 Apolonio Lira Queiroz

Proceedings of the 10th Brazilian Symposium on Information Systems, 2014

Linear Logic as a Tool for Deadlock-Freeness Scenarios Detection in Interorganizational Workflow Processes.

Lígia Maria Soares Passos, Stéphane Julia

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

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

Proceedings of the 9th Brazilian Symposium on Information Systems, 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

Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

Qualitative Analysis of Interorganizational WorkFlow Nets Using Linear Logic: Soundness Verification.

Lígia Maria Soares Passos, Stéphane Julia

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2011

Game modeling using WorkFlow nets.

Guilherme Willian de Oliveira, Stéphane Julia, Lígia Maria Soares Passos

Proceedings of the IEEE International Conference on Systems, 2011

2009

Qualitative Analysis of WorkFlow nets using Linear Logic: Soundness Verification.

Lígia Maria Soares Passos, Stéphane Julia

Proceedings of the IEEE International Conference on Systems, 2009

Análise qualitativa e quantitativa de WorkFlow nets utilizando Lógica Linear.

Lígia Maria Soares Passos, Stéphane Julia

Proceedings of the 5th Brazilian Symposium on Information Systems, 2009