Hervé Gallaire Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1995
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Gallaire: Logic Programming - Past or Future? Logic Programming: Formal Methods and Practical Applications 1995: 397-404
1994
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Marc Andreoli, Hervé Gallaire, Remo Pareschi: Rule-Based Object Coordination. ECOOP Workshop 1994: 1-13
1992
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Gallaire: Finding the Best Route for Logic Programming - Panel Position Paper. FGCS 1992: 220-222
1990
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Gallaire, Jean-Marie Nicolas: Logic and Databases: An Assessment. ICDT 1990: 177-186
1989
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Gallaire: Programmation en Logique: faire encore plus. SPLT 1989: 605-
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Gallaire: From a laguna to open waters: Another view on the next generations of databases. VLDB 1989: 1
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRainer Manthey, Hervé Gallaire, Jean-Marie Nicolas: Can We Reach a Uniform Paradigm for Deductive Query Evaluation? Wissensbasierte Systeme 1989: 17-32
1988
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Gallaire: Multiple Reasoning Styles in Logic Programming. FGCS 1988: 1089-1099
1987
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Gallaire: Boosting Logic Programming. ICLP 1987: 962-988
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Gallaire, Jean-Marie Nicolas: Logic Approach to Knowledge and Data Bases at ECRC. IEEE Data Eng. Bull. 10(4): 2-9 (1987)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Response. SIGPLAN Notices 22(6): 20-24 (1987)
1986
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Gallaire: Merging Objects and Logic Programming: Relational Semantics. AAAI 1986: 754-758
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Gallaire: Bridging the Gap between AI and Databases: Logic Approach. DS-2 1986: 151-172
1985
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Gallaire, Jean-Marie Nicolas: How to Look at Deductive Databases. Foundations of Knowledge Base Management (Xania) 1985: 119-130
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Gallaire: Logic Programming Development (Abstract). GWAI 1985: 134
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Gallaire: Logic Programming: Further Developments. SLP 1985: 88-96
1984
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Gallaire, Jean-Marie Nicolas, Jack Minker: Advances in Data Base Theory, Vol. 2, Based on the Proceedings of the Workshop on Logical Data Bases, December 14-17, 1982, Centre d'études et de recherches de Toulouse, France Plemum Press 1984
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185 (1984)
1983
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert A. Kowalski, Hervé Gallaire, Toshio Yokoi, Robert B. K. Dewar: Panel on the Fifth Generation Project. IJCAI 1983: 1192-1194
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaymond Reiter, Hervé Gallaire, Jonathan J. King, John Mylopoulos, Bonnie L. Webber: A Panel on AI and Databases. IJCAI 1983: 1199
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Gallaire: PROLOG et Bases de Données. SPLT 1983
1982
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Gallaire: Artificial Intelligence and Industry. ECAI 1982: 37-42
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Gallaire, Alain Grumbach, E. Papon: Présentation de Loglisp et QLog: aspects contrôle de résolution et évaluation des expressions. SPLT 1982
1981
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Gallaire, Jean-Marie Nicolas, Jack Minker: Advances in Data Base Theory, Vol. 1, Based on the Proceedings of the Workshop on Formal Bases for Data Bases, December 12-14, 1979, Centre d'Etudes et de Recherches de l'Ecole Nationale Supérieure de l'Aéronautique et de l'Espace de Toulouse (CERT), France Plemum Press 1981
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Gallaire: Impacts of Logic and Databases (Invited Paper) VLDB 1981: 248-259
1979
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Gallaire, Jack Minker, Jean-Marie Nicolas: Background for Advances in Data Base Theory. Advances in Data Base Theory 1979: 3-21
1978
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Gallaire, Jack Minker: Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, 1977. Plemum Press 1978
1977
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Gallaire, Jack Minker, Jean-Marie Nicolas: An Overview and Intoduction to Logic and Data Bases. Logic and Data Bases 1977: 3-30
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Marie Nicolas, Hervé Gallaire: Data Base: Theory vs. Interpretation. Logic and Data Bases 1977: 33-54
1970
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Gallaire: Decomposition of Linear Sequential Machines. II. Mathematical Systems Theory 4(2): 168-190 (1970)
1969
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Gallaire: Recognition Time of Context-Free Languages by On-Line Turing Machines Information and Control 15(3): 288-295 (1969)
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Gallaire, Michael A. Harrison: Decomposition of Linear Sequential Machines. Mathematical Systems Theory 3(3): 246-287 (1969)
1968
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Gallaire, Jim Gray, Michael A. Harrison, Gabor T. Herman: Infinite Linear Sequential Machines. J. Comput. Syst. Sci. 2(4): 381-419 (1968)

Coauthor Index

1Jean-Marc Andreoli [32]
2Robert B. K. Dewar [15]
3Jim Gray [1]
4Alain Grumbach [11]
5Michael A. Harrison [1] [2]
6Gabor T. Herman [1]
7Jonathan J. King [14]
8Robert A. Kowalski [15]
9Rainer Manthey [27]
10Jack Minker [6] [7] [8] [10] [16] [17] [23]
11John Mylopoulos [14]
12Jean-Marie Nicolas [5] [6] [8] [10] [16] [17] [20] [23] [24] [27] [30]
13E. Papon [11]
14Remo Pareschi [32]
15Raymond Reiter [14]
16Bonnie L. Webber [14]
17Toshio Yokoi [15]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)