Miroslav Benda

According to our database, Miroslav Benda authored at least 12 papers between 1975 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Computer-Supported Exploration of a Categorical Axiomatization of Modeloids.

Lucca Tiemens, Dana S. Scott, Christoph Benzmüller, Miroslav Benda

Proceedings of the Relational and Algebraic Methods in Computer Science, 2020

1998

Internate Architecture: Its Evolution from an Industry Perspective - Guest Editor's Introduction.

Miroslav Benda

IEEE Internet Comput., 1998

Architecture Perspective: Shaping the Internet: The Dynamics.

Miroslav Benda

IEEE Internet Comput., 1998

1997

Architecture Perspective: Turing's Legacy for the Internet.

Miroslav Benda

IEEE Internet Comput., 1997

Architecture Perspective: Data, Data, Everywhere.

Miroslav Benda

IEEE Internet Comput., 1997

Architecture Perspective: Middleware: Any Client, Any Server.

Miroslav Benda

IEEE Internet Comput., 1997

Architecture Perspective: Applications on the Global Computer.

Miroslav Benda

IEEE Internet Comput., 1997

Architecture Perspective: The Right User Interface.

Miroslav Benda

IEEE Internet Comput., 1997

Architecture Perspective: The Architecture of Global Access.

Miroslav Benda

IEEE Internet Comput., 1997

1993

AI Adventures Worth Writing Home About.

Miroslav Benda

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1980

On Harrington's Partition Relation.

Miroslav Benda

J. Comb. Theory A, 1980

1975

Construction of Models from Groups of Permutations.

Miroslav Benda

J. Symb. Log., 1975