Events

2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science -- MEMICS'06

Mikulov 27.-29.10.2006

MEMICS'06 provides a forum for doctoral students interested in applications of mathematical and engineering methods in computer science with a special focus on the various aspects of parallel and distributed systems.

Selected publications

2006BIDLO Radek, BLATNÝ Petr and MEDUNA Alexander. Vertical Context in Phrase-Structure grammars. In: Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006). Mikulov: Brno University of Technology, 2006, pp. 17-23. ISBN 80-214-3287-X.
 HLÁVKA Petr, ŘEHÁK Vojtěch, SMRČKA Aleš, ŠAFRÁNEK David, ŠIMEČEK Pavel and VOJNAR Tomáš. Formal Verification of the CRC Algorithm Properties. In: MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Mikulov, 2006, pp. 55-62. ISBN 80-214-3287-X.
 JAROŠ Jiří and DVOŘÁK Václav. Evolutionary Design of OAB and AAB Communication Schedules for Networking Systems on Chips. In: MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Mikulov: Masaryk University, 2006, pp. 63-68. ISBN 80-214-3287-X.
 KŘIVKA Zbyněk, MEDUNA Alexander and SCHÖNECKER Rudolf. Reducing Deep Pushdown Automata and Infinite Hierarchy. In: MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Mikulov: Faculty of Information Technology BUT, 2006, pp. 214-221. ISBN 80-214-3287-X.
 LUKÁŠ Roman. Power of Multigenerative Grammar Systems. In: Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006). Mikulov, 2006, pp. 99-104. ISBN 80-214-3287-X.
 MASOPUST Tomáš. An Improvement of the Descriptional Complexity of Grammars Regulated by Context Conditions. In: Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006). Mikulov: Faculty of Information Technology BUT, 2006, pp. 105-112. ISBN 80-214-3287-X.
 OČENÁŠEK Pavel and TRCHALÍK Roman. Tracing Authentication Protocols Behavior: A Case Study. In: MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Mikulov: Faculty of Information Technology BUT, 2006, pp. 166-173. ISBN 80-214-3287-X.
 PEČENKA Tomáš and KOTÁSEK Zdeněk. I-path Scheduling Algorithm for RT Level Circuits. In: MEMICS 2006 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Mikulov, 2006, pp. 174-181. ISBN 80-214-3287-X.
 ROGALEWICZ Adam. Abstract Regular Model Checking of Complex Dynamic Data Structures - Implementation Details. In: Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Faculty of Information Technology BUT, 2006, pp. 198-205. ISBN 80-214-3287-X.
 RYCHLÝ Marek and ZENDULKA Jaroslav. Distributed Information System as a System of Asynchronous Concurrent Processes. In: MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Mikulov: Faculty of Information Technology BUT, 2006, pp. 206-213. ISBN 80-214-3287-X.

Your IPv4 address: 54.221.73.186
Switch to IPv6 connection

DNSSEC [dnssec]