Gopal Gupta

According to our database1, Gopal Gupta
  • authored at least 152 papers between 1986 and 2016.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2016
A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns.
TPLP, 2016

Generalized semantic Web service composition.
Service Oriented Computing and Applications, 2016

A methodology for modeling and verification of cyber-physical systems based on logic programming.
SIGBED Review, 2016

A Physician Advisory System for Chronic Heart Failure Management Based on Knowledge Patterns.
CoRR, 2016

Augmented reality for breast tumors visualization.
Proceedings of the 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2016

2015
Language-based software engineering.
Sci. Comput. Program., 2015

mHealth Platform for Breast Cancer Risk Assessment.
Proceedings of the 2015 International Conference on Healthcare Informatics, 2015

2014
Dynamic Consistency Checking in Goal-Directed Answer Set Programming.
TPLP, 2014

Dynamic Consistency Checking in Goal-Directed Answer Set Programming.
CoRR, 2014

2013
Timed π-Calculus.
Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

Apnea MedAssist II: A smart phone based system for sleep apnea assessment.
Proceedings of the 2013 IEEE International Conference on Bioinformatics and Biomedicine, 2013

2012
Goal-directed execution of answer set programs.
Proceedings of the Principles and Practice of Declarative Programming, 2012

Galliwasp: A Goal-Directed Answer Set Solver.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2012

Coinductive Constraint Logic Programming.
Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

Semantics-Based Web Service Composition Engine.
Proceedings of the Semantic Web Services, Advancement through Evaluation, 2012

2011
A logic-based modeling and verification of CPS.
SIGBED Review, 2011

Infinite Computation, Co-induction and Computational Logic.
Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010
Weaving Functional and Non-Functional Attributes for Dynamic Web Service Composition.
Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R).
Proceedings of the Language and Automata Theory and Applications, 2010

Timed Definite Clause Omega-Grammars.
Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

Timed Planning.
Proceedings of the Twenty-Third International Florida Artificial Intelligence Research Society Conference, 2010

2009
Mathematics and Accessibility.
Proceedings of the Universal Access Handbook., 2009

USDL: A Service-Semantics Description Language for Automatic Service Discovery and Composition.
Int. J. Web Service Res., 2009

A Scalable Wireless Body Area Network for Bio-Telemetry.
JIPS, 2009

Dynamic reordering of alternatives for definite logic programs.
Computer Languages, Systems & Structures, 2009

ActionScript bytecode verification with co-logic programming.
Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, 2009

Coinductive Logic Programming with Negation.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2009

Towards Predicate Answer Set Programming via Coinductive Logic Programming.
Proceedings of the Artificial Intelligence Applications and Innovations III, 2009

Coinductive Logic Programming and its Application to Boolean SAT.
Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

2008
Simplifying dynamic programming via mode-directed tabling.
Softw., Pract. Exper., 2008

An Agent-Based Approach for Composition of Semantic Web Services.
Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2008

Generalized Semantics-Based Service Composition.
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

Towards a General Framework for Web Service Composition.
Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008

2007
PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters.
TPLP, 2007

ExSched: Solving Constraint Satisfaction Problems with the Spreadsheet Paradigm
CoRR, 2007

Semantics-basedWeb Service Composition engine.
Proceedings of the 9th IEEE International Conference on E-Commerce Technology (CEC 2007) / 4th IEEE International Conference on Enterprise Computing, 2007

Automatic Composition of SemanticWeb Services.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Coinductive Logic Programming and Its Applications.
Proceedings of the Logic Programming, 23rd International Conference, 2007

Co-Logic Programming: Extending Logic Programming with Coinduction.
Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 2007

VoxBoox: A System for Automatic Generation of Interactive Talking Books.
Proceedings of the Universal Access in Human-Computer Interaction. Applications and Services, 2007

Winsight: Towards Completely Automatic Backtranslation of Nemeth Code.
Proceedings of the Universal Access in Human-Computer Interaction. Applications and Services, 2007

2006
Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platforms.
J. Parallel Distrib. Comput., 2006

PALS: Efficient Or-Parallelism on Beowulf Clusters
CoRR, 2006

Web Service Discovery and Composition using USDL.
Proceedings of the Eighth IEEE International Conference on E-Commerce Technology (CEC 2006) / Third IEEE International Conference on Enterprise Computing, 2006

Coinductive Logic Programming.
Proceedings of the Logic Programming, 22nd International Conference, 2006

VoxBoox: : a system for automatic generation of interactive talking books.
Proceedings of the 8th International ACM SIGACCESS Conference on Computers and Accessibility, 2006

2005
Provably Correct Code Generation: A Case Study.
Electr. Notes Theor. Comput. Sci., 2005

Rapidly prototyping implementation infrastructure of domain specific languages: a semantics-based approach.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Optimization with mode-directed preferences.
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

Towards Provably Correct Code Generation via Horn Logical Continuation Semantics.
Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005

Design and Implementation of AT: A Real-Time Action Description Language.
Proceedings of the Logic Based Program Synthesis and Transformation, 2005

A Universal Service Description Language.
Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

Towards Intelligent Services: A Case Study in Chemical Emergency Response.
Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

Software Engineering Track Chair's Message.
Proceedings of the Distributed Computing and Internet Technology, 2005

Kernel Auto-associator from Kernel Principal Component Autoregression with Application to Face Recognition.
Proceedings of the 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), 2005

k-Nearest Neighbors Associative Memory Model for Face Recognition.
Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

2004
An Efficient and Flexible Engine for Computing Fixed Points
CoRR, 2004

Simplifying Dynamic Programming via Tabling.
Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

Framework for Safe Reuse of Software Binaries.
Proceedings of the Distributed Computing and Internet Technology, 2004

Listener-Controlled Dynamic Navigation of VoiceXML Documents.
Proceedings of the Computers Helping People with Special Needs, 2004

Towards a Universal Maths Conversion Library.
Proceedings of the Computers Helping People with Special Needs, 2004

Accessing Documents via Audio: An Extensible Transcoder for HTML to VoiceXML Conversion.
Proceedings of the Computers Helping People with Special Needs, 2004

Static program analysis of embedded executable assembly code.
Proceedings of the 2004 International Conference on Compilers, 2004

UMA: a system for universal mathematics accessibility.
Proceedings of the ACM SIGACCESS Conference on Computers and Accessibility, 2004

2003
Semantic Processing of the Semantic Web.
Proceedings of the Semantic Web, 2003

Continuation Semantics as Horn Clauses.
Proceedings of the Logic Based Program Synthesis and Transformation, 2003

A New Mode Declaration for Tabled Predicates.
Proceedings of the Logic Programming, 19th International Conference, 2003

A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms.
Proceedings of the Euro-Par 2003. Parallel Processing, 2003

An Agent-based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology.
Proceedings of the Declarative Agent Languages and Technologies, 2003

2002
Intelligent non-visual navigation of complex HTML structures.
Universal Access in the Information Society, 2002

A constraint logic programming approach for generating all perfect matchings.
Appl. Math. Lett., 2002

Semantics-Based Filtering: Logic Programming's Killer App?
Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002

Towards a Logic Programming Based Environment for Automatic Generation of Translators.
Proceedings of the 12th International Workshop on Logic Programming Environments, 2002

Architecting an Auditory Browser for Navigating Mathematical Expressions.
Proceedings of the Computers Helping People with Special Needs, 2002

F-LOG: A Domain Specific Language for Solving Phylogenetic Inference Problems.
Proceedings of the 1st IEEE Computer Society Bioinformatics Conference, 2002

Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

Navigation of HTML tables, frames, and XML fragments.
Proceedings of the ACM Conference on Assistive Technologies, 2002

2001
Backtracking in Independent And-Parallel Implementations of Logic Programming Languages.
IEEE Trans. Parallel Distrib. Syst., 2001

Parallel execution of prolog programs: a survey.
ACM Trans. Program. Lang. Syst., 2001

Optimization schemas for parallel implementation of non-deterministic languages and systems.
Softw., Pract. Exper., 2001

Interoperability between Bioinformatics Tools: A Logic Programming Approach.
Proceedings of the Practical Aspects of Declarative Languages, 2001

Incremental Stack-Splitting Mechanisms for Efficient Parallel Implementation of Search-Based AI Systems.
Proceedings of the 2001 International Conference on Parallel Processing, 2001

PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures.
Proceedings of the Logic Programming, 17th International Conference, 2001

A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives.
Proceedings of the Logic Programming, 17th International Conference, 2001

The development of a tool to enhance communications between blind and sighted mathematicians, students and teachers: a global translation appliance.
Proceedings of the Universal Access In HCI: Towards an Information Society for All, 2001

2000
Parallel implementation of Prolog: the ACE project.
ACM SIGSOFT Software Engineering Notes, 2000

The Temporal Precedence Problem.
Algorithmica, 2000

Data structures for order-sensitive predicates in parallel nondeterministic systems.
Acta Inf., 2000

Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs.
Proceedings of the Practical Aspects of Declarative Languages, 2000

Reliable software construction: a logic programming based methodology.
Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

A domain specific language framework for non-visual browsing of complex HTML structures.
Proceedings of the ACM Conference on Assistive Technologies, 2000

1999
Preface.
Electr. Notes Theor. Comput. Sci., 1999

On the Complexity of Or-Parallelism.
New Generation Comput., 1999

Complexity Analysis of Late Binding in Dynamic Object-Oriented Languages
Journal of Functional and Logic Programming, 1999

Extended Dynamic Dependent And-Parallelism in ACE.
Journal of Functional and Logic Programming, 1999

Reading and writing mathematics: The MAVIS1 Project.
Behaviour & IT, 1999

Efficient Techniques for Distributed Implementation of Search-Based AI Systems.
Proceedings of the International Conference on Parallel Processing 1999, 1999

Stack-splitting: Or-/And-parallelism on Distributed Memory Machines.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

Software technology and computer interfaces for the disabled: non-visual WWW browsing.
Proceedings of the Human-Computer Interaction: Communication, 1999

1998
Efficient Algorithms for the Temporal Precedence Problem.
Inf. Process. Lett., 1998

The Complexity of Late-Binding in Dynamic Object-Oriented Languages.
Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

Efficient Backtracking in And-Parallel Implementations of Non-deterministic Languages.
Proceedings of the 1998 International Conference on Parallel Processing (ICPP '98), 1998

Automatic Generation of Provably Correct Parallelizing Compilers.
Proceedings of the 1998 International Conference on Parallel Processing (ICPP '98), 1998

Natural Language Multiprocessing: A Case Study.
Proceedings of the International Workshop on Implementation Technology for Programming Languages based on Logic, 1998

Horn Logic Denotations.
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

Reading and Writing Mathematics: the MAVIS Project.
International ACM Conference on Assistive Technologies, 1998

Natural Language Multiprocessing: A Case Study.
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997
Parallel Symbolic Computation in ACE.
Ann. Math. Artif. Intell., 1997

A constraint-based approach for specification and verification of real-time systems.
Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997

VACE: A Tool for Visualization of And-Or Parallel Execution.
Proceedings of the 8th Workshop on Logic Programming Environments, 1997

Optimization Schemas for Parallel Implementation of Nondeterministic Languages and Systems.
Proceedings of the 11th International Parallel Processing Symposium (IPPS '97), 1997

W-ACE: A Logic Language for Intelligent Internet Programming.
Proceedings of the 9th International Conference on Tools with Artificial Intelligence, 1997

Visualization of And/Or-Parallel Execution of Logic Programs.
Proceedings of the Logic Programming, 1997

Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism.
Proceedings of the Logic Programming, 1997

Implementation Mechanisms for Dependent And-Parallelism.
Proceedings of the Logic Programming, 1997

On the Complexity of Parallel Implementation of Logic Programs.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1997

Extended dynamic dependent and-parallelism in ACE.
Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, 1997

High Performance Parallel Logic Programming: The ACE Parallel Prolog System.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996
Guest Editors' Introduction: High-Performance Implementations of Logic Programming Systems.
J. Log. Program., 1996

Cuts and Side-Effects in And-Or Parallel Prolog.
J. Log. Program., 1996

Improving the Efficiency of Nondeterministic Independent and-Parallel Systems.
Comput. Lang., 1996

Last alternative optimization.
Proceedings of the Eighth IEEE Symposium on Parallel and Distributed Processing, 1996

Nested Parallel Call Optimization.
Proceedings of IPPS '96, 1996

Dependent And-Parallelism Revisited (Poster Abstract).
Proceedings of the Logic Programing, 1996

1995
Data parallel logic programming in &ACE.
Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing, 1995

&ACE: a high-performance parallel Prolog system.
Proceedings of IPPS '95, 1995

Determinacy Driven Optimizations of And-Parallel Prolog Implementations.
Proceedings of the Logic Programming, 1995

Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming.
Proceedings of the Logic Programming, 1995

On the Duality Between Or-parallelism and And-parallelism in Logic Programming.
Proceedings of the Euro-Par '95 Parallel Processing, 1995

1994
Optimal implementation of and-or parallel Prolog.
Future Generation Comp. Syst., 1994

Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems.
Proceedings of the Logic Programming, 1994

Determinancy Driven Optimization of Parallel Prolog Implementations.
Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, 1994

Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems.
Proceedings of the Parallel and Data Parallel Execution of Logic Programs, 1994

&ACE: the And-parallel Component of ACE (A Progress Report on ACE).
Proceedings of the Parallel and Data Parallel Execution of Logic Programs, 1994

ACE: And/Or-parallel Copying-based Execution of Logic Programs.
Proceedings of the Logic Programming, 1994

1993
Analysis of Or-Parallel Execution Models.
ACM Trans. Program. Lang. Syst., 1993

And-Or Parallel Prolog: A Recomputation Based Approach.
New Generation Comput., 1993

And-Or Parallelism on Shared-Memory Multiprocessors.
J. Log. Program., 1993

1992
Dynamic Parallel Evaluation of the Cross-Product Set Using Time-Stamps.
Inf. Process. Lett., 1992

Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog.
Proceedings of the Fourth IEEE Symposium on Parallel and Distributed Processing, 1992

And-Or Parallelism in Full Prolog with Paged Binding Arrays.
Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992

Generalized Stack-copying for And-Or Parallel Execution of Full Prolog.
Proceedings of the Workshop on Concurrent and Parallel Implementations (sessions A and B), 1992

Recomputation based Implementations of And-Or Parallel Prolog.
FGCS, 1992

1991
IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism.
Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

ACE: And/Or-parallel Copying-based Execution of Logic Programs.
Proceedings of the Parallel Execution of Logic Programs, 1991

1990
On Criteria for Or-Parallel Execution Models of Logic Programs.
Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

Optimizing And-Or Parallel Implementations.
Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

A Timestamp Based Technique for Dynamic Parallel Evaluation of Cross Product of Sets.
Proceedings of the 1990 International Conference on Parallel Processing, 1990

1989
EqL: The Language and Its Implementation.
IEEE Trans. Software Eng., 1989

Combined And-Or Parallelism on Shared Memory Multiprocessors.
Proceedings of the Logic Programming, 1989

1988
A universal test set for CMOS circuits.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1988

1986
Parallel execution of an equational language.
Proceedings of the Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29, 1986


  Loading...