Travelled to:1 × Canada
1 × Israel
4 × USA
Collaborated with:P.C.Kanellakis H.G.Mairson P.Krakowski P.C.Lockemann D.Posselt P.Buneman S.B.Davidson D.Suciu M.Y.Vardi
Talks about:languag (3) type (3) express (2) calculi (2) queri (2) power (2) reconstruct (1) unstructur (1) polymorph (1) techniqu (1)
Person: Gerd G. Hillebrand
DBLP: Hillebrand:Gerd_G=
Contributed to:
1998
1996
1996
1994
19941991Wrote 6 papers:
- EDOC-1998-HillebrandKLP #concurrent
- Integration-based cooperation in concurrent engineering (GGH, PK, PCL, DP), pp. 344–355.
- LICS-1996-HillebrandK #on the #power of #λ-calculus
- On the Expressive Power of Simply Typed and Let-Polymorphic λ Calculi (GGH, PCK), pp. 253–263.
- SIGMOD-1996-BunemanDHS #optimisation #query #semistructured data
- A Query Language and Optimization Techniques for Unstructured Data (PB, SBD, GGH, DS), pp. 505–516.
- ICALP-1994-KanellakisHM #analysis #re-engineering
- An Analysis of the Core-ML Language: Expressive Power and Type Reconstruction (PCK, GGH, HGM), pp. 83–105.
- PODS-1994-HillebrandK #database #functional #order #query #λ-calculus
- Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (GGH, PCK), pp. 222–231.
- PODS-1991-HillebrandKMV #bound #datalog #tool support
- Tools for Datalog Boundedness (GGH, PCK, HGM, MYV), pp. 1–12.