Graphentheoretische Analyse räumlicher Anordnungen. - Mihaly Lenart (1979)

Projcon: An Expert System for Project Controls in Construction Management. - K. Gates; Mihaly Lenart (IEA/AIE (Vol. 1), 1990)

The Design of Building Parts by Using Knowledge Based Systems. - Guardian Ketteler; Mihaly Lenart (IEA/AIE, 1992)

How Much Knowledge is Needed? (Co-)Evolutionary Design. - Mihaly Lenart; Ana Pasztor (IEA/AIE, 1994)

Formal specification for design automation. - Mihaly Lenart; Peter Padawitz; Ana Pasztor (Formal Design Methods for CAD, 1994)

The Chunking Engine: Closing the Gap Between Formal and Informal Design Specifications. - Mihaly Lenart; Ana Pasztor (IEA/AIE, 1995)

Constructing Design Worlds. - Mihaly Lenart; Ana Pasztor (AID, 2002)