Publications

Drchal, J., Čertický, M., Jakob, M. 2016 Data Driven Validation Framework for Multi-agent Activity-based Models, detail

Černý, T., Donahoo, M.J. 2016 Survey on Concern Separation in Service Integration, detail

Čemus, K., Černý, T., Mátl, L., Donahoo, M.J. 2016 Aspect, Rich, and Anemic Domain Models in Enterprise Information Systems, detail

Faigl, J. 2016 On Self-Organizing Map and Rapidly-Exploring Random Graph in Multi-Goal Planning, detail

Pevný, T. 2016 Loda: Lightweight on-line detector of anomalies, detail

Šourek, G., Aschenbrenner, V., Železný, F., Kuželka, O. 2016 Lifted Relational Neural Networks, detail

Tožička, J., Jakubův, J., Komenda, A. 2016 From Public Plans to Global Solutions in Multiagent Planning, detail

Čertický, M., Jakob, M., Píbil, R. 2016 Simulation Testbed for Autonomic Demand-Responsive Mobility Systems, detail

Schaefer, M., Vokřínek, J., Pinotti, D., Tango, F. 2016 Multi-Agent Traffic Simulation for Development and Validation of Autonomic Car-to-Car Systems, detail

Plander, I., Štepanovský, M. 2016 Advanced three-dimensional MEMS photonic cross-connect switch for nonblocking all-optical networks, detail

Plander, I., Štepanovský, M. 2016 An interdisciplinary approach to the design of multiphysics mechatronic systems: The electrostatic actuator design case study, detail

Anděl, M. 2016 Towards Formal Interpretation of Linear Models Learnt from Genome-wide Data, detail

Anděl, M., Kléma, J. 2016 Predikce toxicity nanočástic, detail

Bošanský, B., Lisý, V., Lanctot, M., Čermák, J., Winands, M. H. M. 2016 Algorithms for computing strategies in two-player simultaneous move games, detail

Frajták, K., Bureš, M., Jelínek, I. 2016 Model–Based Testing and Exploratory Testing: Is Synergy Possible?, detail

Bureš, M., Filipský, M. 2016 SmartDriver: Extension of Selenium WebDriver to Create More Efficient Automated Tests, detail

Černý, T., Park, H.W., Joukov, N. 2016 Proceedings of the 6th International Conference on IT Convergence and Security (ICITCS 2016), detail

Brabec, Z., Černý, T., Šebek, J. 2016 On Metadata Extension to Derive Data Presentations with Angular 2, detail

Tomášek, M., Černý, T. 2016 Context-Aware User Interface Field Classification, detail

Čemus, K., Klimeš, F., Kratochvíl, O., Černý, T. 2016 Distributed Multi-platform Context-aware User Interface for Information Systems, detail

Helbich, J., Černý, T. 2016 Energy Impact of Web User Interface Technology on Mobile Devices, detail

Trnka, M., Černý, T. 2016 Identity Management of Devices in Internet of Things Environment, detail

Černý, T., Donahoo, M.J. 2016 Survey On Second Screen Systems, detail

Šebek, J., Černý, T. 2016 AOP-based Approach for Local Data Management in Adaptive Interfaces, detail

Ryšavý, F., Černý, T., Tomášek, M. 2016 Aspect-Oriented User Interfaces Design Integration to Angular 2 Framework, detail

Drchal, J., Čertický, M., Jakob, M. 2016 VALFRAM: Validation Framework for Activity-Based Models, detail

Faigl, J. 2016 An Application of Self-Organizing Map for Multirobot Multigoal Path Planning with Minmax Objective, detail

Tožička, J., Jakubův, J., Komenda, A., Pěchouček, M. 2016 Privacy-Concerned Multiagent Planning, detail

Kléma, J., Malinka, F., Železný, F. 2016 Semantic Biclustering: A New Way to Analyze and Interpret Gene Expression Data, detail

Pluskal, O., Kléma, J. 2016 Action Based Feature Extraction from User Logs, detail

Beličková, M., Merkerová, M., Votavová, H., Válka, J., Veselá, J., Pejsová, B., Hájková, H., Kléma, J., Čermák, J., Jonášová, A. 2016 Up-regulation of ribosomal genes is associated with a poor response to azacitidine in myelodysplasia and related neoplasms, detail

Gill, P.E., Kungurtsev, V., Robinson, D.P. 2016 A stabilized SQP Method: Global Convergence, detail

Vondrouš, O., Macejko, P., Hégr, T., Kocur, Z. 2016 Testing Methodology for Performance Evaluation of Communication Systems for Smart Grid, detail

Chlumecký, M. 2016 Simulation of Hydrological Processes by Optimization Algorithm using Continuous Function, detail

Bartík, M., Ubik, S., Kubalík, P. 2016 Nová a efektivní metoda pro zajištení platnosti dat ve vestavných pamětech FPGA se zaměřením na kompresi IP packetů v reálném čase, detail

Malinka, F. 2016 Proposal For a Finding Consensus Among Discriminative Motifs in the Task of mRNA Localization in Drosophila melanogaster, detail

Pluskal, O. 2016 Predicting Time of Purchase in Games with Microtransactions, detail

Malinka, F., Kléma, J., Železný, F. 2016 Sémantická dvojshluková analýza dat genové exprese, detail

Kopp, M., Pištora, M., Holeňa, M. 2016 How to Mimic Humans, Guide for Computers, detail

Pevný, T., Kopp, M., Křoustek, J, Ker, A.D 2016 Malicons: Detecting Payload in Favicons, detail

Tožička, J., Jakubův, J., Komenda, A. 2016 Recursive Reductions of Internal Dependencies in Multiagent Planning, detail

Štolba, M., Tožička, J., Komenda, A. 2016 Secure Multi-Agent Planning Algorithms, detail

Štolba, M., Tožička, J., Komenda, A. 2016 Secure Multi-Agent Planning, detail

Šebek, J., Richta, K. 2016 Usage of Aspect-Oriented Programming in Adaptive Application Structure, detail

Šebek, J. 2016 Utilization Aspect Oriented Approach and Local Data in the Development of Adaptive User Interface for Android, detail

Černý, T., Donahoo, M.J. 2016 On Energy Impact of Web User Interface Approaches, detail

Komenda, A., Štolba, M., Kovacs, D.L. 2016 The International Competition of Distributed and Multiagent Planners (CoDMAP), detail

Štepanovský, M., Plander, I. 2016 MEMS optical switch: Switching time reduction, detail

Malinský, R., Jelínek, I. 2016 The Evaluation of Node's Power in the Social Network Sphere, detail

Líbalová, H, Vrbová, K, Brzicová, T., Sikorová, J., Milcová, A., Vojtíšek, M., Beránek, V., Kléma, J., Neča, J., Cigánek, M., Machala, M., Pěnčíková, K., Topinka, J. 2016 Comparative analysis of the toxic responses of organic extracts from diesel/biodiesel engine emissions in human lung BEAS-2B cells, detail

Šebek, J., Černý, T. 2016 AOP-based Approach for Local Data Management in Adaptive Interfaces, detail

Líbalová, H., Rossner, P., Vrbová, K., Brzicová, T., Sikorová, J., Vojtisek-Lom, M., Beránek, V., Kléma, J., Cigánek, M., Neča, J., Pěnčíková, K., Machala, M., Topinka, J. 2016 Comparative Analysis of Toxic Responses of Organic Extracts from Diesel and Selected Alternative Fuels Engine Emissions in Human Lung BEAS-2B Cells, detail

Libalova, H., Rossner, P., Jr., Vrbova, K., Brzicova, T., Sikorova, J., Vojtíšek, M., Beránek, V., Kléma, J., Ciganek, M., Neca, J., Pencikova, K., Machala, M., Topinka, J. 2016 Comparative Analysis of Toxic Responses of Organic Extracts from Diesel and Selected Alternative Fuels Engine Emissions in Human Lung BEAS-2B Cells, detail

Carbajal-Degante, E., Nava Velazco, U., Olveres, J., Escalante-Ramírez, B., Kybic, J. 2016 Texel-based image classification with orthogonal bases, detail

Kiekintveld, C., Durkota, K., Durkota, K., Lisý, V., 2Pěchouček, M., Bošanský, B. 2016 Case Studies of Network Defense with Attack Graph Games, detail

Malinský, R., Jelínek, I. 2016 The Application of Modern Webometric Methods on the Evaluation of Trends in the Social Network Sphere, detail

Tožička, J., Komenda, A. 2016 Diverse Planning for UAV Control and Remote Sensing, detail

Ryšavý, P., Železný, F. 2016 Estimating Sequence Similarity from Read Sets for Clustering Sequencing Data, detail

Chlumecký, M. 2016 Simulation of Hydrological Processes by Optimization Algorithm using Continuous Function, detail

Vondrouš, O., Macejko, P., Kocur, Z. 2016 On Limits of Embedded Systems in Network Packet Processing, detail

Rollo, M., Meiser, T., Selecký, M., Předota, J., Trafina, T., Tůmová, Z. 2016 Senzorová platforma pro tvorbu 3D modelu laserovým dálkoměrěm pomocí bezpilotního prostředku, detail

Dolgikh, D., Jelínek, I. 2016 Graph-based Rating Prediction using Eigenvector Centrality, detail

Čech, Přemysl, Kohout, J., Lokoč, Jakub, Komárek, T., Maroušek, Jakub, Pevný, T. 2016 Feature Extraction and Malware Detection on Large HTTPS Data Using MapReduce, detail

Anděl, M., Strnad, P., Kléma, J. 2016 miXGENE: an Effective Public Tool for Integrative Analysis of High-throuhput Omics Data, detail

Bureš, M., Renda, Miroslav, Doležel, Michal, Grossl, Zdeněk, Komárek, M., Macek, O., Mlynář, Radoslav, Svoboda, Peter 2016 Efektivní testování softwaru, detail

Čemus, K., Černý, T. 2016 Business Documentation Derivation from Aspect-driven Enterprise Information Systems, detail

Čemus, K., Černý, T. 2016 Automated Extraction of Business Documentation in Enterprise Information Systems, detail

Fesl, J., Doležalová, Marie, Cehák, Jiří, Moos, M., Janeček, J., Šimek, P. 2016 Virtuální paralelní infrastruktury pro velká data v metabolomice, detail

Fesl, J., Cehák, Jiří, Doležalová, Marie, Janeček, J. 2016 CloudEVBench – Virtualization Technology Efficiency Testing Tool for the Distributed Infrastructures, detail

Fesl, J., Cehák, Jiří, Doležalová, Marie, Janeček, J. 2016 New Approach for Virtual Machines Consolidation In Heterogeneous Computing Systems, detail

Čemus, K. 2016 Context-aware Input Validation in Information Systems, detail

Fesl, J., Moos, Martin, Šimek, Petr 2016 Metabolite Mapper (M2): New Processing-miningplatform for High Resolution Mass Spectral Metabolomic "Big Data", detail

Horák, K., Bošanský, B. 2016 A Point-Based Approximate Algorithm for One-Side Partially Observable Pursuit-Evasion Games, detail

Čáp, M., Gregorie, J., Frazzoli, E. 2016 Provably safe and deadlock-free execution of multi-robot plans under delaying disturbances, detail

Paden, B, Čáp, M., Yong, S.Z., Yershov, D., Frazzoli, E. 2016 A Survey of Motion Planning and Control Techniques for Self-Driving Urban Vehicles, detail

Trnka, M., Černý, T. 2016 On security level usage in context-aware role-based access control, detail

Černý, T., Trnka, M., Donahoo, M.J. 2016 Towards Shared Security through Distributed Separation of Concerns, detail

García, S., Pěchouček, M. 2016 Detecting the Behavioral Relationships of Malware Connections, detail

García, S., Maria Jose Erquiaga, MJE, Carlos Catania, CC 2016 Detecting DGA Malware traffic through Behavioral Models, detail

García, S., Pablo Torres, PT, Carlos Catania, CC, Carlos Garcia Garino, CGG 2016 An analysis of Recurrent Neural Networks for Botnet detection behavior, detail

Čermák, J., Bošanský, B., Durkota, K., Lisý, V., Kiekintveld, C. 2016 Using Correlated Strategies for Computing Stackelberg Equilibria in Extensive-form Games, detail

Bureš, M. 2016 Oxygen - platform for automated generation of data consistency test cases, detail

Kafka, P., Faigl, J., Váňa, P. 2016 Random Inspection Tree Algorithm in Visual Inspection with a Realistic Sensing Model and Differential Constraints, detail

Stejskal, M., Mrva, J., Faigl, J. 2016 Road Following with Blind Crawling Robot, detail

Černý, L., Čížek, P., Faigl, J. 2016 On Evaluation of Motion Gaits Energy Efficiency with a Hexapod Crawling Robot, detail

Vonásek, V., Faigl, J. 2016 Evolution of multiple gaits for modular robots, detail

Čížek, P., Faigl, J. 2016 On Localization and Mapping with RGB-D Sensor and Hexapod Walking Robot in Rough Terrains, detail

Faigl, J., Pěnička, R., Best, G. 2016 Self-Organizing Map-based Solution for the Orienteering Problem with Neighborhoods, detail

Čížek, P., Faigl, J., Masri, D. 2016 Low-Latency Image Processing for Vision-Based Navigation Systems, detail

Bayer, J., Čížek, P., Faigl, J. 2016 On Construction of a Reliable Ground Truth for Evaluation of Visual SLAM Algorithms, detail

Fischer, T., Pire, T., Čížek, P., Cristóforis, P., Faigl, J. 2016 Stereo Vision-Based Localization for Hexapod Walking Robots Operating in Rough Terrains, detail

Milička, P., Čížek, P., Faigl, J. 2016 On Chaotic Oscillator-based Central Pattern Generator for Motion Control of Hexapod Walking Robot, detail

Váňa, P., Faigl, J. 2016 The Dubins Traveling Salesman Problem with Constrained Collecting Maneuvers, detail

Faigl, J., Váňa, P. 2016 Self-Organizing Map for the Curvature-Constrained Traveling Salesman Problem, detail

Best, G., Faigl, J., Fitch, R. 2016 Multi-Robot Path Planning for Budgeted Active Perception with Self-Organising Maps, detail

Faigl, J., Váňa, P. 2016 Self-Organizing Map for Data Collection Planning in Persistent Monitoring with Spatial Correlations, detail

Štolba, M., Fišer, D., Komenda, A. 2016 Potential Heuristics for Multi-Agent Planning, detail

Tožička, J., Jakubův, J., Svatoš, M., Komenda, A. 2016 Recursive Polynomial Reductions for Classical Planning, detail

Komenda, A., Shani, G. 2016 Proceedings of the 4th Workshop on Distributed and Multi-Agent Planning (DMAP-16), detail

Štolba, M., Tožička, J., Komenda, A. 2016 Quantifying Privacy Leakage in Multi-Agent Planning, detail

Štolba, M., Komenda, A., Kovacs, D.L. 2016 Competition of Distributed and Multiagent Planners (CoDMAP), detail

Štolba, M., Komenda, A. 2016 Computing Multi-Agent Heuristics Additively, detail

Gill, P.E., Kungurtsev, V., Robinson, D.P. 2016 A stabilized SQP Method: Superlinear Convergence, detail

Lisý, V., Davis, T, Bowling, M. 2016 Counterfactual Regret Minimization in Sequential Security Games, detail

Komárek, T., Grill, M., Pevný, T. 2016 Passive NAT Detection Using HTTP Access Logs, detail

Pevný, T., Somol, Petr 2016 Discriminative Models for Multi-instance Problems with Tree Structure, detail

Pevný, T., Ker, Andrew D., Bas, Patrick 2016 Rethinking Optimal Embedding, detail

Grill, M., Pevný, T. 2016 Learning Combination of Anomaly Detectors for Security Domain, detail

Durkota, K., Lisý, V., Kiekintveld, C., Bošanský, B., Pěchouček, M. 2016 Case Studies of Network Defense with Attack Graph Games, detail

Egan, M., Jakob, M. 2016 Market Mechanism Design for Profitable On-Demand Transport Services, detail

Boero, M., Garré, M., Fernandez, J., Persi, S., Quesada, D., Jakob, M. 2016 MyWay Personal Mobility: From Journey Planners to Mobility Resource Management, detail

Pevný, T., Cech, P., Kohout, J., Lokoc, J., Komárek, T., Marousek, J. 2016 Feature Extraction and Malware Detection on Large HTTPS Data Using MapReduce, detail

Jusko, J., Rehák, M., Stiborek, J., Kohout, J., Pevný, T. 2016 Using Behavioral Similarity for Botnet Command-and-Control Discovery, detail

Selecký, M., Rollo, M. 2016 Distributed Control of Heterogeneous Team of Autonomous UAVs, detail

Rollo, M. 2016 Distributed Control of Heterogeneous Team of Autonomous UAVs, detail

Bartoš, K., Sofka, M., Franc, V. 2016 Optimized Invariant Representation of Network Traffic for Detecting Unseen Malware Variants, detail

Such, J., Criado, N., Vercouter, L., Rehák, M. 2016 Intelligent Cybersecurity Agents [Guest editors' introduction], detail

Kocur, Z., Vodrážka, J., Vondrouš, O., Macejko, P. 2016 Studie hodnotící datovou komunikaci pilotního projektu, detail

Kléma, J., Anděl, M., Votava, O. 2016 Zefektivnění veřejného systému miXGENE pro integrativní analýzu molekulárních dat, detail

Durkota, K., Lisý, V., Horák, K., Kiekintveld, Ch., Bošanský, B., Pevný, T. 2016 Game-theoretic Analysis of Detecting Data Exfiltration, detail

Šebek, J., Černý, T., Richta, K. 2016 Adaptive Application Structure Design for Java EE Applications, detail

Drchal, J., Mrkos, J., Jakob, M. 2016 Data-driven Models for Taxi Matchmaking, detail

García, S. 2016 Cisco Security Projects Activity Report, detail

Vaněk, O., Kopřiva, Š., Hrstka, O., Pěchouček, M. 2016 ARETHUS - A Decision Support Platform for Reasoning About Security, detail

Vaněk, O., Kopřiva, Š., Ondráček, J., Hrstka, O., Pěchouček, M. 2016 Modeling Maritime Contraband Trafficking Activities with the Agent-Based Approach, detail

Kubr, J., Macek, O., Strnad, P. 2016 Analytický model perspektivy umístění vinařství s ohledem na probíhající klimatické změny, detail

Kungurtsev, V., Pevný, T. 2016 Algorithms for Solving Optimization Problems Arsing from Deep Neural Net Models: Smooth Problems, detail

Brown, C., Urban, J. 2016 Extracting Higher-Order Goals from the Mizar Mathematical Library, detail

Kaliszyk, C., Pak, K., Urban, J. 2016 Towards a Mizar Environment for Isabelle: Foundations and Language, detail

Blanchette, J., Greenaway, D., Kaliszyk, C., Kuhlwein, D., Urban, J. 2016 A Learning-Based Fact Selector for Isabelle/HOL, detail

Buk, Z. 2016 Defection detection in transactions logs, detail

Jakubův, J., Urban, J. 2016 Extending E Prover with Similarity Based Clause Selection Strategies, detail

Kopřiva, Š., Pěchouček, M. 2016 Next generation services XPlanning 3, detail

Kopřiva, Š., Pěchouček, M. 2016 Next generation services XPlanning 2, detail

Kopřiva, Š., Pěchouček, M. 2016 Next generation services XPlanning 1, detail

Bezpalec, P., Brabec, Z., Hampl, P., Holeček, J., Macejko, P., Šimák, B., Kozák, M. 2016 Služby smluvního výzkumu v oblasti analýzy operačních rizik, detail

Bezpalec, P., Brabec, Z., Hampl, P., Holeček, J., Macejko, P., Pravda, I., Šimák, B. 2016 Služby smluvního výzkumu v oblasti analýzy operačních rizik na telekomunikační infrastruktuře, detail

Železný, F. 2016 Master Key Systems Calculation for Assa Abloy Belgium (Litto), detail

Železný, F. 2016 CISCO Networks Data Analysis: Progress Report on Neural-Symbolic Learning Application, detail

Železný, F. 2016 CISCO Networks Data Analysis: Progress Report on Wrapping up the Event Construction Method, detail

Irving, G, Szegedy, C, Alemi, A, Een, N, Chollet, F, Urban, J. 2016 DeepMath - Deep Sequence Models for Premise Selection, detail

Harrison, J, Urban, J., Wiedijk, F 2016 Preface: Twenty Years of the QED Manifesto, detail

Blanchette, J., Kaliszyk, C., Paulson, L, Urban, J. 2016 Hammering towards QED, detail

Sutcliffe, G, Urban, J. 2016 The CADE-25 Automated Theorem Proving system competition - CASC-25, detail

Kopecký, L., Bittnar, P., Němeček, J., Asif ALi, AA, Pokorný, J., Haider, U., Bittnar, Z. 2016 Mechanical behaviour and durability of high volume fly ash cementitious composites, detail