Travelled to:1 × France
1 × Israel
1 × USA
Collaborated with:P.Molitor R.Kolla G.Pitsch ∅ C.Scholl S.Melchior B.Becker H.Osthof
Talks about:functionsbi (1) incomplet (1) symmetri (1) hierarch (1) calculus (1) uniform (1) specifi (1) network (1) languag (1) exploit (1)
Person: Günter Hotz
DBLP: Hotz:G=uuml=nter
Contributed to:
1997
1994
1987
19861974Wrote 5 papers:
- EDTC-1997-SchollMHM #symmetry
- Minimizing ROBDD sizes of incompletely specified Boolean functionsby exploiting strong symmetries (CS, SM, GH, PM), pp. 229–234.
- ICALP-1994-HotzP #analysis #context-free grammar #performance
- Fast Uniform Analysis of Coupled-Context-Free Languages (GH, GP), pp. 412–423.
- DAC-1987-BeckerHKMO #calculus #design
- Hierarchical Design Based on a Calculus of Nets (BB, GH, RK, PM, HGO), pp. 649–653.
- GG-1986-HotzKM #algebra #equation #network #on the #recursion
- On Network Algebras and Recursive Equations (GH, RK, PM), pp. 250–261.
- ICALP-1974-Hotz #german
- Komplexitätsmaße für Ausdrücke (GH), pp. 398–412.