苏曼·罗伊 0001
人员信息
附属: Optum Global Solutions Ltd(联合健康集团) 附属: 印度班加罗尔Infosys有限公司 附属: 霍尼韦尔技术解决方案实验室,印度班加罗尔 附属: 印度班加罗尔印度科学院
其他同名人员
其他同名人员
优化列表
2020年–今天
2023 [公元49年] 阿米特·库玛尔 , 苏帕纳·达斯 , 苏曼·罗伊 :
转移学习改进了临床笔记中ICD代码的无监督分配。 ICDH公司 2023 : 278-287 [公元48年] 维杰·瓦尔马·马拉迪 , 苏曼·罗伊 :
使用层次模型进行呼叫原因预测。 囊 2023 : 898-901 2022 [公元47年] 阿米特·库玛尔 , 苏曼·罗伊 , 苏拉布·库马尔·巴塔查吉 :
通过解释快速无监督分配ICD代码和临床笔记。 囊 2022 : 610-618 2021 [公元9年] 阿扬·森古普塔 , 苏曼·罗伊 , 高拉夫·兰扬 :
LJST:短文本的半监督联合情感主题模型。 序列号计算。 科学。 2 ( 4 ) : 256 ( 2021 ) [公元46年] 阿扬·森古普塔 , 阿米特·库玛尔 , 苏拉布·库马尔·巴塔查吉 , 苏曼·罗伊 :
用于鲁棒去噪序列-序列建模的门控变压器。 EMNLP(调查结果) 2021 : 3645-3657 [公元45年] 苏曼·罗伊 , 阿米特·库玛尔 , 阿扬·森古普塔 , 里卡多·马蒂维 , 塞利姆·艾哈迈德 , 迈克尔·布里奇斯 :
关系临床代码的嵌入式表示学习。 国际海洋科学委员会 2021 : 885-899 [公元44年] 阿扬·森古普塔 , 威廉·斯科特·帕卡 , 苏曼·罗伊 , 高拉夫·兰扬 , Tanmoy Chakraborty公司 :
一种基于嵌入的短文本联合情感主题模型。 ICWSM公司 2021 : 633-643 [i4] 阿扬·森古普塔 , 威廉·斯科特·帕卡 , 苏曼·罗伊 , 高拉夫·兰扬 , Tanmoy Chakraborty公司 :
一种基于嵌入的短文本联合情感主题模型。 CoRR公司 abs/2103.14410 ( 2021 ) 2020 [公元43年] 沙希·库马尔 , 苏曼·罗伊 , 维沙尔·巴沙克 :
具有属性标签的短文本学习表示的混合分布式模型。 COMAD/CODS公司 2020 : 244-248 [公元42年] 苏曼·罗伊 , 维杰·瓦尔马·马拉迪 , 阿扬·森古普塔 , 苏帕纳·达斯 :
短文本的在线主题建模。 国际海洋科学委员会 2020 : 563-579
2010 – 2019
2018 [公元41年] 维琳达·亚达夫 , 苏曼·罗伊 , Rushikesh K.乔希 :
过程软件信息系统中的过程启迪模式。 合同专用条款 2018 : 161-168 [公元40年] 苏曼·罗伊 , 维杰·瓦尔马·马拉迪 , 阿披舍克黑帮 , Rajaprabu Dharmaraj公司 :
启发式辅助的基于NMF的IT维护通知单主题和集群学习。 CAiSE论坛 2018 : 209-217 [公元39年] 苏曼·罗伊 , 加布里埃尔·西尔瓦蒂奇·达扬 , V.德瓦拉贾·霍拉 :
使用OWL+SWRL为查询和检索建模工业业务流程。 OTM会议(2) 2018 : 516-536 2017 [公元38年] 杜尔加·普拉萨德·穆尼 , 苏曼·罗伊 , 杨德仁John Lew Chiang , 安托万Jean-Marie Viallet , 纳文·布迪哈拉 :
使用深度神经网络推荐ITIL服务票证的解决方案。 代码 2017 : 14:1-14:10 [公元37年] 梅特塔·桑蒂普特里 , Aditya Ghose公司 , Hoa Khanh大坝 , 苏曼·罗伊 :
目标编排:建模和挖掘灵活的业务流程。 急诊室 2017 : 373-387 [公元36年] 苏曼·罗伊 , 杜尔加·普拉萨德·穆尼 , 阿德里亚·巴塔查里亚 , 迪潘詹·杜塔 , 纳文·布迪哈拉 :
IT维护票据的模糊QoS建模。 ICWS公司 2017 : 476-483 [公元35年] 拉加夫·索纳瓦内 , 苏曼·罗伊 , 杜尔加·普拉萨德·穆尼 :
增强IT维护通知单QoS预测的辅助方法。 OTM会议(1) 2017 : 467-487 2016 [j8] 因德拉尼尔·萨哈 , 苏曼·罗伊 , S.拉梅什 :
时间触发体系结构容错启动算法的形式化验证:综述。 程序。 电气与电子工程师协会 104 ( 5 ) : 904-922 ( 2016 ) [j7] 苏曼·罗伊 , 贾纳丹·米斯拉 , 因德拉尼尔·萨哈 :
实时验证问题的简化。 柔和。 测试。 验证可靠性。 26 ( 8 ) : 548-571 ( 2016 ) [j6] 苏曼·罗伊 , A.S.M.萨吉夫 :
业务流程错误诊断分析的正式框架。 事务处理。 Petri网其他模型。 同意。 11 : 226-261 ( 2016 ) [公元34年] 苏曼·罗伊 , A.S.M.萨吉夫 , A.戈皮坎德 , 阿德里亚·巴塔查里亚 :
工业业务流程子流程诊断的实证分析。 合同专用条款 2016 : 195-202 [公元33年] 苏曼·罗伊 , John-John Yeung Tack Yan先生 , 纳文·布迪哈拉 , 阿兰·林 :
恢复应用程序维护事件的解决方案。 合同专用条款 2016 : 617-624 [公元32年] 苏曼·罗伊 , 梅特塔·桑蒂普特里 , Aditya K.Ghose公司 :
过程效果的注释和挖掘。 急诊室 2016 : 302-310 [公元31年] 苏曼·罗伊 , 杜尔加·普拉萨德·穆尼 , John-John Yeung Tack Yan先生 , 纳文·布迪哈拉 , 法比安·塞勒 :
集群和标记IT维护通知单。 国际海洋科学委员会 2016 : 829-845 2015 [公元30年] 萨蒂亚吉特·班纳吉 , 德巴里亚·穆霍帕迪亚 , 苏曼·罗伊 :
一种新的基于门限认证的传感器网络防御Sybil攻击方案。 ICISS公司 2015 : 562-572 [公元29年] 苏曼·罗伊 , 基兰·普拉卡什·萨旺特 , 阿迪蒂亚·卡莱 , 奥利维尔·莫里斯·查文 :
面向Web服务企业的主题图本体抽取。 ICSOC研讨会 2015 : 117-129 2014 [j5] 贾纳丹·米斯拉 , 苏曼·罗伊 :
基于可判定超时的线性时序逻辑扩展。 J.应用。 非班级。 逻辑 24 ( 三 ) : 262-291 ( 2014 ) 【j4】 苏曼·罗伊 , A.S.M.萨吉夫 , 西德哈特·比哈里 , Abhishek Ranjan公司 :
工业业务流程模型中错误模式的实证研究。 IEEE传输。 服务。 计算。 7 ( 2 ) : 140-153年 ( 2014 ) [公元28年] 苏曼·罗伊 , A.S.M.萨吉夫 , Srivibha Sripathy公司 :
诊断工业业务流程:早期经验。 FM公司 2014 : 703-717 [公元27年] 基兰·普拉卡什·萨旺特 , 苏曼·罗伊 , 斯利维巴·斯利帕蒂 , 弗朗索瓦·普莱塞 , A.S.M.萨吉夫 :
从文本用例派生需求模型。 ICSE伴侣 2014 : 235-244 [公元26年] 基兰·普拉卡什·萨旺特 , 苏曼·罗伊 , 迪普蒂·帕拉丘里 , 弗朗索瓦·普莱塞 , 普什巴克·巴塔查里亚 :
通过注释模型在文本用例上实施结构。 国际标准化委员会 2014 : 18:1-18:6 2013 [公元25年] 苏曼·罗伊 , 基兰·普拉卡什·萨旺特 , 奥利维尔·莫里斯·查文 :
从XML/XSD文档生成主题映射。 计算机 2013 : 13:1-13:8 2012 [公元24年] 苏曼·罗伊 , 西德哈特·比哈里 , Jose Alfonso Corso老挝 :
检查业务流程一致性的CSP理论框架。 亚太经合组织 2012 : 30至39 【c23】 西德哈特·比哈里 , 苏曼·罗伊 , 谭子涵 , 基兰·普拉卡什·萨旺特 :
使用混合程序对UBL过程进行基于知识的形式化。 计算机 2012 : 13 [公元22年] 苏曼·罗伊 , 西德哈特·比哈里 , Jose Alfonso Corso老挝 :
一致性检查工具CSPConCheck。 ICTAC公司 2012 : 159-163 【c21】 西德哈特·比哈里 , 贾加迪什·科内蒂 , 苏曼·罗伊 :
使用CSP处理一致性。 国际标准化委员会 2012 : 139-142 [公元20年] 苏曼·罗伊 , 瓦洛德克·德拉本特 :
使用混合程序规范业务流程。 OWLED(发光二极管) 2012 2011 [第19条] 阿尔贝托·巴斯蒂亚斯 , 西德哈特·比哈里 , 苏曼·罗伊 :
使用In-house Infosys工具对BPM流程建模的错误进行自动分析。 亚太经合组织 2011 : 97-105 [第18条] 达米安·拉科斯特 , 基兰·普拉卡什·萨旺特 , 苏曼·罗伊 :
一个高效的XML到OWL的转换器。 国际标准化委员会 2011 : 145-154 2010 [j3] 苏曼·罗伊 :
具有邻域模式的持续时间演算。 J.应用。 非班级。 逻辑 20 ( 1-2 ) : 81-126 ( 2010 ) [第17条] 苏曼·罗伊 , 基兰·普拉卡什·萨旺特 , Aditya K.Ghose公司 :
使用OWL对UBL流程图进行本体建模。 CISIM公司 2010 : 535-540 [第16条] Hui Wang(王慧) , 苏曼·罗伊 , 阿弥陀佛大士 , 桑乔伊·库马尔·保罗 :
网络机器的安全量化框架。 通讯录 2010 : 1-8 [i3] 因德拉尼尔·萨哈 , 贾纳丹·米斯拉 , 苏曼·罗伊 :
实时验证问题的简化。 CoRR公司 abs/1008.1417 ( 2010 ) [i2] 贾纳丹·米斯拉 , 苏曼·罗伊 :
命题线性时序逻辑的一种基于可判定超时的扩展。 CoRR公司 abs/1012.3704 ( 2010 )
2000 – 2009
2009 [第15条] 费萨尔·卡吉卡 , 苏曼·罗伊 , 斯里尼瓦斯·帕德马纳布尼 :
使用主题图进行智能业务知识管理。 班加罗尔计算机会议。 2009 : 8 [第14条] 因德拉尼尔·萨哈 , Kuntal Chakraborty公司 , 苏曼·罗伊 , B.维什努·瓦尔丹·雷迪 , 文卡塔帕亚·库拉帕蒂 , 维希什·夏尔马 :
一种对C程序进行逆向工程以通过一致性测试模拟模型的方法。 国际标准化委员会 2009 : 137-138 [i1] 贾纳丹·米斯拉 , 苏曼·罗伊 :
基于偏序和对称约简的分布式可达性分析技术。 CoRR公司 abs/0901.0179 ( 2009 ) 2007 [第13条] 因德拉尼尔·萨哈 , 贾纳丹·米斯拉 , 苏曼·罗伊 :
基于超时和日历的实时系统有限状态建模和验证。 ATVA公司 2007 : 284-299 [第12条] 邓加拉·拉姆·乔达里 , 德夫·安舒尔 , 苏曼·罗伊 , Chandrashekhar Thejaswi P.S.公司。 :
Ad Hoc传感器网络的计算效率和资源效率组密钥协议。 COMSWARE公司 2007 [第11条] 因德拉尼尔·萨哈 , 苏曼·罗伊 :
使用Spin对时间触发CAN(TTCAN)协议进行有限状态分析。 国际协调委员会 2007 : 77-81 [第10条] 因德拉尼尔·萨哈 , 苏曼·罗伊 , Kuntal Chakraborty公司 :
基于同步日历的TTCAN启动协议建模与验证。 SEFM公司 2007 : 69-79 【c9】 苏曼·罗伊 , Guido Sciavicco公司 :
用“And Then”和“While”进行推理。 时间 2007 : 181-188 2006 【c8】 苏曼·罗伊 , 德巴里亚·穆霍帕迪亚 , Chandrashekhar Thejaswi P.S.公司。 :
基于模拟攻击的概率自动机模型的传感器网络设计。 COMSWARE公司 2006 : 1-7 【c7】 因德拉尼尔·萨哈 , 苏曼·罗伊 :
使用Spin的AFDX帧管理的有限状态建模。 FMICS/PDMC系统 2006 : 227-243 【c6】 苏曼·罗伊 , Bhaskar Chakraborty公司 :
无限系统符号模型检验中DFA的有限并集。 CIAA公司 2006 : 277-278 2005 【c5】 德巴里亚·穆霍帕迪亚 , 苏曼·罗伊 :
无线传感器网络密钥预分配方案的基于博弈的安全模型。 ICDCIT公司 2005 : 334-347 【c4】 德夫·安舒尔 , 苏曼·罗伊 :
一种用于无线传感器网络中基本节点的基于ZKP的识别方案。 囊 2005 : 319-323 2004 【c3】 苏曼·罗伊 :
使用DFA的有限并集对无限系统进行符号验证。 SEFM公司 2004 : 56-66 2000 [注2] 拉娜·巴鲁阿 , 苏曼·罗伊 , 周朝晨 :
邻域逻辑的完整性。 J.日志。 计算。 10 ( 2 ) : 271-295 ( 2000 )
1990 – 1999
1999 【c2】 拉娜·巴鲁阿 , 苏曼·罗伊 , 周朝晨 :
邻域逻辑的完备性。 STACS公司 1999 : 521-530 1998 [j1] 维杰·钱德鲁 , 苏曼·罗伊 , 拉梅什·苏布拉曼尼亚姆 :
否定即失败即解决。 制约国际期刊。 三 ( 4 ) : 315-329 ( 1998 ) 1996 【c1】 维杰·钱德鲁 , 苏曼·罗伊 , 拉梅什·苏布拉曼尼亚姆 :
确定性约束逻辑程序中的构造否定。 亚洲的 1996 : 335-336