Manisha Jain

According to our database, Manisha Jain authored at least 3 papers between 2019 and 2021.

Collaborative distances:

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

2021

Towards a specification theory for fuzzy modal logic.

Manisha Jain, Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

2019

A Fuzzy Modal Logic for Fuzzy Transition Systems.

Manisha Jain, Alexandre Madeira, Manuel A. Martins

Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, 2019

On the Generation of Equational Dynamic Logics for Weighted Imperative Programs.

Leandro Gomes, Alexandre Madeira, Manisha Jain, Luís Soares Barbosa

Proceedings of the Formal Methods and Software Engineering, 2019