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