Články v časopisech
| 2013 | Antal, L.: Méně známé slabiny WiFi, In: IT System, roč. 2013, č. 1, Brno, CZ, s. 26-28, ISSN 1212-4567 |
| | Antal, L.: Security of Enterprise Wireless Networks, In: PenTest Magazine, roč. 3, č. 1, 2013, PL, s. 18-21, ISSN 2084-1116 |
| | Barabas, M., Drozd, M.: Pokročilé formy útoků a jejich detekce, In: IT System, roč. 2013, č. 1, Brno, CZ, s. 8-10, ISSN 1212-4567 |
| | Barabas, M., Homoliak, I., Drozd, M., Hanáček, P.: Automated Malware Detection Based on Novel Network Behavioral Signatures, In: International Journal of Engineering and Technology, roč. 5, č. 2, 2013, Singapore, SG, s. 249-253, ISSN 1793-8236 |
| | Dubská, M., Herout, A., Havel, J.: Real-Time Precise Detection of Regular Grids and Matrix Codes, In: Journal of Real-Time Image Processing , roč. 2013, č. 1, DE, s. 15, ISSN 1861-8200 |
| | Havel, J., Herout, A., Dubská, M.: Vanishing Points in Point-to-Line Mappings and Other Line Parameterizations, In: Pattern Recognition Letters, roč. 2013, č. 34, NL, s. 703-708, ISSN 0167-8655 |
| | Hulík, R., Španěl, M., Smrž, P.: Continuous Plane Detection in Point-cloud Data Based on 3D Hough Transform, In: Journal of Visual Communication and Image Representation, roč. 2013, č. 24, Amsterdam, NL, s. 1-10, ISSN 1047-3203 |
| | Křena, B., Vojnar, T.: Automated formal analysis and verification: an overview, In: International Journal of General Systems, roč. 2013, č. 42, Abingdon, GB, s. 335-365, ISSN 0308-1079 |
| | Meduna, A., Zemek, P.: Generalized One-Sided Forbidding Grammars, In: International Journal of Computer Mathematics, roč. 90, č. 2, 2013, GB, s. 172-182, ISSN 0020-7160 |
| | Meduna, A., Zemek, P.: Left Random Context ET0L Grammars, In: Fundamenta Informaticae, roč. 123, č. 3, 2013, Amsterdam, NL, s. 289-304, ISSN 0169-2968 |
| | Meduna, A., Zemek, P.: On the Generation of Sentences with Their Parses by Propagating Regular-Controlled Grammars, In: Theoretical Computer Science, roč. 477, č. 1, 2013, Paris, FR, s. 67-75, ISSN 0304-3975 |
| | Očenášek, P., Švéda, M.: Communication in Business Information Systems - New Perspectives, In: International Academic Research Journal of Business and Management, roč. 1, č. 7, 2013, AE, s. 87-92, ISSN 2227-1287 |
| | Očenášek, P., Švéda, M.: Effective Design and Implementation of Distributed Business Information Systems, In: Applied Mechanics and Materials, roč. 2013, č. 307, Zurich, CH, s. 451-454, ISSN 1660-9336 |
| | Očenášek, P., Švéda, M.: On the Effective Internet Communication Filtering, In: Applied Mechanics and Materials, roč. 2013, č. 307, Zurich, CH, s. 478-481, ISSN 1660-9336 |
| | Sekanina, L., Růžička, R., Vašíček, Z., Šimek, V., Hanáček, P.: Implementing a Unique Chip ID on a Reconfigurable Polymorphic Circuit, In: Information Technology And Control, roč. 42, č. 1, 2013, Kaunas, LT, s. 7-14, ISSN 1392-124X |
| | Sekanina, L.: Ubiquity symposium: Evolutionary computation and the processes of life: evolutionary computation in physical world, In: Ubiquity, roč. 2013, č. 2, US, s. 1-7, ISSN 1530-2180 |
| | Strnadel, J.: Plánování úloh v systémech RT - IV: víceprocesorové prostředí, In: Automa, roč. 19, č. 1, 2013, CZ, s. 44-46, ISSN 1210-9592 |
| | Strnadel, J.: Plánování úloh v systémech RT - V: zvyšování provozuschopnosti systémů, In: Automa, roč. 19, č. 2, 2013, CZ, s. 46-49, ISSN 1210-9592 |
| | Šátek, V., Vopěnka, V., Kunovský, J.: Application of the Modern Taylor Series Method to a multi-torsion chain, In: Simulation Modelling Practice and Theory, roč. 2013, č. 33, CZ, s. 89-101, ISSN 1569-190X |
| | Žádník, M.: Optimization of network flow monitoring, In: Information Sciences and Technologies Bulletin of the ACM Slovakia, roč. 5, č. 1, 2013, Bratislava, SK, s. 6, ISSN 1338-1237 |
| 2012 | Barabas, M., Drozd, M., Hanáček, P.: Behavioral signature generation using shadow honeypot, In: World Academy of Science, Engineering and Technology, roč. 2012, č. 65, US, s. 829-833, ISSN 2010-376X |
| | Barabas, M., Drozd, M.: Jak na pokročilé útoky, In: SecurityWorld, roč. 2012, č. 4, Praha, CZ, s. 20-20, ISSN 1802-4505 |
| | Bartoš, V.: Detekce anomálií v datech o síťovém provozu, In: Trilobit, roč. 2012, č. 2, CZ, s. 1-6, ISSN 1804-1795 |
| | Bendl, J., Zendulka, J.: Integration System for Functional Annotation of Single Nucleotide Polymorphism, In: ElectroScope, roč. 2012, č. 5, Plzeň, CZ, s. 5, ISSN 1802-4564 |
| | Bidlo, M., Vašíček, Z.: Cellular Automaton as a Sorting Network Generator Using Instruction-Based Development, In: Lecture Notes in Computer Science, roč. 2012, č. 7495, DE, s. 214-223, ISSN 0302-9743 |
| | Bouajjani, A., Habermehl, P., Rogalewicz, A., Vojnar, T.: Abstract Regular (Tree) Model Checking, In: International Journal on Software Tools for Technology Transfer, roč. 14, č. 2, 2012, DE, s. 167-191, ISSN 1433-2779 |
| | Čermák, M., Horáček, P., Meduna, A.: Rule-restricted automaton-grammar tranduscers: Power and linguistic applications, In: Mathematics for Applications, roč. 1, č. 1, 2012, Brno, CZ, s. 13-35, ISSN 1805-3610 |
| | Č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 |
| | Češka, M., Fiedor, J., Gach, M.: A Novel Approach to Modechart Verification of Real-Time systems, In: Lecture Notes in Computer Science, roč. 2012, č. 6927, DE, s. 559-567, ISSN 0302-9743 |
| | Deoras, A., Mikolov, T., Kombrink, S., Church, K.: Approximate inference: A sampling based modeling technique to capture complex dependencies in a language model, In: Speech Communication, roč. 2012, č. 8, Amsterdam, NL, s. 1-16, ISSN 0167-6393 |
| | Dluhoš, O., Dvořák, R., Váňa, J., Drahanský, M.: Hand Surface as Biometric Identifier, In: Advanced Science and Technology Letters, roč. 8, č. 7, 2012, Sandy Bay, AU, s. 351-356, ISSN 2287-1233 |
| | Dolíhal, L., Hruška, T., Masařík, K.: Testing of an automatically generated compiler, Review of retargetable testing system, In: International Journal on Advances in Software, roč. 2012, č. 1, US, s. 15-26, ISSN 1942-2628 |
| | Drahanský, M., Doležel, M., Urbánek, J., Březinová, E., Kim, T., h.: Influence of Skin Diseases on Fingerprint Recognition, In: Journal of Biomedicine and Biotechnology, roč. 2012, č. 4, New York, US, s. 1-14, ISSN 1110-7243 |
| | Dubská, M., Havel, J., Herout, A., Jošth, R.: Real-Time Detection of Lines using Parallel Coordinates and CUDA, In: Journal of Real-Time Image Processing , roč. 2012, č. 12, DE, s. 1-12, ISSN 1861-8200 |
| | 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 |
| | Ďurfina, L., Kolář, D.: C Source Code Obfuscator, In: Kybernetika, roč. 48, č. 3, 2012, CZ, s. 8, ISSN 0023-5954 |
| | Dvořák, R., Zbořil, F., V.: On the usage of ELLAM to solve advection-diffusion equation describing the pollutant transport in planetary boundary layer, In: Acta Electrotechnica et Informatica, roč. 2012, č. 1, SK, s. 44-48, ISSN 1335-8243 |
| | 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 |
| | Fiedor, J., Vojnar, T.: ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, In: Lecture Notes in Computer Science, roč. 2012, č. 7687, DE, s. 35-41, ISSN 0302-9743 |
| | Habermehl, P., Holík, L., Rogalewicz, A., Šimáček, J., Vojnar, T.: Forest Automata for Verification of Heap Manipulation, In: Formal Methods in System Design, roč. 2012, č. 41, Berlin, DE, s. 83-106, ISSN 0925-9856 |
| | Hain, T., Burget, L., Dines, J., Garner, P., N., Grézl, F., El, H., A., Huijbregts, M., Karafiát, M., Lincoln, M., Wan, V.: Transcribing Meetings with the AMIDA System, In: IEEE Transactions on Audio, Speech, and Language Processing, roč. 20, č. 2, 2012, US, s. 486-498, ISSN 1558-7916 |
| | Herout, A., Hradiš, M., Zemčík, P.: EnMS: Early non-Maxima Suppression, In: Pattern Analysis and Applications, roč. 2012, č. 2, DE, s. 121-132, ISSN 1433-7541 |
| | Horáček, P., Meduna, A.: Synchronous Versions of Regulated Grammars: Generative Power and Linguistic Applications, In: Theoretical and Applied Informatics, roč. 24, č. 3, 2012, Varšava, PL, s. 175-190, ISSN 1896-5334 |
| | Hrubá, V., Křena, B., Letko, Z., Ur, S., Vojnar, T.: Testování vícevláknových aplikací pomocí genetických algoritmů, In: Lecture Notes in Computer Science, roč. 2012, č. 7515, DE, s. 152-167, ISSN 0302-9743 |
| | Chudý, P., Rzucidlo, P.: Analysis of Interactions between Pilot-Operator and Advanced Flight Control System, In: Solid State Phenomena, roč. 1, č. 2, 2012, Dürnten, CH, s. 101-108, ISSN 1662-9779 |
| | Iosif, R., Hojjat, H., Konečný, F., Kuncak, V., Rummer, P.: Accelerating Interpolants, In: Lecture Notes in Computer Science, roč. 2012, č. 7561, DE, s. 187-202, ISSN 0302-9743 |
| | Jaroš, J., Pospíchal, P.: A Fair Comparison of Modern CPUs and GPUs Running the Genetic Algorithm under the Knapsack Benchmark, In: Lecture Notes in Computer Science, roč. 2012, č. 7248, DE, s. 426-435, 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č. 7, č. 2, 2012, DE, s. 95-103, ISSN 1861-8200 |
| | Kočí, R., Janoušek, V.: Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study, In: CEUR Workshop Proceedings, roč. 851, č. 06, 2012, DE, s. 253-266, ISSN 1613-0073 |
| | Konečný, F., Hojjat, H., Iosif, R., Kuncak, V., Rummer, P., Garnier, F.: A Verification Toolkit for Numerical Transition Systems, In: Lecture Notes in Computer Science, roč. 2012, č. 7436, DE, s. 247-251, ISSN 0302-9743 |
| | Konečný, F., Iosif, R., Bozga, M.: Deciding Conditional Termination, In: Lecture Notes in Computer Science, roč. 2012, č. 7214, DE, s. 252-266, ISSN 0302-9743 |
| | Korček, P., Sekanina, L., Fučík, O.: Calibration of Traffic Simulation Models Using Vehicle Travel Times, In: Lecture Notes in Computer Science, roč. 2012, č. 7495, DE, s. 807-816, ISSN 0302-9743 |
| | 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 |
| | Křena, B., Letko, Z., Vojnar, T.: Noise Injection Heuristics for Concurrency Testing, In: Lecture Notes in Computer Science, roč. 2012, č. 7119, DE, s. 123-131, 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 |
| | Machalík, S., Juránek, R., Zemčík, P.: Research of Image Features for Classification of Wear Debris, In: Machine Graphics and Vision, roč. 21, č. 1, 2012, CZ, s. 1-15, ISSN 1230-0535 |
| | Malačka, O., Samek, J., Zbořil, F., Zbořil, F., V.: Decision Making and Recommendation Protocol Based on Trust for Multi-agent Systems, In: Lecture Notes in Computer Science, roč. 2012, č. 7138, DE, s. 280-291, ISBN 978-3-642-28508-0, ISSN 0302-9743 |
| | Malčík, D., Drahanský, M.: Anatomy of Biometric Passports, In: Advanced Science and Technology Letters, roč. 2012, č. 4, Sandy Bay, AU, s. 258-263, ISSN 2287-1233 |
| | Malčík, D., Drahanský, M.: Anatomy of Biometric Passports, In: Journal of Biomedicine and Biotechnology, roč. 2012, č. 1, New York, US, s. 1-8, ISSN 1110-7243 |
| | Malčík, D., Drahanský, M.: Microscopic Analysis of The Chips: Chips deprocessing, In: Advanced Science and Technology Letters, roč. 2012, č. 7, Sandy Bay, AU, s. 80-85, ISSN 2287-1233 |
| | Meduna, A., Zemek, P.: Controlled Pure Grammar Systems, In: Journal of Universal Computer Science, roč. 18, č. 14, 2012, AT, s. 2024-2040, ISSN 0948-6968 |
| | Meduna, A., Zemek, P.: Jumping Finite Automata, In: International Journal of Foundations of Computer Science, roč. 23, č. 7, 2012, SG, s. 1555-1578, ISSN 0129-0541 |
| | Meduna, A., Zemek, P.: Nonterminal Complexity of One-Sided Random Context Grammars, In: Acta Informatica, roč. 49, č. 2, 2012, DE, s. 55-68, ISSN 0001-5903 |
| | Meduna, A., Zemek, P.: One-Sided Forbidding Grammars and Selective Substitution Grammars, In: International Journal of Computer Mathematics, roč. 89, č. 5, 2012, GB, s. 586-596, ISSN 0020-7160 |
| | Navrátil, J., Kobrtek, J., Zemčík, P.: A Survey on Methods for Omnidirectional Shadow Rendering, In: Journal of WSCG, roč. 20, č. 2, 2012, Plzeň, CZ, s. 89-96, ISSN 1213-6972 |
| | Novosad, P., Češka, M.: Unfoldings of Bounded Hybrid Petri Nets, In: Lecture Notes in Computer Science, roč. 2012, č. 6927, DE, s. 543-550, ISSN 0302-9743 |
| | Očenášek, P., Hranáč, J.: Design of Authentication and Key Distribution Protocols with Routing Functionality, In: Journal of Information & Communication Technology, roč. 5, č. 1, 2012, Karachi, PK, s. 1-11, ISSN 1816-613X |
| | Očenášek, P., Míchal, L.: Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae, In: Applied Mechanics and Materials, roč. 2012, č. 157, Zurich, CH, s. 870-873, ISSN 1660-9336 |
| | Rozman, J.: Exploration and Traversable Area Marking for the VisualSLAM, In: Information Sciences and Technologies Bulletin of the ACM Slovakia, roč. 4, č. 1, 2012, Bratislava, SK, s. 10, ISSN 1338-1237 |
| | Salvador, R., Vidal, A., Moreno, F., Riesgo, T., Sekanina, L.: Accelerating FPGA-based evolution of wavelet transform filters by optimized task scheduling, In: Microprocessors and Microsystems, roč. 36, č. 5, 2012, Amsterdam, NL, s. 427-438, ISSN 0141-9331 |
| | Samek, J.: Multi-contextual Trust Model for Multi-Agent Systems, In: Information Sciences and Technologies Bulletin of the ACM Slovakia, roč. 4, č. 1, 2012, Bratislava, SK, s. 44-54, ISSN 1338-1237 |
| | Straka, M., Kaštil, J., Kotásek, Z., Mičulka, L.: Fault Tolerant System Design and SEU Injection Based Testing, In: Microprocessors and Microsystems, roč. 2013, č. 37, 2012, Amsterdam, NL, s. 155-173, ISSN 0141-9331 |
| | Strnadel, J., Rajnoha, P.: Reflecting RTOS Model During WCET Timing Analysis: MSP430/FreeRTOS Case Study, In: Acta Electrotechnica et Informatica, roč. 12, č. 4, 2012, SK, s. 17-29, ISSN 1335-8243 |
| | Strnadel, J.: Plánování úloh v systémech RT - III: přetížení systému, In: Automa, roč. 18, č. 12, 2012, CZ, s. 44-47, ISSN 1210-9592 |
| | Strnadel, J.: Plánování úloh v systémech RT - II: neperiodické úlohy, In: Automa, roč. 18, č. 11, 2012, CZ, s. 44-46, ISSN 1210-9592 |
| | Strnadel, J.: Plánování úloh v systémech RT - I: závislé úlohy, In: Automa, roč. 18, č. 10, 2012, CZ, s. 42-45, ISSN 1210-9592 |
| | Šátek, V., Kunovský, J., Kopřiva, J.: Advanced Stiff Systems Detection, In: Acta Electrotechnica et Informatica, roč. 11, č. 4, 2012, SK, s. 66-71, ISSN 1335-8243 |
| | Šátek, V.: Stiff Systems Analysis, In: Information Sciences and Technologies Bulletin of the ACM Slovakia, roč. 4, č. 3, 2012, Bratislava, SK, s. 1-11, ISSN 1338-1237 |
| | Šebek, M., Hlosta, M., Kupčík, J., Zendulka, J., Hruška, T.: Multi-level Sequence Mining Based on GSP, In: Acta Electrotechnica et Informatica, roč. 2012, č. 2, SK, s. 31-38, ISSN 1335-8243 |
| | Šikulová, M., Sekanina, L.: Acceleration of Evolutionary Image Filter Design Using Coevolution in Cartesian GP, In: Lecture Notes in Computer Science, roč. 2012, č. 7491, DE, s. 163-172, ISBN 978-3-642-32936-4, ISSN 0302-9743 |
| | Šimková, M., Lengál, O., Kajan, M.: HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware, In: Lecture Notes in Computer Science, roč. 2012, č. 7261, DE, s. 247-253, ISSN 0302-9743 |
| | Tejedor, J., Fapšo, M., Szőke, I., Černocký, J., Grézl, F.: Comparison of methods for language-dependent and language-independent query-by-example spoken term detection, In: ACM Transactions on Information Systems (TOIS), roč. 2012, č. 30, New York, US, s. 1-34, ISSN 1046-8188 |
| | Treeby, B., E., Jaroš, J., Rendell, A., P., Cox, B., T.: Modeling nonlinear ultrasound propagation in heterogeneous media with power law absorption using a k-space pseudospectral method, In: The Journal of the Acoustical Society of America, roč. 2012, č. 131, US, s. 4324-4336, ISSN 1520-8524 |
| | Veselý, V.: Rozšíření porovnávací studie o spojování PCAP souborů, In: ElectroScope, roč. 2012, č. 5, Plzeň, CZ, s. 1-6, ISSN 1802-4564 |
| | Zendulka, J., Pešek, M.: Mining Moving Object Data, In: Central European Journal of Computer Science, roč. 2, č. 3, 2012, DE, s. 183-193, ISSN 1896-1533 |
| | Zuzaňák, J., Zemčík, P.: Script Language for Image Processing, In: Computing and Informatics, roč. 2012, č. 31, Bratislava, SK, s. 1279-1293, ISSN 1335-9150 |
| | Žaloudek, L., Sekanina, L.: Cellular automata-based systems with fault-tolerance, In: Natural Computing, roč. 11, č. 4, 2012, Berlin, DE, s. 673-685, ISSN 1567-7818 |
| 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., Balitanas, M.: Cipher for Internet-based Supervisory Control and Data Acquisition Architecture, In: Journal of Security Engineering, roč. 8, č. 3, 2011, DaeGu, KR, s. 337-348, ISSN 1738-7531 |
| | 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., 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 |
| | Horáček, J., Zbořil, F.: Secured Agent Platform for Wireless Sensor Networks, In: Lecture Notes in Computer Science, roč. 2011, č. 4, DE, s. 476-485, ISBN 978-3-642-20038-0, ISSN 0302-9743 |
| | Hrubý, M.: Designing a New Raster Sub-System for GRASS-7, In: Geoinformatics FCE CTU, roč. 6, č. 1, 2011, CZ, s. 11-30, ISSN 1802-2669 |
| | Kačic, M., Hanáček, P.: WPA2: Útoky z vnútra siete, In: DSM Data Security Management, roč. 15, č. 4, 2011, CZ, s. 30-33, 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. 153-157, ISSN 2156-6992 |
| | Květoňová, Š., Telmoudi, A.: Extended BSC Model (eBSC) Based on Complex Analysis of Business Environment, In: Conference of the International Journal of Arts and Sciences, roč. 2011, č. 6, Cumberland, US, s. 1-4, ISSN 1943-6114 |
| | 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 |
| | Pristach, M., Husár, A., Fujcik, L., Masařík, K., Hruška, T.: Digital Signal Soft- Processor for Audio and Video Processing, In: ElectroScope, roč. 2011, č. 4, Plzeň, CZ, s. 1-5, ISSN 1802-4564 |
| | 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 |
| | Přikryl, Z.: Advanced Methods of Microprocessor Simulation, In: Information Sciences and Technologies Bulletin of the ACM Slovakia, roč. 3, č. 3, 2011, Bratislava, SK, s. 1-13, ISSN 1338-1237 |
| | Rozman, J., Zbořil, F., V.: Path planning and traversable area marking for stereo vision-based 3D map building, In: International Journal of Computational Vision and Robotics (IJCVR), roč. 2, č. 4, 2011, Bhubaneswar, IN, s. 277-289, ISSN 1752-914X |
| | 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. 1-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 |
|
Fakulta informačních technologií
![[dnssec]](/common/img/dnssec.png)