Login / Signup
Akash Nag
ORCID
Publication Activity (10 Years)
Years Active: 2015-2022
Publications (10 Years): 5
Top Topics
Formal Verification
Bloom Filter
Mdl Principle
Highly Optimized
Top Venues
CoRR
ISDA
Appl. Soft Comput.
J. Open Source Softw.
</>
Publications
</>
Tanmay Tiwari
,
Akash Nag
,
Alokesh Pramanik
,
Amit Rai Dixit
A comparative study of spark assisted bending process using teaching-learning based optimization, desirability approach and genetic algorithm.
Appl. Soft Comput.
130 (2022)
Susmita Guha
,
Akash Nag
,
Rahul Karmakar
Formal Verification of Safety-Critical Systems: A Case-Study in Airbag System Design.
ISDA
(2020)
Akash Nag
MDL Suite: A language, generator and compiler for describing mazes.
J. Open Source Softw.
5 (46) (2020)
Akash Nag
,
Sunil Karforma
A Space-Efficient Approach towards Distantly Homologous Protein Similarity Searches.
CoRR
(2015)
Akash Nag
,
Sunil Karforma
DSA Security Enhancement through Efficient Nonce Generation.
CoRR
(2015)