Follow
Gopal Gupta
Gopal Gupta
Professor of Computer Science, The University of Texas at Dallas
Verified email at utdallas.edu - Homepage
Title
Cited by
Cited by
Year
Identity authentication based on keystroke latencies
R Joyce, G Gupta
Communications of the ACM 33 (2), 168-176, 1990
7981990
Automatic integration of Euler-Lagrange equations with constraints
CW Gear, B Leimkuhler, GK Gupta
Journal of Computational and Applied Mathematics 12, 77-90, 1985
6361985
Introduction to data mining with case studies
GK Gupta
PHI Learning Pvt. Ltd., 2014
3332014
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
3002001
Dynamic graph models
F Harary, G Gupta
Mathematical and Computer Modelling 25 (7), 79-87, 1997
2051997
Automatic composition of semanticweb services
S Kona, A Bansal, G Gupta
IEEE International Conference on Web Services (ICWS 2007), 150-158, 2007
1402007
Coinductive logic programming
L Simon, A Mallya, A Bansal, G Gupta
International Conference on Logic Programming, 330-345, 2006
1322006
Coinductive logic programming and its applications
G Gupta, A Bansal, R Min, L Simon, A Mallya
International Conference on Logic Programming, 27-44, 2007
1232007
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
1182007
A constraint-based approach for specification and verification of real-time systems
G Gupta, E Pontelli
Proceedings Real-Time Systems Symposium, 230-239, 1997
1141997
ACE: And/Or-parallel copying-based execution of logic programs
G Gupta, M Hermenegildo
Workshop on Parallel Logic Programming, 146-158, 1991
1121991
Generalized semantics-based service composition
S Kona, A Bansal, MB Blake, G Gupta
2008 IEEE International Conference on Web Services, 219-227, 2008
1092008
A review of dynamic handwritten signature verification
G Gupta, A Mccabe
Department of Computer Science, James Cook University Townsville, Qld 4811, 1997
1041997
A review of recent developments in solving ODEs
GK Gupta, R Sacks-Davis, PE Tescher
ACM Computing Surveys (CSUR) 17 (1), 5-47, 1985
841985
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
822001
Constraint answer set programming without grounding
J Arias, M Carro, E Salazar, K Marple, G Gupta
Theory and Practice of Logic Programming 18 (3-4), 337-354, 2018
732018
&ACE: A high-performance parallel Prolog system
E Pontelli, G Gupta, M Hermenegildo
Proceedings of 9th International Parallel Processing Symposium, 564-571, 1995
671995
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, V Santos Costa, R Yang, MV Hermenegildo
MIT Press, 1991
631991
Combined And-Or Parallelism on Shared Memory Multiprocessors.
G Gupta, B Jayaraman
NACLP, 332-349, 1989
551989
The system can't perform the operation now. Try again later.
Articles 1–20