LACL

Univ. Paris 12

Membres

Publications

Séminaire

Événements

Documents

Master SSI

Comment venir

Intranet
(accès restreint)

English version Deutsch


Publications de Gaétan Hains


REVENIR A L'INDEX


Livres et éditions
  1. S. Anantharaman, P. Gastin, G. Hains, J. Mullins, et M. Rusinowitch, editeurs. Selected Papers of the International Workshop on Security Analysis of Systems: Formalisms and Tools (SASYFT2004), volume 11, 2006. Journal of Automata, Languages and Combinatorics (Otto von Guericke-Universität, Magdeburg). Note: SASYFT2004 was held at LIFO-Orléans in 2004. [entrée-bibtex]


  2. G. Hains et F. Loulergue, editeurs. Preface: Special Issue on High-Level Parallel Programming and Applications (Selected papers from HLPP2003), volume 13, number 3, 2003. World Scientific. [entrée-bibtex]


  3. G. Hains et Q. Miller, editeurs. High-Level Parallel Programming and Applications, volume 11, December 2001. Parallel Processing Letters (World Scientific). Note: Selected papers from HLPP2001, Orléans, March 2001.[entrée-bibtex]


  4. G. Hains et L. M. R. Mullin, editeurs. ATABLE-92 Second international workshop on array structures, Montréal, 1992. Note: Publication no. 841diro. [entrée-bibtex]


  5. L. Mullin, M. Jenkin, G. Hains, R. Bernecky, et G. Gao, editeurs. Arrays, Functional Languages and Parallel Systems, Montréal, 1991. Kluwer. [entrée-bibtex]


Thèses
  1. G. Hains. Parallel Algorithms for Free and Associative-Commutative Unification. D.Phil. thesis, Oxford University, 1989. [entrée-bibtex]


Articles de revue ou chapitres de livre
  1. A. Merlin et G. Hains. A Bulk Synchronous Process Algebra. Computer languages, systems and structures, 33(3--4), October-November 2007. Note: Special issue on Semantics and cost models for high-level parallel programming. [entrée-bibtex]


  2. G. Hains. Book Review on Implicit parallel programming in pH by R. S. Nikhil and Arvind, Morgan Kaufmann, 2001. Journal of functional Programming, 13:824-826, 2003. [entrée-bibtex]


  3. O. Ballereau, G. Hains, et A. Lallouet. BSP Constraint Programming, chapitre 7, pages 95-111. Advances in Computation: Theory and Practice. Nova Science Books and Journals, 2002. [entrée-bibtex]


  4. G. Hains et F. Loulergue. Functional Bulk Synchronous Parallel Programming using the BSMLlib Library, chapitre 11, pages 165-178. Advances in Computation: Theory and Practice. Nova Science Publishers, 2002. Note: First appeared in CMPP'2000 Second International Workshop on Constructive Methods for Parallel Programming, Technical Report MIP-0007, Fakultät für Mathematik und Informatik, Univ. Passau, Germany. [entrée-bibtex]


  5. G. Hains, F. Loulergue, et J. Mullins. Concrete Data Structures and Functional Parallel Programming. Theoretical Computer Science, 258(1--2):233-267, 2001. [entrée-bibtex]


  6. O. Ballereau, F. Loulergue, et G. Hains. High level BSP programming: BSML and BS$\lambda$. Dans G. Michaelson, P. Trinder, et H.-W. Loidl, editeurs, Trends in Functional Programming, chapitre 4, pages 29-38. Intellect Books, Bristol UK, Portland, OR, USA, August 2000. Note: Preliminary version appeared in proceedings of SFP'99: First Scottish Functional Programming Workshop, TR RM/99/9, pp.43--52, Heriot-Watt University, September 1999.[entrée-bibtex]


  7. L. Granvilliers et G. Hains. A Conservative Scheme for Parallel Interval Narrowing. Information Processing Letters, 74(3--4):141-146, 2000. [entrée-bibtex]


  8. F. Loulergue, G. Hains, et C. Foisy. A Calculus of Functional BSP Programs. Science of Computer Programming, 37(1--3):253-277, 2000. [entrée-bibtex]


  9. M. Bamha et G. Hains. Frequency-adaptive join for Shared Nothing machines. Parallel and Distributed Computing Practices, 2(3):333-346, September 1999. Note: Actually appeared in 2001. Also appears in F. Columbus ed. Progress in Computer Research Vol.II, Nova Press 2001.[entrée-bibtex]


  10. G. Utard et G. Hains. Deadlock-Free Absorption of Barrier Synchronisations. Information Processing Letters, 56:221-227, 1995. [entrée-bibtex]


  11. G. Hains. Programming with Array Structures. Dans A. Kent et J. G. Williams, editeurs, Encyclopedia of Computer Science and Technology, volume 14, pages 105-119. M. Dekker inc, New-York, 1994. Note: Appears also in Encyclopedia of Microcomputers. [entrée-bibtex]


  12. G. Hains et L. M. R. Mullin. Parallel Functional Programming with Arrays. The Computer Journal, 36(3):238-245, 1993. [entrée-bibtex]


  13. G. Hains. La Complexité du Filtrage Associatif-Commutatif. Comptes Rendus de l'Académie des Sciences, Paris, t.311, Série I(11):741-744, Novembre 1990. Note: Comité de Lecture Section Mathématiques. [entrée-bibtex]


  14. G. Hains. Groupe Symétrique et Tableaux de Young. Remarques sur l'Algorithme Générateur. Bulletin de l'Association Mathématique du Québec, Octobre 1983. [entrée-bibtex]


Articles de conférence
  1. Muath Alrammal et Gaetan Hains. A Stream-based Selectivity Estimation Technique for Forward XPath. Dans 8th International Conference on Innovations in Information Technology (IIT'12), 2012. IEEE. Note: To appear. [entrée-bibtex]


  2. Muath Alrammal et Gaétan Hains. Selectivity Estimation Technique for Wikipedia. Dans International Conference on Information & Communications Technology (ICICT), 2012. Note: To appear. [entrée-bibtex]


  3. Gaétan Hains et Muath Alrammal. Performance and Scalability of XML Query Processing. Dans Second International Workshop on Intelligent Computing at Large Scale (ICLS), In Proceedings of the 6th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS), 2012. IEEE. Note: To appear. [entrée-bibtex]


  4. Muath Alrammal, Gaetan Hains, et Mohamed Zergaoui. Path tree: document synopsis for XPath query selectivity estimation. Dans The Fifth International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS), pages 321-328, 2011. IEEE Computer Society. [entrée-bibtex]


  5. Y. Khmelevsky, M. Govorov, G. Hains, et L. Burge. Distance Learning Components in Computer Science and GIS. Dans ACM SIG-CSE Western Canadian Conference on Computing Education, 2011. ACM Digital Library. [entrée-bibtex]


  6. Y. Khmelevsky, G. Hains, E. Ozan, V. Ustimenko, C. Kluka, et D. Syrotovsky. International Collaboration in SW Engineering Research Projects. Dans ACM SIG-CSE Western Canadian Conference on Computing Education, 2011. ACM Digital Library. [entrée-bibtex]


  7. C. Li et G. Hains. A Simple Bridging Model for High-Performance Computing. Dans (HPCS2011) International Conference on High Performance Computing and Simulation, 2011. IEEE. [entrée-bibtex]


  8. M. Alrammal, G. Hains, et M. Zergaoui. Intelligent Ordered XPath for Processing Data Streams. Dans Stanford Spring Symposium (SSS'09) of the AAAI: Event Processin g Stream, Stanford (CA), USA, March 2009. AAAI. [entrée-bibtex]


  9. M. Alrammal, G. Hains, et M. Zergaoui. Performance Measurements towards the Optimization of Stream Processing for XML Data. Dans Hamid R. Arabnia et Victor A. Clincy, editeurs, Proceedings of the 2009 International Conference on Internet Computing(ICOMP'09), pages 227-233, 2009. CSREA Press. [entrée-bibtex]


  10. G. Hains. Efficient static checking of dynamic access control in shared multiprocessor environments. Dans Workshop on Collaboration and Security (COLSEC'07), part of The 2007 International Symposium on Collaborative Technologies and Systems (CTS'07), Orlando (FL), USA, Mai 2007. [entrée-bibtex]


  11. S. Anantharaman, J. Chen, et G. Hains. A Synchronous Process Calculus for Service Costs. Dans SEFM'05, The 3rd IEEE Int. Conference on Software Engineering and Formal Methods, pages 435-444, 2005. [entrée-bibtex]


  12. M. Bamha et G. Hains. An Efficient Equi-semi-join Algorithm for Distributed Architectures. Dans Workshop on Practical Aspects of High-Level Parallel Programming (PAPP), ICCS Conference, volume 3515 de Lecture Notes in Computer Science, April 2005. Springer-Verlag. [entrée-bibtex]


  13. M. Blanc, P. Courtieu, et G. Hains. Mandatory Access Control on Distributed Systems: A Metapolicy Framework.. Dans First Colloquium on Risk and Security of the Internet and Systems (CRiSIS 2005), ENSI-Bourges, France, pages 133-144, 2005. [entrée-bibtex]


  14. Mathieu Blanc, Pierre Courtieu, Gaetan Hains, Laurent Oudot, et Christian Toinard. A novel approach for distributed updates of MAC policies using a meta-protection framework. Dans Supplementary Proceedings of the 15th IEEE International Symposium on Software Reliability Engineering (ISSRE2004), Saint Malo, France, Novembre 2004. [entrée-bibtex]


  15. A. Merlin et G. Hains. A generic cost model for concurrent and data-parallel meta-computing. Dans Fourth Workshop on Automated Verification of Critical Systems: (AVOCS'04), September 2004. Note: Long preliminary version appears as LIFO RR2004-06. [entrée-bibtex]


  16. S. Anantharaman et G. Hains. A Synchronous Bisimulation-Based Approach for Information Flow Analysis. Dans Third Workshop on Automated Verification of Critical Systems: (AVOCS'03), Southampton, (UK), April 2003. Note: Long preliminary version appears as LIFO RR2003-01. [entrée-bibtex]


  17. S. Anantharaman et G. Hains. Information Flow Analysis via Equational Reasoning. Dans J. Levy, editeur, Proc. of the Workshop UNIF'03, Int. Conf. RDP'03, Valencia, Spain, 2003. Universidad Politecnica de Valencia. [entrée-bibtex]


  18. G. Hains et M. Bergeron. The BNAI Analyzer: A Tool for Verifying Admissible Information Flow in Protocols. Dans International Conference on Parallel and Distributed Computer Systems, Cambridge MA, USA, November 2002. IASTED. [entrée-bibtex]


  19. A. Merlin et G. Hains. La Machine Abstraite Catégorique BSP. Dans L. Rideau, editeur, Journées Francophones des Langages Applicatifs (JFLA2002), Janvier 2002. INRIA. Note: ISBN 2-7261-1197-1. [entrée-bibtex]


  20. A. Merlin, G. Hains, et F. Loulergue. An SPMD Environment Machine for Functional BSP Programs. Dans Proceedings of the Third Scottish Functional Programming Workshop (SFP'2001), Stirling, August 2001. [entrée-bibtex]


  21. M. Bamha et G. Hains. A skew-insensitive algorithm for join and multi-join operations on Shared Nothing machines. Dans M. Ibrahim, J. Küng, et N. Revell, editeurs, 11th International Conference on Database and Expert Systems Applications, DEXA 2000, numéro 1873 de Lecture Notes in Computer Science, Greenwich, U.K., pages 644-653, September 2000. Springer-Verlag. [entrée-bibtex]


  22. M. Bamha, F. Bentayeb, et G. Hains. An efficient scalable parallel view maintenance algorithm for shared nothing multi-processor machines. Dans Trevor Bench-Capon, Giovanni Soda, et A Min Tjoa, editeurs, 10th International Conference on Database and Expert Systems Applications, DEXA'99, numéro 1677 de Lecture Notes in Computer Science, Florence, Italy, pages 616-625, August 30 -- September 3 1999. Springer-Verlag. [entrée-bibtex]


  23. I. Debourges, G. Hains, S. Guilloré, et E. de la Clergerie. Vers un analyseur syntaxique parallèle. Dans Information Technology, Proceedings of the fourth international symposium on Economic Informatics - May 99, Bucharest, Romania, Mai 1999. [entrée-bibtex]


  24. A. Lallouet et G. Hains. Programmation par Contraintes Parallèle: l'Approche CLP(${X}^{[\,]}$). Dans Journées Francophones de Programmation Logique et par Contraintes, Lyon, Juin 1999. AFPLC, Hermès. [entrée-bibtex]


  25. M. Bamha et G. Hains. A Self-Balancing Join Algorithm for SN Machines. Dans Y. Pan, S. G. Akl, et K. Li, editeurs, Proceedings of International Conference on Parallel and Distributed Computing and Systems (PDCS), Las Vegas, USA, pages 285-290, 1998. IASTED/ACTA Press. [entrée-bibtex]


  26. L. Granvilliers, G. Hains, Q. Miller, et N. Romero. A system for the high-level parallelization and cooperation of constraint solvers. Dans Y. Pan, S. G. Akl, et K. Li, editeurs, Proceedings of International Conference on Parallel and Distributed Computing and Systems (PDCS), Las Vegas, USA, pages 596-601, 1998. IASTED/ACTA Press. [entrée-bibtex]


  27. G. Hains. Subset Synchronization in BSP Computing. Dans H. R. Arabnia, editeur, PDPTA'98 International Conference on Parallel and Distributed Processing Techniques and Applications, volume I, Las Vegas, pages 242-246, July 1998. CSREA Press. [entrée-bibtex]


  28. G. Hains et M. H. van Emden. Towards High-Quality, High-Speed Numerical Computation. Dans PACRIM'97, Pacific Rim Conference on Communications, Computers and Signal Processing, University of Victoria, B.C., Canada, August 1997. IEEE. [entrée-bibtex]


  29. F. Loulergue et G. Hains. Parallel Functional Programming with Explicit Processes: Beyond SPMD. Dans C. Lengauer, M. Griebl, et S. Gorlatch, editeurs, Euro-Par'97 Parallel Processing, numéro 1300 de Lecture Notes in Computer Science, Passau, Germany, pages 530-537, 1997. Springer. [entrée-bibtex]


  30. F. Loulergue et G. Hains. Programmation Fonctionnelle Parallèle en Processus Statiques: Une Approche Dénotationnelle. Dans Journées Francophones des Langages Applicatifs JFLA'97, Janvier 1997. INRIA. [entrée-bibtex]


  31. M. Bamha et G. Hains. Implementing VCODE with Static Processes. Dans PCW'96, Sixth Parallel Computing Workshop, Kawasaki, Japan, pages P1-H-1 to P1-H-4, 1996. Fujitsu-Labs, FPCRF. Note: Extended abstract. [entrée-bibtex]


  32. G. Hains et J. Mullins. Array Structures and Data-Parallel Algorithms. Dans Bougé, Fraigniaud, Mignotte, et Robert, editeurs, EURO-PAR'96, numéro 1124 de Lecture Notes in Computer Science, Lyon, pages 409-416, 1996. LIP-ENSL, Springer. [entrée-bibtex]


  33. G. Hains et J. Mullins. A Metacircular Data-Parallel Functional Language (Extended abstract). Dans Haridi, Ali, et Magnusson, editeurs, EURO-PAR'95, numéro 966 de Lecture Notes in Computer Science, Stockholm, pages 711-714, August 1995. Springer. [entrée-bibtex]


  34. C. Foisy, J. Vachon, et G. Hains. DPML: de la Sémantique à l'Implantation. Dans P. Cointe, C. Queinnec, et B. Serpette, editeurs, Journées Francophones des Langages Applicatifs, Noirmoutier, pages 185-214, Février 1994. INRIA. [entrée-bibtex]


  35. G. Hains. Parallel Functional Languages Should be Strict. Dans B. Pehrson et I. Simon, editeurs, Workshop on General Purpose Parallel Computing. World Computer Congress, volume 1, Hamburg, pages 527-532, September 1994. IFIP, North-Holland. [entrée-bibtex]


  36. G. Hains. Towards Portable and Efficient Parallel Functional Languages. Dans Third Parallel Computing Workshop, Kawasaki, Japan, November 1994. Fujitsu Laboratories, Fujitsu Parallel Computing Research Facilities. [entrée-bibtex]


  37. G. Hains et C. Foisy. The Data-Parallel Categorical Abstract Machine. Dans A. Bode, M. Reeve, et G. Wolf, editeurs, PARLE'93, Parallel Architectures and Languages Europe, numéro 694 de Lecture Notes in Computer Science, Munich, pages 56-67, June 1993. Springer. [entrée-bibtex]


  38. G. Hains, O. Biberstein, et C. Foisy. La Compilation de Fonctions de Tableaux en code MIMD. Dans C. Queinnec, editeur, Secondes Journées Francophones des Langages Applicatifs, JFLA-92, Perros-Guirec, France, pages 3-20, Février 1992. Note: Revue Bigre no. 76-77. [entrée-bibtex]


  39. G. Hains. Matrix Inversion in 3 Dimensions. Dans L. Mullin, M. Jenkin, G. Hains, R. Bernecky, et G. Gao, editeurs, Arrays, Functional Languages and Parallel Systems, Montréal, pages 295-302, 1991. Kluwer. [entrée-bibtex]


  40. G. Hains. Multidimensional Arrays as Parallel Data Structure. Dans Abstract Machine Models for Highly Parallel Computers, University of Leeds, UK, pages 41-44, March 1991. British Computer Society Workshop. [entrée-bibtex]


  41. G. Hains. Mémoires partagées et réseaux systoliques: algorithmes élégants et/ou efficaces. Dans S. Brlek, editeur, Parallélisme: modèles et complexité, Laboratoire de Combinatoire et d'Informatique Mathématique, Université du Québec à Montréal, Juin 1989. Note: Colloque au $57^{\mbox{i\`eme}}$ congrès de l'ACFAS, Montréal. [entrée-bibtex]


  42. G. Hains. The Compaction of Acyclic Terms. Dans E. Odijk, M. Rem, et J.-C. Syre, editeurs, PARLE '89, Parallel Architectures and Languages Europe, numéro 365 and 366 de Lecture Notes in Computer Science, Eindhoven, The Netherlands, pages 288-303, June 1989. Springer. [entrée-bibtex]


  43. G. Hains et B. S. Todd. The Parallel Implementation of a Medical Diagnostic Model. Dans L. P. Kartashev et S. I. Kartashev, editeurs, Third International Conference on Supercomputing ICS88, volume I, Boston, Mass., pages 222-229, 1988. International Supercomputing Institute. Note: 3 volumes.[entrée-bibtex]


Rapports techniques internes
  1. Gaetan Hains, Muath Alrammal, et Mohamed Zergaoui. Performance and scalability of XML query processing. Rapport technique TR-LACL-2011-1, LACL (Laboratory of Algorithms, Complexity and Logic), University of Paris-Est (UPEC-Paris 12), 2011. [entrée-bibtex]


  2. S. Mallick et G. Hains. A Resource Prediction Model for Virtualization Servers. Rapport technique TR-LACL-2011-3, LACL (Laboratory of Algorithms, Complexity and Logic), University of Paris-Est (UPEC-Paris 12), 2011. [entrée-bibtex]


  3. Emil-Mircea ANDRIESCU, Anis AZZABI, et Gaetan Hains. Parallel processing of Forward XPath queries: an experiment with BSML. Rapport technique TR-LACL-2010-11, LACL (Laboratory of Algorithms, Complexity and Logic), University of Paris-Est (UPEC-Paris 12), 2010. [entrée-bibtex]


  4. Muath Alrammal, Gaétan Hains, et Mohamed Zergaoui. A portable and extensible performance model for stream-processing of XPath queries. Rapport technique TR-LACL-2010-4, LACL (Laboratory of Algorithms, Complexity and Logic), University of Paris-Est (Paris 12), 2010. [entrée-bibtex]


  5. Chong Li et G. Hains. A simple Bridging Model for High-Performance Computing. Rapport technique TR-LACL-2010-12, LACL (Laboratory of Algorithms, Complexity and Logic), University of Paris-Est (UPEC-Paris 12), 2010. [entrée-bibtex]


  6. Muath Alrammal, Gaétan Hains, et Mohamed Zergaoui. Performance measurements towards the optimization of stream processing for XML Data. Rapport technique TR-LACL-2009-9, LACL (Laboratory of Algorithms, Complexity and Logic), University of Paris-Est (Paris 12), 2009. [entrée-bibtex]


  7. Muath Alrammal, Gaétan Hains, et Mohamed Zergaoui. Realistic Performance Gain Measurements for XML Data Streaming with Meta Data. Rapport technique TR-LACL-2009-4, LACL (Laboratory of Algorithms, Complexity and Logic), University of Paris-Est (Paris 12), 2009. [entrée-bibtex]


  8. Gaetan Hains et Erol Ozan. Development of a framework for the enterprise RFID Defense System Architecture. Rapport technique TR-LACL-2009-1, LACL (Laboratory of Algorithms, Complexity and Logic), University of Paris-Est (Paris 12), 2009. [entrée-bibtex]


  9. Muath Alrammal, Gaétan Hains, et Mohamed Zergaoui. Intelligent Ordered XPath for Processing Data Streams. Rapport technique TR-LACL-2008-4, LACL (Laboratory of Algorithms, Complexity and Logic), University of Paris-Est (Paris 12), 2008. [entrée-bibtex]


  10. S. Anantharaman, J. Chen, et G. Hains. A timed Synchronous Algebra for Information Flow Analysis. Rapport de Recherche RR-2004-03, LIFO, Laboratoire d'Informatique Fondamentale d'Orléans, Université d'Orléans, 2004. [entrée-bibtex]


  11. S. Anantharaman, J. Chen, G. Hains, et P. Narendran. A Synchronous Calculus for Secrecy Analysis. Rapport de Recherche RR-2003-05, LIFO, Laboratoire d'Informatique Fondamentale d'Orléans, Université d'Orléans, 2003. [entrée-bibtex]


  12. S. Anantharaman et G. Hains. A Synchronous Bisimulation-Based Approach for Information Flow Analysis. Rapport de Recherche RR-2003-01, LIFO, Laboratoire d'Informatique Fondamentale d'Orléans, Université d'Orléans, 2003. [entrée-bibtex]


  13. M. Bamha et G. Hains. A Symmetric Frequency-Adaptive Join Algorithm for Shared Nothing Machines. Research Report RR-LIFO-2000-03, LIFO, Laboratoire d'Informatique Fondamentale d'Orléans, Université d'Orléans, 2000. [entrée-bibtex]


  14. S. Drouri et G. Hains. Une version parallèle extensible de l'algorithme Particle Mesh Ewald. Rapport de Recherche RR-LIFO-99-11, LIFO, Laboratoire d'Informatique Fondamentale d'Orléans, Université d'Orléans, 2000. [entrée-bibtex]


  15. M. Bamha, F. Bentayeb, et G. Hains. Un algorithme incrémental pour la maintenance des vues matérialisées. Rapport de Recherche 99-3, Université d'Orléans, LIFO, Orléans, France, 1999. [entrée-bibtex]


  16. A. Lallouet et G. Hains. Parallel Constraint Programming over BSP Vectors. Research Report RR-LIFO-99-11, LIFO, Laboratoire d'Informatique Fondamentale d'Orléans, Université d'Orléans, 1999. [entrée-bibtex]


  17. F. Loulergue et G. Hains. An Introduction to BS$\lambda$. Rapport de Recherche 98-09, Université d'Orléans, LIFO, Orléans, France, september 1998. [entrée-bibtex]


  18. M. Bamha et G. Hains. Prévision des performances de la $\Theta$-jointure et de la multi-jointure pour des machines SN. Rapport de Recherche 97-12, LIFO, Université d'Orléans, 1997. [entrée-bibtex]


  19. F. Loulergue et G. Hains. Design of an Event-Oriented Functional Parallel Language: the Finite Case. Rapport de Recherche 97-13, LIFO, Université d'Orléans, 1997. [entrée-bibtex]


  20. G. Hains et J. Mullins. Array Structures and Data-Parallel Algorithms. Research Note RR-95-1E, ISIS, Fujitsu Labs, Makuhari, Japan, 1995. [entrée-bibtex]


  21. G. Hains. Programmation fonctionnelle et parallélisme: une approche pragmatique. Parallel functional programming: a pragmatic approach. Rapport de Recherche RR94-22, lip, 1994. [entrée-bibtex]


  22. G. Hains et J. Mullins. A Categorical Model of Array Domains. Rapport de Recherche RR94-43, lip, December 1994. [entrée-bibtex]


  23. G. Hains, O. Biberstein, et C. Foisy. An MIMD Compiler for Functional Programs on Arrays. Publication 830, diro, 1992. [entrée-bibtex]


  24. G. Hains et L. M. R. Mullin. An Algebra of Multidimensional Arrays. Publication 783, diro, 1991. [entrée-bibtex]


  25. G. Hains. Sequential and Parallel Complexity of Associative-Commutative Matching. Publication 718, diro, 1990. [entrée-bibtex]


  26. G. Hains. An Interactive Language for Symbolic Mathematics. Work Term Report, Concordia University, Department of Mathematics, 1984. Note: Describes Scratchpad Computer Algebra System. [entrée-bibtex]


Miscellaneous
  1. G. Hains. L'Agence Nationale de la Recherche et le Financement de la recherche en STIC. Technique et Science Informatiques, July 2006. Note: Chronique. [entrée-bibtex]


  2. G. Hains. Explicit Process Locations and Functional Parallel Programming. DIMACS Workshop on Computational Complexity and Programming Languages, July 1996. Note: Unpublished Contributed Talk. Workshop URL: http://www.cis.syr.edu/people/royer/talks.html. [entrée-bibtex]


  3. G. Hains. L'approche Berry-Curien des Langages Fonctionnels: Application au Parallélisme en Processus Statiques. Note: Journées du GDR-Programmation, Pôle programmation fonctionnelle, Orléans, GDRP-CNRS, 1996. [entrée-bibtex]


  4. G. Hains et J. Mullins. Une Catégorie Cartésienne Fermée de Structures Réparties. Note: Journées du GDR-Programmation, Pôle programmation fonctionnelle, Grenoble, GDRP-CNRS, 1995. [entrée-bibtex]


  5. G. Hains. Distributed Algorithms for Restricted Unification. MSc dissertation, Oxford University, Programming Research Group, 1987. [entrée-bibtex]



REVENIR A L'INDEX