Concepedia

Ashutosh Gupta

AG

5

Publications

86

Citations

5

H-Index

2012

Active since

Affiliations

Institute of Science and Technology Austria(Current)

Ashutosh Gupta is an author at Institute of Science and Technology Austria specializing in engineering, formal verification, and automated reasoning.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationPhysicsLanguageChemistryLinguistics

Publications per year

2012–2020

5

Publications

5

Succinct Representation of Concurrent Trace Sets

Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna et al. · 2014 · 25 citations

Computational Logic, Formal Specification, Concurrent Traces +15

Hierarchical Multi-Stage Word-to-Grapheme Named Entity Corrector for Automatic Speech Recognition

Abhinav Garg, Ashutosh Gupta, Dhananjaya Gowda et al. · 2020 · 20 citations

Natural Language Processing, Automatic Speech Recognition, Engineering +11

From tests to proofs

Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko · International Journal on Software Tools for Technology Transfer · 2012 · 15 citations

Engineering, Automated Reasoning, Software Testing +7

Temperature dependent excited state dynamics in dual emissive CdSe nano-tetrapods

Sucheta Banerjee, Ashutosh Gupta, Rohit Srivastava et al. · Physical Chemistry Chemical Physics · 2017 · 14 citations

Localized Excited State, Engineering, Temperature Dependent +20

Model checking the evolution of gene regulatory networks

Mirco Giacobbe, Călin C. Guet, Ashutosh Gupta et al. · Acta Informatica · 2016 · 12 citations · Full text

Rows per page

1–5 of 5