Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Sudip Patra
Observed name:
Patra, Sudip
Institution:
Maulana Abul Kalam Azad University of Technology, West Bengal
Observed institution:
Maulana Abul Kalam Azad University of Technology, West Bengal
ORCID:
0009-0005-1460-4862
Observed ORCID:
0009-0005-1460-4862
OpenAlex ID:
A5148306148
Aegis-FC: Zero-Memory Formal Verification Engine (Powered by RSBTE)
2026
·
Patra, Sudip
·
Zenodo (CERN European Organization for Nuclear Research)
Aegis-FC: A Zero-Memory Formal Verification Engine
2026
·
Patra, Sudip
·
Zenodo (CERN European Organization for Nuclear Research)
Satisficing in the age of GenAI? The Moderating Role of Technical Background and Domain Expertise on Human-Algorithm Interaction based decision-making in Public Policy
2026
·
Anshumaan Goel
, Sudip Patra
·
SSRN Electronic Journal
Recursive Symbolic Binary-Tree Encoding (RSBTE): A Symbolic Weighted Valuation, Traversal, Reverse Reconstruction, and Recursive Arithmetic Framework
2026
·
Sudip Patra
·
SSRN Electronic Journal
Show more works
View as search
Works count:
5
Citation count:
H-index:
I10-index:
Year
Topic
Type