Supratik Mukhopadhyay

150 papers A* 3A 5B 31C 4Misc 12Journal 52Unranked 40

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Ai derivation and exploration of antibiotic class spaces. J. Cheminformatics Adam Bess, Sean Rowland, Chris Alvin, Supratik Mukhopadhyay
2026	J	`jnl`	Benchmarking Artificial Intelligence Models for Daily Coastal Hypoxia Forecasting. CoRR Magesh Rajasekaran, Md Saiful Islam Sajol, Chris Alvin, Supratik Mukhopadhyay, Yanda Ou, Z. George Xue
2026	J	`jnl`	COMBOOD: A Semiparametric Approach for Detecting Out-of-distribution Data for Image Classification. CoRR Magesh Rajasekaran, Md Saiful Islam Sajol, Frej Berglind, Supratik Mukhopadhyay, Kamalika Das
2026	Misc	`conf`	Fast Domain Adaption and Model Compression for IoT devices using Meta-Learning and Federated Knowledge Distillation. COMSNETS Nelson Sharma, Nirmit Chaurasia, Lavanya Bhadani, Rajiv Misra, Supratik Mukhopadhyay
2025	J	`jnl`	A Multimodal Human Protein Embeddings Database: DeepDrug Protein Embeddings Bank (DPEB). CoRR Md Saiful Islam Sajol, Magesh Rajasekaran, Hayden Gemeinhardt, Adam Bess, Chris Alvin, Supratik Mukhopadhyay
2025	Misc	`conf`	Artificial Intelligence for Drug Discovery and Environmental Sciences. FLAIRS Supratik Mukhopadhyay, Chris Alvin, Adam Bess
2025	B	`conf`	Benchmarking Artificial Intelligence Models for Daily Coastal Hypoxia Forecasting. IEEE Big Data Magesh Rajasekaran, Md Saiful Islam Sajol, Chris Alvin, Supratik Mukhopadhyay, Yanda Ou, Z. George Xue
2025	—	`conf`	XOOD: A Self-supervised Algorithm for Detecting Out-of-Distribution Data for Image Classification. ICANN (1) Frej Berglind, Magesh Rajasekaran, Md Saiful Islam Sajol, Haron Temam, Supratik Mukhopadhyay, Kamalika Das, Kumar Sricharan, Kumar Kallurupalli
2024	J	`jnl`	Application of time series analysis to improve the validity of Immersive virtual environments for collecting occupant thermal state and adaptive behavioral intention data. Adv. Eng. Informatics Girish Rentala, Yimin Zhu, Supratik Mukhopadhyay
2024	A	`conf`	COMBOOD: A Semiparametric Approach for Detecting Out-of-distribution Data for Image Classification. SDM Magesh Rajasekaran, Md Saiful Islam Sajol, Frej Berglind, Supratik Mukhopadhyay, Kamalika Das
2024	B	`conf`	GNN-ARG: A Graph Neural Network-based Framework for Predicting Antibiotic Resistance Genes. IEEE Big Data Mohd Manzar Abbas, Amit Ranjan, Supratik Mukhopadhyay, Aixin Hou
2024	—	`conf`	KG-DTA: A knowledge graph-based meta-path learning framework to predict drug-target binding affinity. AIMLSystems Amit Ranjan, Adam Bess, Md Saiful Islam Sajol, Magesh Rajasekaran, Chris Alvin, Supratik Mukhopadhyay
2024	J	`jnl`	MDF-DTA: A Multi-Dimensional Fusion Approach for Drug-Target Binding Affinity Prediction. J. Chem. Inf. Model. Amit Ranjan, Adam Bess, Chris Alvin, Supratik Mukhopadhyay
2024	J	`jnl`	Near to Mid-term Risks and Opportunities of Open Source Generative AI. CoRR Francisco Eiras, Aleksandar Petrov, Bertie Vidgen, Christian Schröder de Witt, Fabio Pizzati, Katherine Elkins, Supratik Mukhopadhyay, Adel Bibi, Botos Csaba, Fabro Steibel, Fazl Barez, Genevieve Smith, Gianluca Guadagni, Jon Chun, Jordi Cabot, Joseph Marvin Imperial, Juan A. Nolazco-Flores, Lori Landay, Matthew Thomas Jackson, Paul Röttger, Philip H. S. Torr, Trevor Darrell, Yong Suk Lee, Jakob N. Foerster
2024	J	`jnl`	Parallelization of Garfield++ and neBEM to simulate space-charge effects in RPCs. Comput. Phys. Commun. Tanay Dey, Purba Bhattacharya, Supratik Mukhopadhyay, Nayana Majumdar, Abhishek Seal, Subhasis Chattopadhyay
2024	A*	`conf`	Position: Near to Mid-term Risks and Opportunities of Open-Source Generative AI. ICML Francisco Eiras, Aleksandar Petrov, Bertie Vidgen, Christian Schröder de Witt, Fabio Pizzati, Katherine Elkins, Supratik Mukhopadhyay, Adel Bibi, Botos Csaba, Fabro Steibel, Fazl Barez, Genevieve Smith, Gianluca Guadagni, Jon Chun, Jordi Cabot, Joseph Marvin Imperial, Juan A. Nolazco-Flores, Lori Landay, Matthew Thomas Jackson, Paul Röttger, Philip H. S. Torr, Trevor Darrell, Yong Suk Lee, Jakob N. Foerster
2024	J	`jnl`	Risks and Opportunities of Open-Source Generative AI. CoRR Francisco Eiras, Aleksandar Petrov, Bertie Vidgen, Christian Schröder de Witt, Fabio Pizzati, Katherine Elkins, Supratik Mukhopadhyay, Adel Bibi, Aaron Purewal, Botos Csaba, Fabro Steibel, Fazel Keshtkar, Fazl Barez, Genevieve Smith, Gianluca Guadagni, Jon Chun, Jordi Cabot, Joseph Marvin Imperial, Juan Arturo Nolazco, Lori Landay, Matthew Thomas Jackson, Philip H. S. Torr, Trevor Darrell, Yong Suk Lee, Jakob N. Foerster
2024	—	`conf`	Trans-ARG: Predicting Antibiotic Resistance Genes with a Transformer-Based Model and Pretrained Protein Language Model. AIMLSystems Mohd Manzar Abbas, Amit Ranjan, Aixin Hou, Supratik Mukhopadhyay
2023	J	`jnl`	Program analysis using empirical abstraction. Int. J. Softw. Tools Technol. Transf. Vivian M. Ho, Chris Alvin, Jimmie D. Lawson, Supratik Mukhopadhyay, Brian Peterson
2022	J	`jnl`	Collisionless Pattern Discovery in Robot Swarms Using Deep Reinforcement Learning. CoRR Nelson Sharma, Aswini Ghosh, Rajiv Misra, Supratik Mukhopadhyay, Gokarna Sharma
2022	Misc	`conf`	DeepDrug: Applying AI for the Advancement of Drug Discovery. COMSNETS Supratik Mukhopadhyay, Michal Brylinski, Adam Bess, Frej Berglind, Chris Galliano, Patrick F. McGrew
2022	J	`jnl`	XOOD: Extreme Value Based Out-Of-Distribution Detection For Image Classification. CoRR Frej Berglind, Haron Temam, Supratik Mukhopadhyay, Kamalika Das, Md Saiful Islam Sajol, Kumar Sricharan, Kumar Kallurupalli
2021	J	`jnl`	Deadline-Aware Cost Optimization for Spark. IEEE Trans. Big Data Subhajit Sidhanta, Wojciech M. Golab, Supratik Mukhopadhyay
2021	J	`jnl`	Robustness analysis framework for computations associated with building performance models and immersive virtual experiments. Adv. Eng. Informatics Chanachok Chokwitthaya, Yimin Zhu, Supratik Mukhopadhyay
2021	Misc	`conf`	SimilarityGAN: Using Similarity to Loosen Structural Constraints in Generative Adversarial Models. DICTA Edward Collier, Supratik Mukhopadhyay
2021	J	`jnl`	Static generation of UML sequence diagrams. Int. J. Softw. Tools Technol. Transf. Chris Alvin, Brian Peterson, Supratik Mukhopadhyay
2021	—	`conf`	Why Did You Turn On That Light? SMDS Alimire Nabijiang, Supratik Mukhopadhyay, Chanachok Chokwitthaya, Yimin Zhu, Girish Rentala, Qun Liu
2020	—	`conf`	A One-Shot Learning Framework for Assessment of Fibrillar Collagen from Second Harmonic Generation Images of an Infarcted Myocardium. ISBI Qun Liu, Supratik Mukhopadhyay, Maria-Ximena Bastidas-Rodríguez, Xing Fu, Sushant Sahu, David Burk, Manas Gartia
2020	J	`jnl`	A One-Shot Learning Framework for Assessment of Fibrillar Collagen from Second Harmonic Generation Images of an Infarcted Myocardium. CoRR Qun Liu, Supratik Mukhopadhyay, Maria-Ximena Bastidas-Rodríguez, Xing Fu, Sushant Sahu, David Burk, Manas Gartia
2020	Misc	`conf`	Context-Aware Design of Cyber-Physical Human Systems (CPHS). COMSNETS Supratik Mukhopadhyay, Subhajit Sidhanta, Arnab Ganguly, Qun Liu, Edward Collier, Yimin Zhu, Ravindra Gudishala, Chanachok Chokwitthaya, Robert DiBiano, Alimire Nabijiang, Sanaz Saeidi
2020	J	`jnl`	Context-Aware Design of Cyber-Physical Human Systems (CPHS). CoRR Supratik Mukhopadhyay, Qun Liu, Edward Collier, Yimin Zhu, Ravindra Gudishala, Chanachok Chokwitthaya, Robert DiBiano, Alimire Nabijiang, Sanaz Saeidi, Subhajit Sidhanta, Arnab Ganguly
2020	B	`conf`	Empirical Abstraction. RV Vivian M. Ho, Chris Alvin, Supratik Mukhopadhyay, Brian Peterson, Jimmie D. Lawson
2020	B	`conf`	GAP: Quantifying the Generative Adversarial Set and Class Feature Applicability of Deep Neural Networks. ICPR Edward Collier, Supratik Mukhopadhyay
2020	J	`jnl`	Novel Fast User-Placement Ushering Algorithms and Performance Analysis for LTE Femtocell Networks. IEEE Trans. Cogn. Commun. Netw. Limeng Pu, Hsiao-Chun Wu, Chiapin Wang, Shih-Hau Fang, Supratik Mukhopadhyay, Costas Busch
2020	—	`conf`	Using Applicability to Quantifying Octave Resonance in Deep Neural Networks. ICONIP (5) Edward Collier, Robert DiBiano, Supratik Mukhopadhyay
2019	Misc	`conf`	Consistify: preserving correctness and SLA under weak consistency. ICDCN Subhajit Sidhanta, Supratik Mukhopadhyay, Wojciech M. Golab
2019	J	`jnl`	DeepSat V2: Feature Augmented Convolutional Neural Nets for Satellite Image Classification. CoRR Qun Liu, Saikat Basu, Sangram Ganguly, Supratik Mukhopadhyay, Robert DiBiano, Manohar Karki, Ramakrishna R. Nemani
2019	B	`conf`	Dyn-YCSB: Benchmarking Adaptive Frameworks. SERVICES Subhajit Sidhanta, Supratik Mukhopadhyay, Wojciech M. Golab
2019	B	`conf`	Improving Prediction Accuracy in Building Performance Models Using Generative Adversarial Networks (GANs). IJCNN Chanachok Chokwitthaya, Edward Collier, Yimin Zhu, Supratik Mukhopadhyay
2019	J	`jnl`	Improving Prediction Accuracy in Building Performance Models Using Generative Adversarial Networks (GANs). CoRR Chanachok Chokwitthaya, Edward Collier, Yimin Zhu, Supratik Mukhopadhyay
2019	B	`conf`	Improving Route Choice Models by Incorporating Contextual Factors via Knowledge Distillation. IJCNN Qun Liu, Supratik Mukhopadhyay, Yimin Zhu, Ravindra Gudishala, Sanaz Saeidi, Alimire Nabijiang
2019	J	`jnl`	Improving Route Choice Models by Incorporating Contextual Factors via Knowledge Distillation. CoRR Qun Liu, Supratik Mukhopadhyay, Yimin Zhu, Ravindra Gudishala, Sanaz Saeidi, Alimire Nabijiang
2019	—	`conf`	PCGAN-CHAR: Progressively Trained Classifier Generative Adversarial Networks for Classification of Noisy Handwritten Bangla Characters. ICADL Qun Liu, Edward Collier, Supratik Mukhopadhyay
2019	J	`jnl`	PCGAN-CHAR: Progressively Trained Classifier Generative Adversarial Networks for Classification of Noisy Handwritten Bangla Characters. CoRR Qun Liu, Edward Collier, Supratik Mukhopadhyay
2019	J	`jnl`	Progressively Growing Generative Adversarial Networks for High Resolution Semantic Segmentation of Satellite Images. CoRR Edward Collier, Kate Duffy, Sangram Ganguly, Geri Madanguit, Subodh Kalia, Shreekant Gayaka, Ramakrishna R. Nemani, Andrew R. Michaelis, Shuang Li, Auroop R. Ganguly, Supratik Mukhopadhyay
2019	B	`conf`	Why do you take that route? CogSci Alimire Nabijiang, Supratik Mukhopadhyay, Sanaz Saeidi, Yimin Zhu, Ravindra Gudishala, Qun Liu
2019	J	`jnl`	Why do you take that route? CoRR Alimire Nabijiang, Supratik Mukhopadhyay, Yimin Zhu, Ravindra Gudishala, Sanaz Saeidi, Qun Liu
2018	B	`conf`	CactusNets: Layer Applicability as a Metric for Transfer Learning. IJCNN Edward Collier, Robert DiBiano, Supratik Mukhopadhyay
2018	J	`jnl`	CactusNets: Layer Applicability as a Metric for Transfer Learning. CoRR Edward Collier, Robert DiBiano, Supratik Mukhopadhyay
2018	—	`conf`	Complete Visibility for Oblivious Robots in 풪(N) Time. NETYS Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay
2018	J	`jnl`	Deep neural networks for texture classification - A theoretical analysis. Neural Networks Saikat Basu, Supratik Mukhopadhyay, Manohar Karki, Robert DiBiano, Sangram Ganguly, Ramakrishna R. Nemani, Shreekant Gayaka
2018	A*	`conf`	How to Make Fat Autonomous Robots See all Others Fast? ICRA Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay
2018	B	`conf`	Pixel-Level Reconstruction and Classification for Noisy Handwritten Bangla Characters. ICFHR Manohar Karki, Qun Liu, Robert DiBiano, Saikat Basu, Supratik Mukhopadhyay
2018	J	`jnl`	Pixel-level Reconstruction and Classification for Noisy Handwritten Bangla Characters. CoRR Manohar Karki, Qun Liu, Robert DiBiano, Saikat Basu, Supratik Mukhopadhyay
2018	—	`conf`	Progressively Growing Generative Adversarial Networks for High Resolution Semantic Segmentation of Satellite Images. ICDM Workshops Edward Collier, Kate Duffy, Sangram Ganguly, Geri Madanguit, Subodh Kalia, Shreekant Gayaka, Ramakrishna R. Nemani, Andrew R. Michaelis, Shuang Li, Auroop R. Ganguly, Supratik Mukhopadhyay
2018	Misc	`conf`	The Complete Visibility Problem for Fat Robots with Lights. ICDCN Gokarna Sharma, Rusul Alsaedi, Costas Busch, Supratik Mukhopadhyay
2018	B	`conf`	Unsupervised Learning using Pretrained CNN and Associative Memory Bank. IJCNN Qun Liu, Supratik Mukhopadhyay
2018	J	`jnl`	Unsupervised Learning using Pretrained CNN and Associative Memory Bank. CoRR Qun Liu, Supratik Mukhopadhyay
2017	J	`jnl`	Adaptable SLA-Aware Consistency Tuning for Quorum-Replicated Datastores. IEEE Trans. Big Data Subhajit Sidhanta, Wojciech M. Golab, Supratik Mukhopadhyay, Saikat Basu
2017	J	`jnl`	Automated diagnostics for manufacturing machinery based on well-regularized deep neural networks. Integr. Robert DiBiano, Supratik Mukhopadhyay
2017	J	`jnl`	Break Down in Order To Build Up: Decomposing Small Molecules for Fragment-Based Drug Design with J. Chem. Inf. Model. Tairan Liu, Misagh Naderi, Chris Alvin, Supratik Mukhopadhyay, Michal Brylinski
2017	B	`conf`	Brief Announcement: Complete Visibility for Oblivious Robots in Linear Time. SPAA Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay
2017	—	`conf`	Core Sampling Framework for Pixel Classification. ICANN (2) Manohar Karki, Robert DiBiano, Saikat Basu, Supratik Mukhopadhyay
2017	J	`jnl`	Learning Sparse Feature Representations Using Probabilistic Quadtrees and Deep Belief Nets. Neural Process. Lett. Saikat Basu, Manohar Karki, Sangram Ganguly, Robert DiBiano, Supratik Mukhopadhyay, Shreekant Gayaka, Rajgopal Kannan, Ramakrishna R. Nemani
2017	—	`conf`	Novel electronic scissoring algorithm. BMSB Limeng Pu, Hsiao-Chun Wu, Supratik Mukhopadhyay, Robert Kooima, Yiyan Wu
2017	B	`conf`	StaticGen: Static Generation of UML Sequence Diagrams. FASE Chris Alvin, Brian Peterson, Supratik Mukhopadhyay
2017	—	`conf`	SynAdapt: Automated Synthesis of Adaptive Agents. SCC Subhajit Sidhanta, Supratik Mukhopadhyay
2017	A	`conf`	Synthesis of Problems for Shaded Area Geometry Reasoning. AIED Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay
2017	Misc	`conf`	Synthesis of Solutions for Shaded Area Geometry Problems. FLAIRS Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay
2017	J	`jnl`	Tight Analysis of a Collisionless Robot Gathering Algorithm. ACM Trans. Auton. Adapt. Syst. Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay, Charles Malveaux
2016	J	`jnl`	A Theoretical Analysis of Deep Neural Networks for Texture Classification. CoRR Saikat Basu, Manohar Karki, Robert DiBiano, Supratik Mukhopadhyay, Sangram Ganguly, Ramakrishna R. Nemani, Shreekant Gayaka
2016	J	`jnl`	A graph-based approach to construct target-focused libraries for virtual screening. J. Cheminformatics Misagh Naderi, Chris Alvin, Yun Ding, Supratik Mukhopadhyay, Michal Brylinski
2016	—	`conf`	A symbolic framework for recognizing activities in full motion surveillance videos. SSCI Manohar Karki, Saikat Basu, Robert DiBiano, Supratik Mukhopadhyay, Jerry Weltman, Malcolm Stagg
2016	B	`conf`	A theoretical analysis of Deep Neural Networks for texture classification. IJCNN Saikat Basu, Manohar Karki, Supratik Mukhopadhyay, Sangram Ganguly, Ramakrishna R. Nemani, Robert DiBiano, Shreekant Gayaka
2016	J	`jnl`	Core Sampling Framework for Pixel Classification. CoRR Manohar Karki, Robert DiBiano, Saikat Basu, Supratik Mukhopadhyay
2016	—	`conf`	Infra: SLO Aware Elastic Auto-scaling in the Cloud for Cost Reduction. BigData Congress Subhajit Sidhanta, Supratik Mukhopadhyay
2016	B	`conf`	Novel Fast User-Placement Ushering Algorithms for Indoor Femtocell Networks. GLOBECOM Limeng Pu, Hsiao-Chun Wu, Chiapin Wang, Shih-Hau Fang, Supratik Mukhopadhyay, Costas Busch
2016	B	`conf`	OptCon: An Adaptable SLA-Aware Consistency Tuning Framework for Quorum-Based Stores. CCGrid Subhajit Sidhanta, Wojciech M. Golab, Supratik Mukhopadhyay, Saikat Basu
2016	J	`jnl`	OptCon: An Adaptable SLA-Aware Consistency Tuning Framework for Quorum-based Stores. CoRR Subhajit Sidhanta, Wojciech M. Golab, Supratik Mukhopadhyay, Saikat Basu
2016	B	`conf`	OptEx: A Deadline-Aware Cost Optimization Model for Spark. CCGrid Subhajit Sidhanta, Wojciech M. Golab, Supratik Mukhopadhyay
2016	J	`jnl`	OptEx: A Deadline-Aware Cost Optimization Model for Spark. CoRR Subhajit Sidhanta, Wojciech M. Golab, Supratik Mukhopadhyay
2015	J	`jnl`	A Semiautomated Probabilistic Framework for Tree-Cover Delineation From 1-m NAIP Imagery Using a High-Performance Computing Architecture. IEEE Trans. Geosci. Remote. Sens. Saikat Basu, Sangram Ganguly, Ramakrishna R. Nemani, Supratik Mukhopadhyay, Gong Zhang, Cristina Milesi, Andrew R. Michaelis, Petr Votava, Ralph Dubayah, Laura Duncanson, Bruce D. Cook, Yifan Yu, Sassan Saatchi, Robert DiBiano, Manohar Karki, Edward Boyda, Uttam Kumar, Shuang Li
2015	—	`conf`	An Agile Framework for Real-Time Motion Tracking. COMPSAC Workshops Saikat Basu, Robert DiBiano, Manohar Karki, Malcolm Stagg, Jerry Weltman, Supratik Mukhopadhyay, Sangram Ganguly
2015	J	`jnl`	Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System. CoRR Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay
2015	—	`conf`	Bounds on Mutual Visibility Algorithms. CCCG Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay
2015	J	`jnl`	DeepSat - A Learning framework for Satellite Imagery. CoRR Saikat Basu, Sangram Ganguly, Supratik Mukhopadhyay, Robert DiBiano, Manohar Karki, Ramakrishna R. Nemani
2015	—	`conf`	DeepSat: a learning framework for satellite imagery. SIGSPATIAL/GIS Saikat Basu, Sangram Ganguly, Supratik Mukhopadhyay, Robert DiBiano, Manohar Karki, Ramakrishna R. Nemani
2015	B	`conf`	Learning Sparse Feature Representations using Probabilistic Quadtrees and Deep Belief Nets. ESANN Saikat Basu, Manohar Karki, Sangram Ganguly, Robert DiBiano, Supratik Mukhopadhyay, Ramakrishna R. Nemani
2015	J	`jnl`	Learning Sparse Feature Representations using Probabilistic Quadtrees and Deep Belief Nets. CoRR Saikat Basu, Manohar Karki, Sangram Ganguly, Robert DiBiano, Supratik Mukhopadhyay, Ramakrishna R. Nemani
2015	—	`conf`	MAPTrack - A Probabilistic Real Time Tracking Framework by Integrating Motion, Appearance and Position Models. VISAPP (3) Saikat Basu, Manohar Karki, Malcolm Stagg, Robert DiBiano, Sangram Ganguly, Supratik Mukhopadhyay
2015	C	`conf`	Mutual Visibility with an Optimal Number of Colors. ALGOSENSORS Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay
2015	J	`jnl`	Reasoning about security in sensor networks. Concurr. Comput. Pract. Exp. Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj
2015	J	`jnl`	Termination proofs for linear simple loops. Int. J. Softw. Tools Technol. Transf. Hong Yi Chen, Shaked Flur, Supratik Mukhopadhyay
2015	A	`conf`	Tight analysis of a collisionless robot gathering algorithm. IROS Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay, Charles Malveaux
2014	B	`conf`	LDPC encoder identification in time-varying flat-fading channels. GLOBECOM Tian Xia, Hsiao-Chun Wu, Supratik Mukhopadhyay
2014	Misc	`conf`	Managing shared contexts in distributed multi-player game systems. COMSNETS Kaliappa Ravindran, Supratik Mukhopadhyay, Subhajit Sidhanta, Ali Sabbir
2014	J	`jnl`	Novel Fast Blind Channel Estimation and Hessian Analysis for Transmitter Identification of Digital Television Signals. IEEE Trans. Broadcast. Hsiao-Chun Wu, Tian Xia, Yiyan Wu, Supratik Mukhopadhyay
2014	B	`conf`	Stability of video rate control algorithms over bandwidth-limited network paths. CNSM Kaliappa Ravindran, Arun Adiththan, Supratik Mukhopadhyay
2014	A*	`conf`	Synthesis of Geometry Proof Problems. AAAI Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay
2013	—	`conf`	A Type-Theoretic Framework for Automated Synthesis of Workflows in Service-Oriented Computing. ICDCS Workshops Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj
2013	Misc	`conf`	An ad-hoc distributed execution environment for multi-agent systems. COMSNETS Subhajit Sidhanta, Supratik Mukhopadhyay
2013	J	`jnl`	Code-Change Impact Analysis using Counterfactuals: Theory and Implementation. Int. J. Softw. Eng. Knowl. Eng. Manuel Peralta, Supratik Mukhopadhyay
2013	B	`conf`	Control Flow Refinement and Symbolic Computation of Average Case Bound. ATVA Hong Yi Chen, Supratik Mukhopadhyay, Zheng Lu
2013	J	`jnl`	New Modified Turbo Decoder for Embedded Local Content in Single-Frequency Networks. IEEE Trans. Broadcast. Yonas G. Debessu, Hsiao-Chun Wu, Hong Jiang, Supratik Mukhopadhyay
2013	B	`conf`	Towards Formal Verification of a Commercial Wireless Router Firmware. COMPSAC Zheng Lu, Christopher Steinmuller, Supratik Mukhopadhyay
2012	Misc	`conf`	A complex-event-processing framework for smart-grid management. CogSIMA Srivathsan Srinivasagopalan, Supratik Mukhopadhyay, Ramesh Bharadwaj
2012	—	`conf`	Managing a Cloud for Multi-agent Systems on Ad-Hoc Networks. IEEE CLOUD Subhajit Sidhanta, Supratik Mukhopadhyay
2012	—	`conf`	Model-Based Static Code Analysis for MATLAB Models. ISoLA (1) Zheng Lu, Supratik Mukhopadhyay
2012	B	`conf`	Model-Based Static Source Code Analysis of Java Programs with Applications to Android Security. COMPSAC Zheng Lu, Supratik Mukhopadhyay
2012	B	`conf`	Termination Proofs for Linear Simple Loops. SAS Hong Yi Chen, Shaked Flur, Supratik Mukhopadhyay
2012	J	`jnl`	Toward More Precise Radiotherapy Treatment of Lung Tumors. Computer S. Sitharama Iyengar, Xin Li, Huanhuan Xu, Supratik Mukhopadhyay, N. Balakrishnan, Amit Sawant, Puneeth Iyengar
2011	Misc	`conf`	'Control plane' properties for signaling in loss-feedback based video rate adaptation over shared multicast paths. COMSNETS Mohammad Rabby, Kaliappa Ravindran, Supratik Mukhopadhyay, Ramesh Bharadwaj, Gaurav Mangukiya
2011	B	`conf`	Code-Change Impact Analysis Using Counterfactuals. COMPSAC Manuel Peralta, Supratik Mukhopadhyay
2011	C	`conf`	Counterfactually reasoning about security. SIN Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj
2011	—	`conf`	Functional "AJAX" in Secure Synchronous Programming. HICSS Supratik Mukhopadhyay, Ramesh Bharadwaj, Hasan Davulcu
2010	—	`conf`	Approximation of CFL by Regular Languages for Concurrent Program Verification. COMPSAC Workshops Sukhamay Kundu, Supratik Mukhopadhyay
2010	J	`jnl`	Preventing Future Oil Spills with Software-Based Event Detection. Computer S. S. Iyengar, Supratik Mukhopadhyay, Christopher Steinmuller, Xin Li
2009	—	`conf`	Automatic Synthesis and Deployment of Intensional Kahn Process Networks. FGIT-GDC Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj
2009	—	`conf`	Default FGIT-GDC Hasan Davulcu, Supratik Mukhopadhyay, Prabhdeep Singh, Stephen S. Yau
2008	B	`conf`	A Formal Approach to Developing Reliable Event-Driven Service-Oriented Systems. COMPSAC Ramesh Bharadwaj, Supratik Mukhopadhyay
2008	—	`conf`	A Risk Reduction Framework for Dynamic Workflows. IEEE SCC (1) Prabhdeep Singh, Fatih Gelgi, Hasan Davulcu, Stephen S. Yau, Supratik Mukhopadhyay
2008	—	`conf`	Cognitive Distributed Networks in Environmental e-Science. FTDCS Ramesh Bharadwaj, Supratik Mukhopadhyay, Manuel Peralta, Krishna Shenai, Subhashis Majumder
2008	—	`conf`	The Causal Order is Strict. FTDCS Jeremiah James, Supratik Mukhopadhyay
2007	J	`jnl`	Automated Situation-Aware Service Composition in Service-Oriented Computing. Int. J. Web Serv. Res. Stephen S. Yau, Hasan Davulcu, Supratik Mukhopadhyay, Dazhi Huang, Haishan Gong, Prabhdeep Singh, Fatih Gelgi
2007	—	`conf`	SOLj: A Domain-Specific Language (DSL) for Secure Service-Based Systems. FTDCS Ramesh Bharadwaj, Supratik Mukhopadhyay
2006	—	`ed.`	Proceedings of the Third International Workshop on Software Verification and Validation, SVV@ICFEM 2005, Manchester, UK, October 31, 2005 SVV@ICFEM Supratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang
2005	C	`conf`	Adaptable Situation-Aware Secure Service-Based (AS ISORC Stephen S. Yau, Hasan Davulcu, Supratik Mukhopadhyay, Dazhi Huang, Yisheng Yao
2005	—	`conf`	Preface. SVV@ICFEM Supratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang
2005	—	`ed.`	Proceedings of the International Workshop on Software Verification and Validation, SVV@ICLP 2003, Mumbai, India, December 14, 2003 SVV@ICLP Sandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury
2005	—	`conf`	Service Composition in a Secure Agent-Based Architecture. EEE Ramesh Bharadwaj, Supratik Mukhopadhyay, Nilay Padh
2005	—	`conf`	Specification, Analysis and Implementation of Architectural Patterns for Dependable Software Systems. WORDS Stephen S. Yau, Supratik Mukhopadhyay, Ramesh Bharadwaj
2004	A	`conf`	Does Your Result Checker Really Check? DSN Lan Guo, Supratik Mukhopadhyay, Bojan Cukic
2004	A	`conf`	RETNA: From Requirements to Testing in a Natural Way. RE Ravishankar Boddu, Lan Guo, Supratik Mukhopadhyay, Bojan Cukic
2003	—	`conf`	Abstract spatial hybrid systems for image processing. CDC Supratik Mukhopadhyay
2003	J	`jnl`	Deterministic finite automata with recursive calls and DPDAs. Inf. Process. Lett. Jean H. Gallier, Salvatore La Torre, Supratik Mukhopadhyay
2003	J	`jnl`	Model checking mobile ambients. Theor. Comput. Sci. Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot
2003	—	`conf`	Preface. SVV@ICLP Sandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury
2003	B	`ed.`	Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings VMCAI Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay
2002	—	`conf`	An Algebraic Framework for Abstract Model Checking. SARA Supratik Mukhopadhyay, Andreas Podelski
2002	B	`conf`	Compositional Termination Analysis of Symbolic Forward Analysis. VMCAI Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski
2002	B	`conf`	Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP. ICLP Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski
2002	—	`conf`	Dynamic Message Sequence Charts. FSTTCS Martin Leucker, P. Madhusudan, Supratik Mukhopadhyay
2002	—	`conf`	Optimal-Reachability and Control for Acyclic Weighted Timed Automata. IFIP TCS Salvatore La Torre, Supratik Mukhopadhyay, Aniello Murano
2001	—	`conf`	Accurate Widenings and Boundedness Properties of Timed Systems. Ershov Memorial Conference Supratik Mukhopadhyay, Andreas Podelski
2001	C	`conf`	Constraint Database Models Characterizing Timed Bisimilarity. PADL Supratik Mukhopadhyay, Andreas Podelski
2001	B	`conf`	Model Checking Communication Protocols. SOFSEM Pablo Argón, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski
2001	B	`conf`	The Complexity of Model Checking Mobile Ambients. FoSSaCS Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot
2000	—	`—`	A uniform constraint-based framework for the verification of infinite state systems. Supratik Mukhopadhyay
2000	—	`conf`	Model Checking for Timed Logic Processes. Computational Logic Supratik Mukhopadhyay, Andreas Podelski
1999	—	`conf`	Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata. FSTTCS Supratik Mukhopadhyay, Andreas Podelski