阿扬·森古普塔 苏曼·罗伊0001 高拉夫·兰扬 LJST:短文本的半监督联合情感主题模型。 256 2021 2 序列号计算。科学。 4 https://doi.org/10.1007/s42979-021-00649-x db/journals/sncs/sncs2.html#SenguptaRR21
阿扬·森古普塔 威廉·斯科特·帕卡 苏曼·罗伊0001 高拉夫·兰扬 Tanmoy查克拉博蒂0002 一种基于嵌入的短文本联合情感主题模型。 2021 abs/2103.14410 CoRR公司 https://arxiv.org/abs/2013.14410 db/journals/corr/corr2103.html#abs-2103-14410
英德拉尼尔·萨哈 苏曼·罗伊0001 S.Ramesh 0002公司 时间触发体系结构容错启动算法的形式化验证:综述。 904-922 2016 104 程序。电气与电子工程师协会 5 https://doi.org/10.109/JPROC.2016.2519247 db/journals/pieee/pieee104.html#SahaRR16
苏曼·罗伊0001 贾纳丹·米斯拉 英德拉尼尔·萨哈 实时验证问题的简化。 548-571 2016 26 柔和。测试。验证Reliab。 8 https://doi.org/10.1002/stvr.1622 db/journals/stvr/stvr26.html#RoyMS16
苏曼·罗伊0001 A.S.M.萨吉夫 业务流程错误诊断分析的正式框架。 226-261 2016 11 变速器。Petri网其他模型。同意。 https://doi.org/10.1007/978-3-662-53401-4_11 期刊/topnoc/2016-11 db/journals/topnoc/topnoc11.html#RoyS16
贾纳丹·米斯拉 苏曼·罗伊0001 基于可判定超时的线性时序逻辑扩展。 262-291 2014 24 J.应用。非班级。逻辑 三 https://doi.org/10.1080/11663081.2014.964491 db/journals/jancl/jancl24.html#MisraR14
苏曼·罗伊0001 A.S.M.萨吉夫 西德哈特·比哈里 Abhishek Ranjan公司 工业业务流程模型中错误模式的实证研究。 140-153 2014 7 IEEE传输。服务。计算。 2 https://doi.org/10.109/TSC.2013.10 http://doi.ieecomputersociety.org/10.109/TSC.2013.10 db/journals/tsc/tsc7.html#RoySBR14
苏曼·罗伊0001 具有邻域模式的持续时间演算。 81-126 2010 20 J.应用。非班级。逻辑 1-2 https://doi.org/10.3166/jancl.20.81-126 db/journals/jancl/jancl20.html#Suman10
英德拉尼尔·萨哈 贾纳丹·米斯拉 苏曼·罗伊0001 一个实时验证问题的简化 http://arxiv.org/abs/1008.1417 2010 CoRR公司 腹肌/1008.1417 db/journals/corr/corr1008.html#abs-1008-1417
贾纳丹·米斯拉 苏曼·罗伊0001 基于可判定超时的命题线性时序逻辑扩展 http://arxiv.org/abs/1012.3704 2010 CoRR公司 abs/1012.3704 数据库/期刊/corr/corr1012.html#abs-1012-3704
贾纳丹·米斯拉 苏曼·罗伊0001 基于偏序和对称约简的分布式可达性分析技术 http://arxiv.org/abs/0901.0179 2009 CoRR公司 abs/0901.0179 数据库/期刊/corr/corr0901.html#abs-0901-0179
拉娜·巴鲁阿 苏曼·罗伊0001 周朝晨 邻域逻辑的完整性。 271-295 2000 10 J.日志。计算。 2 db/journals/logcom/logcom10.html#BaruaRC00 https://doi.org/10.1093/log.com/10.2.271
维杰·钱德鲁 苏曼·罗伊0001 拉梅什·苏布拉曼尼亚姆 否定即失败即解决。 315-329 1998 三 制约国际期刊。 4 数据库/期刊/约束/约束3.html#ChandruRS98 https://doi.org/10.1023/A:1009724005666