• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 106 matches

• 2024
• 
  Devleena Ghosh, Chittaranjan Mandal:
  SMT based parameter identifiable combination detection for non-linear continuous and hybrid dynamics. Formal Aspects Comput. 36(3): 15:1-15:41 (2024)
• 2023
• 
  Chandrani Ray Chowdhury, Sudip Misra, Chittaranjan Mandal:
  Energy-Aware Service Allocation: A Crow Search-Based Approach. IEEE Trans. Green Commun. Netw. 7(1): 211-223 (2023)
• 
  Chandrani Ray Chowdhury, Sudip Misra, Chittaranjan Mandal, Samaresh Bera:
  SeamFlow: Seamless Flow Forwarding in Energy Harvesting-Enabled Access Points of SDWLAN. IEEE Trans. Sustain. Comput. 8(1): 94-108 (2023)
• 2022
• 
  Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan A. Mandal, Holger Giese:
  Translation validation of coloured Petri net models of programs on integers. Acta Informatica 59(6): 725-759 (2022)
• 
  Chandrani Ray Chowdhury, Sudip Misra, Chittaranjan Mandal:
  IEEE 802.11k-Based Lightweight, Distributed, and Cooperative Access Point Coverage Estimation Scheme in IoT Networks. IEEE Internet Things J. 9(12): 10139-10148 (2022)
• 
  Ilora Maity, Sudip Misra, Chittaranjan Mandal:
  SCOPE: Cost-Efficient QoS-Aware Switch and Controller Placement in Hybrid SDN. IEEE Syst. J. 16(3): 4873-4880 (2022)
• 
  Devleena Ghosh, Chittaranjan Mandal:
  Clustering Based Parameter Estimation of Thyroid Hormone Pathway. IEEE ACM Trans. Comput. Biol. Bioinform. 19(1): 343-354 (2022)
• 
  Chandrani Ray Chowdhury, Chittaranjan Mandal, Sudip Misra:
  Sustainable Maintenance of Connected Dominating Set by Solar Energy Harvesting for IoT Networks. IEEE Trans. Green Commun. Netw. 6(4): 2115-2127 (2022)
• 
  Ilora Maity, Sudip Misra, Chittaranjan Mandal:
  ETHoS: Energy-Aware Traffic Engineering for Sustainable Hybrid SDN. IEEE Trans. Sustain. Comput. 7(4): 875-886 (2022)
• 2021
• 
  Ilora Maity, Sudip Misra, Chittaranjan Mandal:
  DART: Data Plane Load Reduction for Traffic Flow Migration in SDN. IEEE Trans. Commun. 69(3): 1765-1774 (2021)
• 
  Ilora Maity, Sudip Misra, Chittaranjan Mandal:
  CORE: Prediction-Based Control Plane Load Reduction in Software-Defined IoT Networks. IEEE Trans. Commun. 69(3): 1835-1844 (2021)
• 
  Arindam Das, Manoj Kumar Gangwar, Devleena Ghosh, Chittaranjan Mandal, Anirban Sengupta, M. Mubashshir Waris:
  Automatic Generation of Route Control Chart From Validated Signal Interlocking Plan. IEEE Trans. Intell. Transp. Syst. 22(10): 6516-6525 (2021)
• 2020
• 
  Saheb Halder, Subhajit Samaddar, Karunamoy Purkait, Abhoy Mondal, Chittaranjan R. Mandal, Malay Purkait:
  Double electron capture in fast ion-atom collisions. J. Comput. Methods Sci. Eng. 20(2): 665-686 (2020)
• 
  Partha De, Udaya Parampalli, Chittaranjan Mandal:
  Secure Path Balanced BDD-Based Pre-Charge Logic for Masking. IEEE Trans. Circuits Syst. 67-I(12): 4747-4760 (2020)
• 
  Ilora Maity, Sudip Misra, Chittaranjan Mandal:
  Traffic-Aware Consistent Flow Migration in SDN. ICC 2020: 1-6
• 2019
• 
  Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan Mandal:
  Equivalence checking of Petri net models of programs using static and dynamic cut-points. Acta Informatica 56(4): 321-383 (2019)
• 
  Chandan Karfa, Dipankar Sarkar, Chittaranjan Mandal:
  Verification of parallelising transformations of KPN models. IET Cyper-Phys. Syst.: Theory & Appl. 4(3): 276-289 (2019)
• 
  Ilora Maity, Ayan Mondal, Sudip Misra, Chittaranjan Mandal:
  Tensor-Based Rule-Space Management System in SDN. IEEE Syst. J. 13(4): 3921-3928 (2019)
• 
  Partha De, Chittaranjan Mandal, Udaya Parampalli:
  Path-Balanced Logic Design to Realize Block Ciphers Resistant to Power and Timing Attacks. IEEE Trans. Very Large Scale Integr. Syst. 27(5): 1080-1092 (2019)
• 
  Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan Mandal:
  SamaTulyataOne: A Path Based Equivalence Checker. ISEC 2019: 21:1-21:5
• 2018
• 
  Ilora Maity, Ayan Mondal, Sudip Misra, Chittaranjan Mandal:
  CURE: Consistent Update With Redundancy Reduction in SDN. IEEE Trans. Commun. 66(9): 3974-3981 (2018)
• 
  Bapi Kar, Susmita Sur-Kolay, Chittaranjan A. Mandal:
  STAIRoute: Early Global Routing using Monotone Staircases for Congestion Reduction. CoRR abs/1810.10412 (2018)
• 
  Bapi Kar, Susmita Sur-Kolay, Chittaranjan A. Mandal:
  Early Routability Assessment in VLSI Floorplans: A Generalized Routing Model. CoRR abs/1810.12789 (2018)
• 
  Bapi Kar, Susmita Sur-Kolay, Chittaranjan A. Mandal:
  Exploring the Scope of Unconstrained Via Minimization by Recursive Floorplan Bipartitioning. CoRR abs/1811.05161 (2018)
• 2017
• 
  Jasaswi Prasad Mohanty, Chittaranjan A. Mandal, Chris Reade:
  Distributed construction of minimum Connected Dominating Set in wireless sensor network using two-hop information. Comput. Networks 123: 137-152 (2017)
• 
  Kunal Banerjee, Dipankar Sarkar, Chittaranjan A. Mandal:
  Deriving bisimulation relations from path based equivalence checkers. Formal Aspects Comput. 29(2): 365-379 (2017)
• 
  Bibhas Ghoshal, Chittaranjan Mandal, Indranil Sengupta:
  Refresh re-use based transparent test for detection of in-field permanent faults in DRAMs. Integr. 59: 168-178 (2017)
• 
  Kunal Banerjee, Dipankar Sarkar, Chittaranjan Mandal:
  Deriving Bisimulation Relations from Path Extension Based Equivalence Checkers. IEEE Trans. Software Eng. 43(10): 946-953 (2017)
• 
  Soumyadip Bandyopadhyay, Santonu Sarkar, Dipankar Sarkar, Chittaranjan A. Mandal:
  SamaTulyata: An Efficient Path Based Equivalence Checking Tool. ATVA 2017: 109-116
• 
  Kunal Banerjee, Chittaranjan A. Mandal, Dipankar Sarkar:
  An Equivalence Checking Framework for Array-Intensive Programs. ATVA 2017: 84-90

skipping 76 more matches