Miroslav Benda

13 papers A* 1C 1Journal 11
YearRankTypeTitle / Venue / Authors
2020 C conf
Computer-Supported Exploration of a Categorical Axiomatization of Modeloids.
RAMiCS
Lucca Tiemens, Dana S. Scott, Christoph Benzmüller, Miroslav Benda
2019 J jnl
Computer-supported Exploration of a Categorical Axiomatization of Modeloids.
CoRR
Lucca Tiemens, Dana S. Scott, Christoph Benzmüller, Miroslav Benda
1998 J jnl
Architecture Perspective: Shaping the Internet: The Dynamics.
IEEE Internet Comput.
Miroslav Benda
1998 J jnl
Internate Architecture: Its Evolution from an Industry Perspective - Guest Editor's Introduction.
IEEE Internet Comput.
Miroslav Benda
1997 J jnl
Architecture Perspective: Applications on the Global Computer.
IEEE Internet Comput.
Miroslav Benda
1997 J jnl
Architecture Perspective: Data, Data, Everywhere.
IEEE Internet Comput.
Miroslav Benda
1997 J jnl
Architecture Perspective: Middleware: Any Client, Any Server.
IEEE Internet Comput.
Miroslav Benda
1997 J jnl
Architecture Perspective: The Architecture of Global Access.
IEEE Internet Comput.
Miroslav Benda
1997 J jnl
Architecture Perspective: The Right User Interface.
IEEE Internet Comput.
Miroslav Benda
1997 J jnl
Architecture Perspective: Turing's Legacy for the Internet.
IEEE Internet Comput.
Miroslav Benda
1993 A* conf
AI Adventures Worth Writing Home About.
IJCAI
Miroslav Benda
1980 J jnl
On Harrington's Partition Relation.
J. Comb. Theory A
Miroslav Benda
1975 J jnl
Construction of Models from Groups of Permutations.
J. Symb. Log.
Miroslav Benda