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 | EE | 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 | EE | 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 | EE | 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 | EE | Gerd G. Hillebrand,
Paris C. Kanellakis,
Harry G. Mairson,
Moshe Y. Vardi:
Tools for Datalog Boundedness.
PODS 1991: 1-12 |