Department head, Institute for Theoretical Computer Science
Office: C411
Botanická 554/68a
602 00 Brno
| Phone: | +420 549 49 4374 |
|---|---|
| E‑mail: |
|
| social and academic networks: |
|---|
Total number of publications: 152
Text, Speech and Dialogue - 6th International Conference, Proceedings, year: 2003
Theoretical Computer Science, year: 2003, volume: 304, edition: 1-3
Year: 2002, number of pages: 609 s.
Proceedings of 29th Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2002), year: 2002
Proceedings of 5th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2002), year: 2002
Year: 2002, number of pages: 106 s.
Year: 2002, type: Workshop
Proceedings of 27th International Symposium on Mathematical Foundations of Computer Science (MFCS 2002), year: 2002
Information and Computation, year: 2002, volume: 173, edition: 2
Proceedings of the Annual Conference of the European Association for Computer Science Logic (CSL'02), year: 2002