Miroslav Benda

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Computer-Supported Exploration of a Categorical Axiomatization of Modeloids.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2020

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

Architecture Perspective: Shaping the Internet: The Dynamics.
IEEE Internet Comput., 1998

1997
Architecture Perspective: Turing's Legacy for the Internet.
IEEE Internet Comput., 1997

Architecture Perspective: Data, Data, Everywhere.
IEEE Internet Comput., 1997

Architecture Perspective: Middleware: Any Client, Any Server.
IEEE Internet Comput., 1997

Architecture Perspective: Applications on the Global Computer.
IEEE Internet Comput., 1997

Architecture Perspective: The Right User Interface.
IEEE Internet Comput., 1997

Architecture Perspective: The Architecture of Global Access.
IEEE Internet Comput., 1997

1993
AI Adventures Worth Writing Home About.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1980
On Harrington's Partition Relation.
J. Comb. Theory A, 1980

1975
Construction of Models from Groups of Permutations.
J. Symb. Log., 1975


  Loading...