苏曼·罗伊0001 Optum Global Solutions Ltd(联合健康集团) 印度班加罗尔Infosys有限公司 霍尼韦尔技术解决方案实验室,印度班加罗尔 印度班加罗尔印度科学院 https://orcid.org/0000-0002-5293-824X https://www.researchgate.net/profile/Suman_Roy7 苏曼·罗伊 苏曼·罗伊0002 印度古瓦哈蒂IIT https://orcid.org/0000-0003-0895-1268 https://www.researchgate.net/profile/Suman_Roy5 苏曼·罗伊0003 印度加尔各答工程与管理学院物理系 阿米特·库玛尔 苏帕纳·达斯 苏曼·罗伊0001 转移学习改进了临床笔记中ICD代码的无监督分配。 278-287 2023 ICDH公司 https://doi.org/10.1109/ICDH0066.2023.00047 conf/icdh/2023 db/conf/icdh/icdh2023.html#KumarDR23 维杰·瓦尔马·马拉迪 苏曼·罗伊0001 使用层次模型进行呼叫原因预测。 898至901 2023 https://doi.org/10.1145/3555776.3577777 conf/sac/2023 db/conf/sac/sac2023.html#Malladi023 阿米特·库玛尔 苏曼·罗伊0001 苏拉布·库马尔·巴塔查吉 通过解释快速无监督分配ICD代码和临床笔记。 610-618 2022 https://doi.org/10.1145/3477314.3506983 conf/sac/2022 db/conf/sac/sac2022.html#Kumar0B22
阿扬·森古普塔 苏曼·罗伊0001 高拉夫·兰扬 LJST:短文本的半监督联合情感主题模型。 256 2021 2 序列号计算。科学。 4 https://doi.org/10.1007/s42979-021-00649-x db/journals/sncs/sncs2.html#SenguptaRR21
阿扬·森古普塔 阿米特·库玛尔 苏拉布·库马尔·巴塔查吉 苏曼·罗伊0001 用于鲁棒去噪序列-序列建模的门控变压器。 3645-3657 2021 EMNLP(调查结果) https://doi.org/10.18653/v1/2021.findings-emnlp.309 https://aclantology.org/2021.findings-emnlp.309 conf/emnlp/2021f db/conf/emnlp/emnlp2021f.html#SenguptaKB021 苏曼·罗伊0001 阿米特·库玛尔 阿扬·森古普塔 里卡多·马蒂维 塞利姆·艾哈迈德 迈克尔·布里奇斯 关系临床代码的嵌入式表示学习。 885-899 2021 国际社会理事会 https://doi.org/10.1007/978-3-030-91431-8_66 conf/icsoc/2021 db/conf/icsoc/icsoc2021.html#0001KSMAB21 阿扬·森古普塔 威廉·斯科特·帕卡 苏曼·罗伊0001 高拉夫·兰扬 坦莫伊查克拉波蒂0002 一种基于嵌入的短文本联合情感主题模型。 633-643 2021 ICWSM公司 https://ojs.aaai.org/index.php/ICWSM/article/view/18090 conf/icwsm/2021年 db/conf/icwsm/icwsm2021.html#SenguptaP0R021
阿扬·森古普塔 威廉·斯科特·帕卡 苏曼·罗伊0001 高拉夫·兰扬 Tanmoy查克拉博蒂0002 一种基于嵌入的短文本联合情感主题模型。 2021 abs/2103.14410 CoRR公司 https://arxiv.org/abs/2013.14410 db/journals/corr/corr2103.html#abs-2103-14410
沙希·库马尔 苏曼·罗伊0001 维沙尔·巴沙克 具有属性标签的短文本学习表示的混合分布式模型。 244-248 2020 COMAD/CODS公司 https://doi.org/10.1145/3371158.3371195 conf/comad/2020 db/conf/comad/comad2020.html#KumarRP20 苏曼·罗伊0001 维杰·瓦尔马·马拉迪 阿扬·森古普塔 苏帕纳·达斯 短文本的在线主题建模。 563-579 2020 国际社会理事会 https://doi.org/10.1007/978-3-030-65310-1_41 conf/icsoc/2020 db/conf/icsoc/icsoc2020.html#0001MSD20 弗林达·雅达夫 苏曼·罗伊0001 Rushikesh K.Joshi 过程软件信息系统中的过程启迪模式。 161-168 2018 合同专用条款 https://doi.org/10.109/SCC.2018.00028 https://doi.ieecomputersociety.org/10.109/SCC.2018.00028 conf/IEEEscc/2018 db/conf/IEEEscc/scc2018.html#YadavRJ18 苏曼·罗伊0001 维杰·瓦尔马·马拉迪 阿披舍克黑帮 Rajaprabu Dharmaraj公司 启发式辅助的基于NMF的IT维护通知单主题和集群学习。 209-217 2018 CAiSE论坛 https://doi.org/10.1007/978-3-319-92901-9_18 conf/caise/2018fo db/conf/caise/caisefo2018.html#RoyMGD18 苏曼·罗伊0001 加布里埃尔·西尔瓦蒂奇·达扬 V.德瓦拉贾·霍拉 使用OWL+SWRL对工业业务流程进行查询和检索建模。 516-536 2018 OTM会议(2) https://doi.org/10.1007/978-3-030-02671-4_31 conf/otm/2018-2年 db/conf/otm/otm2018-2.html#RoyDH18 杜尔加·普拉萨德·穆尼 苏曼·罗伊0001 杨德仁John Lew Chiang 安托万Jean-Marie Viallet 纳文·布迪哈拉 使用深度神经网络推荐ITIL服务票证的解决方案。 14:1-14:10 2017 代码 https://doi.org/10.1145/3041823.3041831 conf/cods/2017 db/conf/cods/cods2017.html#MuniRCVB17 梅塔·桑提普特里 Aditya Ghose公司 Hoa Khanh大坝 苏曼·罗伊0001 目标编排:建模和挖掘灵活的业务流程。 373-387 2017 急诊室 https://doi.org/10.1007/978-3-319-69904-2_29 conf/er/2017年 db/conf/er/er2017.html#SantiputriGDR17 苏曼·罗伊0001 杜尔加·普拉萨德·穆尼 阿德里亚·巴塔查里亚 迪潘詹·杜塔 纳文·布迪哈拉 IT维护票据的模糊QoS建模。 476-483 2017 ICWS公司 https://doi.org/10.109/ICWS.2017.55 https://doi.ieecomputersociety.org/10.109/ICWS.2017.55 conf/icws/2017 db/conf/icws/icws2017.html#RoyMBDB17 拉加夫·索纳瓦内 苏曼·罗伊0001 杜尔加·普拉萨德·穆尼 增强IT维护通知单QoS预测的辅助方法。 467-487 2017 OTM会议(1) https://doi.org/10.1007/978-3-319-69462-7_30 conf/otm/2017-1 db/conf/otm/otm2017-1.html#SonavaneRM17
英德拉尼尔·萨哈 苏曼·罗伊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 A.S.M.萨吉夫 A.戈皮坎德 阿德里亚·巴塔查里亚 工业业务流程子流程诊断的实证分析。 195-202 2016 合同专用条款 https://doi.org/10.109/SCC.2016.33 https://doi.ieecomputersociety.org/10.109/SCC.2016.33 conf/IEEEscc/2016 db/conf/IEEEscc/scc2016.html#RoySGB16 苏曼·罗伊0001 杨德仁 纳文·布迪哈拉 阿兰·林 恢复应用程序维护事件的解决方案。 617-624 2016 合同专用条款 https://doi.org/10.109/SCC.2016.86 https://doi.ieecomputersociety.org/10.1109/SCC.2016.86 conf/IEEEscc/2016 db/conf/IEEEscc/scc2016.html#RoyYBL16 苏曼·罗伊0001 梅塔·桑提普特里 Aditya K.Ghose公司 过程效果的注释和挖掘。 302-310年 2016 急诊室 https://doi.org/10.1007/978-3-319-46397-124 2016年下半年 db/conf/er/er2016.html#RoySG16 苏曼·罗伊0001 杜尔加·普拉萨德·穆尼 杨德仁 纳文·布迪哈拉 法比安·塞勒 集群和标记IT维护通知单。 829-845 2016 国际社会理事会 https://doi.org/10.1007/978-3-319-46295-0_58 conf/icsoc/2016 db/conf/icsoc/icsoc2016.html#RoyMYBC16 萨蒂亚吉特·班纳吉 德巴里亚·穆霍帕迪亚 苏曼·罗伊0001 一种新的基于门限认证的传感器网络防御Sybil攻击方案。 562-572 2015 ICISS公司 https://doi.org/10.1007/978-3-319-26961-0_35 conf/icis/2015年 db/conf/iciss/iciss2015.html#BanerjeeMR15 苏曼·罗伊0001 基兰·普拉卡什·萨万特 阿迪蒂亚·卡莱 奥利维尔·莫里斯·查文 面向Web服务的企业主题地图本体的提取。 117-129 2015 ICSOC研讨会 https://doi.org/10.1007/978-3-662-50539-7_10 conf/icsoc/2015w db/conf/icsoc/icsoc2015w.html#RoySKC15
贾纳丹·米斯拉 苏曼·罗伊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 A.S.M.萨吉夫 Srivibha Sripathy公司 诊断工业业务流程:早期经验。 703-717 2014 FM公司 https://doi.org/10.1007/978-3-319-06410-9_47 conf/fm/2014年 db/conf/fm/fm2014.html#RoySS14 基兰·普拉卡什·萨旺特 苏曼·罗伊0001 斯利维巴·斯利帕蒂 弗朗索瓦·普莱塞 A.S.M.萨吉夫 从文本用例派生需求模型。 235-244 2014 ICSE伴侣 https://doi.org/10.1145/2591062.2591193 conf/icse/2014c db/conf/icse/icse2014c.html#SawantRSPS14 基兰·普拉卡什·萨旺特 苏曼·罗伊0001 迪普蒂·帕拉丘里 弗朗索瓦·普莱塞 普什巴克·巴塔查里亚 通过注释模型对文本用例强制执行结构。 18:1-18:6 2014 国际标准化委员会 https://doi.org/10.1145/2590748.2590766 conf/indiaSE/2014 db/conf/indiaSE/isec2014.html#SawantRPPB14 苏曼·罗伊0001 基兰·普拉卡什·萨旺特 奥利维尔·莫里斯·查文 从XML/XSD文档生成主题映射。 13:1-13:8 2013 计算机 https://doi.org/10.1145/2522548.2523130 conf/compute/2013 db/conf/compute/computel2013.html#RoySC13 苏曼·罗伊0001 西德哈特·比哈里 Jose Alfonso Corso老挝 检查业务流程一致性的CSP理论框架。 30-39 2012 亚太经合组织 https://doi.org/10.109/APSEC.2012.110 conf/apsec/2012 db/conf/apsec/apsec2012.html#RoyBL12 西德哈特·比哈里 苏曼·罗伊0001 谭子涵 基兰·普拉卡什·萨旺特 使用混合程序对UBL过程进行基于知识的形式化。 13 2012 计算机 https://doi.org/10.1145/2459118.2459131 conf/compute/2012 db/conf/compute/computel2012.html#BiharyRHS12 苏曼·罗伊0001 西德哈特·比哈里 Jose Alfonso Corso老挝 一致性检查工具CSPConCheck。 159-163 2012 ICTAC公司 https://doi.org/10.1007/978-3642-32943-2_12 conf/ictac/2012 db/conf/ictac/ictac2012.html#RoyBL12 西德哈特·比哈里 贾加迪什·科内蒂 苏曼·罗伊0001 使用CSP的过程一致性。 139-142 2012 国际标准化委员会 https://doi.org/10.1145/2134254.2134278 conf/indiaSE/2012 db/conf/indiaSE/isec2012.html#BiharyKR12 苏曼·罗伊0001 瓦洛德克·德拉本特 使用混合程序使业务流程正规化。 2012 OWLED(发光二极管) https://ceur-ws.org/Vol-849/paper_24.pdf conf/owled/2012 db/conf/owled/owled2012.html#RoyD12 阿尔贝托·巴斯蒂亚斯 西德哈特·比哈里 苏曼·罗伊0001 使用In-house Infosys工具对BPM流程建模的错误进行自动分析。 97-105 2011 亚太经合组织 https://doi.org/10.109/APSEC.2011.49 https://doi.ieecomputersociety.org/10.1109/APSEC.2011.49 conf/apsec/2011 db/conf/apsec/apsec2011.html#BastiasBR11 达米安·拉科斯特 基兰·普拉卡什·萨旺特 苏曼·罗伊0001 高效的XML到OWL转换器。 145-154 2011 国际标准化委员会 https://doi.org/10.1145/1953355.1953376 https://orkg.org/orkg/resource/R139903 conf/indiaSE/2011 db/conf/indiaSE/isec2011.html#LacosteSR11
苏曼·罗伊0001 具有邻域模式的持续时间演算。 81-126 2010 20 J.应用。非班级。逻辑 1-2 https://doi.org/10.3166/jancl.20.81-126 db/journals/jancl/jancl20.html#Suman10
苏曼·罗伊0001 基兰·普拉卡什·萨旺特 Aditya K.Ghose公司 使用OWL对UBL流程图进行本体建模。 535-540 2010 CISIM公司 https://doi.org/10.1109/CISIM.2010.5643509 conf/cisim/2010年 db/conf/cisim/cisim2010.html#RoySG10 Hui Wang(王慧) 苏曼·罗伊0001 阿弥陀佛大士 桑乔伊·库马尔·保罗 网络机器安全量化框架。 1-8 2010 通讯录 https://doi.org/10.109/COMSNETS.2010.5431978 conf/comsnets/2010 db/conf/comsnets/comsnets2010.html#WangRDP10
英德拉尼尔·萨哈 贾纳丹·米斯拉 苏曼·罗伊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 斯里尼瓦斯·帕德马纳布尼 使用主题图进行智能业务知识管理。 8 2009 班加罗尔计算机会议。 https://doi.org/10.1145/1517303.1517312 conf/compute/2009 db/conf/compute/computel2009.html#KarjikarRP09 英德拉尼尔·萨哈 Kuntal Chakraborty公司 苏曼·罗伊0001 B.维什努·瓦尔丹·雷迪 文卡塔帕亚·库拉帕蒂 维希什·夏尔马 一种对C程序进行逆向工程以通过一致性测试模拟模型的方法。 137-138 2009 国际标准化委员会 https://doi.org/10.1145/1506216.1506246 conf/indiaSE/2009 db/conf/indiaSE/isec2009.html#SahaCRRKS09
贾纳丹·米斯拉 苏曼·罗伊0001 基于偏序和对称约简的分布式可达性分析技术 http://arxiv.org/abs/0901.0179 2009 CoRR公司 abs/0901.0179 数据库/期刊/corr/corr0901.html#abs-0901-0179
英德拉尼尔·萨哈 贾纳丹·米斯拉 苏曼·罗伊0001 基于超时和日历的实时系统有限状态建模和验证。 284-299 2007 conf/atva/2007年 ATVA公司 https://doi.org/10.1007/978-3-540-75596-8_21 db/conf/atva/atva2007.html#SahaMR07 邓加拉·拉姆·乔达里 德夫·安舒尔 苏曼·罗伊0001 Chandrashekhar Thejaswi P.S.公司。 Ad Hoc传感器网络的计算和资源高效的组密钥协议。 2007 conf/comsware/2007年 COMSWARE公司 https://doi.org/10.1109/COMSWA.2007.382601 http://eudl.eu/doi/10.1109/COMSWA2007.382601 db/conf/comsware/comswere2007.html#ChoudharyART07 英德拉尼尔·萨哈 苏曼·罗伊0001 使用Spin对时间触发CAN(TTCAN)协议进行有限状态分析。 77-81 2007 conf/iccta/2007年 ICCTA公司 https://doi.org/10.1109/ICCTA.2007.4 https://doi.ieeecomputersociety.org/10.109/ICCTA.2007.4 db/conf/iccta/iccta2007.html#SahaR07 英德拉尼尔·萨哈 苏曼·罗伊0001 Kuntal Chakraborty公司 基于同步日历的TTCAN启动协议建模与验证。 69-79 2007 conf/sefm/2007年 SEFM公司 https://doi.org/10.109/SEFM.2007.27 https://doi.ieecomputersociety.org/10.109/SEFM.2007.27 db/conf/sefm/sefm2007.html#SahaRC07 苏曼·罗伊0001 Guido Sciavicco公司 用“And Then”和“While”进行推理。 181-188 2007 conf/time/2007年 时间 https://doi.org/10.109/TIME.2007.57 https://doi.ieecomputersociety.org/10.109/TIME.2007.57 db/conf/time/time2007.html#RoyS07 苏曼·罗伊0001 德巴里亚·穆霍帕迪亚 Chandrashekhar Thejaswi P.S.公司。 基于模拟攻击的概率自动机模型的传感器网络设计。 2006 conf/comsware/2006 COMSWARE公司 db/conf/comsware/comswere2006.html#Roy06 https://doi.org/10.109/COMSWA.2006.1665175 http://eudl.eu/doi/10.1109/COMSWA.2006.1665175 1-7 英德拉尼尔·萨哈 苏曼·罗伊0001 使用Spin的AFDX帧管理的有限状态建模。 227-243 2006 conf/fmics/2006年 FMICS/PDMC公司 https://doi.org/10.1007/978-3-540-70952-7_15 db/conf/fmics/fmics2006.html#SahaR06 苏曼·罗伊0001 Bhaskar Chakraborty公司 无限系统符号模型检验中DFA的有限并集。 277至278 2006 conf/wia/2006年 CIAA公司 https://doi.org/10.1007/11812128_27 db/conf/wia/ciaa2006.html#RoyC06 德巴里亚·穆霍帕迪亚 苏曼·罗伊0001 无线传感器网络密钥预分配方案的基于博弈的安全模型。 334-347 2005 conf/icdcit/2005 ICDCIT公司 https://doi.org/10.1007/11604655_39 db/conf/icdcit/icdcit2005.html#MukhopadhyayR05 德夫·安舒尔 苏曼·罗伊0001 一种基于ZKP的无线传感器网络基本节点识别方案。 319-323 2005 conf/sac/2005 https://doi.org/10.1145/1066677.1066754 db/conf/sac/sac2005.html#AnshulR05 苏曼·罗伊0001 使用DFA的有限并集对无限系统进行符号验证。 56-66 2004 conf/sefm/2004 SEFM公司 https://doi.ieecomputersociety.org/10.1109/SEFM.2004.40 db/conf/sefm/sefm2004.html#Roy04
拉娜·巴鲁阿 苏曼·罗伊0001 周朝晨 邻域逻辑的完整性。 271-295 2000 10 J.日志。计算。 2 db/journals/logcom/logcom10.html#BaruaRC00 https://doi.org/10.1093/log.com/10.2.271
拉娜·巴鲁阿 苏曼·罗伊0001 周朝晨 邻域逻辑的完备性。 521-530 1999 conf/stasts/1999 堆栈 db/conf/stasts/stacs99.html#BaruaRC99 https://doi.org/10.1007/3-540-49116-3_49
维杰·钱德鲁 苏曼·罗伊0001 拉梅什·苏布拉曼尼亚姆 否定即失败即解决。 315-329 1998 制约国际期刊。 4 数据库/期刊/约束/约束3.html#ChandruRS98 https://doi.org/10.1023/A:1009724005666
维杰·钱德鲁 苏曼·罗伊0001 拉梅什·苏布拉马尼亚姆 确定性约束逻辑程序中的构造否定。 335至336 1996 conf/亚洲/1996 亚洲的 db/conf/asian/sian96.html#ChandrRS96 https://doi.org/10.1007/BFb0027806 塞利姆·艾哈迈德 德夫·安舒尔 萨蒂亚吉特·班纳吉 拉娜·巴鲁阿 阿尔贝托·巴斯蒂亚斯 苏拉布·库马尔·巴塔查吉 阿德里亚·巴塔查里亚 普什巴克·巴塔查里亚 西德哈特·比哈里 迈克尔·布里奇斯 纳文·布迪哈拉 法比安·塞勒 Bhaskar Chakraborty公司 Kuntal Chakraborty公司 坦莫伊查克拉波蒂0002 维杰·钱德鲁 奥利维尔·莫里斯·查文 杨德仁John Lew Chiang 邓加拉·拉姆·乔达里 Khanh Hoa大坝Hoa Khanh大坝 阿弥陀佛大士 苏帕纳·达斯 加布里埃尔·西尔瓦蒂奇·达扬 Rajaprabu Dharmaraj公司 沃德齐米尔兹·德拉本特瓦洛德克·德拉本特 迪潘詹·杜塔 阿披舍克黑帮 Aditya Ghose公司Aditya K.Ghose公司 A.戈皮昌德 谭子涵 V.德瓦拉贾·霍拉 Rushikesh K.Joshi 阿迪蒂亚·卡莱 费萨尔·卡吉卡尔 贾加迪什·科内蒂 阿米特·库玛尔 沙希·库马尔 文卡塔帕亚·库拉帕蒂 达米安·拉科斯特 Jose Alfonso Corso老挝 阿兰·林 维杰·瓦尔马·马拉迪 里卡多·马蒂维 贾纳丹·米斯拉 德巴里亚·穆霍帕迪亚 杜尔加·普拉萨德·穆尼 斯里尼瓦斯·帕德马纳布尼 Deepti Parachuri公司 维沙尔·巴沙克 桑乔伊·库马尔·保罗 弗朗索瓦·普莱塞 S.Ramesh 0002公司 Abhishek Ranjan公司 高拉夫·兰扬 B.维什努·瓦尔丹·雷迪 Chandrashekhar Thejaswi P.S.公司。 英德拉尼尔·萨哈 A.S.M.萨吉夫 梅塔·桑提普特里 基兰·普拉卡什·萨旺特 Guido Sciavicco公司 威廉·斯科特0001威廉·斯科特·帕卡 阿扬·森古普塔 维希什·夏尔马 拉加夫·索纳瓦内 Srivibha Sripathy公司斯利维巴·斯利帕蒂 拉梅什·苏布拉曼尼亚姆 安托万Jean-Marie Viallet Hui Wang(王慧) 弗林达·雅达夫 杨德仁 周朝晨周朝晨