default search action
Supratik Mukhopadhyay
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j26]Girish Rentala, Yimin Zhu
, Supratik Mukhopadhyay:
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 61: 102449 (2024) - [j25]Tanay Dey
Parallelization of Garfield++ and neBEM to simulate space-charge effects in RPCs. Comput. Phys. Commun. 294: 108944 (2024) - [j24]Amit Ranjan
MDF-DTA: A Multi-Dimensional Fusion Approach for Drug-Target Binding Affinity Prediction. J. Chem. Inf. Model. 64(13): 4980-4990 (2024) - [c87]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:
Position: Near to Mid-term Risks and Opportunities of Open-Source Generative AI. ICML 2024 - [c86]Magesh Rajasekaran, Md Saiful Islam Sajol, Frej Berglind, Supratik Mukhopadhyay, Kamalika Das:
COMBOOD: A Semiparametric Approach for Detecting Out-of-distribution Data for Image Classification. SDM 2024: 643-651 - [i22]Francisco Eiras, Aleksandar Petrov, Bertie Vidgen, Christian Schröder de Witt, Fabio Pizzati, Katherine Elkins, Supratik Mukhopadhyay, Adel Bibi
Near to Mid-term Risks and Opportunities of Open Source Generative AI. CoRR abs/2404.17047 (2024) - [i21]Francisco Eiras, Aleksandar Petrov, Bertie Vidgen, Christian Schröder de Witt, Fabio Pizzati, Katherine Elkins, Supratik Mukhopadhyay, Adel Bibi
Risks and Opportunities of Open-Source Generative AI. CoRR abs/2405.08597 (2024) - 2023
- [j23]Vivian M. Ho, Chris Alvin, Jimmie D. Lawson, Supratik Mukhopadhyay, Brian Peterson:
Program analysis using empirical abstraction. Int. J. Softw. Tools Technol. Transf. 25(4): 431-452 (2023) - 2022
- [c85]Supratik Mukhopadhyay, Michal Brylinski, Adam Bess, Frej Berglind, Chris Galliano, Patrick F. McGrew:
DeepDrug: Applying AI for the Advancement of Drug Discovery. COMSNETS 2022: 667-674 - [i20]Frej Berglind, Haron Temam, Supratik Mukhopadhyay, Kamalika Das, Md Saiful Islam Sajol, Kumar Sricharan, Kumar Kallurupalli:
XOOD: Extreme Value Based Out-Of-Distribution Detection For Image Classification. CoRR abs/2208.00629 (2022) - [i19]Nelson Sharma, Aswini Ghosh, Rajiv Misra, Supratik Mukhopadhyay, Gokarna Sharma:
Collisionless Pattern Discovery in Robot Swarms Using Deep Reinforcement Learning. CoRR abs/2209.09865 (2022) - 2021
- [j22]Chanachok Chokwitthaya
Robustness analysis framework for computations associated with building performance models and immersive virtual experiments. Adv. Eng. Informatics 50: 101401 (2021) - [j21]Chris Alvin
Static generation of UML sequence diagrams. Int. J. Softw. Tools Technol. Transf. 23(1): 31-53 (2021) - [j20]Subhajit Sidhanta
Deadline-Aware Cost Optimization for Spark. IEEE Trans. Big Data 7(1): 115-127 (2021) - [c84]Edward Collier, Supratik Mukhopadhyay:
SimilarityGAN: Using Similarity to Loosen Structural Constraints in Generative Adversarial Models. DICTA 2021: 1-8 - [c83]Alimire Nabijiang, Supratik Mukhopadhyay, Chanachok Chokwitthaya
Why Did You Turn On That Light? SMDS 2021: 85-94 - 2020
- [j19]Limeng Pu, Hsiao-Chun Wu
Novel Fast User-Placement Ushering Algorithms and Performance Analysis for LTE Femtocell Networks. IEEE Trans. Cogn. Commun. Netw. 6(1): 381-393 (2020) - [c82]Supratik Mukhopadhyay, Subhajit Sidhanta, Arnab Ganguly, Qun Liu, Edward Collier, Yimin Zhu
Context-Aware Design of Cyber-Physical Human Systems (CPHS). COMSNETS 2020: 322-329 - [c81]Edward Collier, Robert DiBiano
Using Applicability to Quantifying Octave Resonance in Deep Neural Networks. ICONIP (5) 2020: 229-237 - [c80]Edward Collier, Supratik Mukhopadhyay:
GAP: Quantifying the Generative Adversarial Set and Class Feature Applicability of Deep Neural Networks. ICPR 2020: 8384-8391 - [c79]Qun Liu, Supratik Mukhopadhyay, Maria-Ximena Bastidas-Rodríguez, Xing Fu, Sushant Sahu, David Burk, Manas Gartia:
A One-Shot Learning Framework for Assessment of Fibrillar Collagen from Second Harmonic Generation Images of an Infarcted Myocardium. ISBI 2020: 839-843 - [c78]Vivian M. Ho, Chris Alvin, Supratik Mukhopadhyay, Brian Peterson, Jimmie D. Lawson:
Empirical Abstraction. RV 2020: 259-278 - [i18]Supratik Mukhopadhyay, Qun Liu, Edward Collier, Yimin Zhu, Ravindra Gudishala, Chanachok Chokwitthaya, Robert DiBiano, Alimire Nabijiang, Sanaz Saeidi, Subhajit Sidhanta, Arnab Ganguly:
Context-Aware Design of Cyber-Physical Human Systems (CPHS). CoRR abs/2001.01918 (2020) - [i17]Qun Liu, Supratik Mukhopadhyay, Maria-Ximena Bastidas-Rodríguez, Xing Fu, Sushant Sahu, David Burk, Manas Gartia:
A One-Shot Learning Framework for Assessment of Fibrillar Collagen from Second Harmonic Generation Images of an Infarcted Myocardium. CoRR abs/2001.08395 (2020)
2010 – 2019
- 2019
- [c77]Alimire Nabijiang, Supratik Mukhopadhyay, Sanaz Saeidi, Yimin Zhu, Ravindra Gudishala, Qun Liu:
Why do you take that route? CogSci 2019: 2554-2460 - [c76]Qun Liu, Edward Collier, Supratik Mukhopadhyay:
PCGAN-CHAR: Progressively Trained Classifier Generative Adversarial Networks for Classification of Noisy Handwritten Bangla Characters. ICADL 2019: 3-15 - [c75]Subhajit Sidhanta, Supratik Mukhopadhyay, Wojciech M. Golab:
Consistify: preserving correctness and SLA under weak consistency. ICDCN 2019: 282-291 - [c74]Chanachok Chokwitthaya
Improving Prediction Accuracy in Building Performance Models Using Generative Adversarial Networks (GANs). IJCNN 2019: 1-9 - [c73]Qun Liu, Supratik Mukhopadhyay, Yimin Zhu
Improving Route Choice Models by Incorporating Contextual Factors via Knowledge Distillation. IJCNN 2019: 1-8 - [c72]Subhajit Sidhanta, Supratik Mukhopadhyay, Wojciech M. Golab:
Dyn-YCSB: Benchmarking Adaptive Frameworks. SERVICES 2019: 392-393 - [i16]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:
Progressively Growing Generative Adversarial Networks for High Resolution Semantic Segmentation of Satellite Images. CoRR abs/1902.04604 (2019) - [i15]Qun Liu, Supratik Mukhopadhyay, Yimin Zhu, Ravindra Gudishala, Sanaz Saeidi, Alimire Nabijiang:
Improving Route Choice Models by Incorporating Contextual Factors via Knowledge Distillation. CoRR abs/1903.11253 (2019) - [i14]Alimire Nabijiang, Supratik Mukhopadhyay, Yimin Zhu, Ravindra Gudishala, Sanaz Saeidi, Qun Liu:
Why do you take that route? CoRR abs/1905.06463 (2019) - [i13]Chanachok Chokwitthaya, Edward Collier, Yimin Zhu, Supratik Mukhopadhyay:
Improving Prediction Accuracy in Building Performance Models Using Generative Adversarial Networks (GANs). CoRR abs/1906.05767 (2019) - [i12]Qun Liu, Edward Collier, Supratik Mukhopadhyay:
PCGAN-CHAR: Progressively Trained Classifier Generative Adversarial Networks for Classification of Noisy Handwritten Bangla Characters. CoRR abs/1908.08987 (2019) - [i11]Qun Liu, Saikat Basu, Sangram Ganguly, Supratik Mukhopadhyay, Robert DiBiano, Manohar Karki, Ramakrishna R. Nemani:
DeepSat V2: Feature Augmented Convolutional Neural Nets for Satellite Image Classification. CoRR abs/1911.07747 (2019) - 2018
- [j18]Saikat Basu, Supratik Mukhopadhyay, Manohar Karki
Deep neural networks for texture classification - A theoretical analysis. Neural Networks 97: 173-182 (2018) - [c71]Gokarna Sharma, Rusul Alsaedi, Costas Busch, Supratik Mukhopadhyay:
The Complete Visibility Problem for Fat Robots with Lights. ICDCN 2018: 21:1-21:4 - [c70]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:
Progressively Growing Generative Adversarial Networks for High Resolution Semantic Segmentation of Satellite Images. ICDM Workshops 2018: 763-769 - [c69]Manohar Karki
Pixel-Level Reconstruction and Classification for Noisy Handwritten Bangla Characters. ICFHR 2018: 511-516 - [c68]Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay:
How to Make Fat Autonomous Robots See all Others Fast? ICRA 2018: 1-9 - [c67]Edward Collier, Robert DiBiano
CactusNets: Layer Applicability as a Metric for Transfer Learning. IJCNN 2018: 1-8 - [c66]Qun Liu, Supratik Mukhopadhyay:
Unsupervised Learning using Pretrained CNN and Associative Memory Bank. IJCNN 2018: 1-8 - [c65]Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay:
Complete Visibility for Oblivious Robots in 풪(N) Time. NETYS 2018: 67-84 - [i10]Edward Collier, Robert DiBiano, Supratik Mukhopadhyay:
CactusNets: Layer Applicability as a Metric for Transfer Learning. CoRR abs/1804.07846 (2018) - [i9]Qun Liu, Supratik Mukhopadhyay:
Unsupervised Learning using Pretrained CNN and Associative Memory Bank. CoRR abs/1805.01033 (2018) - [i8]Manohar Karki, Qun Liu, Robert DiBiano, Saikat Basu, Supratik Mukhopadhyay:
Pixel-level Reconstruction and Classification for Noisy Handwritten Bangla Characters. CoRR abs/1806.08037 (2018) - 2017
- [j17]Robert DiBiano
Automated diagnostics for manufacturing machinery based on well-regularized deep neural networks. Integr. 58: 303-310 (2017) - [j16]Tairan Liu
Break Down in Order To Build Up: Decomposing Small Molecules for Fragment-Based Drug Design with eMolFrag. J. Chem. Inf. Model. 57(4): 627-631 (2017) - [j15]Saikat Basu, Manohar Karki
Learning Sparse Feature Representations Using Probabilistic Quadtrees and Deep Belief Nets. Neural Process. Lett. 45(3): 855-867 (2017) - [j14]Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay, Charles Malveaux:
Tight Analysis of a Collisionless Robot Gathering Algorithm. ACM Trans. Auton. Adapt. Syst. 12(1): 3:1-3:20 (2017) - [j13]Subhajit Sidhanta, Wojciech M. Golab, Supratik Mukhopadhyay, Saikat Basu:
Adaptable SLA-Aware Consistency Tuning for Quorum-Replicated Datastores. IEEE Trans. Big Data 3(3): 248-261 (2017) - [c64]Subhajit Sidhanta, Supratik Mukhopadhyay:
SynAdapt: Automated Synthesis of Adaptive Agents. SCC 2017: 475-478 - [c63]Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay:
Synthesis of Problems for Shaded Area Geometry Reasoning. AIED 2017: 455-458 - [c62]Limeng Pu, Hsiao-Chun Wu, Supratik Mukhopadhyay, Robert Kooima, Yiyan Wu
Novel electronic scissoring algorithm. BMSB 2017: 1-4 - [c61]Chris Alvin, Brian Peterson, Supratik Mukhopadhyay:
StaticGen: Static Generation of UML Sequence Diagrams. FASE 2017: 173-190 - [c60]Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay:
Synthesis of Solutions for Shaded Area Geometry Problems. FLAIRS 2017: 14-19 - [c59]Manohar Karki
Core Sampling Framework for Pixel Classification. ICANN (2) 2017: 617-625 - [c58]Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay:
Brief Announcement: Complete Visibility for Oblivious Robots in Linear Time. SPAA 2017: 325-327 - 2016
- [j12]Misagh Naderi, Chris Alvin, Yun Ding, Supratik Mukhopadhyay, Michal Brylinski:
A graph-based approach to construct target-focused libraries for virtual screening. J. Cheminformatics 8(1): 14:1-14:16 (2016) - [c57]Subhajit Sidhanta, Supratik Mukhopadhyay:
Infra: SLO Aware Elastic Auto-scaling in the Cloud for Cost Reduction. BigData Congress 2016: 141-148 - [c56]Subhajit Sidhanta, Wojciech M. Golab, Supratik Mukhopadhyay:
OptEx: A Deadline-Aware Cost Optimization Model for Spark. CCGrid 2016: 193-202 - [c55]Subhajit Sidhanta, Wojciech M. Golab, Supratik Mukhopadhyay, Saikat Basu:
OptCon: An Adaptable SLA-Aware Consistency Tuning Framework for Quorum-Based Stores. CCGrid 2016: 388-397 - [c54]Limeng Pu, Hsiao-Chun Wu, Chiapin Wang, Shih-Hau Fang, Supratik Mukhopadhyay, Costas Busch:
Novel Fast User-Placement Ushering Algorithms for Indoor Femtocell Networks. GLOBECOM 2016: 1-6 - [c53]Saikat Basu, Manohar Karki
A theoretical analysis of Deep Neural Networks for texture classification. IJCNN 2016: 992-999 - [c52]Manohar Karki
A symbolic framework for recognizing activities in full motion surveillance videos. SSCI 2016: 1-7 - [i7]Subhajit Sidhanta, Wojciech M. Golab, Supratik Mukhopadhyay:
OptEx: A Deadline-Aware Cost Optimization Model for Spark. CoRR abs/1603.07936 (2016) - [i6]Subhajit Sidhanta, Wojciech M. Golab, Supratik Mukhopadhyay, Saikat Basu:
OptCon: An Adaptable SLA-Aware Consistency Tuning Framework for Quorum-based Stores. CoRR abs/1603.07938 (2016) - [i5]Saikat Basu, Manohar Karki, Robert DiBiano, Supratik Mukhopadhyay, Sangram Ganguly, Ramakrishna R. Nemani, Shreekant Gayaka:
A Theoretical Analysis of Deep Neural Networks for Texture Classification. CoRR abs/1605.02699 (2016) - [i4]Manohar Karki, Robert DiBiano, Saikat Basu, Supratik Mukhopadhyay:
Core Sampling Framework for Pixel Classification. CoRR abs/1612.01981 (2016) - 2015
- [j11]Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj:
Reasoning about security in sensor networks. Concurr. Comput. Pract. Exp. 27(15): 3816-3841 (2015) - [j10]Hong Yi Chen, Shaked Flur, Supratik Mukhopadhyay:
Termination proofs for linear simple loops. Int. J. Softw. Tools Technol. Transf. 17(1): 47-57 (2015) - [j9]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
A Semiautomated Probabilistic Framework for Tree-Cover Delineation From 1-m NAIP Imagery Using a High-Performance Computing Architecture. IEEE Trans. Geosci. Remote. Sens. 53(10): 5690-5708 (2015) - [c51]Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay:
Mutual Visibility with an Optimal Number of Colors. ALGOSENSORS 2015: 196-210 - [c50]Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay:
Bounds on Mutual Visibility Algorithms. CCCG 2015 - [c49]Saikat Basu, Robert DiBiano
An Agile Framework for Real-Time Motion Tracking. COMPSAC Workshops 2015: 205-210 - [c48]Saikat Basu, Manohar Karki, Sangram Ganguly, Robert DiBiano, Supratik Mukhopadhyay, Ramakrishna R. Nemani:
Learning Sparse Feature Representations using Probabilistic Quadtrees and Deep Belief Nets. ESANN 2015 - [c47]Saikat Basu, Sangram Ganguly, Supratik Mukhopadhyay, Robert DiBiano
DeepSat: a learning framework for satellite imagery. SIGSPATIAL/GIS 2015: 37:1-37:10 - [c46]Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay, Charles Malveaux:
Tight analysis of a collisionless robot gathering algorithm. IROS 2015: 5189-5194 - [c45]Saikat Basu, Manohar Karki, Malcolm Stagg, Robert DiBiano, Sangram Ganguly, Supratik Mukhopadhyay:
MAPTrack - A Probabilistic Real Time Tracking Framework by Integrating Motion, Appearance and Position Models. VISAPP (3) 2015: 567-574 - [i3]Saikat Basu, Manohar Karki, Sangram Ganguly, Robert DiBiano, Supratik Mukhopadhyay, Ramakrishna R. Nemani:
Learning Sparse Feature Representations using Probabilistic Quadtrees and Deep Belief Nets. CoRR abs/1509.03413 (2015) - [i2]Saikat Basu, Sangram Ganguly, Supratik Mukhopadhyay, Robert DiBiano, Manohar Karki, Ramakrishna R. Nemani:
DeepSat - A Learning framework for Satellite Imagery. CoRR abs/1509.03602 (2015) - [i1]Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay:
Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System. CoRR abs/1510.08525 (2015) - 2014
- [j8]Hsiao-Chun Wu, Tian Xia, Yiyan Wu
Novel Fast Blind Channel Estimation and Hessian Analysis for Transmitter Identification of Digital Television Signals. IEEE Trans. Broadcast. 60(4): 715-723 (2014) - [c44]Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay:
Synthesis of Geometry Proof Problems. AAAI 2014: 245-252 - [c43]Kaliappa Ravindran, Arun Adiththan, Supratik Mukhopadhyay:
Stability of video rate control algorithms over bandwidth-limited network paths. CNSM 2014: 199-205 - [c42]Kaliappa Ravindran, Supratik Mukhopadhyay, Subhajit Sidhanta, Ali Sabbir
Managing shared contexts in distributed multi-player game systems. COMSNETS 2014: 1-8 - [c41]Tian Xia, Hsiao-Chun Wu, Supratik Mukhopadhyay:
LDPC encoder identification in time-varying flat-fading channels. GLOBECOM 2014: 3537-3542 - 2013
- [j7]Manuel Peralta, Supratik Mukhopadhyay:
Code-Change Impact Analysis using Counterfactuals: Theory and Implementation. Int. J. Softw. Eng. Knowl. Eng. 23(10): 1459-1486 (2013) - [j6]Yonas G. Debessu, Hsiao-Chun Wu, Hong Jiang, Supratik Mukhopadhyay:
New Modified Turbo Decoder for Embedded Local Content in Single-Frequency Networks. IEEE Trans. Broadcast. 59(1): 129-135 (2013) - [c40]Hong Yi Chen, Supratik Mukhopadhyay, Zheng Lu:
Control Flow Refinement and Symbolic Computation of Average Case Bound. ATVA 2013: 334-348 - [c39]Zheng Lu, Christopher Steinmuller, Supratik Mukhopadhyay:
Towards Formal Verification of a Commercial Wireless Router Firmware. COMPSAC 2013: 639-647 - [c38]Subhajit Sidhanta, Supratik Mukhopadhyay:
An ad-hoc distributed execution environment for multi-agent systems. COMSNETS 2013: 1-10 - [c37]Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj:
A Type-Theoretic Framework for Automated Synthesis of Workflows in Service-Oriented Computing. ICDCS Workshops 2013: 374-379 - 2012
- [j5]S. Sitharama Iyengar, Xin Li
Toward More Precise Radiotherapy Treatment of Lung Tumors. Computer 45(1): 59-65 (2012) - [c36]Subhajit Sidhanta, Supratik Mukhopadhyay:
Managing a Cloud for Multi-agent Systems on Ad-Hoc Networks. IEEE CLOUD 2012: 996-997 - [c35]Srivathsan Srinivasagopalan, Supratik Mukhopadhyay, Ramesh Bharadwaj:
A complex-event-processing framework for smart-grid management. CogSIMA 2012: 272-278 - [c34]Zheng Lu, Supratik Mukhopadhyay:
Model-Based Static Source Code Analysis of Java Programs with Applications to Android Security. COMPSAC 2012: 322-327 - [c33]Zheng Lu, Supratik Mukhopadhyay:
Model-Based Static Code Analysis for MATLAB Models. ISoLA (1) 2012: 474-487 - [c32]Hong Yi Chen, Shaked Flur, Supratik Mukhopadhyay:
Termination Proofs for Linear Simple Loops. SAS 2012: 422-438 - 2011
- [c31]Manuel Peralta, Supratik Mukhopadhyay:
Code-Change Impact Analysis Using Counterfactuals. COMPSAC 2011: 694-699 - [c30]Mohammad Rabby, Kaliappa Ravindran, Supratik Mukhopadhyay, Ramesh Bharadwaj, Gaurav Mangukiya:
'Control plane' properties for signaling in loss-feedback based video rate adaptation over shared multicast paths. COMSNETS 2011: 1-10 - [c29]Supratik Mukhopadhyay, Ramesh Bharadwaj, Hasan Davulcu:
Functional "AJAX" in Secure Synchronous Programming. HICSS 2011: 1-10 - [c28]Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj:
Counterfactually reasoning about security. SIN 2011: 223-226 - 2010
- [j4]S. S. Iyengar, Supratik Mukhopadhyay, Christopher Steinmuller, Xin Li
Preventing Future Oil Spills with Software-Based Event Detection. Computer 43(8): 95-97 (2010) - [c27]Sukhamay Kundu, Supratik Mukhopadhyay:
Approximation of CFL by Regular Languages for Concurrent Program Verification. COMPSAC Workshops 2010: 353-358
2000 – 2009
- 2009
- [c26]Hasan Davulcu, Supratik Mukhopadhyay, Prabhdeep Singh, Stephen S. Yau:
Default α-Logic for Modeling Customizable Failure Semantics in Workflow Systems Using Dynamic Reconfiguration Constraints. FGIT-GDC 2009: 49-56 - [c25]Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj:
Automatic Synthesis and Deployment of Intensional Kahn Process Networks. FGIT-GDC 2009: 73-87 - 2008
- [c24]Prabhdeep Singh
A Risk Reduction Framework for Dynamic Workflows. IEEE SCC (1) 2008: 381-388 - [c23]Ramesh Bharadwaj, Supratik Mukhopadhyay:
A Formal Approach to Developing Reliable Event-Driven Service-Oriented Systems. COMPSAC 2008: 227-230 - [c22]Jeremiah James, Supratik Mukhopadhyay:
The Causal Order is Strict. FTDCS 2008: 140-143 - [c21]Ramesh Bharadwaj, Supratik Mukhopadhyay, Manuel Peralta, Krishna Shenai, Subhashis Majumder:
Cognitive Distributed Networks in Environmental e-Science. FTDCS 2008: 192-198 - 2007
- [j3]Stephen S. Yau, Hasan Davulcu, Supratik Mukhopadhyay, Dazhi Huang, Haishan Gong, Prabhdeep Singh, Fatih Gelgi:
Automated Situation-Aware Service Composition in Service-Oriented Computing. Int. J. Web Serv. Res. 4(4): 59-82 (2007) - [c20]Ramesh Bharadwaj, Supratik Mukhopadhyay:
SOLj: A Domain-Specific Language (DSL) for Secure Service-Based Systems. FTDCS 2007: 173-180 - 2006
- [e3]Supratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang:
Proceedings of the Third International Workshop on Software Verification and Validation, SVV@ICFEM 2005, Manchester, UK, October 31, 2005. Electronic Notes in Theoretical Computer Science 157(1), Elsevier 2006 [contents] - 2005
- [c19]Ramesh Bharadwaj, Supratik Mukhopadhyay, Nilay Padh:
Service Composition in a Secure Agent-Based Architecture. EEE 2005: 787-788 - [c18]Stephen S. Yau, Hasan Davulcu, Supratik Mukhopadhyay, Dazhi Huang, Yisheng Yao:
Adaptable Situation-Aware Secure Service-Based (AS3) Systems. ISORC 2005: 308-315 - [c17]Stephen S. Yau, Supratik Mukhopadhyay, Ramesh Bharadwaj:
Specification, Analysis and Implementation of Architectural Patterns for Dependable Software Systems. WORDS 2005: 197-204 - [c16]Supratik Mukhopadhyay, Abhik Roychoudhury
Preface. SVV@ICFEM 2005: 1 - [e2]Sandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury:
Proceedings of the International Workshop on Software Verification and Validation, SVV@ICLP 2003, Mumbai, India, December 14, 2003. Electronic Notes in Theoretical Computer Science 118, Elsevier 2005 [contents] - 2004
- [c15]Lan Guo, Supratik Mukhopadhyay, Bojan Cukic:
Does Your Result Checker Really Check? DSN 2004: 399-404 - [c14]Ravishankar Boddu, Lan Guo, Supratik Mukhopadhyay, Bojan Cukic:
RETNA: From Requirements to Testing in a Natural Way. RE 2004: 262-271 - 2003
- [j2]Jean H. Gallier, Salvatore La Torre, Supratik Mukhopadhyay:
Deterministic finite automata with recursive calls and DPDAs. Inf. Process. Lett. 87(4): 187-193 (2003) - [j1]Witold Charatonik, Silvano Dal-Zilio
Model checking mobile ambients. Theor. Comput. Sci. 308(1-3): 277-331 (2003) - [c13]Supratik Mukhopadhyay:
Abstract spatial hybrid systems for image processing. CDC 2003: 342-343 - [c12]Sandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury
Preface. SVV@ICLP 2003: 1- - [e1]Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay:
Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings. Lecture Notes in Computer Science 2575, Springer 2003, ISBN 3-540-00348-7 [contents] - 2002
- [c11]Martin Leucker
Dynamic Message Sequence Charts. FSTTCS 2002: 253-264 - [c10]Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski:
Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP. ICLP 2002: 115-129 - [c9]Salvatore La Torre, Supratik Mukhopadhyay, Aniello Murano:
Optimal-Reachability and Control for Acyclic Weighted Timed Automata. IFIP TCS 2002: 485-497 - [c8]Supratik Mukhopadhyay, Andreas Podelski:
An Algebraic Framework for Abstract Model Checking. SARA 2002: 152-169 - [c7]Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski:
Compositional Termination Analysis of Symbolic Forward Analysis. VMCAI 2002: 109-125 - 2001
- [c6]Supratik Mukhopadhyay, Andreas Podelski:
Accurate Widenings and Boundedness Properties of Timed Systems. Ershov Memorial Conference 2001: 79-94 - [c5]Witold Charatonik, Silvano Dal-Zilio
The Complexity of Model Checking Mobile Ambients. FoSSaCS 2001: 152-167 - [c4]Supratik Mukhopadhyay, Andreas Podelski:
Constraint Database Models Characterizing Timed Bisimilarity. PADL 2001: 245-258 - [c3]Pablo Argón, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski:
Model Checking Communication Protocols. SOFSEM 2001: 160-170 - 2000
- [b1]Supratik Mukhopadhyay:
A uniform constraint-based framework for the verification of infinite state systems. Saarland University, Saarbrücken, Germany, 2000, pp. 1-160 - [c2]Supratik Mukhopadhyay, Andreas Podelski:
Model Checking for Timed Logic Processes. Computational Logic 2000: 598-612
1990 – 1999
- 1999
- [c1]Supratik Mukhopadhyay, Andreas Podelski:
Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata. FSTTCS 1999: 232-244
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: