A note on disjunctive form tautologies. - M. Bauer; D. Brand; Michael J. Fischer; Albert R. Meyer; Mike Paterson (SIGACT News, 1973)

A Basis For The Acquisition Of Procedures From Protocols. - M. Bauer (IJCAI, 1975)

Justification of Plan Recognition Results. - M. Bauer (ECAI, 1996)

Triangulations. - M. Bauer; C. Itzykson (Discret. Math., 1996)

A Multilevel-Cell 32MB Flash Memory. - M. Bauer; R. Alexis; Greg Atwood; B. Baltar; Al Fazio; K. Frary; M. Hensel; M. Ishac; Johnny Javanifard; M. Landgraf; D. Leak; Kim Loe; et al. (ISMVL, 2000)

On low-dimensional approximation of function spaces of interior regularity. - S. Aziz; M. Bauer; Mario Bebendorf; T. Rau (CoRR, 2025)