Construction of Models from Groups of Permutations. - Miroslav Benda (J. Symb. Log., 1975)

On Harrington's Partition Relation. - Miroslav Benda (J. Comb. Theory A, 1980)

AI Adventures Worth Writing Home About. - Miroslav Benda (IJCAI, 1993)

Architecture Perspective: The Architecture of Global Access. - Miroslav Benda (IEEE Internet Comput., 1997)

Architecture Perspective: The Right User Interface. - Miroslav Benda (IEEE Internet Comput., 1997)

Architecture Perspective: Applications on the Global Computer. - Miroslav Benda (IEEE Internet Comput., 1997)

Architecture Perspective: Middleware: Any Client, Any Server. - Miroslav Benda (IEEE Internet Comput., 1997)

Architecture Perspective: Data, Data, Everywhere. - Miroslav Benda (IEEE Internet Comput., 1997)

Architecture Perspective: Turing's Legacy for the Internet. - Miroslav Benda (IEEE Internet Comput., 1997)

Architecture Perspective: Shaping the Internet: The Dynamics. - Miroslav Benda (IEEE Internet Comput., 1998)

Internate Architecture: Its Evolution from an Industry Perspective - Guest Editor's Introduction. - Miroslav Benda (IEEE Internet Comput., 1998)

Computer-Supported Exploration of a Categorical Axiomatization of Modeloids. - Lucca Tiemens; Dana S. Scott; Christoph Benzmüller; Miroslav Benda (RAMiCS, 2020)