- E. Pontelli. "Concurrent Web-programming in CLP(WEB)", 33rd H. International Conference on System Sciences (HICSS), IEEE Computer Society, 2000.
- E. Pontelli. "Variable Bindings in And-parallel Programming on Distributed Memory Machines", International Symposium on Parallel and Distributed Computing and Systems, 1999.
- G. Gupta and E. Pontelli. "Stack-splitting: A Simple Technique for Implementing Or-parallelism and And-parallelism on Distributed Machines", International Conference on Logic Programming, MIT Press, 1999.
- A. Dovier, C. Piazza, E. Pontelli, G. Rossi. "ACI1 Constraints", International Conference on Logic Programming, MIT Press, 1999.
- A. Karshmer, E. Pontelli, G. Gupta. "Helping Visually Impaired Students in the Study of Mathematics", Frontiers of Education Conference, IEEE, 1999.
- G. Gupta and E. Pontelli. "Efficient Techniques for Distributed Implementations of Search-Based AI Systems", International Conference on Parallel Processing, IEEE Computer Society, 1999.
- A. Karshmer, E. Pontelli, G. Gupta. "Software Technology and Computer Interfaces for the Disabled: Non-visual Navigation of the World-Wide Web", Human-Computer Interaction International, 1999.
- E. Pontelli, K. Deopura. "Concurrent Logic Programming for Courseware Engineering on the Web", International Conference on Practical Applications of Constraint and Logic Programming, 1999.
- E. Pontelli, D. Ranjan, G. Gupta. "The Complexity of Late-binding in Dynamic Object-Oriented Languages", International Symposium on Programming Languages, Implementation, Logics, and Programs, Springer Verlag, 1998.
- G. Gupta, E. Pontelli, A. Lara, R. Felix. "Automatic Generation of Provably Correct Parallelizing Compilers", International Conference on Parallel Processing, IEEE Computer Society, 1998.
- E. Pontelli, G. Gupta. "Efficient Backtracking in And-Parallel Implementations of Non-deterministic Languages", International Conference on Parallel Processing, IEEE Computer Society, 1998.
- E. Pontelli, G. Gupta, J. Wiebe, D. Farwell. "Natural Language Multiprocessing: a case study", AAAI-98.
- A. Dovier, C. Piazza, E. Pontelli, G. Rossi. "On the Representation of Finite Sets in CLP", Joint International Conference and Symposium on Logic Programming, 1998.
- E. Pontelli and G. Gupta ``W-ACE: A Logic-based Framework for Internet Programming'', IEEE International Conference on Tools with Artificial Intelligence, IEEE Computer Society, 1997.
- G. Gupta and E. Pontelli ``A Constraint Based Approach for Specification and Verification of Real-time Systems'', IEEE Real Time Systems Symposium, IEEE Computer Society, 1997.
- E. Pontelli, D. Ranjan, G. Gupta ``On the Complexity of Parallel Implementation of Logic Programs'', Conference on Foundations of Software Technology and Theoretical Computer Science, Springer Verlag, 1997.
- G. Gupta and E. Pontelli ``Extended Dynamic Dependent And-Parallelism in ACE'', International Symposium on Parallel Symbolic Computation, ACM Press, 1997.
- E. Pontelli, G. Gupta ``Implementation Mechanisms for Dependent And-Parallelism'', International Conference on Logic Programming, June 1997.
- F. Pulvirenti, E. Pontelli, G. Gupta, A. Ferro ``Automatic Compile-Time Parallelization of Prolog Programs for Dependent And-Parallelism'', International Conference on Logic Programming, June 1997.
- R. Vaupel, E. Pontelli, G. Gupta ``VACE: Visualization of And/Or-Parallel Execution of Logic Programs'', International Conference on Logic Programming, June 1997.
- G. Gupta, E. Pontelli ``Optimization Principles for Nondeterminate Parallel Systems'', International Parallel Processing Symposium, IEEE Computer Society, 1997.
- E. Pontelli, G. Gupta ``Non-determinate Dependent And-Parallelism Revisited (Extended Abstract)'', Joint International Conference and Symposium on Logic Programming, MIT Press, 1996.
- E. Pontelli, G. Gupta ``Last Alternative Optimization for Or-parallel Logic Programming Systems'', IEEE International Symposium on Parallel and Distributed Processing, IEEE Computer Society, New Orleans, October 1996.
- F. Bassetti, E. Pontelli, G. Gupta ``A Logic Programming System for Automatic Verification of Graduation Requirements'', International Conference on Practical Application of Prolog, London, April 1996.
- E. Pontelli, G. Gupta ``Nested Parallel Call Optimization'', IEEE International Parallel Processing Symposium, IEEE Computer Society, Honolulu, April 1996.
- E. Pontelli, G. Gupta ``Data Parallel Logic Programming in &ACE", IEEE International Symposium on Parallel and Distributed Processing, San Antonio, October 1995.
- E. Pontelli, G. Gupta ``Incremental Exploitation of Parallelism in Prolog", ISCA Eight International Conference on Parallel and Distributed Computing Systems, Orlando, October 1995.
- E. Pontelli, G. Gupta ``On the Duality Between And- and Or-Parallelism in Logic Programming", EuroPar 95, Stockholm, Sweden, August 1995.
- G.Gupta, V. Santos Costa, E. Pontelli ``Shared paged Binding Array: A Universal Data Structure for Parallel Logic Programming", (short paper) International Conference on Logic Programming 95, Tokyo, Japan, June 1995.
- E. Pontelli, G. Gupta, T. DongXing ``Determinacy Driven Optimization of And-parallel Prolog Implementations", International Conference on Logic Programming 95, Tokyo, Japan, June 1995.
- E. Pontelli, G. Gupta, M. Hermenegildo ``A High-performance Parallel Prolog System", International Parallel Processing Symposium, IEEE Computer Society, April 1995.
- T.DongXing, E.Pontelli, G.Gupta, M.Carro ``Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems", (extended abstract) International Logic Programming Symposium 94, Ithaca (New York), November 1994.
- P. Bruscoli, A. Dovier, E. Pontelli, G. Rossi ``Compiling Intensional Sets in a CLP Language", in Proceedings of the 11th International Conference on Logic Programming (ICLP94), MIT Press, June 94.
- G. Gupta, M.V. Hermenegildo, E. Pontelli, V. Santos Costa ``ACE: And/Or-parallel Copying-based Execution of Logic Programs", in Proceedings of the 11th International Conference on Logic Programming (ICLP94), MIT Press, June 94.
- A. Dovier, E. Pontelli `` A WAM-based Implementation of a Logic Language with Sets", in Proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming, Springer Verlag, August 93, Tallinn, Estonia.
- A. Dovier, E. Omodeo, E. Pontelli, G. Rossi ``Embedding Finite Sets in a Logic Programming Language", in Proceedings of the 3rd International Workshop on Extensions of Logic Programming, Springer Verlag, February 92, Bologna, Italy.
- A. Dovier, E. Omodeo, E. Pontelli, G. Rossi ``log: A logic programming language with finite sets", in Logic Programming: Proceedings of the 8th International Conferences, MIT Press, June 91, Paris, France.