Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarSupratik Mukhopadhyay
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2019
[c73]Alimire Nabijiang, Supratik Mukhopadhyay, Sanaz Saeidi, Yimin Zhu, Ravindra Gudishala, Qun Liu:
Why do you take that route? CogSci 2019: 2554-2460- [c72]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 - [c71]Subhajit Sidhanta, Supratik Mukhopadhyay, Wojciech Golab:
Consistify: preserving correctness and SLA under weak consistency. ICDCN 2019: 282-291 - [c70]Chanachok Chokwitthaya, Edward Collier, Yimin Zhu, Supratik Mukhopadhyay:
Improving Prediction Accuracy in Building Performance Models Using Generative Adversarial Networks (GANs). IJCNN 2019: 1-9 - [c69]Qun Liu, Supratik Mukhopadhyay, Yimin Zhu, Ravindra Gudishala, Sanaz Saeidi, Alimire Nabijiang:
Improving Route Choice Models by Incorporating Contextual Factors via Knowledge Distillation. IJCNN 2019: 1-8 - [c68]Subhajit Sidhanta, Supratik Mukhopadhyay, Wojciech 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
- [j20]Saikat Basu, Supratik Mukhopadhyay, Manohar Karki, Robert DiBiano, Sangram Ganguly, Ramakrishna R. Nemani, Shreekant Gayaka:
Deep neural networks for texture classification - A theoretical analysis. Neural Networks 97: 173-182 (2018) - [c67]Gokarna Sharma, Rusul Alsaedi, Costas Busch, Supratik Mukhopadhyay:
The Complete Visibility Problem for Fat Robots with Lights. ICDCN 2018: 21:1-21:4 - [c66]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 - [c65]Manohar Karki, Qun Liu, Robert DiBiano, Saikat Basu, Supratik Mukhopadhyay:
Pixel-Level Reconstruction and Classification for Noisy Handwritten Bangla Characters. ICFHR 2018: 511-516 - [c64]Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay:
How to Make Fat Autonomous Robots See all Others Fast? ICRA 2018: 1-9 - [c63]Edward Collier, Robert DiBiano, Supratik Mukhopadhyay:
CactusNets: Layer Applicability as a Metric for Transfer Learning. IJCNN 2018: 1-8 - [c62]Qun Liu, Supratik Mukhopadhyay:
Unsupervised Learning using Pretrained CNN and Associative Memory Bank. IJCNN 2018: 1-8 - [c61]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
- [j19]Robert DiBiano, Supratik Mukhopadhyay:
Automated diagnostics for manufacturing machinery based on well-regularized deep neural networks. Integration 58: 303-310 (2017) - [j18]Tairan Liu
, Misagh Naderi, Chris Alvin, Supratik Mukhopadhyay, Michal Brylinski:
Break Down in Order To Build Up: Decomposing Small Molecules for Fragment-Based Drug Design with eMolFrag. Journal of Chemical Information and Modeling 57(4): 627-631 (2017) - [j17]Saikat Basu, Manohar Karki, Sangram Ganguly, Robert DiBiano, Supratik Mukhopadhyay, Shreekant Gayaka, Rajgopal Kannan, Ramakrishna R. Nemani:
Learning Sparse Feature Representations Using Probabilistic Quadtrees and Deep Belief Nets. Neural Processing Letters 45(3): 855-867 (2017) - [j16]Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay, Charles Malveaux:
Tight Analysis of a Collisionless Robot Gathering Algorithm. TAAS 12(1): 3:1-3:20 (2017) - [j15]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) - [c60]Subhajit Sidhanta, Supratik Mukhopadhyay:
SynAdapt: Automated Synthesis of Adaptive Agents. SCC 2017: 475-478 - [c59]Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay:
Synthesis of Problems for Shaded Area Geometry Reasoning. AIED 2017: 455-458 - [c58]Limeng Pu, Hsiao-Chun Wu, Supratik Mukhopadhyay, Robert Kooima, Yiyan Wu:
Novel electronic scissoring algorithm. BMSB 2017: 1-4 - [c57]Chris Alvin, Brian Peterson, Supratik Mukhopadhyay:
StaticGen: Static Generation of UML Sequence Diagrams. FASE 2017: 173-190 - [c56]Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay:
Synthesis of Solutions for Shaded Area Geometry Problems. FLAIRS Conference 2017: 14-19 - [c55]Manohar Karki, Robert DiBiano, Saikat Basu, Supratik Mukhopadhyay:
Core Sampling Framework for Pixel Classification. ICANN (2) 2017: 617-625 - [c54]Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay:
Brief Announcement: Complete Visibility for Oblivious Robots in Linear Time. SPAA 2017: 325-327 - 2016
- [j14]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) - [c53]Subhajit Sidhanta, Supratik Mukhopadhyay:
Infra: SLO Aware Elastic Auto-scaling in the Cloud for Cost Reduction. BigData Congress 2016: 141-148 - [c52]Subhajit Sidhanta, Wojciech M. Golab, Supratik Mukhopadhyay:
OptEx: A Deadline-Aware Cost Optimization Model for Spark. CCGrid 2016: 193-202 - [c51]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 - [c50]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 - [c49]Saikat Basu, Manohar Karki, Supratik Mukhopadhyay, Sangram Ganguly, Ramakrishna R. Nemani, Robert DiBiano, Shreekant Gayaka:
A theoretical analysis of Deep Neural Networks for texture classification. IJCNN 2016: 992-999 - [c48]Manohar Karki, Saikat Basu, Robert DiBiano, Supratik Mukhopadhyay, Jerry Weltman, Malcolm Stagg:
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
- [j13]Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj:
Reasoning about security in sensor networks. Concurrency and Computation: Practice and Experience 27(15): 3816-3841 (2015) - [j12]Hong Yi Chen, Shaked Flur, Supratik Mukhopadhyay:
Termination proofs for linear simple loops. STTT 17(1): 47-57 (2015) - [j11]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:
A Semiautomated Probabilistic Framework for Tree-Cover Delineation From 1-m NAIP Imagery Using a High-Performance Computing Architecture. IEEE Trans. Geoscience and Remote Sensing 53(10): 5690-5708 (2015) - [c47]Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay:
Mutual Visibility with an Optimal Number of Colors. ALGOSENSORS 2015: 196-210 - [c46]Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay:
Bounds on Mutual Visibility Algorithms. CCCG 2015 - [c45]Saikat Basu, Robert DiBiano, Manohar Karki, Malcolm Stagg, Jerry Weltman, Supratik Mukhopadhyay, Sangram Ganguly:
An Agile Framework for Real-Time Motion Tracking. COMPSAC Workshops 2015: 205-210 - [c44]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 - [c43]Saikat Basu, Sangram Ganguly, Supratik Mukhopadhyay, Robert DiBiano, Manohar Karki, Ramakrishna R. Nemani:
DeepSat: a learning framework for satellite imagery. SIGSPATIAL/GIS 2015: 37:1-37:10 - [c42]Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay, Charles Malveaux:
Tight analysis of a collisionless robot gathering algorithm. IROS 2015: 5189-5194 - [c41]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
- [j10]Hsiao-Chun Wu, Tian Xia, Yiyan Wu, Supratik Mukhopadhyay:
Novel Fast Blind Channel Estimation and Hessian Analysis for Transmitter Identification of Digital Television Signals. TBC 60(4): 715-723 (2014) - [c40]Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay:
Synthesis of Geometry Proof Problems. AAAI 2014: 245-252 - [c39]Kaliappa Ravindran, Arun Adiththan, Supratik Mukhopadhyay:
Stability of video rate control algorithms over bandwidth-limited network paths. CNSM 2014: 199-205 - [c38]Kaliappa Ravindran, Supratik Mukhopadhyay, Subhajit Sidhanta, Ali Sabbir:
Managing shared contexts in distributed multi-player game systems. COMSNETS 2014: 1-8 - [c37]Tian Xia, Hsiao-Chun Wu, Supratik Mukhopadhyay:
LDPC encoder identification in time-varying flat-fading channels. GLOBECOM 2014: 3537-3542 - 2013
- [j9]Manuel Peralta, Supratik Mukhopadhyay:
Code-Change Impact Analysis using Counterfactuals: Theory and Implementation. International Journal of Software Engineering and Knowledge Engineering 23(10): 1459-1486 (2013) - [j8]Yonas G. Debessu, Hsiao-Chun Wu, Hong Jiang, Supratik Mukhopadhyay:
New Modified Turbo Decoder for Embedded Local Content in Single-Frequency Networks. TBC 59(1): 129-135 (2013) - [c36]Hong Yi Chen, Supratik Mukhopadhyay, Zheng Lu:
Control Flow Refinement and Symbolic Computation of Average Case Bound. ATVA 2013: 334-348 - [c35]Zheng Lu, Christopher Steinmuller, Supratik Mukhopadhyay:
Towards Formal Verification of a Commercial Wireless Router Firmware. COMPSAC 2013: 639-647 - [c34]Subhajit Sidhanta, Supratik Mukhopadhyay:
An ad-hoc distributed execution environment for multi-agent systems. COMSNETS 2013: 1-10 - [c33]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
- [j7]S. Sitharama Iyengar, Xin Li, Huanhuan Xu, Supratik Mukhopadhyay, N. Balakrishnan, Amit Sawant, Puneeth Iyengar:
Toward More Precise Radiotherapy Treatment of Lung Tumors. IEEE Computer 45(1): 59-65 (2012) - [c32]Subhajit Sidhanta, Supratik Mukhopadhyay:
Managing a Cloud for Multi-agent Systems on Ad-Hoc Networks. IEEE CLOUD 2012: 996-997 - [c31]Zheng Lu, Supratik Mukhopadhyay:
Model-Based Static Source Code Analysis of Java Programs with Applications to Android Security. COMPSAC 2012: 322-327 - [c30]Zheng Lu, Supratik Mukhopadhyay:
Model-Based Static Code Analysis for MATLAB Models. ISoLA (1) 2012: 474-487 - [c29]Hong Yi Chen, Shaked Flur, Supratik Mukhopadhyay:
Termination Proofs for Linear Simple Loops. SAS 2012: 422-438 - 2011
- [c28]Manuel Peralta, Supratik Mukhopadhyay:
Code-Change Impact Analysis Using Counterfactuals. COMPSAC 2011: 694-699 - [c27]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 - [c26]Supratik Mukhopadhyay, Ramesh Bharadwaj, Hasan Davulcu:
Functional "AJAX" in Secure Synchronous Programming. HICSS 2011: 1-10 - [c25]Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj:
Counterfactually reasoning about security. SIN 2011: 223-226 - 2010
- [j6]S. S. Iyengar, Supratik Mukhopadhyay, Christopher Steinmuller, Xin Li:
Preventing Future Oil Spills with Software-Based Event Detection. IEEE Computer 43(8): 95-97 (2010) - [c24]Sukhamay Kundu, Supratik Mukhopadhyay:
Approximation of CFL by Regular Languages for Concurrent Program Verification. COMPSAC Workshops 2010: 353-358
2000 – 2009
- 2009
- [c23]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 - [c22]Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj:
Automatic Synthesis and Deployment of Intensional Kahn Process Networks. FGIT-GDC 2009: 73-87 - 2008
- [c21]Prabhdeep Singh, Fatih Gelgi, Hasan Davulcu, Stephen S. Yau, Supratik Mukhopadhyay:
A Risk Reduction Framework for Dynamic Workflows. IEEE SCC (1) 2008: 381-388 - [c20]Ramesh Bharadwaj, Supratik Mukhopadhyay:
A Formal Approach to Developing Reliable Event-Driven Service-Oriented Systems. COMPSAC 2008: 227-230 - [c19]Jeremiah James, Supratik Mukhopadhyay:
The Causal Order is Strict. FTDCS 2008: 140-143 - [c18]Ramesh Bharadwaj, Supratik Mukhopadhyay, Manuel Peralta, Krishna Shenai, Subhashis Majumder:
Cognitive Distributed Networks in Environmental e-Science. FTDCS 2008: 192-198 - 2007
- [j5]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 Service Res. 4(4): 59-82 (2007) - [c17]Ramesh Bharadwaj, Supratik Mukhopadhyay:
SOLj: A Domain-Specific Language (DSL) for Secure Service-Based Systems. FTDCS 2007: 173-180 - 2006
- [j4]Supratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang:
Preface. Electr. Notes Theor. Comput. Sci. 157(1): 1 (2006) - 2005
- [j3]Sandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury:
Preface. Electr. Notes Theor. Comput. Sci. 118: 1- (2005) - [c16]Ramesh Bharadwaj, Supratik Mukhopadhyay, Nilay Padh:
Service Composition in a Secure Agent-Based Architecture. EEE 2005: 787-788 - [c15]Stephen S. Yau, Hasan Davulcu, Supratik Mukhopadhyay, Dazhi Huang, Yisheng Yao:
Adaptable Situation-Aware Secure Service-Based (AS3) Systems. ISORC 2005: 308-315 - [c14]Stephen S. Yau, Supratik Mukhopadhyay, Ramesh Bharadwaj:
Specification, Analysis and Implementation of Architectural Patterns for Dependable Software Systems. WORDS 2005: 197-204 - 2004
- [c13]Lan Guo, Supratik Mukhopadhyay, Bojan Cukic:
Does Your Result Checker Really Check? DSN 2004: 399-404 - [c12]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, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot:
Model checking mobile ambients. Theor. Comput. Sci. 308(1-3): 277-331 (2003) - [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, P. Madhusudan, Supratik Mukhopadhyay:
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, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot:
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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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 and opencitations.net 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 Crossref privacy policy and the OpenCitations privacy policy.
Citation data
Add a list of citing articles from 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 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.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2019-12-03 23:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
