Constructive Negation in Definite Constraint Logic Programs. - Vijay Chandru; Suman Roy 001; Ramesh Subrahmanyam (ASIAN, 1996)

Negation as Failure as Resolution. - Vijay Chandru; Suman Roy 001; Ramesh Subrahmanyam (Constraints An Int. J., 1998)

Completeness of neighbourhood logic. - Rana Barua; Suman Roy 001; Chaochen Zhou (J. Log. Comput., 2000)

Symbolic Verification of Infinite Systems using a Finite Union of DFAs. - Suman Roy 001 (SEFM, 2004)

A Game Based Model of Security for Key Predistribution Schemes in Wireless Sensor Network. - Debapriyay Mukhopadhyay; Suman Roy 001 (ICDCIT, 2005)

A ZKP-based identification scheme for base nodes in wireless sensor networks. - Dev Anshul; Suman Roy 001 (SAC, 2005)

A Sensor network design from a probabilistic automaton model of impersonation attack. - Suman Roy 001; Debapriyay Mukhopadhyay; Chandrashekhar Thejaswi P. S. (COMSWARE, 2006)

A Finite State Modeling of AFDX Frame Management Using Spin. - Indranil Saha; Suman Roy 001 (FMICS/PDMC, 2006)

A Finite Union of DFAs in Symbolic Model Checking of Infinite Systems. - Suman Roy 001; Bhaskar Chakraborty (CIAA, 2006)

Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems. - Indranil Saha; Janardan Misra; Suman Roy 001 (ATVA, 2007)

Computationally and Resource Efficient Group Key Agreement for Ad Hoc Sensor Networks. - Dungara Ram Choudhary; Dev Anshul; Suman Roy 001; Chandrashekhar Thejaswi P. S. (COMSWARE, 2007)

A Finite State Analysis of Time-Triggered CAN (TTCAN) Protocol Using Spin. - Indranil Saha; Suman Roy 001 (ICCTA, 2007)

Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar. - Indranil Saha; Suman Roy 001; Kuntal Chakraborty (SEFM, 2007)

Reasoning with 'And Then' and 'While'. - Suman Roy 001; Guido Sciavicco (TIME, 2007)

Intelligent business knowledge management using topic maps. - Faisal Karjikar; Suman Roy 001; Srinivas Padmanabhuni (Bangalore Compute Conf., 2009)

An approach to reverse engineering of C programs to simulink models with conformance testing. - Indranil Saha; Kuntal Chakraborty; Suman Roy 001; B. VishnuVardhan Reddy; Venkatappaiah Kurapati; Vishesh Sharma (ISEC, 2009)

Techniques for Distributed Reachability Analysis with Partial Order and Symmetry based Reductions - Janardan Misra; Suman Roy 001 (CoRR, 2009)

Ontology modeling of UBL process diagrams using OWL. - Suman Roy 001; Kiran Prakash Sawant; Aditya K. Ghose (CISIM, 2010)

A framework for security quantification of networked machines. - Hui Wang; Suman Roy 001; Amitabha Das; Sanjoy Kumar Paul (COMSNETS, 2010)

A Decidable Timeout based Extension of Propositional Linear Temporal Logic - Janardan Misra; Suman Roy 001 (CoRR, 2010)

A duration calculus with neighborhood modalities. - Suman Roy 001 (J. Appl. Non Class. Logics, 2010)

An Automated Analysis of Errors for BPM Processes Modeled Using an In-house Infosys Tool. - Alberto Bastias; Sidharth Bihary; Suman Roy 001 (APSEC, 2011)

An efficient XML to OWL converter. - Damien Lacoste; Kiran Prakash Sawant; Suman Roy 001 (ISEC, 2011)

A CSP-theoretic Framework of Checking Conformance of Business Processes. - Suman Roy 001; Sidharth Bihary; Jose Alfonso Corso Laos (APSEC, 2012)

A knowledge-based formalization of UBL processes using hybrid programs. - Sidharth Bihary; Suman Roy 001; Tan Zi Han; Kiran Prakash Sawant (COMPUTE, 2012)

A Conformance Checker Tool CSPConCheck. - Suman Roy 001; Sidharth Bihary; Jose Alfonso Corso Laos (ICTAC, 2012)

Process conformance using CSP. - Sidharth Bihary; Jagadish Koneti; Suman Roy 001 (ISEC, 2012)

Formalizing Business Process Using Hybrid Programs. - Suman Roy 001; Wlodek Drabent (OWLED, 2012)

Generating topic maps from XML/XSD documents. - Suman Roy 001; Kiran Prakash Sawant; Olivier Maurice Charvin (COMPUTE, 2013)

Diagnosing Industrial Business Processes: Early Experiences. - Suman Roy 001; A. S. M. Sajeev; Srivibha Sripathy (FM, 2014)

Deriving requirements model from textual use cases. - Kiran Prakash Sawant; Suman Roy 001; Srivibha Sripathi; François Plesse; A. S. M. Sajeev (ICSE Companion, 2014)

Enforcing structure on textual use cases via annotation models. - Kiran Prakash Sawant; Suman Roy 001; Deepti Parachuri; François Plesse; Pushpak Bhattacharyya (ISEC, 2014)

A decidable timeout-based extension of linear temporal logic. - Janardan Misra; Suman Roy 001 (J. Appl. Non Class. Logics, 2014)

An Empirical Study of Error Patterns in Industrial Business Process Models. - Suman Roy 001; A. S. M. Sajeev; Sidharth Bihary; Abhishek Ranjan (IEEE Trans. Serv. Comput., 2014)

A New Threshold Certification Scheme Based Defense Against Sybil Attack for Sensor Networks. - Satyajit Banerjee; Debapriyay Mukhopadhyay; Suman Roy 001 (ICISS, 2015)

Extraction of Topic Map Ontology for Web Service-Oriented Enterprises. - Suman Roy 001; Kiran Prakash Sawant; Aditya Kale; Olivier Maurice Charvin (ICSOC Workshops, 2015)

An Empirical Analysis of Diagnosis of Industrial Business Processes at Sub-process Levels. - Suman Roy 001; A. S. M. Sajeev; A. Gopichand; Adrija Bhattacharya (SCC, 2016)

Recovering Resolutions for Application Maintenance Incidents. - Suman Roy 001; John-John Yeung Tack Yan; Navin Budhiraja; Aeran Lim (SCC, 2016)

Annotating and Mining for Effects of Processes. - Suman Roy 001; Metta Santiputri; Aditya K. Ghose (ER, 2016)

Clustering and Labeling IT Maintenance Tickets. - Suman Roy 001; Durga Prasad Muni; John-John Yeung Tack Yan; Navin Budhiraja; Fabien Ceiler (ICSOC, 2016)

Formal Verification of Fault-Tolerant Startup Algorithms for Time-Triggered Architectures: A Survey. - Indranil Saha; Suman Roy 001; S. Ramesh 002 (Proc. IEEE, 2016)

A simplification of a real-time verification problem. - Suman Roy 001; Janardan Misra; Indranil Saha (Softw. Test. Verification Reliab., 2016)

A Formal Framework for Diagnostic Analysis for Errors of Business Processes. - Suman Roy 001; A. S. M. Sajeev (Trans. Petri Nets Other Model. Concurr., 2016)

Recommending resolutions of ITIL services tickets using Deep Neural Network. - Durga Prasad Muni; Suman Roy 001; Yeung Tack Yan John John Lew Chiang; Antoine Jean-Marie Viallet; Navin Budhiraja (CODS, 2017)

Goal Orchestrations: Modelling and Mining Flexible Business Processes. - Metta Santiputri; Aditya Ghose; Hoa Khanh Dam; Suman Roy 001 (ER, 2017)

Fuzzy QoS Modeling of IT Maintenance Tickets. - Suman Roy 001; Durga Prasad Muni; Adrija Bhattacharya; Dipanjan Dutta; Navin Budhiraja (ICWS, 2017)

Boosting Aided Approaches to QoS Prediction of IT Maintenance Tickets. - Raghav Sonavane; Suman Roy 001; Durga Prasad Muni (OTM Conferences (1), 2017)

Patterns for Process Edification in Process-Aware Information Systems. - Vrinda Yadav; Suman Roy 001; Rushikesh K. Joshi (SCC, 2018)

A NMF-Based Learning of Topics and Clusters for IT Maintenance Tickets Aided by Heuristic. - Suman Roy 001; Vijay Varma Malladi; Abhishek Gangwar; Rajaprabu Dharmaraj (CAiSE Forum, 2018)

Modeling Industrial Business Processes for Querying and Retrieving Using OWL+SWRL. - Suman Roy 001; Gabriel Silvatici Dayan; V. Devaraja Holla (OTM Conferences (2), 2018)

A Hybrid Distributed Model for Learning Representation of Short Texts with Attribute Labels. - Shashi Kumar; Suman Roy 001; Vishal Pathak (COMAD/CODS, 2020)

Online Topic Modeling for Short Texts. - Suman Roy 001; Vijay Varma Malladi; Ayan Sengupta; Souparna Das (ICSOC, 2020)

Gated Transformer for Robust De-noised Sequence-to-Sequence Modelling. - Ayan Sengupta; Amit Kumar; Sourabh Kumar Bhattacharjee; Suman Roy 001 (EMNLP (Findings), 2021)

An Embedded Representation Learning of Relational Clinical Codes. - Suman Roy 001; Amit Kumar; Ayan Sengupta; Riccardo Mattivi; Selim Ahmed; Michael Bridges (ICSOC, 2021)

An Embedding-based Joint Sentiment-Topic Model for Short Texts. - Ayan Sengupta; William Scott Paka; Suman Roy 001; Gaurav Ranjan; Tanmoy Chakraborty 002 (ICWSM, 2021)

LJST: A Semi-supervised Joint Sentiment-Topic Model for Short Texts. - Ayan Sengupta; Suman Roy 001; Gaurav Ranjan (SN Comput. Sci., 2021)

A fast unsupervised assignment of ICD codes with clinical notes through explanations. - Amit Kumar; Suman Roy 001; Sourabh Kumar Bhattacharjee (SAC, 2022)

Transfer Learning Improves Unsupervised Assignment of ICD codes with Clinical Notes. - Amit Kumar; Souparna Das; Suman Roy 001 (ICDH, 2023)

Call Reason Prediction using Hierarchical Models. - Vijay Varma Malladi; Suman Roy 001 (SAC, 2023)