Ashutosh Gupta - Citegraph

Author Info

Name	Affiliation	Papers
ASHUTOSH GUPTA	Inst Engn & Rural Technol, Allahabad, Uttar Pradesh, India	27
Collaborators	Citations	PageRank
34	192	14.01
Referers	Referees	References
371	574	338

Search Limit

100574

Publications (27 rows)

Collaborators (34 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
A new position based routing algorithm for vehicular ad hoc networks	1	0.39	2020
An Efficient Data Dissemination And Handover Scheme For Vehicular Ad Hoc Networks	0	0.34	2017
Extensional Crisis and Proving Identity.	1	0.36	2014
Suraq - A Controller Synthesis Tool Using Uninterpreted Functions.	1	0.34	2014
From tests to proofs.	25	1.17	2013
Tree Interpolation in Vampire.	4	0.39	2013
Generalised Interpolation By Solving Recursion-Free Horn Clauses	3	0.38	2013
Automatic linearizability proofs of concurrent objects with cooperating updates	10	0.49	2013
HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution).	13	0.57	2012
Ultra low power device to track environmental sensitive items in transit	0	0.34	2012
Improved single pass algorithms for resolution proof reduction	6	0.42	2012
Improved Single Pass Algorithms for Resolution Proof Reduction - (Poster Presentation).	0	0.34	2012
Delayed continuous-time markov chains for genetic regulatory circuits	4	0.41	2012
Threader: a constraint-based verifier for multi-threaded programs	24	0.98	2011
Solving recursion-free horn clauses over LI+UIF	27	1.28	2011
Searching a pattern in compressed DNA sequences.	1	0.35	2011
Partial retrieval of compressed semi-structured documents	2	0.36	2010
Efficient Storage of Massive Biological Sequences in Compact Form	1	0.36	2010
Non-monotonic refinement of control abstraction for concurrent programs	1	0.42	2010
A fast dynamic compression scheme for natural language texts	2	0.37	2010
Finding heap-bounds for hardware synthesis	16	0.73	2009
Timing Analysis of Passive UHF RFID - EPC C1G2 System in Dynamic Frame	1	0.38	2009
Principal Component Analysis for Gesture Recognition Using SystemC	2	0.41	2009
InvGen: An Efficient Invariant Generator	46	1.40	2009
Weibull extension model: A Bayes study using Markov chain Monte Carlo simulation	0	0.34	2008
New Transform for Improving Compression Performance in Natural Language Text	1	0.35	2007
Word Based Text Compression Using Encryption	0	0.34	2007