Travelled to:1 × France
1 × USA
Collaborated with:G.Hotz R.Kolla C.Scholl S.Melchior B.Becker H.Osthof
Talks about:functionsbi (1) incomplet (1) symmetri (1) hierarch (1) calculus (1) specifi (1) network (1) exploit (1) boolean (1) algebra (1)
Person: Paul Molitor
DBLP: Molitor:Paul
Contributed to:
1997
1987
1986Wrote 3 papers:
- EDTC-1997-SchollMHM #symmetry
- Minimizing ROBDD sizes of incompletely specified Boolean functionsby exploiting strong symmetries (CS, SM, GH, PM), pp. 229–234.
- 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.