受强制性开放获取政策约束的文章 - Dr. Raju Halder了解详情
无法在其他位置公开访问的文章：5 篇
A lizard-inspired quadruped robot based on pressure sensitive adhesion mechanism for wall climbing
A Thakur, R Halder, G Banda, R Ray, A Bhattacharya, SR Nishad
Proceedings of the 2021 5th International Conference on Advances in Robotics …, 2021
强制性开放获取政策： Department of Science & Technology, India
A Lightweight Deep Learning-based Weapon Detection Model for Mobile Robots
R Yadav, R Halder, A Thakur, G Banda
Proceedings of the 2023 6th International Conference on Advances in Robotics …, 2023
强制性开放获取政策： Department of Science & Technology, India
Formal verification of database applications using predicate abstraction
MI Alam, R Halder
SN Computer Science 2 (3), 135, 2021
强制性开放获取政策： Department of Science & Technology, India
Analyzing information flow in solidity smart contracts
R Halder, MI Alam, AM Fajge, NK Singh, A Cortesi
Distributed Computing to Blockchain, 105-123, 2023
强制性开放获取政策： Department of Science & Technology, India
Secure Communication System Implementation for Robot-based Surveillance Applications
A Bhattacharya, A Thakur, G Banda, R Ray, R Halder
2021 International Symposium of Asian Control Association on Intelligent …, 2021
强制性开放获取政策： Department of Science & Technology, India
可在其他位置公开访问的文章：15 篇
Extending abstract interpretation to dependency analysis of database applications
A Jana, R Halder, KV Abhishekh, SD Ganni, A Cortesi
IEEE Transactions on Software Engineering 46 (5), 463-494, 2018
强制性开放获取政策： Department of Science & Technology, India
Information leakage analysis of database query languages
R Halder, M Zanioli, A Cortesi
Proceedings of the 29th Annual ACM Symposium on Applied Computing, 813-820, 2014
强制性开放获取政策： Government of Italy
Development of a lizard-inspired wall-climbing robot using pressure sensitive adhesion
SR Nishad, R Halder, G Banda, A Thakur
IEEE Access 10, 72535-72544, 2022
强制性开放获取政策： Department of Science & Technology, India
Data leakage analysis of the hibernate query language on a propositional formulae domain
R Halder, A Jana, A Cortesi
Transactions on Large-Scale Data-and Knowledge-Centered Systems XXIII …, 2016
强制性开放获取政策： Department of Science & Technology, India, Government of Italy
Combining symbolic and numerical domains for information leakage analysis
A Cortesi, P Ferrara, R Halder, M Zanioli
Transactions on Computational Science XXXI: Special Issue on Signal …, 2018
强制性开放获取政策： Government of Italy
Partitioning-insensitive watermarking approach for distributed relational databases
S Rani, DK Koshley, R Halder
Transactions on Large-Scale Data-and Knowledge-Centered Systems XXXVI …, 2017
强制性开放获取政策： Council of Scientific and Industrial Research, India
Information-flow analysis of hibernate query language
A Cortesi, R Halder
Future Data and Security Engineering: First International Conference, FDSE …, 2014
强制性开放获取政策： Government of Italy
A deductive reasoning approach for database applications using verification conditions
MI Alam, R Halder, JS Pinto
Journal of Systems and Software 175, 110903, 2021
强制性开放获取政策： Department of Science & Technology, India, Fundação para a Ciência e a …
A Symbolic Model Checker for Database Programs.
A Jana, MI Alam, R Halder
ICSOFT, 381-388, 2018
强制性开放获取政策： Department of Science & Technology, India
Adapting mapreduce for efficient watermarking of large relational dataset
S Rani, DK Koshley, R Halder
2017 IEEE Trustcom/BigDataSE/ICESS, 729-736, 2017
强制性开放获取政策： Council of Scientific and Industrial Research, India
Defining abstract semantics for static dependence analysis of relational database applications
A Jana, R Halder
Information Systems Security: 12th International Conference, ICISS 2016 …, 2016
强制性开放获取政策： Fundação para a Ciência e a Tecnologia, Portugal
A watermarking framework for outsourced and distributed relational databases
S Rani, DK Koshley, R Halder
Future Data and Security Engineering: Third International Conference, FDSE …, 2016
强制性开放获取政策： Council of Scientific and Industrial Research, India, Fundação para a …
Refining dependencies for information flow analysis of database applications
MI Alam, R Halder
International Journal of Trust Management in Computing and Communications 3 …, 2016
强制性开放获取政策： Department of Science & Technology, India
K-taint: an executable rewriting logic semantics for taint analysis in the k-framework
MI Alam, R Halder, H Goswami, JS Pinto
ENASE, 2018
强制性开放获取政策： Department of Science & Technology, India
A Robotic Software Framework for Autonomous Navigation in Unknown Environment
MMS Sarwar, R Yadav, S Samanta, R Ray, R Halder, G Banda, ...
2021 International Symposium of Asian Control Association on Intelligent …, 2021
强制性开放获取政策： Department of Science & Technology, India
出版信息和资助信息由计算机程序自动确定