Journal Articles

2010	Beran, V., Zemčík, P., Herout, A.: On-line Video Synchronization Based on Visual Vocabularies, International Journal of Signal and Image Processing (IJSIP), TN, 2010, p. 7
	Drahanský, M., Orság, F., Hanáček, P.: Accelerometer Based Digital Video Stabilization for General Security Surveillance Systems, In: International Journal of Security and Its Applications, Vol. 2010, No. 1, Daejeon, KR, p. 1-10, ISSN 1738-9976
	Habermehl, P., Iosif, R., Vojnar, T.: Automata-based Verification of Programs with Tree Updates, In: Acta Informatica, Vol. 47, No. 1, 2010, DE, p. 1-31, ISSN 0001-5903
	Havel, J., Herout, A.: Yet Faster Ray-Triangle Intersection (Using SSE4), In: IEEE Transactions on Visualization and Computer Graphics, Vol. 2009, No. 111, 2010, US, p. 5, ISSN 1077-2626
	Hejtmánková, D., Dvořák, R., Drahanský, M., Orság, F.: A New Method of Finger Veins Detection, In: International Journal of Bio-Science and Bio-Technology, Vol. 2009, No. 4, 2010, Daedoek, KR, p. 11-15, ISSN 1976-118X
	Hrubý, M., Čambala, P., Toufar, J.: Game-Theoretic Modeling of Electricity Markets in Central Europe, In: AUCO Czech Economic Review, Vol. 4, No. 1, 2010, Praha, CZ, p. 32-61, ISSN 1802-4696
	Malinka, K., Hanáček, P., Cvrček, D.: Analyses of Real Email Traffic Properties, In: Radioengineering, Vol. 2009, No. 4, 2010, CZ, p. 7, ISSN 1210-2512
	Orság, F.: Speaker Dependent Coefficients for Speaker Recognition, In: International Journal of Security and Its Applications, Vol. 2010, No. 1, Daejeon, KR, p. 31-47, ISSN 1738-9976
	Sekanina, L.: Evoluční návrh elektronických obvodů, In: Automa, Vol. 2010, No. 1, CZ, p. 48-51, ISSN 1210-9592
2009	Abdulla, P., A., Bouajjani, A., Holík, L., Kaati, L., Vojnar, T.: Composed Bisimulation for Tree Automata, In: International Journal of Foundations of Computer Science, Vol. 20, No. 4, 2009, SG, p. 685-700, ISSN 0129-0541
	Abdulla, P., A., Holík, L., Kaati, L., Vojnar, T.: A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata, In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Vol. 2009, No. 251, US, p. 27-48, ISSN 1571-0661
	Bartoň, R., Hrubý, M.: GAL Framework - Current State of the Project, In: Geoinformatics FCE CTU, Vol. 2008, No. 3, 2009, CZ, p. 5-13, ISSN 1802-2669
	Csuhaj-Varjú, E., Masopust, T., Vaszil, G.: Cooperating Distributed Grammar Systems with Permitting Grammars as Components, In: Romanian Journal of Information Science and Technology (ROMJIST), Vol. 12, No. 2, 2009, Bukurest, RO, p. 175-189, ISSN 1453-8245
	Čeąka, M., Hýsek, J., Janouąek, V.: Model-Based Design and Verification of Reactive Systems, Computer Aided Systems Theory - EUROCAST 2009, Heidelberg, DE, 2009, p. 865-872, ISBN 978-3-642-04771-8
	Drahanský, M., Lodrová, D., Orság, F., Březinová, E.: Detekce ľivosti prstů, In: DSM Data Security Management, Vol. 13, No. 2, 2009, CZ, p. 22-26, ISSN 1211-8737
	Drahanský, M., Marvan, A., Holenda, S., Popela, R.: Flight Data Wireless Digital Acquisition System, In: Letecký zpravodaj, Vol. 2008, No. 2, 2009, CZ, p. 15-17, ISSN 1211-877X
	Drahanský, M., Orság, F.: Real-time video stabilisation, In: International Journal of Autonomic Computing, Vol. 2009, No. 2, London, GB, p. 202-210, ISSN 1741-8569
	Drahanský, M.: Realization of Experiments with Image Quality of Fingerprints, In: International Journal of Advanced Science and Technology, Vol. 6, No. 5, 2009, Daejon, KR, p. 71-79, ISSN 2005-4238
	Drozdová, M., Zbořil, F., V.: A new Java tool for discrete simulation, In: International Journal of Autonomic Computing, Vol. 1, No. 2, 2009, London, GB, p. 163-172, ISSN 1741-8569
	Drozd, M.: Bezpečnost: 1:0 pro malware?, In: DSM Data Security Management, Vol. 13, No. 4, 2009, CZ, p. 16-19, ISSN 1211-8737
	Dvořák, V., Mikuąek, P.: Firmware Optimization for Embedded Logic Control, In: IFAC-PapersOnLine, Vol. 2009, No. 1, Laxenburg, AT, p. 109-114, ISSN 1474-6670
	Grézl, F., Černocký, J.: Audio Surveillance through Known Event Classification, In: Radioengineering, Vol. 18, No. 4, 2009, CZ, p. 671-675, ISSN 1210-2512
	Grulich, L., Zbořil, F., V.: Socio-Economic Modeling Using the DEVS Formalism, In: International Journal of Autonomic Computing, Vol. 1, No. 2, 2009, London, GB, p. 173-181, ISSN 1741-8569
	Hanák, I., Zemčík, P., ®ádník, M., Herout, A.: Hologram synthesis accelerated in field programmable gate array by partial quadratic interpolation, In: Optical Engineering, Vol. 8, No. 48, 2009, US, p. 7, ISSN 0091-3286
	Chudý, P., Rzucidlo, P., Tomczyk, A.: Safety enhanced digital flight control system, In: Aircraft Engineering and Aerospace Technology: An International Journal, Vol. 2009, No. 5, GB, p. 416-423, ISSN 0002-2667
	Chudý, P., Rzucidlo, P.: Flight Control System for Environmentally Friendly Light Aircraft, Polish Journal of Environmental Studies, Olsztyn, PL, 2009, p. 21-25
	Janouąek, V., Kironský, E.: Interactive evolutionary modelling and simulation of discrete-event systems using prototypical objects, In: International Journal of Autonomic Computing, Vol. 1, No. 2, 2009, London, GB, p. 104-120, ISSN 1741-8569
	Kaąpárek, T.: Terabajty po Ethernetu, In: CONNECT!, Vol. 2009, No. 4, Brno, CZ, p. 24-26, ISSN 1211-3085
	Kornecki, A., J., Hilburn, T., B., Grega, W., ©véda, M., Thiriet, J.: ILERT - International Learning Environment for Real-Time Software-Intensive Control Systems, In: Journal of Automation, Mobile Robotics and Intelligent Systems, Vol. 3, No. 1, 2009, PL, p. 66-71, ISSN 1897-8649
	Kotásek, Z., Straka, M.: The Design of On-line Checkers and Their Use in Verification and Testing, In: Acta Electrotechnica et Informatica, Vol. 2009, No. 3, SK, p. 8-15, ISSN 1335-8243
	Kunovský, J., ©átek, V., Kraus, M., Pindryč, M.: Comparison of TKSL to world standards, In: International Journal of Autonomic Computing, Vol. 1, No. 2, 2009, London, GB, p. 182-191, ISSN 1741-8569
	Květoňová, ©., Janouąek, V.: Object-Oriented Petri Nets-Based Modeling of Resources in Project Engineering, Twelfth International Conference on Computer Aided Systems Theory - EUROCAST 2009, Heidelberg, DE, Springer, 2009, p. 8
	Květoňová, ©., Kolář, D.: Project plan formalisation and modelling via timed coloured Petri nets, International Journal Computer Aided Engineering and Technology (IJCAET), Geneve, CH, 2009, p. 12
	Mareąová, M., Drahanský, M.: Collection of Different Face Gestures and Realization of Experiments, In: International Journal of Software Engineering and Its Applications, Vol. 3, No. 2, 2009, Daegu, KR, p. 63-67, ISSN 1738-9984
	Masopust, T., Meduna, A.: On context-free rewriting with a simple restriction and its computational completeness, In: RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Vol. 43, No. 2, 2009, Les Ulis, FR, p. 365-378, ISSN 0988-3754
	Masopust, T., Meduna, A.: On Pure Multi-Pushdown Automata that Perform Complete Pushdown Pops, In: Acta Cybernetica, Vol. 19, No. 2, 2009, US, p. 537-552, ISSN 0324-721X
	Masopust, T.: On the Descriptional Complexity of Scattered Context Grammars, In: Theoretical Computer Science, Vol. 410, No. 1, 2009, Paris, FR, p. 108-112, ISSN 0304-3975
	Masopust, T.: On the Terminating Derivation Mode in Cooperating Distributed Grammar Systems with Forbidding Components, In: International Journal of Foundations of Computer Science, Vol. 20, No. 2, 2009, SG, p. 331-340, ISSN 0129-0541
	Mazal, Z., Kočí, R., Janouąek, V., Zbořil, F.: Modelling intelligent agents for autonomic computing in the PNagent framework, In: International Journal of Autonomic Computing, Vol. 1, No. 2, 2009, London, GB, p. 121-139, ISSN 1741-8569
	Meduna, A., Techet, J.: An Infinite Hierarchy of Language Families Generated by Scattered Context Grammars with n-Limited Derivations, In: Theoretical Computer Science, Vol. 410, No. 21, 2009, Paris, FR, p. 1961-1969, ISSN 0304-3975
	Negoita, M., Sekanina, L., Stoica, A.: Adaptive and evolvable hardware and systems: the state of the art and the prospectus for future development, In: Journal of Automation, Mobile Robotics and Intelligent Systems, Vol. 3, No. 2, 2009, PL, p. 70-75, ISSN 1897-8649
	Očenáąek, P., ©véda, M.: A Model for Measurement and Analysis of the Workflow Processes, In: Lecture Notes in Computer Science, Vol. 2009, No. 5617, DE, p. 149-153, ISSN 0302-9743
	Očenáąek, P.: An Approach for the Design of Secure Communication in Embedded Systems, In: Lecture Notes in Computer Science, Vol. 2009, No. 5617, DE, p. 579-586, ISSN 0302-9743
	Očenáąek, P.: Towards Security Issues in ZigBee Architecture, In: Lecture Notes in Computer Science, Vol. 2009, No. 5617, DE, p. 587-593, ISSN 0302-9743
	Očenáąek, P.: Universal Access to the Internet Web Pages for Users with Special Needs, In: Lecture Notes in Computer Science, Vol. 2009, No. 5616, DE, p. 764-767, ISSN 0302-9743
	Pecho, P., Zbořil, F., Drahanský, M., Hanáček, P.: Agent Platform for Wireless Sensor Network with Support for Cryptographic Protocols, In: Journal of Universal Computer Science, Vol. 15, No. 6, 2009, AT, p. 992-1006, ISSN 0948-6968
	Richta, T., Hrubý, M.: Dynamic Object-Oriented Geospatial Modeling, In: Geoinformatics FCE CTU, Vol. 4, No. 1, 2009, CZ, p. 29-45, ISSN 1802-2669
	Rozman, J.: Grid-based map making using particle filters, In: International Journal of Autonomic Computing, Vol. 1, No. 2, 2009, London, GB, p. 211-221, ISSN 1741-8569
	Rychlý, M.: A Component Model with Support of Mobile Architectures and Formal Description, In: e-Informatica Software Engineering Journal, Vol. 3, No. 1, 2009, Wrocław, PL, p. 9-25, ISSN 1897-7979
	Ryąavý, O., Ráb, J.: A Formal Model of Composing Components: The TLA+ Approach, In: Innovations in Systems and Software Engineering, Vol. 5, No. 2, 2009, London, GB, p. 139-149, ISSN 1614-5046
	Sehnalová, P., Kunovský, J., Kaluľa, V., Kopřiva, J.: Using differential equations in electrical circuits' simulation, In: International Journal of Autonomic Computing, Vol. 1, No. 2, 2009, London, GB, p. 192-201, ISSN 1741-8569
	Schäfer, J., Malinka, K., Hanáček, P.: Peer-to-peer Networks: Security Analysis, In: International Journal On Advances in Security., Vol. 2009, No. 1, US, p. 53-61, ISSN 1942-2636
	Svojanovský, P., Novák, L.: Přehled metodik pro strategické řízení IT, In: Professional Computing , Vol. 10, No. 12, 2009, Brno, CZ, p. 27-29, ISSN 1214-5335
	©véda, M., Vrba, R.: Meta-Design with Safe and Secure Embedded System Networking, In: International Journal On Advances in Security., Vol. 2, No. 1, 2009, US, p. 8-15, ISSN 1942-2636
	Zbořil, F., Janouąek, V., Kočí, R., Mazal, Z., Zbořil, F., V.: Framework for model-based design of mullti-agent systems, In: International Journal of Autonomic Computing, Vol. 1, No. 2, 2009, London, GB, p. 140-162, ISSN 1741-8569
	Zemčík, P.: Průmyslová vizualizace, In: Automatizace, Vol. 52, No. 12, 2009, CZ, p. 694-696, ISSN 0005-125X
2008	Abdulla, P., A., Bouajjani, A., Holík, L., Kaati, L., Vojnar, T.: Composed Bisimulation for Tree Automata, In: Lecture Notes in Computer Science, Vol. 2008, No. 5148, DE, p. 212-222, ISSN 0302-9743
	Abdulla, P., A., Bouajjani, A., Holík, L., Kaati, L., Vojnar, T.: Computing Simulations over Tree Automata (Efficient Techniques for Reducing Tree Automata), In: Lecture Notes in Computer Science, Vol. 2008, No. 4963, DE, p. 93-108, ISSN 0302-9743
	Bidlo, M., ©karvada, J.: Instruction-based development: From evolution to generic structures of digital circuits, In: International Journal of Knowledge-Based and Intelligent Engineering Systems, Vol. 12, No. 3, 2008, Amsterdam, NL, p. 221-236, ISSN 1327-2314
	Bidlo, M., Vaąíček, Z.: Cellular Automata-Based Development of Combinational and Polymorphic Circuits: A Comparative Study, In: Lecture Notes in Computer Science, Vol. 2008, No. 5216, DE, p. 106-117, ISSN 0302-9743
	Bouajjani, A., Habermehl, P., Holík, L., Touili, T., Vojnar, T.: Antichain-based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata, In: Lecture Notes in Computer Science, Vol. 2008, No. 5148, DE, p. 57-67, ISSN 0302-9743
	Bouajjani, A., Habermehl, P., Vojnar, T.: Verification of parametric concurrent systems with prioritised FIFO resource management, In: Formal Methods in System Design, Vol. 32, No. 2, 2008, Berlin, DE, p. 129-172, ISSN 0925-9856
	Cvrček, D., Krhovják, J., Kumpoąt, M., Matyáą, V.: Authorizing card payments with PINs, In: Computer, Vol. 41, No. 2, 2008, Los Alamitos, CA, US, p. 64-68, ISSN 0018-9162
	Čejka, R.: Nekempujte v serverovně (recenze vzdálených konzol Raritan), In: CONNECT!, Vol. 2008, No. 5, Brno, CZ, p. 44-45, ISSN 1211-3085
	Čejka, R.: Zálohováním ke klidnějąímu spánku (recenze CA ARCserve Backup r12), In: CONNECT!, Vol. 2008, No. 7, Brno, CZ, p. 57-59, ISSN 1211-3085
	Drahanský, M., Lodrová, D.: Liveness Detection for Biometric Systems Based on Papillary Lines, In: International Journal of Security and Its Applications, Vol. 2, No. 4, 2008, Daejeon, KR, p. 29-37, ISSN 1738-9976
	Dvořák, V.: Implementation of Combinational and Sequential Functions in Embedded Firmware, In: International Journal of Software Engineering and Its Applications, Vol. 2, No. 1, 2008, Daegu, KR, p. 43-54, ISSN 1738-9984
	Habermehl, P., Iosif, R., Vojnar, T.: A Logic of Singly Indexed Arrays, In: Lecture Notes in Computer Science, Vol. 2008, No. 5330, DE, p. 558-573, ISSN 0302-9743
	Habermehl, P., Iosif, R., Vojnar, T.: What else is decidable about integer arrays?, In: Lecture Notes in Computer Science, Vol. 2008, No. 4962, DE, p. 475-490, ISSN 0302-9743
	Hilburn, T., B., Thiriet, J., Kornecki, A., J., Grega, W., ©véda, M.: Credits and Accreditation in the U.S.A. and Europe: Towards a Framework for Trans-national Engineering Degrees, In: Inovations, Vol. 2008, No. 1, Arlington, VA, US, p. 29-42, ISBN 978-0-9741252-8-2, ISSN 1553-9911
	Hrubý, M.: Algorithmic Approaches to Game-theoretical Modeling and Simulation, In: AUCO Czech Economic Review, Vol. 2, No. 3, 2008, Praha, CZ, p. 268-300, ISSN 1802-4696
	Jaroą, J.: Evolutionary Design of Fault Tolerant Collective Communications, In: Lecture Notes in Computer Science, Vol. 2008, No. 9, DE, p. 261-272, ISSN 0302-9743
	Kopecký, J., Glembek, O., Karafiát, M.: Advances in Acoustic Modeling for the Recognition of Czech, In: Lecture Notes in Computer Science, Vol. 2008, No. 5246, DE, p. 357-363, ISBN 978-3-540-87390-7, ISSN 0302-9743
	Květoňová, ©., Kreslíková, J.: Integrated Approach to Risk Management in Software Projects, In: Computer and Software Engineering, Vol. 2008, No. 1, Timisoara, RO, p. 1-4, ISSN 1844-539X
	Malinka, K., Pecho, P.: Co kdyľ vás sledují?, In: CONNECT!, Vol. 2008, No. 12, Brno, CZ, p. 54-55, ISSN 1211-3085
	Malinka, K., Pecho, P.: Nenechte se nechytat! (Evoluční teorie v podání spear phishingu), In: CONNECT!, Vol. 2008, No. 6, Brno, CZ, p. 22-23, ISSN 1211-3085
	Masopust, T., Meduna, A., ©imáček, J.: Two Power-Decreasing Derivation Restrictions in Generalized Scattered Context Grammars, In: Acta Cybernetica, Vol. 18, No. 4, 2008, US, p. 783-793, ISSN 0324-721X
	Masopust, T., Meduna, A.: On Descriptional Complexity of Partially Parallel Grammars, In: Fundamenta Informaticae, Vol. 87, No. 3, 2008, Amsterdam, NL, p. 407-415, ISSN 0169-2968
	Masopust, T., Techet, J.: Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof, In: Discrete Mathematics and Theoretical Computer Science, Vol. 10, No. 2, 2008, Nancy, FR, p. 39-46, ISSN 1365-8050
	Masopust, T.: Descriptional Complexity of Multi-Parallel Grammars, In: Information Processing Letters, Vol. 108, No. 2, 2008, Amsterdam, NL, p. 68-70, ISSN 0020-0190
	Meduna, A., Rychnovský, L.: Infinite Language Hierarchy Based on Regular-Regulated Right-Linear Grammars with Start Strings, In: Philippine Computing Journal, Vol. 2008, No. 3, Manila, PH, p. 1-5, ISSN 1908-1995
	Meduna, A., Techet, J.: Scattered Context Grammars that Erase Nonterminals in a Generalized k-Limited Way, In: Acta Informatica, Vol. 45, No. 7, 2008, DE, p. 593-608, ISSN 0001-5903
	Negoita, M., Sekanina, L., Stoica, A.: Adaptive and Evolvable Hardware and Systems: The State of the Art and the Prospectus for Future Development, In: Lecture Notes in Computer Science, Vol. 2008, No. 5179, DE, p. 310-318, ISSN 0302-9743
	Očenáąek, P.: A Proxy-Based System for Translation of Internet Content into Specific Form, In: Lecture Notes in Computer Science, Vol. 2008, No. 5068, DE, p. 413-419, ISSN 0302-9743
	Očenáąek, P.: Modification of Web Content According to the User Requirements, In: Lecture Notes in Computer Science, Vol. 2008, No. 5093, DE, p. 324-327, ISSN 0302-9743
	Pečenka, T., Sekanina, L., Kotásek, Z.: Evolution of Synthetic RTL Benchmark Circuits with Predefined Testability, In: ACM Transactions on Design Automation of Electronic Systems, Vol. 13, No. 3, 2008, US, p. 1-21, ISSN 1084-4309
	Pecho, P.: Nikdo se vás nedotkne (Úvod do technologie bezkontaktních čipových karet), In: CONNECT!, Vol. 2008, No. 10, Brno, CZ, p. 16-17, ISSN 1211-3085
	Plchot, O., Hubeika, V., Burget, L., Schwarz, P., Matějka, P.: Acquisition of Telephone Data from Radio Broadcasts with Applications to Language Recognition, In: Lecture Notes in Computer Science, Vol. 2008, No. 5246, DE, p. 477-483, ISBN 978-3-540-87390-7, ISSN 0302-9743
	Přikryl, Z., Hruąka, T., Masařík, K.: Distributed Simulation and Profiling of Multiprocessor Systems on a Chip, In: WSEAS Transactions on Circuits, Vol. 7, No. 8, 2008, Athens, GR, p. 788-799, ISSN 1109-2734
	Růľička, R.: On Bifunctional Polymorphic Gates Controlled by a Special Signal, In: WSEAS Transactions on Circuits, Vol. 7, No. 3, 2008, Athens, GR, p. 96-101, ISSN 1109-2734
	Rychlý, M., Tichá, P.: A Tool for Supporting Feature-Driven Development, In: Lecture Notes in Computer Science, Vol. 2008, No. 5082, DE, p. 196-207, ISBN 978-3-540-85278-0, ISSN 0302-9743
	Sekanina, L., Mikuąek, P.: Analysis of Reconfigurable Logic Blocks for Evolvable Digital Architectures, In: Lecture Notes in Computer Science, Vol. 2008, No. 4974, DE, p. 144-153, ISSN 0302-9743
	Sekanina, L., Stareček, L., Kotásek, Z., Gajda, Z.: Polymorphic Gates in Design and Test of Digital Circuits, In: International Journal of Unconventional Computing, Vol. 4, No. 2, 2008, Philadelphia, US, p. 125-142, ISSN 1548-7199
	Smrčka, A., Vojnar, T.: Verifying Parametrised Hardware Designs Via Counter Automata, In: Lecture Notes in Computer Science, Vol. 2008, No. 4899, DE, p. 51-68, ISSN 0302-9743
	Strnadel, J., Pečenka, T., Kotásek, Z.: Measuring Design for Testability Tool Effectiveness by Means of FITTest_BENCH06 Benchmark Circuits, In: Computing and Informatics, Vol. 27, No. 6, 2008, Bratislava, SK, p. 913-930, ISSN 1335-9150
	©karvada, J., Kotásek, Z., Herrman, T.: Testability Analysis Based on the Identification of Testable Blocks with Predefined Properties, In: Microprocessors and Microsystems, Vol. 32, No. 5, 2008, Amsterdam, NL, p. 296-302, ISSN 0141-9331
	Vaąíček, Z., Sekanina, L.: Hardware Accelerators for Cartesian Genetic Programming, In: Lecture Notes in Computer Science, Vol. 2008, No. 4971, DE, p. 230-241, ISSN 0302-9743
	Vaąíček, Z., ®ádník, M., Sekanina, L., Tobola, J.: On Evolutionary Synthesis of Linear Transforms, In: Lecture Notes in Computer Science, Vol. 2008, No. 5216, DE, p. 141-152, ISSN 0302-9743
	Vojnar, T., Čeąka, M., Rogalewicz, A., Erlebach, P., Holík, L., Bouajjani, A., Habermehl, P., Touili, T., Moro, P.: Automatická verifikace programů s dynamickými datovými strukturami, In: Inovační podnikání & transfer technologií, Vol. 2008, No. 1, CZ, p. 21-22, ISSN 1210-4612
	®ádník, M.: Monitorování sítí na základě IP toků, In: CONNECT!, Vol. 2008, No. 2, Brno, CZ, p. 14-15, ISSN 1211-3085
	®ádník, M.: Vyuľití NetFlow pro bezpečnost sítě, In: CONNECT!, Vol. 2008, No. 3, Brno, CZ, p. 62-63, ISSN 1211-3085
	®aloudek, L., Sekanina, L.: Transistor-level Evolution of Digital Circuits Using a Special Circuit Simulator, In: Lecture Notes in Computer Science, Vol. 2008, No. 5216, DE, p. 320-331, ISSN 0302-9743

© Faculty of Information Technology, BUT, Boľetěchova 2,
612 66 Brno, Czech Republic
Tel.: +420 54114 1144, Fax: +420 54114 1270
E-mail: info@fit.vutbr.cz, Web: http://www.fit.vutbr.cz/