Identity authentication based on keystroke latencies R Joyce, G Gupta Communications of the ACM 33 (2), 168-176, 1990 | 712 | 1990 |

Automatic integration of Euler-Lagrange equations with constraints CW Gear, B Leimkuhler, GK Gupta Journal of Computational and Applied Mathematics 12, 77-90, 1985 | 563 | 1985 |

Parallel execution of prolog programs: a survey G Gupta, E Pontelli, KAM Ali, M Carlsson, MV Hermenegildo ACM Transactions on Programming Languages and Systems (TOPLAS) 23 (4), 472-602, 2001 | 251 | 2001 |

Dynamic graph models F Harary, G Gupta Mathematical and Computer Modelling 25 (7), 79-87, 1997 | 149 | 1997 |

Automatic composition of semanticweb services S Kona, A Bansal, G Gupta IEEE International Conference on Web Services (ICWS 2007), 150-158, 2007 | 125 | 2007 |

Coinductive logic programming L Simon, A Mallya, A Bansal, G Gupta International Conference on Logic Programming, 330-345, 2006 | 111 | 2006 |

ACE: And/Or-parallel copying-based execution of logic programs G Gupta, M Hermenegildo Workshop on Parallel Logic Programming, 146-158, 1991 | 106 | 1991 |

Coinductive logic programming and its applications G Gupta, A Bansal, R Min, L Simon, A Mallya International Conference on Logic Programming, 27-44, 2007 | 104 | 2007 |

Co-logic programming: Extending logic programming with coinduction L Simon, A Bansal, A Mallya, G Gupta International Colloquium on Automata, Languages, and Programming, 472-483, 2007 | 102 | 2007 |

A constraint-based approach for specification and verification of real-time systems G Gupta, E Pontelli Proceedings Real-Time Systems Symposium, 230-239, 1997 | 97 | 1997 |

A review of dynamic handwritten signature verification G Gupta, A McCabe Department of Computer Science, James Cook University Townsville, Qld 4811, 1997 | 95 | 1997 |

Generalized semantics-based service composition S Kona, A Bansal, MB Blake, G Gupta 2008 IEEE International Conference on Web Services, 219-227, 2008 | 92 | 2008 |

A simple scheme for implementing tabled logic programming systems based on dynamic reordering of alternatives HF Guo, G Gupta International Conference on Logic Programming, 181-196, 2001 | 81 | 2001 |

A review of recent developments in solving ODEs GK Gupta, R Sacks-Davis, PE Tescher ACM Computing Surveys (CSUR) 17 (1), 5-47, 1985 | 77 | 1985 |

&ACE: a high-performance parallel Prolog system E Pontelli, G Gupta, M Hermenegildo Proceedings of 9th International Parallel Processing Symposium, 564-571, 1995 | 65 | 1995 |

Analysis of or-parallel execution models G Gupta, B Jayaraman ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (4), 659-680, 1993 | 64 | 1993 |

IDIOM: Integrating Dependent and-, Independent and-, and Or-parallelism G Gupta, VS Costa, R Yang, MV Hermenegildo IN 1991 INTERNATIONAL LOGIC PROGRAMMING SYMPOSIUM, 1991 | 61 | 1991 |

Combined And-Or Parallelism on Shared Memory Multiprocessors. G Gupta, B Jayaraman NACLP, 332-349, 1989 | 54 | 1989 |

An evaluation of self‐adjusting binary search tree techniques J Bell, G Gupta Software: Practice and Experience 23 (4), 369-382, 1993 | 51 | 1993 |

Navigation of HTML tables, frames, and XML fragments E Pontelli, D Gillan, W Xiong, E Saad, G Gupta, AI Karshmer Proceedings of the fifth international ACM conference on Assistive …, 2002 | 50 | 2002 |