Identity authentication based on keystroke latencies R Joyce, G Gupta Communications of the ACM 33 (2), 168-176, 1990 | 741 | 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 | 580 | 1985 |

Introduction to data mining with case studies GK Gupta PHI Learning Pvt. Ltd., 2014 | 279 | 2014 |

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 | 263 | 2001 |

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

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

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

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 | 109 | 2007 |

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

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

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

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

Generalized semantics-based service composition S Kona, A Bansal, MB Blake, G Gupta 2008 IEEE International Conference on Web Services, 219-227, 2008 | 96 | 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 | 82 | 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 | 81 | 1985 |

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

Analysis of or-parallel execution models G Gupta, B Jayaraman ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (4), 659-680, 1993 | 63 | 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 |

Reading and writing mathematics: The MAVIS1 Project AI Karshmer, G Gupta, S Geiger, C Weaver Behaviour & Information Technology 18 (1), 2-10, 1999 | 53 | 1999 |