| 1997 |
|---|
| 11 | SFB 346 - Integrationstechnologien als Innovationsmotor für Maschinenbauanwendungen. Arnd G. Grosse, Jörn Hartroth, Gerd G. Hillebrand, Dietmar A. Kottmann, Gerhard Krüger, Peter C. Lockemann. GI Jahrestagung 1997, 185-194. Web SearchBibTeX |
| 1996 |
|---|
| 10 | Database Query Languages Embedded in the Typed Lambda Calculus. Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson. Inf. Comput. (127): 117-144 (1996). Web SearchBibTeXDownload |
| 9 | On the Expressive Power of Simply Typed and Let-Polymorphic Lambda Calculi. Gerd G. Hillebrand, Paris C. Kanellakis. LICS 1996, 253-263. Web SearchBibTeXDownload |
| 8 | A Query Language and Optimization Techniques for Unstructured Data. Peter Buneman, Susan B. Davidson, Gerd G. Hillebrand, Dan Suciu. SIGMOD Conference 1996, 505-516. Cited by 717Web SearchBibTeX |
| 1995 |
|---|
| 7 | Space Usage in Functional Query Languages. Serge Abiteboul, Gerd G. Hillebrand. ICDT 1995, 439-454. Cited by 18Web SearchBibTeXDownload |
| 6 | Undecidable Boundedness Problems for Datalog Programs. Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, Moshe Y. Vardi. J. Log. Program. (25): 163-190 (1995). Cited by 32Web SearchBibTeXDownload |
| 1994 |
|---|
| 5 | An Analysis of the Core-ML Language: Expressive Power and Type Reconstruction. Paris C. Kanellakis, Gerd G. Hillebrand, Harry G. Mairson. ICALP 1994, 83-105. Web SearchBibTeXDownload |
| 4 | Functional Database Query Languages as Typed Lambda Calculi of Fixed Order. Gerd G. Hillebrand, Paris C. Kanellakis. PODS 1994, 222-231. Web SearchBibTeX |
| 1993 |
|---|
| 3 | Database Query Languages Embedded in the Typed Lambda Calculus. Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson. LICS 1993, 332-343. Web SearchBibTeXDownload |
| 2 | Functional Programming Formalisms for OODBMS Methods. Gerd G. Hillebrand, Paris C. Kanellakis, Sridhar Ramaswamy. NATO ASI OODBS 1993, 73-99. Web SearchBibTeX |
| 1991 |
|---|
| 1 | Tools for Datalog Boundedness. Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, Moshe Y. Vardi. PODS 1991, 1-12. Cited by 22Web SearchBibTeX |
