Články v časopisech
| 2012 | Čermák, M., Koutný, J., Meduna, A.: Parsing Based on n-Path Tree-Controlled Grammars, In: Theoretical and Applied Informatics, roč. 2011, č. 23, 2012, Varšava, PL, s. 213-228, ISSN 1896-5334 |
| | Dudka, K., Müller, P., Peringer, P., Vojnar, T.: Predator: A Verification Tool for Programs with Dynamic Linked Data Structures (Competition Contribution), In: Lecture Notes in Computer Science, roč. 2012, č. 7214, DE, s. 544-547, ISSN 0302-9743 |
| | Dudka, K., Peringer, P., Vojnar, T.: An Easy to Use Infrastructure for Building Static Analysis Tools, In: Lecture Notes in Computer Science, roč. 2012, č. 6927, DE, s. 527-534, ISSN 0302-9743 |
| | Fiedor, J., Hrubá, V., Křena, B., Vojnar, T.: DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking, In: Lecture Notes in Computer Science, roč. 2012, č. 7186, DE, s. 5, ISSN 0302-9743 |
| | Fiedor, J., Křena, B., Letko, Z., Vojnar, T.: A Uniform Classification of Common Concurrency Errors, In: Lecture Notes in Computer Science, roč. 2012, č. 6927, DE, s. 519-526, ISSN 0302-9743 |
| | Hranáč, J., Očenášek, P.: Design of Authentication and Key Distribution Protocols with Routing Functionality, In: Journal of Information & Communication Technology, roč. 2011, č. 2, 2012, Karachi, PK, s. 13, ISSN 1816-613X |
| | Koutný, J., Meduna, A.: Tree-Controlled Grammars with Restrictions Placed upon Cuts and Paths, In: Kybernetika, roč. 48, č. 1, 2012, CZ, s. 165-175, ISSN 0023-5954 |
| | Křena, B., Letko, Z., Vojnar, T.: Coverage Metrics for Saturation-based and Search-based Testing of Concurrent Software, In: Lecture Notes in Computer Science, roč. 2012, č. 7186, DE, s. 177-192, ISSN 0302-9743 |
| | Lengál, O., Šimáček, J., Vojnar, T.: VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata, In: Lecture Notes in Computer Science, roč. 2012, č. 7214, DE, s. 79-94, ISSN 0302-9743 |
| | Letko, Z., Vojnar, T., Křena, B.: Influence of Noise Injection Heuristics on Concurrency Coverage, In: Lecture Notes in Computer Science, roč. 2012, č. 7119, DE, s. 123-131, ISSN 0302-9743 |
| | Meduna, A., Zemek, P.: Nonterminal Complexity of One-Sided Random Context Grammars, In: Acta Informatica, roč. 49, č. 2, 2012, DE, s. 14, ISSN 0001-5903 |
| | Meduna, A., Zemek, P.: On One-Sided Forbidding Grammars and Selective Substitution Grammars, In: International Journal of Computer Mathematics, roč. 89, č. 4, 2012, GB, s. 11, ISSN 0020-7160 |
| 2011 | Abdulla, P., A., Cederberg, J., Vojnar, T.: Monotonic Abstraction for Programs with Multiply-Linked Structures, In: Lecture Notes in Computer Science, roč. 2011, č. 6945, DE, s. 125-138, ISSN 0302-9743 |
| | Abdulla, P., A., Chen, Y., Clemente, L., Holík, L., Hong, C., Mayr, R., Vojnar, T.: Advanced Ramsey-based Büchi Automata Inclusion Testing, In: Lecture Notes in Computer Science, roč. 2011, č. 6901, DE, s. 187-202, ISSN 0302-9743 |
| | Antikainen, J., Havel, J., Jošth, R., Herout, A., Zemčík, P., Hauta-Kasari, M.: Non-Negative Tensor Factorization Accelerated Using GPGPU, In: IEEE Transactions on Parallel and Distributed Systems (TPDS), roč. 2011, č. 1111, US, s. 7, ISSN 1045-9219 |
| | Bouajjani, A., Bozga, M., Habermehl, P., Iosif, R., Moro, P., Vojnar, T.: Programs with Lists are Counter Automata, In: Formal Methods in System Design, roč. 38, č. 2, 2011, Berlin, DE, s. 158-192, ISSN 0925-9856 |
| | Burget, R., Burgetová, I.: Automatic annotation of online articles based on visual feature classification, In: International Journal of Intelligent Information and Database System, roč. 5, č. 4, 2011, Geneva, CH, s. 338-360, ISSN 1751-5858 |
| | Dittrich, P., Chudý, P.: Application of Kalman Filter to oversampled data from Global Position System, In: ElectroScope, roč. 2011, č. 2, Plzeň, CZ, s. 6, ISSN 1802-4564 |
| | Drahanský, M., Dvořák, R., Váňa, J.: Personenerkennung mittels 3D Handgeometrie, In: DuD - Datenschutz und Datensicherheit, roč. 2011, č. 3, Wiesbaden, DE, s. 169-174, ISSN 1614-0702 |
| | Dudka, K., Peringer, P., Vojnar, T.: Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic, In: Lecture Notes in Computer Science, roč. 2011, č. 6806, DE, s. 372-378, ISSN 0302-9743 |
| | Ďurfina, L., Křoustek, J., Zemek, P., Kolář, D., Hruška, T., Masařík, K., Meduna, A.: Design of a Retargetable Decompiler for a Static Platform-Independent Malware Analysis, In: International Journal of Security and Its Applications, roč. 5, č. 4, 2011, Daejeon, KR, s. 91-106, ISSN 1738-9976 |
| | Gajda, Z., Sekanina, L.: On Evolutionary Synthesis of Compact Polymorphic Combinational Circuits, In: Journal of Multiple-Valued Logic and Soft Computing, roč. 17, č. 6, 2011, Philadelphia, US, s. 607-631, ISSN 1542-3980 |
| | Habermehl, P., Holík, L., Rogalewicz, A., Šimáček, J., Vojnar, T.: Forest Automata for Verification of Heap Manipulation, In: Lecture Notes in Computer Science, roč. 2011, č. 6806, DE, s. 424-440, ISSN 0302-9743 |
| | Hanáček, P., Jurnečka, P.: Využitie grafických kariet na útoky silou, In: DSM Data Security Management, roč. 15, č. 2, 2011, CZ, s. 10-13, ISSN 1211-8737 |
| | Henzl, M., Hanáček, P.: NFC z pohledu bezpečnosti, In: DSM Data Security Management, roč. 15, č. 3, 2011, CZ, s. 4, ISSN 1211-8737 |
| | Herout, A., Hradiš, M., Zemčík, P.: EnMS: Early non-Maxima Suppression, In: Pattern Analysis and Applications, roč. 2011, č. 1111, DE, s. 10, ISSN 1433-7541 |
| | Herout, A., Jošth, R., Juránek, R., Havel, J., Hradiš, M., Zemčík, P.: Real-time object detection on CUDA, In: Journal of Real-Time Image Processing , roč. 2011, č. 3, DE, s. 159-170, ISSN 1861-8200 |
| | Holík, L., Lengál, O., Šimáček, J., Vojnar, T.: Efficient Inclusion Checking on Explicit and Semi-Symbolic Tree Automata, In: Lecture Notes in Computer Science, roč. 2011, č. 6996, DE, s. 243-258, ISSN 0302-9743 |
| | Jošth, R., Antikainen, J., Havel, J., Herout, A., Zemčík, P., Hauta-Kasari, M.: Real-Time PCA Calculation for Spectral Imaging (using SIMD and GP-GPU), In: Journal of Real-Time Image Processing , roč. 2011, č. 1111, DE, s. 8, ISSN 1861-8200 |
| | Kačic, M., Hanáček, P.: WPA2: Útoky z vnútra siete, In: DSM Data Security Management, roč. 15, č. 4, 2011, CZ, s. 7, ISSN 1211-8737 |
| | Kockmann, M., Burget, L., Černocký, J.: Application of speaker- and language identification state-of-the-art techniques for emotion recognition, In: Speech Communication, roč. 53, č. 9, 2011, Amsterdam, NL, s. 1172-1185, ISSN 0167-6393 |
| | Křivka, Z., Masopust, T.: Cooperating Distributed Grammar Systems with Random Context Grammars as Components, In: Acta Cybernetica, roč. 20, č. 2, 2011, US, s. 269-283, ISSN 0324-721X |
| | Křoustek, J., Židek, S., Kolář, D., Meduna, A.: Scattered Context Grammars with Priority, In: International Journal of Advanced Research in Computer Science, roč. 2, č. 4, 2011, Udaipur, IN, s. 1-6, ISSN 0976-5697 |
| | Kubát, D., Drahanský, M.: Wireless Control of Intelligent Houses, In: International Journal of Control and Automation, roč. 4, č. 3, 2011, Daejon, KR, s. 123-126, ISSN 2005-4297 |
| | Květoňová, Š., Telmoudi, A.: Extended BSC Model (eBSC) Based on Complex Analysis of Business Environment, In: International Journal of Multidisciplinary Thought, roč. 2011, č. 1, Boston, US, s. 1-5, ISSN 2156-6992 |
| | Lexa, M., Martínek, T., Burgetová, I., Kopeček, D., Brázdová, M.: A dynamic programming algorithm for identification of triplex-forming sequences, In: Bioinformatics, roč. 27, č. 18, 2011, Oxford, GB, s. 2510-2517, ISSN 1367-4803 |
| | Machalík, S., Juránek, R., Zemčík, P.: Automatická klasifikace částic opotřebení, In: Tribilogické informace, roč. 2011, č. 1, CZ, s. 2, ISSN 1212-0081 |
| | Meduna, A., Čermák, M., Masopust, T.: Some Power-Decreasing Derivation Restrictions in Grammar Systems, In: Schedae Informaticae, roč. 2010, č. 19, 2011, Krakov, PL, s. 23-34, ISSN 0860-0295 |
| | Meduna, A., Zemek, P.: One-Sided Random Context Grammars, In: Acta Informatica, roč. 48, č. 3, 2011, DE, s. 149-163, ISSN 0001-5903 |
| | Meduna, A., Zemek, P.: Workspace Theorems for Regular-Controlled Grammars, In: Theoretical Computer Science, roč. 412, č. 35, 2011, Paris, FR, s. 4604-4612, ISSN 0304-3975 |
| | Meduna, A., Židek, S.: Scattered Context Grammars Generating Sentences Followed by Derivation Trees, In: Theoretical and Applied Informatics, roč. 2011, č. 2, Varšava, PL, s. 97-106, ISSN 1896-5334 |
| | Minařík, M., Sekanina, L.: Evolution of Iterative Formulas Using Cartesian Genetic Programming, In: Lecture Notes in Computer Science, roč. 2011, č. 6881, DE, s. 11-20, ISSN 0302-9743 |
| | Podermański, T., Grégr, M.: IPv6 Mýty a skutečnost, díl IV. - Podpora autokonfigurace, In: Lupa.cz, roč. 2011, č. 1, Praha, CZ, s. 9, ISSN 1213-0702 |
| | Podermański, T., Grégr, M.: IPv6 Mýty a skutečnost, díl VIII. - Přechodové mechanizmy, In: Lupa.cz, roč. 2011, č. 1, Praha, CZ, s. 7, ISSN 1213-0702 |
| | Podermański, T., Grégr, M.: IPv6 Mýty a skutečnost, díl VI. - Bezpečnostní mechanizmy, In: Lupa.cz, roč. 2011, č. 1, Praha, CZ, s. 6, ISSN 1213-0702 |
| | Podermański, T., Grégr, M.: IPv6 Mýty a skutečnost, díl V. - Zjednodušené hlavičky, In: Lupa.cz, roč. 2011, č. 1, Praha, CZ, s. 6, ISSN 1213-0702 |
| | Podermański, T., Veselý, V.: IPv6 Mýty a skutečnost, díl VII. - Podpora Multicast a anycast provozu, In: Lupa.cz, roč. 2011, č. 1, Praha, CZ, s. 10, ISSN 1213-0702 |
| | Podermański, T.: IPv6 Mýty a skutečnost, díl II. - Adresový prostor, In: Lupa.cz, roč. 2011, č. 1, Praha, CZ, s. 9, ISSN 1213-0702 |
| | Podermański, T.: IPv6 Mýty a skutečnost, díl IX. - Quo Vadis, IPv6?, In: Lupa.cz, roč. 2011, č. 1, Praha, CZ, s. 9, ISSN 1213-0702 |
| | Podermański, T.: IPv6 Mýty a skutečnost, díl I. - Jak jsme na tom, In: Lupa.cz, roč. 2011, č. 1, Praha, CZ, s. 9, ISSN 1213-0702 |
| | Podermański, T.: IPv6 Mýty a skutečnost: díl III. - podpora end-to-end služeb, In: Lupa.cz, roč. 2011, č. 1, Praha, CZ, s. 9, ISSN 1213-0702 |
| | Povey, D., Burget, L., Agarwal, M., Akyazi, P., Ghoshal, A., Glembek, O., Goel, N., K., Karafiát, M., Rastrow, A., Rose, R., Schwarz, P., Thomas, S. a kol.: The subspace Gaussian mixture model-A structured model for speech recognition, In: Computer Speech and Language, roč. 25, č. 2, 2011, Amsterdam, NL, s. 404-439, ISSN 0885-2308 |
| | Přikryl, Z., Křoustek, J., Hruška, T., Kolář, D., Masařík, K., Husár, A.: Design and Simulation of High Performance Parallel Architectures Using the ISAC Language, In: GSTF International Journal on Computing, roč. 1, č. 2, 2011, Singapur, SG, s. 97-106, ISSN 2010-2283 |
| | Přikryl, Z., Křoustek, J., Hruška, T., Kolář, D.: Fast Translated Simulation of ASIPs, In: OpenAccess Series in Informatics (OASIcs), roč. 16, č. 1, 2011, Wadern, DE, s. 93-100, ISSN 2190-6807 |
| | Salvador, R., Moreno, F., Riesgo, T., Sekanina, L.: Evolutionary Approach to Improve Wavelet Transforms for Image Compression in Embedded Systems, In: EURASIP Journal on Advances in Signal Processing, roč. 2011, č. 2011, US, s. 1-20, ISSN 1687-6172 |
| | Seeman, M., Zemčík, P., Juránek, R., Herout, A.: Rychlý bilaterální filtr pro zpracování HDR obrazů, In: Journal of Visual Communication and Image Representation, roč. 2012, č. 1, 2011, Amsterdam, NL, s. 6, ISSN 1047-3203 |
| | Sekanina, L., Komenda, T.: Global Control in Polymorphic Cellular Automata, In: Journal of Cellular Automata, roč. 6, č. 4, 2011, Philadelphia, US, s. 301-321, ISSN 1557-5969 |
| | Strnadel, J.: Návrh časově kritických systémů III: priorita úloh, In: Automa, roč. 2011, č. 2, CZ, s. 50-52, ISSN 1210-9592 |
| | Strnadel, J.: Návrh časově kritických systémů IV: realizace prostředky RTOS, In: Automa, roč. 2011, č. 4, CZ, s. 58-60, ISSN 1210-9592 |
| | Vanek, J., Beneš, B., Herout, A., Šťava, O.: Large-Scale Physics-Based Terrain Editing Using Adaptive Tiles on the GPU, In: IEEE Computer Graphics and Applications, roč. 2011, č. 1, US, s. 10, ISSN 0272-1716 |
| | Vašíček, Z., Sekanina, L.: Formal verification of candidate solutions for post-synthesis evolutionary optimization in evolvable hardware, In: Genetic Programming and Evolvable Machines, roč. 12, č. 3, 2011, Berlin, DE, s. 305-327, ISSN 1389-2576 |
| | Zemčík, P., Přibyl, B., Herout, A., Seeman, M.: Accelerated Image Resampling for Geometry Correction, In: Journal of Real-Time Image Processing , roč. 6, č. 3, 2011, DE, s. 9, ISSN 1861-8200 |
| | Žaloudek, L., Sekanina, L.: Increasing Fault-Tolerance in Cellular-Based Systems, In: Lecture Notes in Computer Science, roč. 2011, č. 6714, DE, s. 234-245, ISSN 0302-9743 |
| 2010 | Beran, V., Zemčík, P., Herout, A.: On-line Video Synchronization Based on Visual Vocabularies, In: International Journal of Signal and Image Processing, roč. 2010, č. 2, TN, s. 7, ISSN 1737-9253 |
| | Doležel, M., Lodrová, D., Busch, C., Drahanský, M.: Segmentation Procedure for Fingerprint Area Detection in Image Based on Enhanced Gabor Filtering, In: International Journal of Bio-Science and Bio-Technology, roč. 2010, č. 3, Daedoek, KR, s. 39-50, ISSN 1976-118X |
| | Drahanský, M., Březinová, E., Lodrová, D., Orság, F.: Fingerprint Recognition Influenced by Skin Diseases, In: International Journal of Bio-Science and Bio-Technology, roč. 3, č. 4, 2010, Daedoek, KR, s. 11-22, ISSN 1976-118X |
| | Drahanský, M., Březinová, E., Orság, F., Lodrová, D.: Dermatologické faktory ovlivňující snímání otisků prstů pro biometrické účely, In: Kriminalistika, roč. 43, č. 3, 2010, Praha, CZ, s. 196-206, ISSN 1210-9150 |
| | Drahanský, M., Lodrová, D.: New Experiments with Optical Liveness Testing Methods, In: Journal of Information Hiding and Multimedia Signal Processing, roč. 1, č. 4, 2010, TW, s. 301-309, ISSN 2073-4212 |
| | 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, roč. 2010, č. 1, Daejeon, KR, s. 1-10, ISSN 1738-9976 |
| | Drozdová, M., Zbořil, F., V.: Simulation of Queuing Systems using QS_PN_Simulation tool, In: Simulation News Europe, roč. 2010, č. 1, Vienna, AT, s. 35-37, ISSN 0929-2268 |
| | Dvořák, R., Drahanský, M., Orság, F.: Object Surface Reconstruction from One Camera System, In: International Journal of Multimedia and Ubiquitous Engineering, roč. 5, č. 2, 2010, Daedoek, KR, s. 27-38, ISSN 1975-0080 |
| | Dvořák, V., Mikušek, P.: Design of Arbiters and Allocators Based on Multi-Terminal BDDs, In: Journal of Universal Computer Science, roč. 16, č. 14, 2010, AT, s. 1826-1852, ISSN 0948-6968 |
| | Goldefus, F., Masopust, T., Meduna, A.: Left-Forbidding Cooperating Distributed Grammar Systems, In: Theoretical Computer Science, roč. 40, č. 411, 2010, Paris, FR, s. 3661-3667, ISSN 0304-3975 |
| | Habermehl, P., Iosif, R., Vojnar, T.: Automata-based Verification of Programs with Tree Updates, In: Acta Informatica, roč. 47, č. 1, 2010, DE, s. 1-31, ISSN 0001-5903 |
| | Hanáček, P., Drahanský, M., Orság, F.: Angriffe auf sichere Hardwarelösungen, In: Die Datenschleuder, roč. 2010, č. 94, Hamburg, DE, s. 12-14, ISSN 0930-1054 |
| | Hanáček, P., Drahanský, M.: Analyse sicherer Hardwarelösungen, In: DuD - Datenschutz und Datensicherheit, roč. 2010, č. 11, Wiesbaden, DE, s. 766-770, ISSN 1614-0702 |
| | Hanáček, P., Malinka, K., Schäfer, J.: E-Banking Security - Comparative Study, In: IEEE Aerospace and Electronic Systems Magazine, roč. 25, č. 1, 2010, US, s. 29-34, ISSN 0885-8985 |
| | Hanák, I., Herout, A., Zemčík, P.: Acceleration of the Detail Driven Method for Hologram Generation, In: Optical Engineering, roč. 49, č. 8, 2010, US, s. 9, ISSN 0091-3286 |
| | Havel, J., Herout, A.: Yet Faster Ray-Triangle Intersection (Using SSE4), In: IEEE Transactions on Visualization and Computer Graphics, roč. 2010, č. 3, US, s. 434-438, ISSN 1077-2626 |
| | Holík, L., Šimáček, J.: Optimizing an LTS-Simulation Algorithm, In: Computing and Informatics, roč. 2010, č. 7, Bratislava, SK, s. 1337-1348, ISSN 1335-9150 |
| | Hrubý, M., Čambala, P., Toufar, J.: Game-Theoretic Modeling of Electricity Markets in Central Europe, In: AUCO Czech Economic Review, roč. 4, č. 1, 2010, Praha, CZ, s. 32-61, ISSN 1802-4696 |
| | Kočí, R., Janoušek, V., Zbořil, F.: Object Oriented Petri Nets - Modelling Techniques Case Study, In: International Journal of Simulation Systems, Science & Technology, roč. 10, č. 3, 2010, GB, s. 32-44, ISSN 1473-8031 |
| | Kořenek, J.: Fast Regular Expression Matching Using FPGA, In: Information Sciences and Technologies Bulletin of the ACM Slovakia, roč. 2, č. 2, 2010, Bratislava, SK, s. 103-111, ISSN 1338-1237 |
| | Kovárová, A., Szalayová, L.: Semantics in the Field of Widgets: A Case Study in Public Transportation Departure Notifications, In: Studies in Computational Intelligence, roč. 2010, č. 279, Heidelberg, DE, s. 93-107, ISSN 1860-949X |
| | Lodrová, 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, roč. 2009, č. 4, 2010, Daedoek, KR, s. 11-15, ISSN 1976-118X |
| | Lukáš, R., Meduna, A.: Multigenerative Grammar Systems and Matrix Grammars, In: Kybernetika, roč. 46, č. 1, 2010, CZ, s. 68-82, ISSN 0023-5954 |
| | Malinka, K., Hanáček, P., Cvrček, D.: Analyses of Real Email Traffic Properties, In: Radioengineering, roč. 2009, č. 4, 2010, CZ, s. 7, ISSN 1210-2512 |
| | Martínek, T.: Evaluation of Biological Sequence Similarity Using FPGA Technology, In: Information Sciences and Technologies Bulletin of the ACM Slovakia, roč. 2, č. 2, 2010, Bratislava, SK, s. 93-102, ISSN 1338-1237 |
| | Orság, F.: Speaker Dependent Coefficients for Speaker Recognition, In: International Journal of Security and Its Applications, roč. 2010, č. 1, Daejeon, KR, s. 31-47, ISSN 1738-9976 |
| | Pečiva, J.: Napsat správně mezinárodní aplikaci v Qt nemusí být snadné, In: ROOT, informace nejen ze světa Linuxu, roč. 2010, č. 12, Praha, CZ, s. 1-4, ISSN 1212-8309 |
| | Pecho, P., Hanáček, P., Nagy, J.: Simulation and Evaluation of CTP and Secure-CTP Protocols, In: Radioengineering, roč. 2010, č. 1, CZ, s. 89-98, ISSN 1210-2512 |
| | Podermański, T.: Je libo IPv6 na přepínačích HP ProCurve ?, In: Lupa.cz, roč. 2010, č. 1, Praha, CZ, s. 5, ISSN 1213-0702 |
| | Podermański, T.: Redundance od síťové vrstvy až po zařízení (Maximum pro síťovou jistotu), In: CONNECT!, roč. 10, č. 4, 2010, Brno, CZ, s. 18-20, ISSN 1211-3085 |
| | Pouli, T., Zemčík, P., Pražák, M., Gutiérrez, D., Reinhard, E.: Rendering fur directly into images, In: Computers and Graphics, roč. 34, č. 5, 2010, Elmsford, NY, US, s. 612-620, ISSN 0097-8493 |
| | Rychlý, M.: A Case Study on Behavioural Modelling of Service-Oriented Architectures, In: e-Informatica Software Engineering Journal, roč. 4, č. 1, 2010, Wrocław, PL, s. 71-87, ISSN 1897-7979 |
| | Rychlý, M.: Formal-based Component Model with Support of Mobile Architecture, In: Information Sciences and Technologies Bulletin of the ACM Slovakia, roč. 2, č. 1, 2010, Bratislava, SK, s. 13-25, ISSN 1338-1237 |
| | Sedláčková, J., Kreslíková, J.: Improvement of Function Point Analysis by Security Factor, In: Procesný manažér, roč. 5, č. 8, 2010, SK, s. 5, ISSN 1336-8680 |
| | Sekanina, L.: Evoluční návrh elektronických obvodů, In: Automa, roč. 2010, č. 1, CZ, s. 48-51, ISSN 1210-9592 |
| | Smrčka, A.: Verification of Asynchronous and Parametrized Hardware Designs, In: Information Sciences and Technologies Bulletin of the ACM Slovakia, roč. 2, č. 2, 2010, Bratislava, SK, s. 60-69, ISSN 1338-1237 |
| | Strnadel, J.: Návrh časově kritických systémů II: úlohy reálného času, In: Automa, roč. 2010, č. 12, CZ, s. 18-19, ISSN 1210-9592 |
| | Strnadel, J.: Návrh časově kritických systémů I: specifikace a verifikace, In: Automa, roč. 2010, č. 10, CZ, s. 42-44, ISSN 1210-9592 |
| | Svojanovský, P., Kreslíková, J.: Řízení rizik v bezpečnosti služeb IT, In: European Risk Management, roč. 7, č. 1, 2010, CZ, s. 1-12, ISSN 1802-0496 |
| | Vašíček, Z., Sekanina, L.: Hardware Accelerator of Cartesian Genetic Programming with Multiple Fitness Units, In: Computing and Informatics, roč. 29, č. 6, 2010, Bratislava, SK, s. 1359-1371, ISSN 1335-9150 |
| | Žaloudek, L., Sekanina, L., Šimek, V.: Accelerating Cellular Automata Evolution on Graphics Processing Units, In: International Journal on Advances in Software, roč. 3, č. 1, 2010, US, s. 294-303, ISSN 1942-2628 |
|
Fakulta informačních technologií
![[dnssec]](/common/img/dnssec.png)