Jamal Mohamed Nurul N. Jain
AuthID: R-00F-YQT
1
TITLE: Towards a specification theory for fuzzy modal logic
AUTHORS: Jain, M; Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLISHED: 2021, SOURCE: 15th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2021 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2021)
AUTHORS: Jain, M; Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLISHED: 2021, SOURCE: 15th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2021 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2021)
2
TITLE: A Fuzzy Modal Logic for Fuzzy Transition Systems
AUTHORS: Jain, M; Madeira, A ; Martins, MA ;
PUBLISHED: 2020, SOURCE: 14th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) / 27th International Conference on Automated Deduction (CADE) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 348
AUTHORS: Jain, M; Madeira, A ; Martins, MA ;
PUBLISHED: 2020, SOURCE: 14th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) / 27th International Conference on Automated Deduction (CADE) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 348
3
TITLE: Prenatal skeletal dysplasia phenotype in severe MLII alpha/beta with novel GNPTAB mutation Full Text
AUTHORS: Shagun Aggarwal; Maria Francisca Coutinho; Ashwin B Dalal; Jamal Mohamed Nurul N Jain; Maria Joao Prata ; Sandra Alves;
PUBLISHED: 2014, SOURCE: GENE, VOLUME: 542, ISSUE: 2
AUTHORS: Shagun Aggarwal; Maria Francisca Coutinho; Ashwin B Dalal; Jamal Mohamed Nurul N Jain; Maria Joao Prata ; Sandra Alves;
PUBLISHED: 2014, SOURCE: GENE, VOLUME: 542, ISSUE: 2
