Transient myopia due to choroidal effusion: A novel ocular complication of COVID-19 infection von Deori, Nilutparna, Garg, Mohit, Bhattacharjee, Harsha, Das, Dipankar, Jain, Mitesh, Gogoi, Rajendra, Deori, Arup

Volltext

Microsurgical Anatomy of the Superior Wall of the Mandibular Canal and Surrounding Structures: Suggestion for New Classifications for Dental Implantology von Iwanaga, Joe, Anand, Mahindra Kumar, Jain, Mitesh N., Nagata, Mizuki, Matsushita, Yuki, Ibaragi, Soichiro, Kusukawa, Jingo, Tubbs, R. Shane

Volltext

Proving Skipping Refinement with ACL2s von Jain, Mitesh, Manolios, Panagiotis

Volltext

Artesunate-induced retrobulbar optic neuropathy von Das, Dipankar, Garg, Mohit, Bhattacharjee, Harsha, Jain, Mitesh, Bharali, Gayatri

Volltext

Artesunate-induced retrobulbar optic neuropathy von Das, Dipankar, Garg, Mohit, Bhattacharjee, Harsha, Jain, Mitesh, Bharali, Gayatri

Volltext

Use of Topical Colistin in Multiple Drug-Resistant Pseudomonas aeruginosa Bacterial Keratitis von Jain, Rajat, Murthy, Somasheila I, Motukupally, Swapna R, Jain, Mitesh

Volltext

Skipping Refinement von Jain, Mitesh, Manolios, Panagiotis

Volltext

Practical Formal Verification of Domain-Specific Language Applications von Eakman, Greg, Reubenstein, Howard, Hawkins, Tom, Jain, Mitesh, Manolios, Panagiotis

Volltext

Accelerating formal property verification across design versions using sequential equivalence checking von Kundu, Sudipta, Jain, Mitesh

Volltext bestellen

An Efficient Runtime Validation Framework based on the Theory of Refinement von Jain, Mitesh, Manolios, Panagiotis

Volltext bestellen

Proving Skipping Refinement with ACL2s von Jain, Mitesh, Manolios, Panagiotis

Volltext

Skipping Refinement von Jain, Mitesh, Manolios, Panagiotis

Volltext bestellen

Systems, methods, and apparatuses for executing a graph query against a graph representing a plurality of data stores von Borra, Ajay Krishna, Singh, Manpreet, Jain, Mitesh, Mittal, Himanshu

Volltext bestellen

An Efficient Runtime Validation Framework based on the Theory of Refinement von Jain, Mitesh, Manolios, Panagiotis

Volltext

Skipping Refinement von Jain, Mitesh, Manolios, Panagiotis

Volltext

SYSTEMS, METHODS, AND APPARATUSES FOR EXECUTING A GRAPH QUERY AGAINST A GRAPH REPRESENTING A PLURALITY OF DATA STORES von Borra, Ajay Krishna, Singh, Manpreet, Jain, Mitesh, Mittal, Himanshu

Volltext bestellen

Verification of Sequential Circuits by Tests-As-Proofs Paradigm von Goldberg, Eugene, Jain, Mitesh, Manolios, Panagiotis

Volltext bestellen

FORMED: Bringing Formal Methods to the Engineering Desktop von Reubenstein,Howard, Eakman,Greg, Wiegley,John, Manolios,Panagiotis, Jain,Mitesh

Volltext bestellen

Verification of Sequential Circuits by Tests-As-Proofs Paradigm von Goldberg, Eugene, Jain, Mitesh, Manolios, Panagiotis

Volltext