Gopal Gupta
Gopal Gupta
Professor of Computer Science, The University of Texas at Dallas
Verified email at utdallas.edu - Homepage
TitleCited byYear
Identity authentication based on keystroke latencies
R Joyce, G Gupta
Communications of the ACM 33 (2), 168-176, 1990
7121990
Automatic integration of Euler-Lagrange equations with constraints
CW Gear, B Leimkuhler, GK Gupta
Journal of Computational and Applied Mathematics 12, 77-90, 1985
5631985
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
2512001
Dynamic graph models
F Harary, G Gupta
Mathematical and Computer Modelling 25 (7), 79-87, 1997
1491997
Automatic composition of semanticweb services
S Kona, A Bansal, G Gupta
IEEE International Conference on Web Services (ICWS 2007), 150-158, 2007
1252007
Coinductive logic programming
L Simon, A Mallya, A Bansal, G Gupta
International Conference on Logic Programming, 330-345, 2006
1112006
ACE: And/Or-parallel copying-based execution of logic programs
G Gupta, M Hermenegildo
Workshop on Parallel Logic Programming, 146-158, 1991
1061991
Coinductive logic programming and its applications
G Gupta, A Bansal, R Min, L Simon, A Mallya
International Conference on Logic Programming, 27-44, 2007
1042007
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
1022007
A constraint-based approach for specification and verification of real-time systems
G Gupta, E Pontelli
Proceedings Real-Time Systems Symposium, 230-239, 1997
971997
A review of dynamic handwritten signature verification
G Gupta, A McCabe
Department of Computer Science, James Cook University Townsville, Qld 4811, 1997
951997
Generalized semantics-based service composition
S Kona, A Bansal, MB Blake, G Gupta
2008 IEEE International Conference on Web Services, 219-227, 2008
922008
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
812001
A review of recent developments in solving ODEs
GK Gupta, R Sacks-Davis, PE Tescher
ACM Computing Surveys (CSUR) 17 (1), 5-47, 1985
771985
&ACE: a high-performance parallel Prolog system
E Pontelli, G Gupta, M Hermenegildo
Proceedings of 9th International Parallel Processing Symposium, 564-571, 1995
651995
Analysis of or-parallel execution models
G Gupta, B Jayaraman
ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (4), 659-680, 1993
641993
IDIOM: Integrating Dependent and-, Independent and-, and Or-parallelism
G Gupta, VS Costa, R Yang, MV Hermenegildo
IN 1991 INTERNATIONAL LOGIC PROGRAMMING SYMPOSIUM, 1991
611991
Combined And-Or Parallelism on Shared Memory Multiprocessors.
G Gupta, B Jayaraman
NACLP, 332-349, 1989
541989
An evaluation of self‐adjusting binary search tree techniques
J Bell, G Gupta
Software: Practice and Experience 23 (4), 369-382, 1993
511993
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
502002
The system can't perform the operation now. Try again later.
Articles 1–20