International Conferences

1. E. Pontelli. "Concurrent Web-programming in CLP(WEB)", 33rd H. International Conference on System Sciences (HICSS), IEEE Computer Society, 2000.
2. E. Pontelli. "Variable Bindings in And-parallel Programming on Distributed Memory Machines", International Symposium on Parallel and Distributed Computing and Systems, 1999.
3. 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.
4. A. Dovier, C. Piazza, E. Pontelli, G. Rossi. "ACI1 Constraints", International Conference on Logic Programming, MIT Press, 1999.
5. A. Karshmer, E. Pontelli, G. Gupta. "Helping Visually Impaired Students in the Study of Mathematics", Frontiers of Education Conference, IEEE, 1999.
6. G. Gupta and E. Pontelli. "Efficient Techniques for Distributed Implementations of Search-Based AI Systems", International Conference on Parallel Processing, IEEE Computer Society, 1999.
7. 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.
8. E. Pontelli, K. Deopura. "Concurrent Logic Programming for Courseware Engineering on the Web", International Conference on Practical Applications of Constraint and Logic Programming, 1999.
9. 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.
10. G. Gupta, E. Pontelli, A. Lara, R. Felix. "Automatic Generation of Provably Correct Parallelizing Compilers", International Conference on Parallel Processing, IEEE Computer Society, 1998.
11. E. Pontelli, G. Gupta.  "Efficient Backtracking in And-Parallel Implementations of Non-deterministic Languages", International Conference on Parallel Processing, IEEE Computer Society, 1998.
12. E. Pontelli, G. Gupta, J. Wiebe, D. Farwell. "Natural Language Multiprocessing: a case study", AAAI-98.
13. 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.
14. 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.
15. 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.
16. 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.
17. G. Gupta and E. Pontelli ``Extended Dynamic Dependent And-Parallelism in ACE'', International Symposium on Parallel Symbolic Computation, ACM Press, 1997.
18. E. Pontelli, G. Gupta ``Implementation Mechanisms for Dependent And-Parallelism'', International Conference on Logic Programming, June 1997.
19. 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.
20. R. Vaupel, E. Pontelli, G. Gupta ``VACE: Visualization of And/Or-Parallel Execution of Logic Programs'', International Conference on Logic Programming, June 1997.
21. G. Gupta, E. Pontelli ``Optimization Principles for Nondeterminate Parallel Systems'', International Parallel Processing Symposium, IEEE Computer Society, 1997.
22. E. Pontelli, G. Gupta ``Non-determinate Dependent And-Parallelism Revisited (Extended Abstract)'', Joint International Conference and Symposium on Logic Programming, MIT Press, 1996.
23. 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.
24. 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.
25. E. Pontelli, G. Gupta ``Nested Parallel Call Optimization'', IEEE International Parallel Processing Symposium, IEEE Computer Society, Honolulu, April 1996.
26. E. Pontelli, G. Gupta ``Data Parallel Logic Programming in &ACE", IEEE International Symposium on Parallel and Distributed Processing, San Antonio, October 1995.
27. E. Pontelli, G. Gupta ``Incremental Exploitation of Parallelism in Prolog", ISCA Eight International Conference on Parallel and Distributed Computing Systems, Orlando, October 1995.
28. E. Pontelli, G. Gupta ``On the Duality Between And- and Or-Parallelism in Logic Programming", EuroPar 95, Stockholm, Sweden, August 1995.
29. 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.
30. E. Pontelli, G. Gupta, T. DongXing ``Determinacy Driven Optimization of And-parallel Prolog Implementations", International Conference on Logic Programming 95, Tokyo, Japan, June 1995.
31. E. Pontelli, G. Gupta, M. Hermenegildo ``A High-performance Parallel Prolog System", International Parallel Processing Symposium, IEEE Computer Society, April 1995.
32. 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.
33. 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.
34. 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.
35. 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.
36. 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.
37. 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.