| rank | rok | title | započítaní | ostatní | nakladatel | sborník |
|---|
| A* | 2017 | Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-Affine Dynamical Systems (DOI) | Beneš, Brim, Demko, Pastva, Šafránek | | Springer International Publishing | Computer Aided Verification. CAV 2017 |
| A* | 2017 | The Return of Coppersmith's Attack: Practical Factorization of Widely Used RSA Moduli (DOI) | Nemec, Sýs, Švenda, Klinec, Matyáš | | ACM | Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security |
| A* | 2017 | A Touch of Evil: High-Assurance Cryptographic Hardware from Untrusted Components (DOI) | Švenda, Klinec | Mavroudis, Cerulli, Cvrček, Danezis | ACM | CCS '17: Proceedings of the 24th ACM SIGSAC Conference on Computer and Communications Security |
| A* | 2016 | The Million-Key Question – Investigating the Origins of RSA Public Keys | Švenda, Nemec, Sekan, Kvašňovský, Komárek, Matyáš | Formánek | USENIX Association | Proceedings of 25th USENIX Security Symposium |
| A* | 2016 | Adaptive versus non-adaptive strategies in the quantum setting with applications (DOI) | Dupont | Fehr, Lamontagne, Salvail | Springer Berlin Heidelberg | Proceedings of CRYPTO 2016 |
| A* | 2016 | Linear Distances between Markov Chains (DOI) | Křetínský | Daca, Henzinger, Petrov | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik | 27th International Conference on Concurrency Theory, CONCUR 2016 |
| A* | 2016 | Limit-Deterministic Büchi Automata for Linear Temporal Logic (DOI) | Křetínský | Sickert, Esparza, Jaax | Springer | Computer Aided Verification - 28th International Conference, CAV 2016 |
| A* | 2016 | Stability in Graphs and Games (DOI) | Brázdil, Forejt, Kučera | Novotný | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik | 27th International Conference on Concurrency Theory, CONCUR 2016 |
| A* | 2016 | Regular Strategies and Strategy Improvement: Efficient Tools for Solving Large Patrolling Problems | Kučera, Lamser | | ACM | Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems |
| A* | 2016 | Inserting Multiple Edges into a Planar Graph (DOI) | Hliněný | Chimani | Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik | 32nd International Symposium on Computational Geometry (SoCG 2016) |
| A* | 2016 | Crossing Number is Hard for Kernelization (DOI) | Derňár, Hliněný | | Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik | 32nd International Symposium on Computational Geometry (SoCG 2016) |
| A* | 2016 | A New Perspective on FO Model Checking of Dense Graph Classes (DOI) | Gajarský, Hliněný, Obdržálek | Lokshtanov, Ramanujan | ACM | Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science LICS2016 |
| A* | 2016 | The Complexity Landscape of Decompositional Parameters for ILP | Ganian | Ordyniak | AAAI Press | Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence |
| A* | 2016 | Using Decomposition-Parameters for QBF: Mind the Prefix! | Ganian | Ordyniak, Eiben | AAAI Press | Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence |
| A* | 2016 | Polynomial-time Construction of Optimal MPI Derived Datatype Trees (DOI) | Ganian | Kalany, Szeider, Traff | IEEE | 2016 IEEE 30TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS 2016) |
| A* | 2016 | Off the Beaten Path: Let's Replace Term-Based Retrieval with k-NN Search (DOI) | Novák | Boytsov, Malkov, Nyberg | ASSOC COMPUTING MACHINERY | CIKM'16: PROCEEDINGS OF THE 2016 ACM CONFERENCE ON INFORMATION AND KNOWLEDGE MANAGEMENT |
| A* | 2015 | Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes (DOI) | Komárková, Křetínský | Chatterjee | IEEE | Thirtieth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
| A* | 2015 | Counterexample Explanation by Learning Small Strategies in Markov Decision Processes (DOI) | Brázdil, Křetínský | Chatterjee, Chmelík, Fellner | Springer | Computer Aided Verification: 27th International Conference, CAV 2015 |
| A* | 2015 | The Hanoi Omega-Automata Format (DOI) | Babiak, Blahoudek, Křetínský, Strejček | Duret-Lutz, Klein, Müller, Parker | Springer | Computer Aided Verification: 27th International Conference, CAV 2015 |
| A* | 2015 | Language Emptiness of Continuous-Time Parametric Timed Automata (DOI) | Beneš, Bezděk | Larsen, Srba | Springer Berlin Heidelberg | Automata, Languages, and Programming |
| A* | 2015 | Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks (DOI) | Češka, Brim | Abate, Kwiatkowska | Springer International Publishing | 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings |
| A* | 2015 | FO Model Checking on Posets of Bounded Width (DOI) | Gajarský, Hliněný, Obdržálek, Ordyniak | Ramanujan, Lokshtanov, Saurabh | IEEE Computer Society | 56th Annual Symposium on Foundations of Computer Science, FOCS 2015 |
| A* | 2015 | On Frequency LTL in Probabilistic Systems (DOI) | Forejt | Krčál | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik | CONCUR 2015 |
| A* | 2015 | Long-Run Average Behaviour of Probabilistic Vector Addition Systems (DOI) | Brázdil, Kučera, Novotný | Kiefer | IEEE | 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015. |
| A* | 2015 | Polynomial Time Decidability of Weighted Synchronization under Partial Observability (DOI) | Křetínský, Srba | Larsen, Laursen | Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik | 26th International Conference on Concurrency Theory (CONCUR 2015) |
| A* | 2015 | Variable-Deletion Backdoors to Planning | Ordyniak | Kronegger, Pfandler | AI Access Foundation | Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence |
| A* | 2014 | From LTL to Deterministic Automata: A Safraless Compositional Approach (DOI) | Křetínský | Esparza | Springer | Computer Aided Verification - 26th International Conference, CAV 2014 |
| A* | 2014 | Probabilistic Bisimulation: Naturally on Distributions (DOI) | Křetínský | Hermanns, Krčál | Springer | CONCUR 2014 - Concurrency Theory - 25th International Conference |
| A* | 2014 | Minimizing Running Costs in Consumption Systems (DOI) | Brázdil, Klaška, Kučera, Novotný | | Springer International Publishing | Computer Aided Verification |
| A* | 2014 | Zero-reachability in probabilistic multi-counter automata (DOI) | Brázdil, Kučera, Novotný | Kiefer, Katoen | ACM | Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
| A* | 2014 | Backdoors into Heterogeneous Classes of SAT and CSP | Ordyniak | Gaspers, Szeider, Misra, Zivny | AAAI Press | AAAI Press |
| A* | 2014 | Backdoors to Planning | Ordyniak | Kronegger, Pfandler | AAAI Press | AAAI Press |
| A* | 2014 | Synchronizing Strategies under Partial Observability (DOI) | Srba | Larsen, Laursen | Springer-Verlag | Proceedings of the 25th International Conference on Concurrency Theory (CONCUR'14) |
| A* | 2013 | Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis (DOI) | Křetínský | Chatterjee, Gaiser | Springer | Computer Aided Verification - 25th International Conference, CAV 2013 |
| A* | 2013 | Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory (DOI) | Beneš, Křetínský | Delahaye, Fahrenberg, Legay | Springer | CONCUR 2013 - Concurrency Theory - 24th International Conference |
| A* | 2013 | Compositional Verification and Optimization of Interactive Markov Chains (DOI) | Krčál, Křetínský | Hermanns | Springer | CONCUR 2013 - Concurrency Theory - 24th International Conference |
| A* | 2013 | Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking (DOI) | Brim, Češka, Dražan, Šafránek | | Springer Berlin Heidelberg | 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings |
| A* | 2013 | FO Model Checking of Interval Graphs (DOI) | Hliněný, Obdržálek | Ganian, Kráľ, Schwartz, Teska | Springer | ICALP (2) 2013 |
| A* | 2013 | DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs (DOI) | Barnat, Brim, Havel, Havlíček, Ročkai, Štill, Weiser | Kriho, Lenčo | Springer | Computer Aided Verification 2013 |
| A* | 2013 | Trading Performance for Stability in Markov Decision Processes (DOI) | Brázdil, Forejt, Kučera | Chatterjee | IEEE Computer Society | Proceedings of 28th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013) |
| A | 2017 | Model-Based Generation of Synthetic 3D Time-Lapse Sequences of Motile Cells with Growing Filopodia (DOI) | Sorokin, Peterlík, Ulman, Svoboda, Maška | | IEEE | 14th IEEE International Symposium on Biomedical Imaging |
| A | 2017 | Seminator: A Tool for Semi-Determinization of Omega-Automata (DOI) | Blahoudek, Klokočka, Křetínský, Strejček | Duret-Lutz | EPiC Series in Computing | Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2017) |
| A | 2017 | Fast Subsequence Matching in Motion Capture Data (DOI) | Sedmidubský, Zezula | Švec | Springer | 21st European Conference on Advances in Databases and Information Systems |
| A | 2017 | Fast reconstruction of image deformation field using radial basis function (DOI) | Ručka | Peterlík | IEEE | 2017 IEEE 14th International Symposium on Biomedical Imaging (ISBI) |
| A | 2017 | Quality Evaluation of PaaS Cloud Application Design Using Generated Prototypes (DOI) | Gešvindr, Bühnová, Gasior | | IEEE | 2017 IEEE International Conference on Software Architecture (ICSA) |
| A | 2017 | Towards High Similarity Search Throughput by Dynamic Query Reordering and Parallel Processing (DOI) | Nálepa, Batko, Zezula | | Springer International Publishing | Advances in Databases and Information Systems : 21st European Conference, ADBIS 2017, Nicosia, Cyprus, September 24-27, 2017, Proceedings |
| A | 2017 | Measuring Popularity of Cryptographic Libraries in Internet-Wide Scans (DOI) | Nemec, Klinec, Švenda, Sekan, Matyáš | | ACM | Proceedings of the 33rd Annual Computer Security Applications Conference |
| A | 2017 | Image-driven Stochastic Identification of Boundary Conditions for Predictive Simulation (DOI) | Ručka | Peterlík, Haouchine, Cotin | Springer | Medical Image Computing and Computer-Assisted Intervention − MICCAI 2017: 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part II |
| A | 2017 | Synthesis of Optimal Resilient Control Strategies (DOI) | Korenčiak, Kučera, Řehák | Baier, Dubslaff | Springer International Publishing | Automated Technology for Verification and Analysis |
| A | 2017 | Parameterized Shifted Combinatorial Optimization (DOI) | Gajarský, Hliněný | Koutecký, Onn | Springer International Publishing AG | International Computing and Combinatorics Conference COCOON 2017 (LNCS, volume 10392) |
| A | 2017 | On Simplification of Formulas with Unconstrained Variables and Quantifiers (DOI) | Jonáš, Strejček | | Springer | Theory and Applications of Satisfiability Testing – SAT 2017 |
| A | 2017 | Model Checking of C and C++ with DIVINE 4 (DOI) | Barnat, Lauko, Ročkai, Štill | Baranová, Kejstová, Kučera, Mrázek | Springer International Publishing | Automated Technology for Verification and Analysis |
| A | 2017 | Rapid automatic vehicle manufacturer recognition using Random forest (DOI) | Sedlák, Popelínský | | ACM | Proceedings of the 21st International Database Engineering Applications Symposium, IDEAS |
| A | 2017 | Exchanging Security Events: Which And How Many Alerts Can We Aggregate? (DOI) | Husák, Čermák, Laštovička, Vykopal | | IEEE | 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM) |
| A | 2017 | A Graph-based Representation of Relations in Network Security Alert Sharing Platforms (DOI) | Husák, Čermák | | IEEE | 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM) |
| A | 2017 | Honeypot Testbed for Network Defence Strategy Evaluation (DOI) | Medková, Husák, Vizváry, Čeleda | | IEEE | 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM) |
| A | 2017 | Network Defence Strategy Evaluation: Simulation vs. Live Network (DOI) | Medková, Husák | Drašar | IEEE | 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM) |
| A | 2016 | Texture Analysis of 3D Fluorescence Microscopy Images Using RSurf 3D Features (DOI) | Stoklasa, Majtner | | IEEE Computer Society | International Symposium on Biomedical Imaging (ISBI'16) |
| A | 2016 | Optimizing Query Performance with Inverted Cache in Metric Spaces (DOI) | Antol, Dohnal | | Springer | Advances in Databases and Information Systems, 20th East European Conference, ADBIS 2016 |
| A | 2016 | Vascular Network Formation in Silico Using the Extended Cellular Potts Model (DOI) | Svoboda, Ulman, Kováč, Šalingová, Tesařová, Krontorád, Matula | | IEEE Signal Processing Society | 2016 IEEE International Conference on Image Processing |
| A | 2016 | Learning Robust Features for Gait Recognition by Maximum Margin Criterion (DOI) | Balážia, Sojka | | IEEE | Proceedings of the 23rd IEEE/IAPR International Conference on Pattern Recognition (ICPR 2016) |
| A | 2016 | Local Load Optimization in Smart Grids with Bayesian Networks (DOI) | Chren, Bühnová | | IEEE | The 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2016) |
| A | 2016 | Anomaly Detection in Smart Grid Data: An Experience Report (DOI) | Rossi, Chren, Bühnová, Pitner | | IEEE | The 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2016) |
| A | 2016 | On verifying C++ programs with probabilities (DOI) | Barnat, Černá, Ročkai, Štill | Zákopčanová | ACM New York, NY, USA | Proceedings of the 31st Annual ACM Symposium on Applied Computing |
| A | 2016 | Complementing Semi-deterministic Büchi Automata (DOI) | Blahoudek, Strejček | Heizmann, Schewe, Tsai | Springer Berlin Heidelberg | Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016 |
| A | 2016 | Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC (DOI) | Korenčiak, Řehák, Farmadin | | Springer International Publishing | Integrated Formal Methods |
| A | 2016 | Architectural Tactics for the Design of Efficient PaaS Cloud Applications (DOI) | Gešvindr, Bühnová | | IEEE | 2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA) |
| A | 2016 | Automatic Detection of Laser-Induced Structures in Live Cell Fluorescent Microscopy Images Using Snakes with Geometric Constraints (DOI) | Sorokin | Kondrat'ev | IEEE | IEEE 23rd International Conference on Pattern Recognition (ICPR) |
| A | 2016 | Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems (DOI) | Beneš, Brim, Demko, Pastva, Šafránek | | Springer International Publishing | Automated Technology for Verification and Analysis. ATVA 2016 |
| A | 2016 | Enhancing Similarity Search Throughput by Dynamic Query Reordering (DOI) | Nálepa, Batko, Zezula | | Springer International Publishing | Database and Expert Systems Applications: 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part II |
| A | 2016 | Walker-Independent Features for Gait Recognition from Motion Capture Data (DOI) | Balážia, Sojka | | Springer International Publishing AG | Proceedings of the joint IAPR International Workshops on Structural and Syntactic Pattern Recognition (SSPR 2016) and Statistical Techniques in Pattern Recognition (SPR 2016) |
| A | 2016 | PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems (DOI) | Pilař, Brim | Češka, Paoletti, Kwiatkowska | Springer International Publishing | 22nd International Conference, TACAS 2016 |
| A | 2016 | Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams (DOI) | Jonáš, Strejček | | Springer | Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference |
| A | 2016 | Tighter Loop Bound Analysis (DOI) | Strejček | Čadek, Trtík | Springer | Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016 |
| A | 2016 | DGRMiner: Anomaly Detection and Explanation in Dynamic Graphs (DOI) | Vaculík, Popelínský | | Springer | Advances in Intelligent Data Analysis XV - 15th International Symposium, IDA 2016 |
| A | 2016 | Tunable Online MUS/MSS Enumeration (DOI) | Beneš, Černá, Barnat | Bendík | Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik | Foundations of Software Technology and Theoretical Computer Science - 36th International Conference, FSTTCS 2016 |
| A | 2016 | A Model Checking Approach to Discrete Bifurcation Analysis (DOI) | Beneš, Brim, Demko, Pastva, Šafránek | | Springer International Publishing | Formal Methods. FM 2016 |
| A | 2016 | Guided Optimization Method for Fast and Accurate Atomic Charges Computation | Pazúriková, Křenek, Matyska | | EUROSIS - ETI | Proceedings of the 2016 European Simulation and Modelling Conference |
| A | 2016 | Faster Statistical Model Checking for Unbounded Temporal Properties (DOI) | Křetínský | Daca, Henzinger, Petrov | Springer | Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016 |
| A | 2016 | MoChiBA: Probabilistic {LTL} Model Checking Using Limit-Deterministic Büchi Automata (DOI) | Křetínský | Sickert | Springer | Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016 |
| A | 2016 | Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration (DOI) | Korenčiak, Kučera, Řehák | | IEEE Computer Society | 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems |
| A | 2016 | Optimizing the Expected Mean Payoff in Energy Markov Decision Processes (DOI) | Brázdil, Kučera | Novotný | Springer | Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016 |
| A | 2016 | On a Fragment of AMSO and Tiling Systems (DOI) | Blumensath | Colcombet, Parys | Schloss Dagstuhl - Leibniz-Zentrum für Informatik | 33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016, February 17-20, 2016, Orleans, France |
| A | 2016 | The Crossing Number of the Cone of a Graph (DOI) | Derňár | Alfaro, Arroyo, Mohar | Springer Verlag | Graph Drawing and Network Visualization - 24th International Symposium, GD 2016 |
| A | 2016 | Backdoors to Tractable Valued CSP (DOI) | Ganian | Ramanujan, Szeider | SPRINGER INT PUBLISHING AG | PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016 |
| A | 2016 | Counting Linear Extensions: Parameterizations by Treewidth (DOI) | Ganian | Ordyniak, Eiben, Kustaa | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik | 24th Annual European Symposium on Algorithms, {ESA} 2016, August 22-24, 2016, Aarhus, Denmark |
| A | 2016 | A Single-Exponential Fixed-Parameter Algorithm for Distance-Hereditary Vertex Deletion (DOI) | Ganian | Eiben, Kwon | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik | 41st International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2016, August 22-26, 2016 - Krak{\'{o}}w, Poland |
| A | 2016 | On the Complexity Landscape of Connected f-Factor Problems (DOI) | Ganian | Narayanaswamy, Ordyniak, Rahul, Ramanujan | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik | 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26 |
| A | 2016 | On Existential MSO and its Relation to ETH (DOI) | Ganian | de, Szeider, Kanj | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik | 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26 |
| A | 2016 | Similarity searching for Database Applications (DOI) | Zezula | | Springer | Advances in Databases and Information Systems |
| A | 2016 | Online and Compositional Learning of Controllers with Application to Floor Heating (DOI) | Srba | Larsen, Mikucionis, Muniz, Taankvist | Springer | Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16) |
| A | 2016 | Battery-Aware Scheduling in Low Orbit: The GomX–3 Case (DOI) | Krčál | Bisgaard, Gerhardt, Hermanns, Nies, Stenger | Springer International Publishing. | FM 2016: Formal Methods: 21st International Symposium |
| A | 2016 | Teacher-oriented Fairness in Course Timetabling | Rudová | Burget | PATAT | Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT-2016) |
| A | 2016 | Online Problems in Timetabling: Bus Priority at Signalised Junctions | Rudová | Cogill, Mareček, Mevissen | PATAT | Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT-2016) |
| A | 2016 | Is Mutation Testing Ready to Be Adopted Industry-Wide? (DOI) | Rossi | Možucha | Springer International Publishing | Product-Focused Software Process Improvement (PROFES) |
| A | 2016 | Distributed synthesis in continuous time. (DOI) | Krčál | Hermanns, Vester | Springer | International Conference on Foundations of Software Science and Computation Structures. |
| A | 2016 | Decidability Results for Multi-objective Stochastic Games (DOI) | Forejt | Brenguier | Springer | International Symposium on Automated Technology for Verification and Analysis |
| A | 2016 | Edge-Editing to a Dense and a Sparse Graph Class (DOI) | Kotrbčík | Královič, Ordyniak | Springer | LATIN 2016: Latin American Symposium on Theoretical Informatics |
| A | 2016 | Network Traffic Characterisation Using Flow-Based Statistics (DOI) | Velan, Medková, Jirsík, Čeleda | | IEEE Xplore Digital Library | IEEE/IFIP Network Operations and Management Symposium 2016 (NOMS 2016) |
| A | 2016 | Accelerated RMSD Calculation for Molecular Metadynamics | Filipovič, Pazúriková, Křenek | Spiwok | EUROSIS - ETI | Proceedings of the 2016 European Simulation and Modelling Conference |
| A | 2015 | On Proper Simulation of Chromatin Structure in Static Images As Well As in Time-Lapse Sequences in Fluorescence Microscopy (DOI) | Svoboda, Ulman, Peterlík | | Engineering in Medicine and Biology Society | Proceedings of 2015 IEEE International Symposium on Biomedical Imaging |
| A | 2015 | Automated Cell Segmentation in Phase-Contrast Images based on Classification and Region Growing (DOI) | Stoklasa, Bálek, Matula | Krejčí | Engineering in Medicine and Biology Society | Proceedings of 2015 IEEE International Symposium on Biomedical Imaging, 2015. |
| A | 2015 | Quantification of the 3D Collagen Network Geometry in Confocal Reflection Microscopy (DOI) | Maška, Kozubek | Ederra, Fernández-Marqués, Muñoz-Barrutia, Ortiz-de-Solórzano | IEEE | 22nd IEEE International Conference on Image Processing |
| A | 2015 | Are Collaborative Filtering Methods Suitable for Student Performance Prediction? (DOI) | Bydžovská | | Springer International Publishing | Progress in Artificial Intelligence - 17th Portuguese Conference on Artificial Inteligence - EPIA 2015 |
| A | 2015 | Impact of Adaptive Educational System Behaviour on Student Motivation (DOI) | Papoušek, Pelánek | | Springer International Publishing | Artificial Intelligence in Education |
| A | 2015 | On Degree Properties of Crossing-critical Families of Graphs (DOI) | Derňár, Hliněný | Bokal, Bračič | Springer Verlag | Graph Drawing and Network Visualization 2015, Lecture Notes in Computer Science 9411 |
| A | 2015 | Model for Performance Analysis of Distributed Stream Processing Applications (DOI) | Nálepa, Batko, Zezula | | Springer International Publishing | Database and Expert Systems Applications |
| A | 2015 | Towards Interactive Visualization of Time Series Data to Support Knowledge Discovery (DOI) | Géryk | | Springer International Publishing | Progress in Artificial Intelligence - 17th Portuguese Conference on Artificial Inteligence - EPIA 2015 |
| A | 2015 | Parameterized Algorithms for Parity Games (DOI) | Gajarský | Ordyniak, Lampis, Mitsou, Makino | Springer | MFCS 2015, LNCS 9235 |
| A | 2015 | Grid Mind: Prolog-Based Simulation Environment for Future Energy Grids | Rosecký, Bühnová | Procházka | CEUR-WS | Proceedings of the 31st International Conference on Logic Programming (Technical Communications) |
| A | 2015 | Class-Based Outlier Detection: Staying Zombies or Awaiting for Resurrection? (DOI) | Nezvalová, Popelínský, Vaculík | Torgo | Springer | Advances in Intelligent Data Analysis XIV - 14th International Symposium, IDA 2015 |
| A | 2015 | Controller Synthesis for MDPs and Frequency LTL\GU (DOI) | Forejt, Křetínský | Krčál | Springer | LPAR 2015 |
| A | 2015 | Scalable Analysis of Fault Trees with Dynamic Features (DOI) | Krčál | Krčál | IEEE | DSN 2015 |
| A | 2015 | Optimal Continuous Time Markov Decisions (DOI) | Krčál | Butkova, Hatefi, Hermanns | Springer | ATVA 2015 |
| A | 2015 | On Hardness of the Joint Crossing Number (DOI) | Hliněný | Salazar | Springer Verlag | International Symposium on Algorithms and Computation (ISAAC 2015), Lecture Notes in Computer Science 9472 |
| A | 2015 | Cobra: A Tool for Solving General Deductive Games (DOI) | Klimoš, Kučera | | Springer | Proceedings of 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2015) |
| A | 2015 | On the Existence and Computability of Long-Run Average Properties in Probabilistic VASS (DOI) | Kučera | | Springer | Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings. |
| A | 2015 | MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives (DOI) | Brázdil, Kučera | Krishnendu, Forejt | Springer | Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings. |
| A | 2015 | Neutron-Gamma Classification by Evolutionary Fuzzy Rules and Support Vector Machines (DOI) | Matěj, Přenosil | Kromer, Musílek, Cvachovec | IEEE | 2015 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2015): BIG DATA ANALYTICS FOR HUMAN-CENTRIC SYSTEMS |
| A | 2014 | NON-RIGID CONTOUR-BASED TEMPORAL REGISTRATION OF 2D CELL NUCLEI IMAGES USING THE NAVIER EQUATION (DOI) | Sorokin, Matula | Tektonidis, Rohr | IEEE | IEEE International Symposium on Biomedical Imaging: Nano to Macro |
| A | 2014 | RSurf - the Efficient Texture-Based Descriptor for Fluorescence Microscopy Images of HEp-2 Cells (DOI) | Majtner, Stoklasa, Svoboda | | IEEE Computer Society | 22nd International Conference on Pattern Recognition |
| A | 2014 | On Proper Simulation of Phenomena Influencing Image Formation in Fluorescence Microscopy (DOI) | Svoboda, Ulman, Matyska, Maška, Stejskal | Bella | IEEE Signal Processing Society | 2014 IEEE International Conference on Image Processing |
| A | 2014 | Semantically Consistent Human Motion Segmentation (DOI) | Balážia, Sedmidubský, Zezula | | Springer | Proceedings of 25th International Conference on Database and Expert Systems Applications (DEXA 2014) |
| A | 2014 | On Interactions Among Scheduling Policies: Finding Efficient Queue Setup Using High-Resolution Simulations (DOI) | Klusáček, Tóth | | Springer | Euro-Par 2014 |
| A | 2014 | Verification of Markov Decision Processes using Learning Algorithms (DOI) | Brázdil, Křetínský | Chatterjee, Chmelík, Forejt, Kwiatkowska, Parker, Ujma | Springer | Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014 |
| A | 2014 | Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata (DOI) | Komárková, Křetínský | | Springer | Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014 |
| A | 2014 | Rank Aggregation of Candidate Sets for Efficient Similarity Search (DOI) | Novák, Zezula | | Springer International Publishing Switzerland | 25th International Conference on Database and Expert Systems Applications (DEXA 2014 ) |
| A | 2014 | Media Streams Planning with Uncertain Link Capacities (DOI) | Troubil, Rudová, Holub | | IEEE | IEEE 13th International Symposium on Network Computing and Applications NCA 2014 |
| A | 2014 | Faster Existential FO Model Checking on Posets (DOI) | Gajarský, Hliněný, Obdržálek, Ordyniak | | Springer International Publishing | ISAAC 2014, LNCS 8889 |
| A | 2014 | Symbolic Memory with Pointers (DOI) | Trtík, Strejček | | Springer | Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014 |
| A | 2014 | Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs (DOI) | Forejt | Kroening, Narayanaswamy, Sharma | Springer | FM 2014: Formal Methods |
| A | 2014 | Permissive Controller Synthesis for Probabilistic Systems. (DOI) | Forejt | Draeger, Kwiatkowska, Parker, Ujma | Springer Berlin Heidelberg | Tools and Algorithms for the Construction and Analysis of Systems |
| A | 2014 | Algorithmic and Hardness Results for the Colorful Components Problems (DOI) | Popa | Adamaszek | Springer | 11th Latin American Theoretical Informatics Symposium, LATIN 2014 |
| A | 2013 | Towards Effective Social Network System Implementation (DOI) | Škrabálek, Kunc, Nguyen, Pitner | | Springer | New Trends in Databases and Information Systems |
| A | 2013 | Automatic Quantification of Filopodia-Based Cell Migration (DOI) | Maška | Morales, Muñoz-Barrutia, Rouzaut, Ortiz-de-Solórzano | IEEE | 10th IEEE International Symposium on Biomedical Imaging |
| A | 2013 | PRISM-games: A model checker for stochastic multi-player games (DOI) | Forejt | Chen, Kwiatkowska, Parker, Simaitis | Springer | TACAS 2013 |
| A | 2013 | Compact Symbolic Execution (DOI) | Slabý, Strejček, Trtík | | Springer | 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013 |
| A | 2013 | Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment (DOI) | Blahoudek, Babiak, Křetínský, Strejček | | Springer | 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013 |
| A | 2013 | Media Streams Planning with Transcoding (DOI) | Troubil, Rudová, Holub | | IEEE | 12th IEEE International Symposium on Network Computing and Applications (NCA 2013) |
| A | 2013 | Optimal Control of MDPs with Temporal Logic Constraints (DOI) | Svoreňová, Černá | Belta | Omnipress for the IEEE Control Systems Society | Proceedings of The 52nd IEEE Conference on Decision and Control |
| A | 2013 | Kernelization Using Structural Parameters on Sparse Graph Classes (DOI) | Gajarský, Hliněný, Obdržálek, Ordyniak | Reidl, Rossmanith, Villaamil, Sikdar | Springer | ESA 2013 |
| A | 2013 | Solvency Markov Decision Processes with Interest (DOI) | Brázdil, Forejt, Novotný | Chen, Simaitis | IBFI Schloss Dagstuhl | IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013) |
| A | 2013 | Deconvolution of huge 3-D images: Parallelization strategies on a multi-GPU system (DOI) | Karas, Kuderjavý, Svoboda | | Springer International Publishing | Algorithms and Architectures for Parallel Processing |
| A | 2013 | Content-based annotation and classification framework: a general multi-purpose approach (DOI) | Batko, Botorek, Budíková, Zezula | | ACM | Proceedings of the 17th International Database Engineering & Applications Symposium |
| A | 2013 | Comparison of LTL to Deterministic Rabin Automata Translators (DOI) | Blahoudek, Křetínský, Strejček | | Springer | Logic for Programming Artificial Intelligence and Reasoning, LPAR-19 |
| A | 2013 | Multi-level Clustering on Metric Spaces Using a Multi-GPU Platform (DOI) | Zezula | Barrientos, Gomez, Tenllado, Prieto-Matias | Springer | Euro-Par 2013 Parallel Processing - 19th International Conference |
| A | 2013 | Incremental Sampling-Based Algorithm for Minimum-Violation Motion Planning (DOI) | Tůmová | Reyes, Chaudhari, Karaman, Frazzoli, Rus | IEEE | Proceedings of the IEEE 52nd Annual Conference on Decision and Control (CDC), 2013 |
| A | 2013 | Backdoors to q-Horn (DOI) | Ordyniak | Ramanujan, Szeider, Gaspers, Saurabh | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik | LIPIcs |
| A | 2013 | Upper and Lower Bounds for Weak Backdoor Set Detection (DOI) | Ordyniak | Neeldhara, Raman, Szeider | Springer | Lecture Notes in Computer Science |
| A | 2013 | Parameterized Complexity and Kernel Bounds for Hard Planning Problems (DOI) | Ordyniak | Backstroem, Jonsson, Szeider | Springer | Lecture Notes in Computer Science |
| A | 2013 | On Stochastic Games with Multiple Objectives (DOI) | Forejt | Chen, Kwiatkowska, Simaitis, Wiltsche | Springer | Proc. 38th International Symposium on Mathematical Foundations of Computer Science (MFCS'13) |
| A | 2013 | Multi-objective Discounted Reward Verification in Graphs and MDPs (DOI) | Forejt | Chatterjee, Wojtczak | Springer | Logic for Programming, Artificial Intelligence, and Reasoning |
| B | 2017 | Guildlines of Data Quality Issues for Data Integration in the Context of the TPC-DI Benchmark (DOI) | Ge | Yang, Helfert | SciTePress | Proceedings of the 19th International Conference on Enterprise Information Systems |
| B | 2017 | AnthroVis: Visual Analysis of 3D Mesh Ensembles for Forensic Anthropology | Furmanová, Kozlíková | Urbanová | Brno University of Technology | Proceedings of the 33rd Spring Conference on Computer Graphics |
| B | 2017 | IT-enabled Digital Service Design Principles - Lessons Learned from Digital Cities (DOI) | Štěpánek, Ge, Walletzký | | Springer | Proceedings of the 14th European Mediterranean & Middle Eastern Conference on Information Systems |
| B | 2017 | Document-Oriented Middleware: The Way to High-Quality Software (DOI) | Král, Pitner | Žemlička | Springer, Cham | International Conference on Computational Science and Its Applications |
| B | 2017 | Reconsidering Attacker Models in Ad-Hoc Networks | Ošťádal, Švenda, Matyáš | | Springer International Publishing AG | Security Protocols XXIV - 24th International Workshop |
| B | 2017 | Measuring Similarity of Educational Items Using Data on Learners’ Performance | Řihák, Pelánek | | International Educational Data Mining Society | Proceedings of the 10th International Conference on Educational Data Mining |
| B | 2017 | Detecting Attractors in Biological Models with Uncertain Parameters (DOI) | Brim, Barnat, Šafránek, Beneš, Demko, Pastva, Hajnal | | Springer International Publishing | Computational Methods in Systems Biology. CMSB 2017 |
| B | 2017 | The Impact of Diverse Preprocessing Pipelines on Brain Functional Connectivity (DOI) | Výtvarová, Fousek, Bartoň, Mareček, Gajdoš, Lamoš, Nováková, Slavíček, Peterlík, Mikl | | IEEE | 25th European Signal Processing Conference (EUSIPCO), Kos, Greece. |
| B | 2017 | Coincer: Decentralised Trustless Platform for Exchanging Decentralised Cryptocurrencies (DOI) | Zima | | Springer International Publishing | Network and System Security: 11th International Conference, NSS 2017, Helsinki, Finland, August 21--23, 2017, Proceedings |
| B | 2017 | Experimental Analysis of Mastery Learning Criteria (DOI) | Pelánek, Řihák | | ACM | Proceedings of the 25th Conference on User Modeling, Adaptation and Personalization |
| B | 2017 | Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms (DOI) | Korenčiak, Kučera, Řehák | Baier, Dubslaff | Springer | Quantitative Evaluation of Systems |
| B | 2017 | Text Punctuation: An Inter-annotator Agreement Study (DOI) | Kovář | Boháč, Rott | Springer International Publishing | Text, Speech, and Dialogue: 20th International Conference, TSD 2017 |
| B | 2017 | Using Off-the-Shelf Exception Support Components in C++ Verification (DOI) | Štill, Ročkai | Barnat | IEEE | IEEE International Conference on Software Quality, Reliability and Security - QRS 2017 |
| B | 2017 | Extending Full Disk Encryption for the Future (DOI) | Brož | | Springer International Publishing | Security Protocols XXV: 25th International Workshop, Cambridge, UK, March 20-22, 2017, Revised Selected Papers |
| B | 2017 | Cost-Sensitive Strategies for Data Imbalance in Bug Severity Classification: Experimental Results (DOI) | Rossi | Singha | IEEE | 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA) 2017 |
| B | 2017 | Smart Grids Co-Simulations with Low-Cost Hardware (DOI) | Rossi | Schvarcbacher | IEEE | 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA) 2017 |
| B | 2017 | On the Sequential Pattern and Rule Mining in the Analysis of Cyber Security Alerts (DOI) | Husák, Kašpar, Čeleda | Bou-Harb | ACM | Proceedings of the 12th International Conference on Availability, Reliability and Security |
| B | 2017 | KYPO Cyber Range: Design and Use Cases (DOI) | Vykopal, Ošlejšek, Čeleda, Vizváry, Tovarňák | | SciTePress | Proceedings of the 12th International Conference on Software Technologies - Volume 1: ICSOFT |
| B | 2017 | Lessons Learned From Complex Hands-on Defence Exercises in a Cyber Range (DOI) | Vykopal, Vizváry, Ošlejšek, Čeleda, Tovarňák | | IEEE | 2017 IEEE Frontiers in Education Conference |
| B | 2016 | Evaluation and Improvements in Punctuation Detection for Czech (DOI) | Kovář, Machura, Zemková | Rott | Springer | Text, Speech, and Dialogue 19th International Conference, TSD 2016 Brno, Czech Republic, September 12–16, 2016 Proceedings |
| B | 2016 | From Low-Level Pointers to High-Level Containers (DOI) | Trtík | Dudka, Holík, Peringer, Vojnar | Springer, Switzerland | Verification, Model Checking, and Abstract Interpretation |
| B | 2016 | Accelerated Visualization of Transparent Molecular Surfaces in Molecular Dynamics (DOI) | Jurčík, Sochor, Kozlíková | Parulek | IEEE | IEEE Pacific Visualization Symposium 2016 |
| B | 2016 | European Union Language Resources in Sketch Engine | Baisa, Michelfeit, Medveď, Jakubíček | | European Language Resources Association (ELRA) | Proceedings of the Tenth International Conference on Language Resources and Evaluation (LREC 2016) |
| B | 2016 | Graded and Word-Sense-Disambiguation Decisions in Corpus Pattern Analysis: a Pilot Study | Baisa | Cinkova, Krejčová, Vernerová | European Language Resources Association (ELRA) | Proceedings of the Tenth International Conference on Language Resources and Evaluation (LREC 2016) |
| B | 2016 | VPS-GradeUp: Graded Decisions on Usage Patterns | Baisa | Cinkova, Krejčová, Vernerová | European Language Resources Association (ELRA) | Proceedings of the Tenth International Conference on Language Resources and Evaluation (LREC 2016) |
| B | 2016 | Towards better selective forwarding and delay attacks detection in wireless sensor networks (DOI) | Stehlík, Matyáš, Stecko | | IEEE Computer Society | 2016 IEEE 13th International Conference on Networking, Sensing, and Control (ICNSC) |
| B | 2016 | Automated Bug Triaging in an Industrial Context (DOI) | Dedík, Rossi | | IEEE | Automated Bug Triaging in an Industrial Context |
| B | 2016 | Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis (DOI) | Bendík, Beneš, Barnat, Černá | | Lecture Notes in Computer Sciences in Computer Science, 9763 | Software Engineering and Formal Methods - 14th International Conference, SEFM 2016 |
| B | 2016 | LTL Parameter Synthesis of Parametric Timed Automata (DOI) | Bezděk, Beneš, Barnat, Černá | | Lecture Notes in Computer Sciences in Computer Science, 9763 | Software Engineering and Formal Methods - 14th International Conference, SEFM 2016. |
| B | 2016 | SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration (DOI) | Bauch, Lauko, Barnat | Mrázek | Springer International Publishing | Model Checking Software |
| B | 2016 | High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study (DOI) | Demko, Beneš, Brim, Pastva, Šafránek | | Springer International Publishing | Computational Methods in Systems Biology. CMSB 2016. |
| B | 2016 | Cryptography Enhanced Ad-Hoc Approach to P2P Overlays (DOI) | Zima, Hladká | | IEEE | Proceedings of the 2016 International Conference on High Performance Computing & Simulation |
| B | 2016 | Annotated Amharic Corpora (DOI) | Rychlý, Suchomel | | Springer International Publishing | Text, Speech, and Dialogue 19th International Conference, TSD 2016 Brno, Czech Republic, September 12–16, 2016 Proceedings |
| B | 2016 | AQA: Automatic Question Answering System for Czech (DOI) | Medveď | Horák | Springer International Publishing | Text, Speech, and Dialogue 19th International Conference, TSD 2016 Brno, Czech Republic, September 12–16, 2016 Proceedings |
| B | 2016 | Visual Anomaly Detection in Educational Data (DOI) | Géryk, Popelínský, Triščík | | Springer International Publishing | Artificial Intelligence: Methodology, Systems, and Applications: 17th International Conference, AIMSA 2016, Varna, Bulgaria, September 7-10, 2016, Proceedings |
| B | 2016 | Building Corpora for Stylometric Research (DOI) | Švec, Rygl | | Springer International Publishing | Text, Speech, and Dialogue - 19th International Conference |
| B | 2016 | Annotation of Czech Texts with Language Mixing (DOI) | Nevěřilová | | Springer International Publishing | Text, Speech, and Dialogue 19th International Conference, TSD 2016 Brno, Czech Republic, September 12–16, 2016 Proceedings |
| B | 2016 | Finding Definitions in Large Corpora with Sketch Engine | Kovář, Močiariková, Rychlý | | European Language Resources Association (ELRA) | Proceedings of the Tenth International Conference on Language Resources and Evaluation (LREC 2016) |
| B | 2016 | Attackers in Wireless Sensor Networks Will Be Neither Random Nor Jumping – Secrecy Amplification Case (DOI) | Ošťádal, Švenda, Matyáš | | Springer International Publishing | International Conference on Cryptology and Network Security |
| B | 2016 | Evaluation of Continuous Collision Detection Accelerated with Tetrahedral Structures (DOI) | Čejka | | ACM | Proceedings of the 32nd Spring Conference on Computer Graphics (SCCG '16) |
| B | 2016 | Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent (DOI) | Brázdil | Bartocci, Milios, Sanguinetti, Bortolussi | Springer | Proceedings of QEST 2016 |
| B | 2016 | Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization (DOI) | Srba | Jensen, Larsen | Springer | Proceedings of the 23rd International SPIN Symposium on Model Checking of Software (SPIN'16) |
| B | 2016 | Software Architecture and Software Quality (DOI) | Král | Žemlička | Springer | Computational Science and Its Applications – ICCSA 2016 |
| B | 2016 | Confederative ERP Systems for Small-to-Medium Enterprises (DOI) | Král | Žemlička | Springer | Computational Science and Its Applications – ICCSA 2016 |
| B | 2016 | Effective static and dynamic fault tree analysis. (DOI) | Krčál | Bäckström, Butkova, Hermanns, Krčál | Springer | In International Conference on Computer Safety, Reliability, and Security |
| B | 2015 | User-Aware Metrics for Measuring Quality of Parallel Job Schedules (DOI) | Tóth, Klusáček | | Springer, Lecture Notes in Computer Science 8828 | Job Scheduling Strategies for Parallel Processing |
| B | 2015 | Multi-Resource Aware Fairsharing for Heterogeneous Systems (DOI) | Rudová | Klusáček | Springer, Lecture Notes in Computer Science 8828 | Job Scheduling Strategies for Parallel Processing |
| B | 2015 | Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games | Svoreňová, Černá | Křetínský, Chmelík, Chatterjee, Belta | Association for Computing Machinery (ACM) | Proceedings of ACM international conference on Hybrid Systems: Computation and Control |
| B | 2015 | Temporal Logic Motion Planning using POMDPs with Parity Objectives (DOI) | Svoreňová, Černá | Chmelík, Leahy, Eniser, Chatterjee, Belta | Association for Computing Machinery (ACM) | Proceedings of ACM international conference on Hybrid Systems: Computation and Control |
| B | 2015 | Quo Vadis Explicit-State Model Checking (DOI) | Barnat | | Springer | SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science |
| B | 2015 | Visibility-Based Approach to Surface Detection of Tunnels in Proteins (DOI) | Jurčík, Byška, Sochor, Kozlíková | | Comenius University | 31st Proceedings of Spring Conference on Computer Graphics |
| B | 2015 | Path-planning algorithm for transportation of molecules through protein tunnel bottlenecks (DOI) | Byška, Kozlíková, Sochor | Kolingerová | Comenius University | 31st Proceedings of Spring Conference on Computer Graphics |
| B | 2015 | Complete Composition Operators for IOCO-Testing Theory (DOI) | Beneš, Křetínský | Daca, Henzinger, Ničković | ACM | Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering |
| B | 2015 | Automated facial landmark detection, comparison and visualization (DOI) | Galvánek, Furmanová, Chalás, Sochor | | Comenius University | Proceedings of the 31st Spring Conference on Computer Graphics |
| B | 2015 | Characterization of the Role of Collagen Network Structure and Composition in Cancer Cell Migration (DOI) | Maška, Kozubek | Anguiano, Castilla, Ederra, Fernández-Marqués, Peláez, Rouzaut, Muñoz-Barrutia, Ortiz-de-Solórzano | IEEE | 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society |
| B | 2015 | TRAgen: A Tool for Generation of Synthetic Time-Lapse Image Sequences of Living Cells (DOI) | Ulman, Orémuš, Svoboda | | Springer International Publishing | Proceedings of 18th International Conference on Image Analysis and Processing |
| B | 2015 | Pros and Cons of Software Standards Use (DOI) | Král | Žemlička | Springer International | Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, |
| B | 2015 | Using Visual Analytics Tool for Improving Data Comprehension | Géryk | | International Educational Data Mining Society | Proceedings for the 8th International Conference on Educational Data Mining (EDM 2015) |
| B | 2015 | Improving Kinect-Skeleton Estimation (DOI) | Valčík, Sedmidubský, Zezula | | Springer | Advanced Concepts for Intelligent Vision Systems (ACIVS 2015), LNCS 9386 |
| B | 2015 | Acceleration of dRMSD Calculation and Efficient Usage of GPU Caches (DOI) | Filipovič, Plhák, Střelák | | IEEE | Proceedings of IEEE International Conference on High Performance Computing & Simulation |
| B | 2015 | OpenCL Kernel Fusion for GPU, Xeon Phi and CPU (DOI) | Filipovič | Benkner | IEEE | Proceedings of IEEE International Symposium on Computer Architecture and High Performance Computing |
| B | 2015 | On Refinement of Büchi Automata for Explicit Model Checking (DOI) | Blahoudek, Rujbr, Strejček | Duret-Lutz | Springer International Publishing | 2015 International SPIN Symposium on Model Checking of Software |
| B | 2015 | Perceived Realism of Crowd Behaviour with Social Forces (DOI) | Liarokapis | O'Connor, Chrisina | IEEE Computer Society | Proc. of the 19th International Conference on Information Visualisation (IV 2015) |
| B | 2015 | Examining User Experiences Through A Multimodal BCI Puzzle Game (DOI) | Liarokapis | Vourvopoulos, Ene | IEEE Computer Society | Proc. of the 19th International Conference on Information Visualisation (IV 2015) |
| B | 2015 | Parameter Synthesis by Parallel Coloured CTL Model Checking (DOI) | Brim, Češka, Demko, Pastva, Šafránek | | Springer International Publishing | Computational Methods in Systems Biology |
| B | 2015 | Techniques for Memory-Efficient Model Checking of C and C++ Code (DOI) | Ročkai, Štill, Barnat | | Springer International Publishing | Software Engineering and Formal Methods |
| B | 2015 | Fast, Dynamically-Sized Concurrent Hash Table (DOI) | Barnat, Ročkai, Štill, Weiser | | Springer International Publishing | Model Checking Software |
| B | 2015 | Student Models for Prior Knowledge Estimation | Řihák, Pelánek, Nižnan | | International Educational Data Mining Society | Proceedings of the 8th International Conference on Educational Data Mining |
| B | 2015 | Service in denial – clouds going with the winds (DOI) | Bukač, Šťavová, Němec, Říha, Matyáš | | Springer International Publishing | Network and System Security, 9th International Conference, NSS 2015, New York, NY, USA, November 3-5, 2015, Proceedings |
| B | 2015 | Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis (DOI) | Brázdil, Korenčiak, Novotný, Řehák | Krčál | SPRINGER-VERLAG BERLIN | Quantitative Evaluation of Systems |
| B | 2015 | Challenges of fiction in network security –perspective of virtualized environments (DOI) | Bukač, Ošťádal, Švenda, Baghdasaryan, Matyáš | | Springer International Publishing | Security Protocols XXIII - 23rd International Workshop, Revised Selected Papers |
| B | 2015 | Derivancze - Derivational Analyzer of Czech (DOI) | Pala, Šmerk | | Springer Verlag | Derivancze |
| B | 2015 | Search-based image annotation: Extracting semantics from similar images (DOI) | Budíková, Batko, Botorek, Zezula | | Springer | Experimental IR Meets Multilinguality, Multimodality, and Interaction - 6th International Conference of the CLEF Association, CLEF 2015 |
| B | 2015 | CAAL: Concurrency Workbench, Aalborg Edition (DOI) | Srba | Andersen, Andersen, Enevoldsen, Hansen, Larsen, Olesen, Wortmann | Springer | Proceedings of the 12th International Colloquium on Theoretical Aspects of Computing (ICTAC'15) |
| B | 2015 | Novel Software Engineering Attitudes for Bussiness-Oriented Information Systems (DOI) | Král | Michal | Springer | Computational Science and Its Applications -- ICCSA 2015 |
| B | 2015 | The Min-max Edge q-Coloring Problem (DOI) | Popa | Larjomaa | Springer | 25th International Workshop, IWOCA 2014, LNCS 8986 |
| B | 2015 | Approximation and hardness results for the maximum edges in transitive closure problem (DOI) | Popa | Adamaszek, Blin | Springer | 25th International Workshop on Combinatorial Algorithms, IWOCA 2014, LNCS 8986 |
| B | 2014 | Multi Resource Fairness: Problems and Challenges (DOI) | Klusáček, Rudová, Jaroš | | Springer, Lecture Notes in Computer Science 8429 | Job Scheduling Strategies for Parallel Processing |
| B | 2014 | Temporal Verification of Simulink Diagrams (DOI) | Barnat, Bauch, Havel | | IEEE Computer Society | Proceedings of HASE 2014 |
| B | 2014 | Roads to New Grand Challenges of Informatics (DOI) | Gruska | | Springer | 14th International Conference on Membrane Computing |
| B | 2014 | Smart Home Modeling with Real Appliances (DOI) | Prýmek, Horák | Prokop, Mišák | Springer | International Conference SOCO’13 |
| B | 2014 | Annotation Game for Textual Entailment Evaluation (DOI) | Nevěřilová | | Springer | 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part I |
| B | 2014 | Improving Intrusion Detection Systems for Wireless Sensor Networks (DOI) | Stecko, Smolka, Matyáš, Stehlík | | Springer | Applied Cryptography and Network Security |
| B | 2014 | Extrinsic Corpus Evaluation with a Collocation Dictionary Task | Rychlý, Jakubíček, Kovář, Baisa, Kocincová | Kilgarriff | European Language Resources Association (ELRA) | Proceedings of the Ninth International Conference on Language Resources and Evaluation (LREC'14) |
| B | 2014 | Failure Data Collection for Reliability Prediction Models: A Survey (DOI) | Bühnová, Chren, Krejčířová | | ACM | Proceedings of the 10th International ACM Sigsoft Conference on Quality of Software Architectures (QoSA'14) |
| B | 2014 | HindEnCorp – Hindi-English and Hindi-only Corpus for Machine Translation | Rychlý, Suchomel | Bojar, Diatka, Straňák, Tamchyna, Zeman | European Language Resources Association (ELRA) | Proceedings of the Ninth International Conference on Language Resources and Evaluation (LREC'14) |
| B | 2014 | Bounding Volume Hierarchies versus Kd-trees on Contemporary Many-Core Architectures (DOI) | Vinkler | Havran, Bittner | Comenius University, Bratislava | Proceedings of the 30th Spring Conference on Computer Graphics |
| B | 2014 | Is there a best Büchi automaton for explicit model checking? (DOI) | Blahoudek, Křetínský, Strejček | Duret-Lutz | ACM | 2014 International SPIN Symposium on Model Checking of Software |
| B | 2014 | Visual Analytics for Increasing Efficiency of Higher Education Institutions (DOI) | Géryk, Popelínský | | Springer International Publishing Switzerland | BIS 2014 International Workshops |
| B | 2014 | A protocol for intrusion detection in location privacy-aware wireless sensor networks (DOI) | Kůr, Matyáš | | Springer | Trust, Privacy, and Security in Digital Business, 11th International Conference, TrustBus 2014 |
| B | 2014 | Automatic Identification of Solid-Phase Medication Intake Using Wireless Wearable Accelerometers (DOI) | Sitová | Wang, Jia, He, Abramson, Gasti, Balagani, Farajidavar | IEEE | 36th Annual International IEEE Engineering in Medicine and Biology Society Conference (EMBS), 2014 |
| B | 2014 | Disambiguating Verbs by Collocation: Corpus Lexicography meets Natural Language Processing | Baisa | El, Jane, Hanks | European Language Resources Association (ELRA) | Proceedings of the Ninth International Conference on Language Resources and Evaluation (LREC'14) |
| B | 2014 | Educational data mining for analysis of students’ solutions (DOI) | Vaculík, Nezvalová, Popelínský | | Springer | Artificial Intelligence: Methodology, Systems, and Applications - 16th International Conference, AIMSA 2014 |
| B | 2014 | Automatic Adaptation of Author's Stylometric Features to Document Types (DOI) | Rygl | | Springer International Publishing | Text, Speech, and Dialogue - 17th International Conference |
| B | 2014 | Constructing empirical tests of randomness (DOI) | Sýs, Švenda, Ukrop, Matyáš | | SCITEPRESS – Science and Technology Publications | SECRYPT 2014 Proceedings of the 11th International Conference on Security and Cryptography |
| B | 2014 | On Clock-Aware LTL Properties of Timed Automata (DOI) | Bezděk, Beneš, Havel, Barnat, Černá | | Springer International Publishing | Theoretical Aspects of Computing – ICTAC 2014 |
| B | 2014 | Adaptive Practice of Facts in Domains with Varied Prior Knowledge | Pelánek, Papoušek, Stanislav | | International Educational Data Mining Society | Proceedings of the 7th International Conference on Educational Data Mining (EDM 2014) |
| B | 2014 | DISA at ImageCLEF 2014: The search-based solution for scalable image annotation | Budíková, Botorek, Batko, Zezula | | RWTH Aachen University | CLEF 2014 Evaluation Labs and Workshop, Online Working Notes |
| B | 2014 | Paraphrase and Textual Entailment Generation (DOI) | Nevěřilová | | Springer International Publishing | Proceedings of 17th International Conference on Text, Speech, and Dialogue, TSD 2014 |
| B | 2014 | Ontology Based Strategies for Supporting Communication within Social Networks (DOI) | Kopeček, Ošlejšek, Plhák | | Springer-Verlag | 17th International Conference on Text, Speech and Dialogue |
| B | 2014 | Towards an Improvement of Bug Severity Classification (DOI) | Rossi | Singha | IEEE | 40th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2014 |
| B | 2014 | Precise Parameter Synthesis for Stochastic Biochemical Systems (DOI) | Češka | Dannenberg, Kwiatkowska, Paoletti | Springer International Publishing | Computational Methods in Systems Biology |
| B | 2014 | Red Queen's Race: APT win-win game (DOI) | Bukač, Lorenc, Matyáš | | Springer | Security Protocols XXII - 22nd International Workshop, Revised Selected Papers |
| B | 2014 | On Node Capturing Attacker Strategies (DOI) | Jurnečka, Stehlík, Matyáš | | Springer | Security Protocols XXII - 22nd International Workshop, Revised Selected Papers |
| B | 2014 | Information Extraction for Czech Based on Syntactic Analysis (DOI) | Baisa, Kovář | | Springer | Human Language Technology Challenges for Computer Science and Linguistics |
| B | 2014 | Simplifying maintenance by application of architectural services (DOI) | Král | Žemlička | Springer | InComputational Science and Its Application - ICCSA 2014, Part V, volume 8583 of Lecture Notes in Computer Science |
| B | 2014 | Partial Grammar Checking for Czech Using the SET Parser (DOI) | Kovář | | Springer Verlag | 17th International Conference, TSD 2014 |
| B | 2014 | A Parameterized Study of Maximum Generalized Pattern Matching Problems (DOI) | Ordyniak, Popa | | Springer | Lecture Notes in Computer Science |
| B | 2014 | Finite Integer Index of Pathwidth and Treewidth (DOI) | Ordyniak, Gajarský, Obdržálek | Reidl, Rossmanith, Sánchez | Springer | IPEC 2014, LNCS 8246 |
| B | 2014 | Application of Time Decay Functions and the Elo System in Student Modeling | Pelánek | | International Educational Data Mining Society | Proceedings of the 7th International Conference on Educational Data Mining (EDM 2014) |
| B | 2014 | Soundness of Timed-Arc Workflow Nets (DOI) | Srba | Mateo, Soerensen | Springer-Verlag | Proceedings of the 35th International Conference on Application and Theory of {P}etri Nets and Concurrency ({ICATPN}'14) |
| B | 2014 | Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets (DOI) | Srba | Birch, Jacobsen, Jensen, Moesgaard, Samuelsen | Springer-Verlag | Proceedings of the 12th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'14) |
| B | 2014 | An Experiment with Theme–Rheme Identification (DOI) | Pala, Svoboda | | Springer Verlag | An Experiment with Theme–Rheme Identification |
| B | 2014 | Min-sum 2-paths problems (DOI) | Popa | Fenner, Lachisch | Springer | 11th International Workshop on Approximation and Online Algorithms, WAOA 2013, LNCS 8447 |
| B | 2013 | ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools (DOI) | Slabý, Strejček, Trtík | | Springer | Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013 |
| B | 2013 | Two Improvements of Random Key Predistribution for Wireless Sensor Networks (DOI) | Kůr, Matyáš, Švenda | | Springer Berlin Heidelberg | Security and Privacy in Communication Networks, Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Volume 106 |
| B | 2013 | Performance and Fairness for Users in Parallel Job Scheduling (DOI) | Klusáček, Rudová | | Lecture Notes in Computer Science 7698, Springer | Job Scheduling Strategies for Parallel Processing |
| B | 2013 | Local Search Heuristics for Media Streams Planning Problem (DOI) | Marek, Holub, Rudová | | IEEE Computer Society | Proceedings of the 7th IEEE International Conference on Advanced Information Networking and Applications |
| B | 2013 | Enhancing Czech Parsing with Verb Valency Frames (DOI) | Jakubíček, Kovář | | Springer Verlag | CICLing 2013 |
| B | 2013 | Evolutionary Design of Attack Strategies (DOI) | Kůr, Matyáš, Švenda | | Springer Verlag | Security Protocols XVII - 17th International Workshop, Revised Selected Papers |
| B | 2013 | Dynamic Voting Interface in Social Media: Does it Affect Individual Votes? (DOI) | Tsikerdekis | | Springer Berlin Heidelberg | SOFSEM 2013: Theory and Practice of Computer Science |
| B | 2013 | Automated Cell Counting in Bürker Chamber (DOI) | Štěpka | | Springer | 18th Scandinavian Conference on Image Analysis, SCIA 2013 |
| B | 2013 | Compositional Approach to Suspension and Other Improvements to LTL Translation (DOI) | Babiak, Křetínský, Strejček | Badie, Duret-Lutz | Springer | Model Checking Software - 20th International Symposium, SPIN 2013 |
| B | 2013 | On Refinements of Boolean and Parametric Modal Transition Systems (DOI) | Křetínský | Sickert | Springer | Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium |
| B | 2013 | Towards a Realistic Distribution of Cells in Synthetically Generated 3D Cell Populations (DOI) | Svoboda, Ulman | | Springer-Verlag | 17th International Conference on Image Analysis and Processing - ICIAP 2013 |
| B | 2013 | A Key-Pose Similarity Algorithm for Motion Data Retrieval (DOI) | Sedmidubský, Valčík, Zezula | | Springer International Publishing | Proceedings of 12th International Conference on Advanced Concepts for Intelligent Vision Systems (ACIVS 2013), LNCS 8192 |
| B | 2013 | Towards cryptographic function distinguishers with evolutionary circuits | Švenda, Ukrop, Matyáš | | SCITEPRESS | Proceedings of SECRYPT 2013, 10th International Conference on Security and Cryptography |
| B | 2013 | Multi-Objective Optimization of Intrusion Detection Systems for Wireless Sensor Networks (DOI) | Stehlík, Saleh, Stecko, Matyáš | | MIT Press | Advances in Artificial Life, ECAL 2013, Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems |
| B | 2013 | Understanding the process of learning touch-screen mobile applications (DOI) | Mačková | Weideman | ACM | Proceedings of the 31st ACM international conference on Design of communication (SIGDOC 2013) |
| B | 2013 | Avoiding Anomalies in Data Stream Learning (DOI) | Kosina | Gama, Almeida | Springer | Discovery Science, Proceedings of 16th International Conference DS 2013 |
| B | 2013 | LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model (DOI) | Barnat, Brim, Havel | | IEEE Computer Society | Proceedings of Application of Concurrency to System Design, 2013 |
| B | 2013 | Expanding the Expressive Power of Monadic Second-Order Logic on Restricted Graph Classes (DOI) | Obdržálek | Ganian | Springer | Combinatorial Algorithms 24th International Workshop, IWOCA 2013 |
| B | 2013 | DCCL: Verification of Component Systems with Ensembles (DOI) | Barnat, Beneš, Černá | Petruchová | ACM | CBSE '13 Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering |
| B | 2013 | On the Origin of Yet another Channel (DOI) | Švenda, Matyáš | | Springer | Proceedings of Security Protocols XXI |
| B | 2013 | Parameterized Algorithms for Modular-Width (DOI) | Gajarský, Ordyniak | Lampis | Springer International Publishing | Parameterized and Exact Computation |
| B | 2013 | Least-violating control strategy synthesis with safety rules (DOI) | Tůmová | Hall, Karaman, Frazzoli, Rus | ACM | Proceedings of the 16th international conference on Hybrid systems: computation and control |
| B | 2013 | Local Model Checking of Weighted CTL with Upper-Bound Constraints (DOI) | Srba | Jensen, Larsen, Oestergaard | Springer | Proceedings of International SPIN Symposium on Model Checking of Software (SPIN'13) |
| B | 2013 | Safe schedulability of bounded-rate multi-mode systems (DOI) | Forejt | Alur, Moarref, Trivedi | ACM | Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013 |
| C | 2017 | An Evaluation Framework and Database for MoCap-Based Gait Recognition Methods (DOI) | Balážia, Sojka | | Springer International Publishing AG | Proceedings of the 1st IAPR Workshop on Reproducible Research in Pattern Recognition (RRPR 2016) |
| C | 2017 | Research Challenges in Multimedia Recommender Systems (DOI) | Ge | Persia | IEEE | Proceedings of the IEEE International Conference on Semantic Computing |
| C | 2017 | Item Contents Good, User Tags Better: Empirical Evaluation of a Food Recommender System (DOI) | Ge | Massimo, Elahi, Ricci | ACM | Proceedings of the 25th Conference on User Modeling, Adaptation and Personalization |
| C | 2017 | Predicting Data Quality Success - The Bullwhip Effect in Data Quality (DOI) | Ge | Helfert, O'Brien | Springer | Proceedings of the 16th International Conference on Perspectives in Business Informatics Research |
| C | 2017 | Assessing the Quality of Spatio-textual Datasets in the Absence of Ground Truth (DOI) | Ge | Chondrogiannis | Springer | Proceedings of the 21st European Conference on Advances in Databases and Information Systems |
| C | 2017 | Malicious SSL Certificate Detection: A Step Towards Advanced Persistent Threat Defence (DOI) | Ghafir, Přenosil | Hammoudeh, Han, Umar | ACM Digital Library | Proceedings of International Conference on Future Networks and Distributed Systems |
| C | 2017 | Visual Analytics for Network Security and Critical Infrastructures (DOI) | Burská, Ošlejšek | | Springer | AIMS 2017 - 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security |
| C | 2017 | Consistency Checking in Requirements Analysis (DOI) | Bendík | | ACM New York | Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2017 |
| C | 2017 | System for Collection and Processing of Smart Home Sensor Data (DOI) | Gešvindr, Bühnová, Michálková | | IEEE | 2017 IEEE International Conference on Software Architecture Workshops (ICSAW) |
| C | 2017 | Fast Digital Spectrometer for Mixed Radiation Fields (DOI) | Pavelek, Matěj, Herman, Mravec, Veškrna, Přenosil | Cvachovec, Košťál | IEEE | 2017 IEEE SENSORS Proceedings |
| C | 2017 | Weather forecast based scheduling for demand response optimization in smart grids (DOI) | Kadlec, Bühnová | Tomšík, Herman, Družbíková | IEEE | Smart City Symposium Prague (SCSP), 2017 |
| C | 2017 | Tunnel detection in protein structures using sampling-based motion planning (DOI) | Kozlíková | Vonásek | IEEE | Robot Motion and Control (RoMoCo), 2017 11th International Workshop on |
| C | 2017 | A Real-Time Annotation of Motion Data Streams (DOI) | Eliáš, Zezula | Sedmidubský | IEEE Computer Society | 19th IEEE International Symposium on Multimedia |
| C | 2017 | Enhancing Effectiveness of Descriptors for Searching and Recognition in Motion Capture Data (DOI) | Sedmidubský, Eliáš, Zezula | | IEEE Computer Society | 19th IEEE International Symposium on Multimedia |
| C | 2017 | A Web Application for Subsequence Matching in 3D Human Motion Data (DOI) | Sedmidubský, Zezula | | IEEE Computer Society | 19th IEEE International Symposium on Multimedia |
| C | 2017 | You Are How You Walk: Uncooperative MoCap Gait Identification for Video Surveillance with Incomplete and Noisy Data (DOI) | Balážia, Sojka | | IEEE | Proceedings of the 3rd IEEE/IAPR International Joint Conference on Biometrics (IJCB 2017) |
| C | 2017 | Cache and Priority Queue Based Approximation Technique for a Stream of Similarity Search Queries (DOI) | Nálepa | Batko, Zezula | Springer, Cham | Similarity Search and Applications : 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings |
| C | 2017 | Multimodal Simulations in Live Cell Imaging (DOI) | Svoboda, Kozubek | | Springer | Simulation and Synthesis in Medical Imaging |
| C | 2017 | An Immersive Virtual Environment for Collaborative Geovisualization (DOI) | Doležal, Chmelík | Liarokapis | IEEE Computer Society | 9th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games 2017), Athens, Greece, 2017 |
| C | 2017 | Sketches with Unbalanced Bits for Similarity Search (DOI) | Míč, Novák, Zezula | | Springer International Publishing | Similarity Search and Applications: 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings |
| C | 2017 | Symbiotic 4: Beyond Reachability (Competition Contribution) (DOI) | Chalupa, Vitovská, Jonáš, Slabý, Strejček | | Springer Berlin Heidelberg | Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference |
| C | 2017 | Investigating the Effect of User Profile during Training for BCI-based Games (DOI) | Škola, Liarokapis | Vourvopoulos, Niforatos, Hlinka | IEEE Computer Society | Proc. of the 9th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games 2017), IEEE Computer Society, Athens, Greece, 6-8 September 2017 |
| C | 2017 | A Serious Game for Understanding Ancient Seafaring in the Mediterranean Sea (DOI) | Liarokapis | Philbin-Briscoe, Simon, Mudur, Poullis, Rizvic, Boskovic, Katsouri, Demesticha, Skarlatos | IEEE Computer Society | Proc. of the 9th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games 2017), IEEE Computer Society, Athens, Greece, 6-8 September 2017 |
| C | 2017 | Single image reconstruction of human faces using database of depth images (DOI) | Ferková, Žuži, Urbanová, Matula | | IEEE Computer Society | 9th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games 2017) |
| C | 2017 | BrainChat - A Collaborative Augmented Reality Brain Interface for Message Communication (DOI) | Kerouš, Liarokapis | | IEEE Computer Society | Proc. of the International Symposium on Mixed and Augmented Reality (ISMAR 2017) Adjunct Proceedings, IEEE Computer Society, Nantes, France, 279-283, 2017 |
| C | 2017 | An IoT and Business Processes Based Approach for the Monitoring and Control of High Value-Added Manufacturing Processes (DOI) | Ghafir | Raza, Lomax, Kharel, Whiteside | ACM Digital Library | Proceedings of International Conference on Future Networks and Distributed Systems |
| C | 2017 | Optimizing and Caching SMT Queries in SymDIVINE (Competition Contribution) (DOI) | Jonáš, Štill, Lauko, Barnat | Mrázek | Springer | Tools and Algorithms for the Construction and Analysis of Systems, 23rd International Conference, TACAS 2017, Part II |
| C | 2017 | From Model Checking to Runtime Verification and Back (DOI) | Barnat | Kejstová, Ročkai | Springer | Runtime Verification - 17th International Conference, RV 2017 |
| C | 2017 | Towards Discovering the Limits of Smart Grid Communication Infrastructure (DOI) | Kadlec, Bühnová, Pitner | Rosecký, Procházka | Springer | Governing Business Systems |
| C | 2017 | Particle Tracking Accuracy Measurement Based on Comparison of Linear Oriented Forests (DOI) | Maška, Matula | | IEEE | 16th IEEE International Conference on Computer Vision Workshops |
| C | 2017 | Visual Descriptors in Methods for Video Hyperlinking (DOI) | Batko, Novák | Galuščáková, Čech, Matas, Pecina | ACM | Proceedings of the 2017 ACM on International Conference on Multimedia Retrieval |
| C | 2017 | Smart mobile technologies for the city of the future (DOI) | Bangui, Bühnová | Rakrak, Raghay | IEEE | Smart City Symposium Prague (SCSP), 2017 |
| C | 2017 | Evaluation of Learners' Adjustment of Question Difficulty in Adaptive Practice of Facts (DOI) | Papoušek, Pelánek | | ACM | Proceedings of the 25th Conference on User Modeling, Adaptation and Personalization |
| C | 2017 | Should We Give Learners Control Over Item Difficulty? (DOI) | Papoušek, Pelánek | | ACM | Personalization Approaches in Learning Environments, Adjunct Publication of the 25th Conference on User Modeling, Adaptation and Personalization |
| C | 2017 | Situational Awareness: Detecting Critical Dependencies and Devices in a Network (DOI) | Laštovička, Čeleda | | Springer | AIMS 2017 - 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security |
| C | 2016 | Automatic Keyword Extraction from Medical and Healthcare Curriculum (DOI) | Komenda, Karolyi, Pokorná, Víta | Kríž | Polskie Towarzystwo Informatyczne; Institute of Electrical and Electronics Engineers | Annals of Computer Science and Information Systems, Volume 8 : Proceedings of the 2016 Federated Conference on Computer Science and Information Systems |
| C | 2016 | Malicious File Hash Detection and Drive-by Download Attacks (DOI) | Ghafir, Přenosil | | Springer | Proceedings of the Second International Conference on Computer and Communication Technologies, series Advances in Intelligent Systems and Computing |
| C | 2016 | Practical Exhaustive Generation of Small Multiway Cuts in Sparse Graphs (DOI) | Hliněný, Slámečka | | Springer | Mathematical and Engineering Methods in Computer Science, Lecture Notes in Computer Science 9548 |
| C | 2016 | Proposed Approach for Targeted Attacks Detection (DOI) | Ghafir, Přenosil | | Springer International Publishing | Advanced Computer and Communication Engineering Technology, Lecture Notes in Electrical Engineering |
| C | 2016 | Performance Analysis of Distributed Stream Processing Applications Through Colored Petri Nets (DOI) | Nálepa, Batko, Zezula | | Springer International Publishing | Mathematical and Engineering Methods in Computer Science: 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers |
| C | 2016 | The Challenge of Increasing Safe Response of Antivirus Software Users (DOI) | Šťavová, Matyáš, Malinka | | Springer International Publishing, | Mathematical and Engineering Methods in Computer Science |
| C | 2016 | Randomness Testing: Result Interpretation and Speed (DOI) | Sýs, Matyáš | | Springer-Verlag Berlin Heidelberg | The New Codebreakers - Essays Dedicated to David Kahn on the Occasion of His 85th Birthday |
| C | 2016 | Performance Challenges, Current Bad Practices, and Hints in PaaS Cloud Application Design (DOI) | Gešvindr, Bühnová | | ACM | Performance Evaluation Review Volume 43, Issue 4 |
| C | 2016 | PPP-Codes for Large-Scale Similarity Searching (DOI) | Novák, Zezula | | Springer | Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV |
| C | 2016 | CoUnSiL: A Videoconferencing Environment for Interpretation of Sign Language (DOI) | Rusňák, Troubil, Hladká, Daxnerová, Kajaba, Minárik, Ondra, Sklenák | | IEEE | 2016 15th International Conference on Information Technology Based Higher Education and Training (ITHET) |
| C | 2016 | Similarity Searching in Long Sequences of Motion Capture Data (DOI) | Sedmidubský, Eliáš, Zezula | | Springer International Publishing AG | Proceedings of 9th International Conference on Similarity Search and Applications (SISAP 2016), LNCS 9939 |
| C | 2016 | Smart grids deployments within EU projects: The role of smart meters (DOI) | Chren, Rossi, Pitner | | IEEE | 2016 Smart Cities Symposium Prague (SCSP) |
| C | 2016 | ICT architecture for the Smart Grid: Concept overview (DOI) | Kazičková, Bühnová | | IEEE | 2016 Smart Cities Symposium Prague (SCSP) |
| C | 2016 | Semantic BMS: Ontology for Analysis of Building Automation Systems Data (DOI) | Kučera, Pitner | | Springer International Publishing | DoCEIS 2016: Technological Innovation for Cyber-Physical Systems |
| C | 2016 | Evaluation of an Adaptive Practice System for Learning Geography Facts (DOI) | Papoušek, Stanislav, Pelánek | | ACM | Proceedings of the Sixth International Conference on Learning Analytics & Knowledge |
| C | 2016 | Impact of Data Collection on Interpretation and Evaluation of Student Models (DOI) | Pelánek, Řihák, Papoušek | | ACM | Proceedings of the Sixth International Conference on Learning Analytics & Knowledge |
| C | 2016 | Putting learners’ experience at the center of technology enhanced learning, or how students can learn more while enjoying their classes | Pitner | Motschnig | Wolters Kluwer | DIVAI - 11th International Scientific Conference on Distance Learning in Applied Informatics |
| C | 2016 | Impact of Question Difficulty on Engagement and Learning (DOI) | Papoušek, Stanislav, Pelánek | | Springer International Publishing | Intelligent Tutoring Systems: 13th International Conference |
| C | 2016 | What is More Important for Student Modeling: Domain Structure or Response Times? (DOI) | Řihák, Pelánek | | Springer International Publishing | Intelligent Tutoring Systems : 13th International Conference, ITS 2016, Zagreb, Croatia, June 7-10, 2016. Proceedings |
| C | 2016 | Application of Sampling-based Path Planning for Tunnel Detection in Dynamic Protein Structures (DOI) | Kozlíková | Vonásek | IEEE | MMAR: 21st International Conference on Methods and Models in Automation and Robotics |
| C | 2016 | DIVINE: Explicit-State LTL Model Checker (DOI) | Štill, Ročkai, Barnat | | Springer-Verlag New York, Inc. | Proceedings of the 22Nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems |
| C | 2016 | Weak Memory Models as LLVM-to-LLVM Transformations (DOI) | Štill, Ročkai, Barnat | | Springer | Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop |
| C | 2016 | Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways (DOI) | Hajnal, Šafránek, Demko, Pastva, Brim | Krejčí | Springer International Publishing | Hybrid Systems Biology. HSB 2016 |
| C | 2016 | Social Engineering Attack Strategies and Defence Approaches (DOI) | Ghafir, Přenosil | Alhejailan, Hammoudeh | IEEE Xplore Digital Library | Proceedings of International Conference on Future Internet of Things and Cloud |
| C | 2016 | A Survey on Network Security Monitoring Systems (DOI) | Ghafir, Přenosil | Svoboda, Hammoudeh | IEEE Xplore Digital Library | Proceedings of International Conference on Future Internet of Things and Cloud |
| C | 2016 | Codes v. People: A Comparative Usability Study of Two Password Recovery Mechanisms (DOI) | Šťavová, Matyáš | Just | Springer | Information Security Theory and Practice: 10th IFIP WG 11.2 International Conference, WISTP 2016, Heraklion, Crete, Greece, September 26--27, 2016, Proceedings |
| C | 2016 | Speeding up Similarity Search by Sketches (DOI) | Míč, Novák, Zezula | | Springer | Similarity Search and Applications (SISAP 2016) |
| C | 2016 | Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution) (DOI) | Chalupa, Jonáš, Slabý, Strejček, Vitovská | | Springer | Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016 |
| C | 2016 | Brain-Computer Interfaces - A Survey on Interactive Virtual Environments (DOI) | Kerouš, Liarokapis | | IEEE | Proc. of the 8th International Conference on Games and Virtual Worlds for Serious Applications (VS-Games 2016) |
| C | 2016 | Procedural Modeling in Archaeology: Approximating Ionic Style Columns for Games (DOI) | Liarokapis | Konecny, Sylaiou | IEEE | Proc. of the 8th International Conference on Games and Virtual Worlds for Serious Applications (VS-Games 2016) |
| C | 2016 | Optimal observation mode scheduling for systems under temporal constraints (DOI) | Tesařová, Svoreňová, Barnat, Černá | | IEEE Conference Publications | 2016 American Control Conference (ACC) |
| C | 2016 | Learning Robust Features for Gait Recognition by Maximum Margin Criterion (DOI) | Balážia, Sojka | | Springer International Publishing AG | Proceedings of the joint IAPR International Workshops on Structural and Syntactic Pattern Recognition (SSPR 2016) and Statistical Techniques in Pattern Recognition (SPR 2016) |
| C | 2016 | Automatic Detection and Segmentation of Exosomes in Transmission Electron Microscopy (DOI) | Štěpka, Maška, Pálenik, Pospíchalová, Ilkovics, Klemová, Hampl, Bryja, Matula | Kotrbová | Springer International Publishing | Computer Vision -- ECCV 2016 Workshops: Amsterdam, The Netherlands, October 8-10 and 15-16, 2016, Proceedings, Part I |
| C | 2016 | Examining User Experiences in a Mobile Augmented Reality Tourist Guide (DOI) | Škola, Liarokapis | Střelák | ACM Press | Proc. of the 9th International Conference on PErvasive Technologies Related to Assistive Environments (Petra 2016), ACM Press, Corfu Island, Greece, 29 June - 1 July |
| C | 2016 | Project iMARECULTURE: Advanced VR, iMmersive Serious Games and Augmented REality as Tools to Raise Awareness and Access to European Underwater CULTURal heritagE (DOI) | Liarokapis | Skarlatos, Agrafiotis, Balogh, Bruno, Castro, Davidde, Demesticha, Doulamis, Drap, Georgopoulos, Kikillos, Kyriakidis, Poullis, Rizvic | Springer | Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection, Volume 10058 of the series Lecture Notes in Computer Science |
| C | 2016 | E-Cyanobacterium.org: A Web-Based Platform for Systems Biology of Cyanobacteria (DOI) | Troják, Šafránek | Hrabec, Šalagovič, Romanovská, Červený | Springer | Computational Methods in Systems Biology. CMSB 2016. |
| C | 2016 | Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances (DOI) | Křetínský | | Springer | Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016 |
| C | 2016 | Semi-automatic mining of correlated data from a complex database: Correlation network visualization (DOI) | Lexa, Lapár | | IEEE | Computational Advances in Bio and Medical Sciences (ICCABS), 2016 IEEE 6th International Conference on |
| C | 2016 | Stochastic Shortest Path with Energy Constraints in POMDPs: (Extended Abstract) | Brázdil | Novotný, Chatterjee, Chmelík, Gupta | ACM | Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems |
| C | 2016 | Designing Sketches for Similarity Filtering (DOI) | Míč, Novák, Zezula | | IEEE | 2016 IEEE 16th International Conference on Data Mining Workshops (ICDMW) |
| C | 2016 | Toolchain for User-Centered Intelligent Floor Heating Control (DOI) | Srba | Agesen, Larsen, Mikucionis, Muniz, Olsen, Pedersen, Skou | IEEE | Proceedings of the 42nd Annual Conference of the IEEE Industrial Electronics Society (IECON'16) |
| C | 2016 | Distributed Computation of Fixed Points on Dependency Graphs (DOI) | Srba | Dalsgaard, Enevoldsen, Larsen | Springer | Proceedings of Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA'16) |
| C | 2016 | TAPAAL and Reachability Analysis of P/T Nets (DOI) | Srba | Jensen, Nielsen, Oestergaard | Springer | TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY XI |
| C | 2016 | Schedulers are no Prophets (DOI) | Krčál | Hartmanns, Hermanns | Springer International Publishing | Semantics, Logics, and Calculi |
| C | 2016 | Network Flows for Data Distribution and Computation (DOI) | Rudová | Makatun, Lauret, Šumbera | IEEE | 2016 IEEE Symposium Series on Computational Intelligence (SSCI) |
| C | 2016 | Word2vec Based System for Recognizing Partial Textual Entailment (DOI) | Víta | Kríž | IEEE | PROCEEDINGS OF THE 2016 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS) |
| C | 2016 | Formal Biochemical Space with Semantics in Kappa and BNGL (DOI) | Šafránek, Troják, Klement, Brim | Děd, Šalagovič | Elsevier | The 6th International Workshop on Static Analysis and Systems Biology, SASB 2015 |
| C | 2016 | The value of attack-defence diagrams. (DOI) | Krčál | Hermanns, Krämer, Stoelinga | Springer | In International Conference on Principles of Security and Trust |
| C | 2016 | Neutron/gamma-ray discrimination through measures of fit (DOI) | Amiri, Přenosil, Cvachovec | | IEEE | 2015 4th International Conference on Advancements in Nuclear Instrumentation Measurement Methods and their Applications (ANIMMA) |
| C | 2016 | Optimum filter-based discrimination of neutrons and gamma rays (DOI) | Amiri, Přenosil, Cvachovec | | IEEE | 2015 4th International Conference on Advancements in Nuclear Instrumentation Measurement Methods and their Applications (ANIMMA) |
| C | 2016 | Method of Solving the Volume Between Triangulated Mesh Surfaces (DOI) | Sehnal | Tengler | SPRINGER-VERLAG BERLIN | INFORMATION SYSTEMS ARCHITECTURE AND TECHNOLOGY, ISAT 2015, PT III |
| C | 2016 | CoUnSiL: Collaborative Universe for Remote Interpreting of Sign Language in Higher Education (DOI) | Rusňák, Troubil, Ondra, Sklenák, Daxnerová, Hladká, Kajaba, Minárik, Novák, Damm, Kala | | Springer International Publishing | Computers Helping People with Special Needs: 15th International Conference, ICCHP 2016, Linz, Austria, July 13-15, 2016, Proceedings, Part II |
| C | 2016 | Detecting Advanced Network Threats Using a Similarity Search (DOI) | Čermák, Čeleda | | Springer International Publishing | Management and Security in the Age of Hyperconnectivity |
| C | 2016 | Network Defence Using Attacker-Defender Interaction Modelling (DOI) | Medková, Čeleda | | Springer International Publishing | IFIP International Conference on Autonomous Infrastructure, Management and Security |
| C | 2015 | Exploring Medical Curricula Using Social Network Analysis Methods (DOI) | Víta, Komenda, Pokorná | | Polskie Towarzystwo Informatyczne, IEEE | Proceedings of the 2015 Federated Conference on Computer Science and Information Systems |
| C | 2015 | Compositionality for Quantitative Specifications (DOI) | Křetínský | Fahrenberg, Legay, Traonouez | Springer | The 11th International Symposium on Formal Aspects of Component Software - FACS 2014 |
| C | 2015 | A flexible denormalization technique for data analysis above a deeply-structured relational database: biomedical applications (DOI) | Štefanič, Lexa | | Springer International Publishing | Lecture Notes in Computer Science 9043, Bioinformatics and Biomedical Engineering, Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17 2015, Proceedings, Part I |
| C | 2015 | Student Performance Prediction Using Collaborative Filtering Methods (DOI) | Bydžovská | | Springer International Publishing | 17th International Conference on Artificial Inteligence in Education - AIED 2015 |
| C | 2015 | Scalable Similarity Search for Big Data - Challenges and Research Objectives (DOI) | Zezula | | Springer | Scalable Information Systems - 5th International Conference |
| C | 2015 | Management and Publishing of Multimedia Dictionary of the Czech Sign Language (DOI) | Rambousek, Horák | | Springer International Publishing | Natural Language Processing and Information Systems, NLDB 2015 |
| C | 2015 | Compact Representation of Photosynthesis Dynamics by Rule-based Models (DOI) | Brim, Nižnan, Šafránek | | Elsevier | 5th International Workshop on Static Analysis and Systems Biology (SASB 2014) |
| C | 2015 | Collided path replanning in dynamic environments using RRT and Cell decomposition algorithms (DOI) | Abbadi, Přenosil | | Springer International Publishing | Modelling and Simulation for Autonomous Systems, |
| C | 2015 | Motion Images: An Effective Representation of Motion Capture Data for Similarity Search (DOI) | Eliáš, Sedmidubský, Zezula | | Springer | Proceedings of 8th International Conference on Similarity Search and Applications (SISAP 2015), LNCS 9371 |
| C | 2015 | Face Image Retrieval Revisited (DOI) | Sedmidubský, Míč, Zezula | | Springer | Proceedings of 8th International Conference on Similarity Search and Applications (SISAP 2015), LNCS 9371 |
| C | 2015 | KYPO: A Tool for Collaborative Study of Cyberattacks in Safe Cloud Environment (DOI) | Eichler, Ošlejšek, Toth | | Springer International Publishing | HCI International 2015: Human Aspects of Information Security, Privacy, and Trust |
| C | 2015 | Combining Text and Formula Queries in Math Information Retrieval: Evaluation of Query Results Merging Strategies (DOI) | Líška, Sojka, Růžička | | ACM | NWSearch '15: Proceedings of the First International Workshop on Novel Web Search Interfaces and Systems |
| C | 2015 | On Secrecy Amplification Protocols (DOI) | Ošťádal, Švenda, Matyáš | | Springer International Publishing | Proceedings - Information Security Theory and Practice - 9th IFIP WG 11.2 International Conference, WISTP 2015 |
| C | 2015 | Generation of variable human faces from 3D scan dataset (DOI) | Chalás, Ferková, Furmanová, Sochor, Kozlíková | | IEEE Computer Society | In Proceedings of the 7th International Conference on Games and Virtual Worlds for Serious Applications |
| C | 2015 | Different Aspects of Delivering Programming Courses: Multinational Experiences (DOI) | Pitner | Ivanovič, Xinogalos, Savić | ACM | The 7th Balkan Conference in Informatics (BCI 2015) |
| C | 2015 | Fractal Nature - Generating Realistic Terrains for Games (DOI) | Liarokapis | Cristea | IEEE Computer Society | Proc. of the 7th International Conference on Games and Virtual Worlds for Serious Applications (VS-Games 2015) |
| C | 2015 | The Effect of Prior Gaming Experience in Motor Imagery Training for Brain-Computer Interfaces: A Pilot Study (DOI) | Liarokapis | Vourvopoulos, Chen | IEEE Computer Society | Proc. of the 7th International Conference on Games and Virtual Worlds for Serious Applications (VS-Games 2015) |
| C | 2015 | Analyzing Traffic Features of Common Standalone DoS Attack Tools (DOI) | Bukač, Matyáš | | Springer | Security, Privacy, and Applied Cryptography Engineering - 5th International Conference, SPACE 2015, Proceedings |
| C | 2015 | DNS Traffic Analysis for Malicious Domains Detection (DOI) | Ghafir, Přenosil | | IEEE Xplore Digital Library | Proceedings of International Conference on Signal Processing and Integrated networks |
| C | 2015 | Selecting a new key derivation function for disk encryption (DOI) | Brož, Matyáš | | Springer International Publishing Switzerland | Security and Trust Management, 11th International Workshop, STM 2015, LNCS 9331 |
| C | 2015 | A Metaheuristic for Optimizing the Performance and the Fairness in Job Scheduling Systems (DOI) | Klusáček, Rudová | | Springer | Artificial-Intelligence Applications in Information and Communication Technologies |
| C | 2015 | Planning and optimization in TORQUE resource manager (DOI) | Klusáček, Rudová | Chlumský | ACM | Proceedings of the 24th ACM International Symposium on High Performance Distributed Computing |
| C | 2015 | High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems (DOI) | Brim, Demko, Pastva, Šafránek | | Springer International Publishing | Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers |
| C | 2015 | Determining Window Size from Plagiarism Corpus for Stylometric Features (DOI) | Suchomel, Brandejs | | Springer International Publishing | Experimental IR Meets Multilinguality, Multimodality, and Interaction |
| C | 2015 | Multi-modal Similarity Retrieval with a Shared Distributed Data Store (DOI) | Novák | | Springer International Publishing | Scalable Information Systems: 5th International Conference, INFOSCALE 2014, Seoul, South Korea, September 25-26, 2014, Revised Selected Papers |
| C | 2015 | Blacklist-based Malicious IP Traffic Detection (DOI) | Ghafir, Přenosil | | IEEE Xplore Digital Library | Proceedings of Global Conference on Communication Technologies (GCCT) |
| C | 2015 | Ruby Benchmark Suite using Docker (DOI) | Nguyen, Rebok, Ludvigh | Tunka | IEEE | Annals of Computer Science and Information Systems, Volume 5 |
| C | 2015 | Recharging Probably Keeps Batteries Alive (DOI) | Krčál | Hermanns, Nies | Springer | CyPhy 2015 |
| C | 2015 | Continuous Collision Detection Using Tetrahedral Structures (DOI) | Čejka | | IEEE Computer Society | Proceedings of the 7th International Conference on Games and Virtual Worlds for Serious Applications (VS-Games 2015) |
| C | 2015 | Architecture Considerations for Massively Parallel Hardware Security Platform (DOI) | Švenda | Cvrček | Springer | Lecture Notes in Computer Science 9354 |
| C | 2015 | Green@CU: An environmental Game for Residential Accommodation (DOI) | Liarokapis | Petridis, Lameras, Hendrix, Dunwell, Babaoukas, Smithson, Gaterell | IEEE Computer Society | Proc. of the 9th Int'l Conference on Interactive Mobile and Communication Technologies and Learning 2015 (IMCL 2015), Special Session: Mobile Serious Games for Creativity, Cognition and Innovation in Education |
| C | 2015 | Creative Thinking Experimentations for Entrepreneurship with A Disruptive, Personalised and Mobile Game-based Learning Ecosystem (DOI) | Liarokapis | Lameras, Tsiatsos, Petridis, Tolis, Anastasiadou, Protopsaltis, Hendrix, Arnab | IEEE Computer Society | Proc of the 9th Int'l Conference on Interactive Mobile and Communication Technologies and Learning 2015 (IMCL 2015), Special Session: Mobile Serious Games for Creativity, Cognition and Innovation in Education |
| C | 2015 | Efficient Image Search with Neural Net Features (DOI) | Novák, Zezula | Čech | Springer International Publishing | Similarity Search and Applications: 8th International Conference, SISAP 2015, Glasgow, UK, October 12-14, 2015, Proceedings |
| C | 2015 | Large-scale Image Retrieval using Neural Net Descriptors (DOI) | Novák, Batko, Zezula | | ACM | Proceedings of the 38th International ACM SIGIR Conference on Research and Development in Information Retrieval |
| C | 2015 | Process design patterns in emergency management (DOI) | Pitner | Ludík | Springer New York LLC | 11th IFIP WG 5.11 International Symposium on Environmental Software Systems, ISESS 2015 |
| C | 2015 | Generic Private Social Network for Knowledge Management (DOI) | Víta | Kubalík, Pokorný, Vojtáš | Springer | Web Information Systems Engineering – WISE 2014 Workshops, LNCS 9051 |
| C | 2015 | On the orthogonal vector problem and the feasibility of unconditionally secure Leakage-Resilient computation (DOI) | Dupont | Damgård, Nielsen | Springer | 8th International Conference on Information Theoretic Security, ICITS 2015 ; LNCS 9063 |
| C | 2015 | Significant reliability improvement of NMR systems (DOI) | Amiri, Přenosil | | IEEE | CMT 2015 - International Conference on Military Technologies 2015 |
| C | 2015 | Towards an efficient data assimilation in physically-based medical simulations (DOI) | Peterlík, Klíma | | IEEE | Proceedings of IEEE International Conference on Bioinformatics and Biomedicine (BIBM), 2015 |
| C | 2014 | Distributed Event-Driven Model for Intelligent Monitoring of Cloud Datacenters (DOI) | Tovarňák, Nguyen, Pitner | | Springer International Publishing Switzerland | Intelligent Distributed Computing VII |
| C | 2014 | Semantically Partitioned Peer to Peer Complex Event Processing (DOI) | Nguyen, Tovarňák, Pitner | | Springer International Publishing Switzerland | Intelligent Distributed Computing VII. Proceedings of the 7th International Symposium on Intelligent Distributed Computing - IDC 2013, Prague, Czech Republic, September 2013 |
| C | 2014 | Detection of Intramolecular Tunnels Connecting Sequence of Sites in Protein Structures (DOI) | Strnad, Kozlíková, Sochor | | Springer International Publishing | Advances in Intelligent Systems and Computing |
| C | 2014 | Model Checking Parallel Programs with Inputs (DOI) | Barnat, Bauch, Havel | | IEEE Computer Society | Proceedings of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) |
| C | 2014 | Towards Verification of Ensemble Based Component Systems (DOI) | Barnat, Beneš, Černá | Bureš, Keznikl, Plášil | Springer International Publishing | Formal Aspects of Component Software |
| C | 2014 | Symbiotic 2: More Precise Slicing (Competition Contribution) (DOI) | Slabý, Strejček | | Springer | Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014 |
| C | 2014 | Comparison of 3D Texture-based Image Descriptors in Fluorescence Microscopy (DOI) | Majtner, Svoboda | | Springer International Publishing | 16th International Workshop on Combinatorial Image Analysis (IWCIA) 2014 |
| C | 2014 | The Complexity of Repairing, Adjusting, and Aggregating of Extensions in Abstract Argumentation (DOI) | Ordyniak | Szeider, Eun | Springer | Lecture Notes in Computer Science |
| C | 2014 | On the state complexity of semi-quantum finite automata (DOI) | Zheng, Gruska | Qiu | Springer | Language and Automata Theory and Applications |
| C | 2014 | CLAN Photo Presenter: Multi-modal Summarization Tool for Image Collections (DOI) | Batko, Budíková, Eliáš, Zezula | | ACM | Proceedings of ICMR 2014 |
| C | 2014 | Math Indexer and Searcher Web Interface: Towards Fulfillment of Mathematicians' Information Needs (DOI) | Líška, Sojka, Růžička | | Springer International Publishing Switzerland | Intelligent Computer Mathematics CICM 2014. Proceedings of Calculemus, DML, MKM, and Systems and Projects |
| C | 2014 | General Solutions for MTTF and Steady-State Availability of NMR Systems (DOI) | Amiri, Přenosil | | IEEE | Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC), 2014 9th International Symposium on |
| C | 2014 | Application of Digital Signal Processing in Discrimination of Neutrons and Gamma Rays (DOI) | Amiri, Přenosil | | IEEE | Proceedings of 37th International Conference on Telecommunications and Signal Processing (TSP) |
| C | 2014 | Dialogue-based Information Retrieval from Images (DOI) | Hamřík, Kopeček, Ošlejšek, Plhák | | Springer International Publishing | Computers Helping People with Special Needs:14th International Conference, ICCHP 2014 |
| C | 2014 | Biochemical Space: A Framework for Systemic Annotation of Biological Models (DOI) | Klement, Šafránek | Děd, Červený, Mueller, Steuer | Elsevier | Proceedings of the 5th International Workshop on Interactions between Computer Science and Biology (CS2Bio’14) |
| C | 2014 | Rapid prototyping of a web categorization tool (DOI) | Navrátil, Popelínský | | ACM New York | IDEAS '14 Proceedings of the 18th International Database Engineering & Applications Symposium |
| C | 2014 | Towards Academic Analytics by Means of Motion Charts (DOI) | Géryk, Popelínský | | Springer International Publishing | Proceedings of the 9th European Conference on Technology Enhanced Learning (EC-TEL 2014) |
| C | 2014 | Continuous Authentication with Cognition-centric Text Production and Revision Features (DOI) | Sitová | Locklear, Govindarajan, Goodkind, Brizan, Rosenberg, Phoha, Gasti, Balagani | IEEE | International Joint Conference on Biometrics (IJCB), 2014 |
| C | 2014 | Image Analysis of Gene Locus Positions within Chromosome Territories in Human Lymphocytes (DOI) | Štěpka | Falk | Springer International Publishing | Mathematical and Engineering Methods in Computer Science : Volume 8934 of the series Lecture Notes in Computer Science |
| C | 2014 | Evaluation of key management schemes in wireless sensor networks (DOI) | Jurnečka, Stehlík, Matyáš | | Springer International Publishing | Security and Trust Management |
| C | 2014 | Local Search Heuristics for Media Streams Planning with Transcoding (DOI) | Marek, Rudová, Holub | | IEEE | IEEE 13th International Symposium on Network Computing and Applications NCA 2014 |
| C | 2014 | Overview of Research Challenges towards Smart Grid Quality by Design (DOI) | Gešvindr, Bühnová, Rosecký | | IEEE | Proceedings of the 2014 Federated Conference on Computer Science and Information Systems |
| C | 2014 | A New Approach to Secrecy Amplification in Partially Compromised Networks (DOI) | Švenda, Matyáš | Ošťádal | Springer | Security, Privacy, and Applied Cryptography Engineering - 4th International Conference |
| C | 2014 | Evolution of Design Patterns: A Replication Study (DOI) | Rossi | Russo | ACM | Proceedings of the 8th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement |
| C | 2014 | Approaches for Candidate Document Retrieval (DOI) | Suchomel, Brandejs | | IEEE | Information and Communication Systems (ICICS), 2014 5th International Conference on |
| C | 2014 | Texture Analysis Using 3D Gabor Features and 3D MPEG-7 Edge Histogram Descriptor in Fluorescence Microscopy (DOI) | Majtner, Svoboda | | IEEE Computer Society | 4th International Conference on 3D Imaging (IC3D) |
| C | 2014 | Mapping Problems to Skills Combining Expert Opinion and Student Data (DOI) | Nižnan, Pelánek, Řihák | | Springer | Proceedings of MEMICS'14 |
| C | 2014 | LTL Model Checking of LLVM Bitcode with Symbolic Data (DOI) | Bauch, Havel, Barnat | | Springer | Proceedings of MEMICS'14 |
| C | 2014 | Dealing with Zero Density Using Piecewise Phase-Type Approximation (DOI) | Korenčiak, Řehák | Krčál | Springer International Publishing | Computer Performance Engineering |
| C | 2014 | Determining Cryptographic Distinguishers for eStream and SHA-3 Candidate Functions with Evolutionary Circuits (DOI) | Švenda, Ukrop, Matyáš | | Springer Berlin Heidelberg | E-Business and Telecommunications |
| C | 2014 | Experience with Real-Life Students' Projects (DOI) | Král | Žemlička | IEEE | Proceedings of the 2014 Federated Conference on Computer Science and Information Systems |
| C | 2014 | Traversing Symmetric NAT with Predictable Port Allocation (DOI) | Klinec, Matyáš | | ACM | SIN '14 Proceedings of the 7th International Conference on Security of Information and Networks |
| C | 2014 | Towards Fast Multimedia Feature Extraction: Hadoop or Storm (DOI) | Mera, Batko, Zezula | | IEEE Computer Society Publications | Proceedings of 2014 IEEE International Symposium on Multimedia (ISM) |
| C | 2014 | Smart buildings: Semantic web technology for building information model and building management system (DOI) | Asfand-e-yar, Kučera, Pitner | | IEEE | Data and Software Engineering (ICODSE), 2014 International Conference on |
| C | 2014 | From Quantum Query Complexity to State Complexity (DOI) | Zheng | Qiu | Springer | Computing with New Resources |
| C | 2014 | Memory Efficient Data Structures for Explicit Verification of Timed Systems (DOI) | Srba | Jensen, Larsen, Soerensen, Taankvist | Springer-Verlag | Proceedings of the 6th NASA Formal Methods Symposium (NFM'14) |
| C | 2014 | Digitization Workflow in the Czech Digital Mathematics Library (DOI) | Sojka | | Springer Berlin Heidelberg | Computer Mathematics |
| C | 2014 | Faster Randomness Testing with the NIST Statistical Test Suite (DOI) | Sýs, Říha | | Springer International Publishing | Security, Privacy, and Applied Cryptography Engineering |
| C | 2014 | Grand challenges of informatics (DOI) | Gruska | | Springer | Computing with New Resources |
| C | 2014 | Context-Switch-Directed Verification in DIVINE (DOI) | Štill, Ročkai, Barnat | | Springer International Publishing | Mathematical and Engineering Methods in Computer Science |
| C | 2014 | Integrating Personalized Learning with Industrial Cooperation | Pitner | | WOLTERS KLUWER CR A S | DIVAI 2014: 10TH INTERNATIONAL SCIENTIFIC CONFERENCE ON DISTANCE LEARNING IN APPLIED INFORMATICS |
| C | 2013 | Controllable-choice Message Sequence Graphs (DOI) | Řehák | Chmelík | Springer | Proceedings of Mathematical and Engineering Methods in Computer Science, 8th Doctoral Workshop (MEMICS 2012), Selected Papers |
| C | 2013 | PRALED – A New Kind of Lexicographic Workstation (DOI) | Horák, Rambousek | | Springer | Studies in Computational Intelligence, Volume 458, Computational Linguistic: Applications |
| C | 2013 | Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints (DOI) | Svoreňová, Černá | Belta | Institute of Electrical and Electronics Engineers ( IEEE ) | Proceedings of The 2013 American Control Conference |
| C | 2013 | Timed Modelling of Gene Networks with Arbitrary Expression Level Discretization (DOI) | Brim, Šafránek | Van, Jacquet | Elsevier | Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology (CS2Bio'12) |
| C | 2013 | Determinacy in Stochastic Games with Unbounded Payoff Functions (DOI) | Brázdil, Kučera, Novotný | | Springer | Mathematical and Engineering Methods in Computer Science (MEMICS 2012) |
| C | 2013 | A Better Way towards Key Establishment and Authentication in Wireless Sensor Networks (DOI) | Jurnečka, Matyáš | | Springer | Proceedings of the 8th international conference on Mathematical and Engineering Methods in Computer Science |
| C | 2013 | Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution) (DOI) | Slabý, Strejček, Trtík | | Springer | Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013 |
| C | 2013 | Verification of Liveness Properties on Closed Timed-Arc Petri Nets (DOI) | Srba | Andersen, Larsen, Soerensen, Taankvist | Springer | Proceedings of Mathematical and Engineering Methods in Computer Science (MEMICS'12) |
| C | 2013 | Action Investment Energy Games (DOI) | Srba | Larsen, Laursen | Springer | Proceedings of Mathematical and Engineering Methods in Computer Science (MEMICS'12) |
| C | 2013 | Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets (DOI) | Srba | Bertolini, Liu | Springer | Proceedings of the 2nd International Symposium on the Foundations of Health Information Engineering and Systems (FHIES'12) |
| C | 2013 | Face-based People Searching in Videos (DOI) | Sedmidubský, Batko, Zezula | | Springer-Verlag | 35th European Conference on Information Retrieval (ECIR 2013), LNCS 7814 |
| C | 2013 | Distributed LTL Model Checking with Hash Compaction (DOI) | Barnat, Havlíček, Ročkai | | Elsevier Science | Electronic Notes in Theoretical Computer Science, Volume 296 |
| C | 2013 | Towards User-Aware Multi-Touch Interaction Layer for Group Collaborative Systems (DOI) | Rusňák, Ručka | Holub | Springer-Verlag Berlin / Heidelberg | Lecture Notes in Computer Science Volume 7721 |
| C | 2013 | Incremental Runtime Verification of Probabilistic Systems (DOI) | Forejt | Kwiatkowska, Parker, Qu, Ujma | Springer | Runtime Verification |
| C | 2013 | Random rules from data streams (DOI) | Kosina | Ezilda, Gama | ACM | Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13 |
| C | 2013 | Towards Machine-Actionable Modules of a Digital Mathematics Library: The Example of DML-CZ (DOI) | Růžička, Sojka, Krejčíř | | Springer | CICM 2013, LNAI 7961 |
| C | 2013 | Digital Data Processing of Stilbene (DOI) | Amiri, Matěj, Mravec, Cvachovec, Přenosil | | IEEE | Advancements in Nuclear Instrumentation Measurement Methods and their Applications (ANIMMA), 2013 3rd International Conference on |
| C | 2013 | On time-average limits in deterministic and stochastic Petri nets (DOI) | Brázdil, Korenčiak, Krčál, Křetínský, Řehák | | ACM | ACM/SPEC International Conference on Performance Engineering, ICPE'13 |
| C | 2013 | MoTraS: A Tool for Modal Transition Systems and Their Extensions (DOI) | Křetínský | Sickert | Springer | Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013 |
| C | 2013 | Rabinizer 2: Small Deterministic Automata for LTL\GU (DOI) | Křetínský | Ledesma | Springer | Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013 |
| C | 2013 | Retrieving Similar Movements in Motion Capture Data (DOI) | Sedmidubský, Valčík | | Springer-Verlag | 6th International Conference on Similarity Search and Applications (SISAP 2013), LNCS 8199 |
| C | 2013 | A Comprehensive Web-based Platform For Domain-Specific Biological Models (DOI) | Klement, Šafránek | Děd, Pejznoch, Nedbal, Steuer, Červený, Mueller | Elsevier | Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology (CS2Bio'13) |
| C | 2013 | A Dynamic Approach to Process Design: A Pattern for Extending the Flexibility of Process Models (DOI) | Kolář, Pitner, Dočkal | | Springer Berlin Heidelberg | Lecture Notes in Business Information Processing Volume 165, 2013 |
| C | 2013 | Predicting Student Performance in Higher Education (DOI) | Bydžovská, Popelínský | | IEEE Computer Society | 24th International Workshop on Database and Expert Systems Applications - Dexa 2013 |
| C | 2013 | An Adaptive Security Architecture for Location Privacy Sensitive Sensor Network Applications (DOI) | Kůr, Matyáš | | Springer Berlin Heidelberg | Lightweight Cryptography for Security and Privacy |
| C | 2013 | Using encryption for authentication: Wireless sensor network case (DOI) | Jurnečka, Matyáš | | IEEE | 2013 IEEE International Workshop on Security and Privacy of Mobile, Wireless, and Sensor Networks (MWSN) |
| C | 2013 | A framework for monitoring and evaluation of learning processes (DOI) | Pekárková, Eibenová, Pitner | | Springer Berlin Heidelberg | Environmental Software Systems. Fostering Information Sharing |
| C | 2013 | Pedestrian Localization in Closed Environments (DOI) | Ševčík | | Springer | Environmental Software Systems. IFIP Advances in Information and Communication Technology |
| C | 2013 | Automatic Detection of Concepts from Problem Solving Times (DOI) | Pelánek, Boroš, Nižnan, Řihák | | Springer | Artificial Intelligence in Education |
| C | 2013 | Improved State Space Reductions for LTL Model Checking of C & C++ Programs (DOI) | Ročkai, Barnat, Brim | | Springer | NASA Formal Methods 2013 |
| C | 2013 | Model Checking of Biological Systems (DOI) | Brim, Češka, Šafránek | | Springer | Formal Methods for Dynamical Systems |
| C | 2013 | Structured and Interoperable Logging for the Cloud Computing Era: The Pitfalls and Benefits (DOI) | Tovarňák, Vašeková, Novák, Pitner | | IEEE Computer Society | Proceedings of 6th IEEE/ACM International Conference on Utility and Cloud Computing |
| C | 2013 | Lean Agile Approach in Development of Modern Mobile and Web Applications. (DOI) | Škrabálek, Pitner | | Springer Berlin Heidelberg | Business Information Systems Workshops, Lecture Notes in Business Information Processing |
| C | 2013 | Intelligent Facility Management for Sustainability and Risk Management (DOI) | Kučera, Pitner | | Springer | Environmental Software Systems. Fostering Information Sharing |
| C | 2013 | Esther: Introducing an Online Platform for Parameter Identification of Boolean Networks | Streck, Kolčák, Šafránek | Siebert | Springer | Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings |
| C | 2013 | Minimum-violation LTL Planning with Conflicting Specifications (DOI) | Tůmová | Reyes, Karaman, Frazzoli, Rus | IEEE | Proceedings of the American Control Conference |
| C | 2013 | Integrating Renewable Energy Sources Using a Smart Household System (DOI) | Prýmek, Horák | Prokop, Mišák | Institute of Electrical and Electronics Engineers (IEEE) | 2013 13 International Conference on Environment and Electrical Engineering, EEEIC 2013 |
| C | 2013 | Support of Service Systems by Advanced SOA (DOI) | Král | Žemlička | Springer, Berlin Heidelberg | Information Systems, E-learning, and Knowledge Management Research |
| C | 2013 | Digital data processing of stilbene (DOI) | Amiri, Přenosil, Cvachovec, Matěj, Mravec | | IEEE | 2013 3rd International Conference on Advancements in Nuclear Instrumentation, Measurement Methods and Their Applications, ANIMMA 2013 |
| D | 2017 | 3D Modelling and Mapping For Virtual Exploration of Underwater Archaeology Assets (DOI) | Liarokapis, Kouřil, Chmelík | Agrafiotis, Demesticha, Skarlatos | International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences (ISPRS) | Proc. of the International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences (ISPRS), XLII-2/W3 |
| D | 2017 | Institutional Repository Driven by Access Rights as a Part of Plagiarism Detection Systems | Jakubík, Suchomel, Lunter, Brandejs | | Mendel University in Brno | Plagiarism Across Europe And Beyond 2017 |
| D | 2017 | Towards a Unified Data Storage and Generic Visualizations in Cyber Ranges | Ošlejšek, Toth, Eichler, Burská | | Academic Conferences and Publishing International Limited | Proceedings of the 16th European Conference on Cyber Warfare and Security ECCWS 2017 |
| D | 2017 | Satisfaction Assessment with the Process and Result of Online Dispute Resolution in B2B Relationships | | Šimková, Smutný | VŠB - Technical University of Ostrava | Strategic Management and its Support by Information Systems (SMSIS) |
| D | 2017 | Semantic Vector Encoding and Similarity Search Using Fulltext Search Engines (DOI) | Růžička, Novotný, Sojka | Rygl, Pomikálek, Řehůřek | Association for Computational Linguistics | Proceedings of the 2nd Workshop on Representation Learning for NLP |
| D | 2017 | Using Markdown Inside TeX Documents | Novotný | | Polska Grupa Użytkowników systemu TeX – GUST | XXV Międzynarodowa Konferencja Użytkowników Systemu TeX, Materiały konferencyjne |
| D | 2017 | Innovation and diversity | Pitner | Ministr, Pucihar | Johannes Kepler Universität Linz | 25th Interdisciplinary Information Management Talks (IDIMT) 2017 Digitalization in Management, Society and Economy |
| D | 2017 | Innovation Of The Information Management In Compliance Management Area | Pitner | Ministr | Johannes Kepler Universität Linz | 25th Interdisciplinary Information Management Talks (IDIMT) 2017 Digitalization in Management, Society and Economy |
| D | 2017 | Process Support of Information Security according to COBIT® 5 | Pitner | Ministr | VŠB – Technical University of Ostrava, Faculty of Economics | Proceedings of the 12 th International Conference on Strategic Management and its Support by Information Systems 2017 |
| D | 2017 | Towards a Common Logging and Monitoring Framework for Critical Infrastructures | Pitner | Ministr, Tovarňák, Kšenzuliak, Kučera | VŠB - Technical University of Ostrava | Strategic Management and its Support by Information Systems (SMSIS) |
| D | 2017 | Flexible Similarity Search of Semantic Vectors Using Fulltext Search Engines | Růžička, Novotný, Sojka | Pomikálek, Řehůřek | Neuveden | CEUR Workshop Proceedings, Vol. 1923 |
| D | 2017 | Overview and Future of Czech Wordnet | Rambousek, Pala, Tukačová | | CEUR-WS.org | LDK Workshops: OntoLex, TIAD and Challenges for Wordnets |
| D | 2017 | Automated Identification of Domain Preferences of Collocations | Suchomel | Kallas, Khokhlova | Lexical Computing CZ s.r.o. | Electronic Lexicography in the 21st Century. Proceedings of Elex 2017 Conference. |
| D | 2017 | The Efficient Randomness Testing using Boolean Functions (DOI) | Sýs, Klinec, Švenda | | SCITEPRESS | Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017) - Volume 4: SECRYPT, Madrid, Spain, July 24-26, 2017 |
| D | 2017 | Provenance-aware optimization of workload for distributed data production (DOI) | Rudová | Makatun, Lauret, Šumbera | Institute of Physics Publishing | Journal of Physics: Conference Series, vol. 898 |
| D | 2017 | Semantic Similarities between Locations based on Ontology | Sherwani, Sojka | Calimeri | Tribun EU | Proceedings of the Eleventh Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2017 |
| D | 2017 | Manipulative Propaganda Techniques: Technical Report | Baisa, Herman, Horák | | Tribun EU | Proceedings of the Eleventh Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2017 |
| D | 2017 | Annual Assessment of the Online Dispute Resolution Platform in the EU | | Šimková | Masaryk University | Cofola International 2017: Resolution of International Disputes: Conference Proceedings |
| D | 2017 | Science and Technology Parks as opportunity to increase competitiveness of companies in the Czech Republic? | | Šimková | College of Polytechnics Jihlava | Proceedings of 9th annual international scientific conference COMPETITION |
| D | 2017 | Idiomatic Expressions in VerbaLex | Nevěřilová | | Tribun EU | Proceedings of the Eleventh Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2017 |
| D | 2017 | New features in DEBVisDic for WordNet Visualization and User Feedback | Rambousek, Horák, Klement, Kletečka | | Tribun EU | Proceedings of the Eleventh Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2017 |
| D | 2017 | The Ordered-triple Theory of Language: Its History and the Current Context | Horák, Pala | | Tribun EU | Proceedings of the Eleventh Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2017 |
| D | 2017 | Multilinguality Adaptations of Natural Language Logical Analyzer | Medveď | Šulganová, Horák | Tribun EU | Proceedings of the Eleventh Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2017 |
| D | 2017 | Enlargement of the Czech Question-Answering Dataset to SQAD v2.0 | Šulganová | Medveď, Horák | Tribun EU | Proceedings of the Eleventh Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2017 |
| D | 2017 | KernelTagger – a PoS Tagger for Very Small Amount of Training Data | Rychlý | | Tribun EU | Proceedings of the Eleventh Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2017 |
| D | 2016 | Effect of 3D geovisualization on the cognitive processing of the information | Juřík, Šašinka, Špriňarová, Herman, Štěrba, Stachoň, Chmelík, Kozlíková | | Univerzita Komenského v Bratislave | Kognicia a umelý život XV, 2015 |
| D | 2016 | Agent-Based Modelling And Simulation For The Geospatial Network Model Of The Roman World | Fousek, Výtvarová, Mertel, Chalupa, Hladká | | Proceedings of Science | International Symposium on Grids and Clouds (ISGC) 2016 |
| D | 2016 | Digital spectrometric system for characterization of mixed neutron – gamma field in the experimental reactor LR-0 (DOI) | Mravec, Matěj, Veškrna, Přenosil | Cvachovec, Košťál | EDP Sciences | 15th International Symposium on Reactor Dosimetry, ISRD 2014 |
| D | 2016 | On Evaluation of Natural Language Processing Tasks: Is Gold Standard Evaluation Methodology a Good Solution? | Kovář, Jakubíček, Horák | | SCITEPRESS | Proceedings of the 8th International Conference on Agents and Artificial Intelligence |
| D | 2016 | DEBVisDic: Instant Wordnet Building | Rambousek, Horák | | Romanian Academy | Proceedings of the Eighth Global WordNet Conference |
| D | 2016 | Emerging Technology Enabling Dyslexia Users To Read and Perceive Written Text Correctly | Pařilová, Hladká | Mrváň, Mižík | Instituto Politécnico Nacional | Research in Computer Science |
| D | 2016 | Math Indexer and Searcher under the Hood: Fine-Tuning Query Expansion and Unification Strategies | Růžička, Sojka, Líška | | National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430 Japan | Proceedings of the 12th NTCIR Conference on Evaluation of Information Access Technologies |
| D | 2016 | Unfolding and Interactive Exploration of Protein Tunnels and their Dynamics. (DOI) | Byška, Kozlíková | Kolesár, Parulek, Hauser | The Eurographics Association | EG VCBM 2016 Eurographics Workshop on Visual Computing for Biology and Medicine |
| D | 2016 | RuSkELL: Online Language Learning Tool for Russian Language | Baisa | Apresjan, Buivolova, Kultepina | Ivane Javakhishvili Tbilisi State University | Proceedings of the XVII EURALEX International congress |
| D | 2016 | What Do Graded Decisions Tell Us about Verb Uses | Baisa | Cinková, Krejčová, Vernerová | Ivane Javakhishvili Tbilisi State University | Proceedings of the XVII EURALEX International congress |
| D | 2016 | Multilingual CPA: Linking Verb Patterns across Languages | Baisa | Može, Renau | Ivane Javakhishvili Tbilisi State University | Proceedings of the XVII EURALEX International congress |
| D | 2016 | English-French Document Alignment Based on Keywords and Statistical Translation | Medveď, Kovář, Jakubíček | | Association for Computational Linguistics | Proceedings of the First Conference on Machine Translation, Volume 2: Shared Task Papers |
| D | 2016 | The Academic-Industrial Collaboration As An Innovation Instrument | Pitner | Ministr | Trauner Verlag | IDIMT-2016 Information Technology, Society and Economy Strategic Cross-Influence |
| D | 2016 | Course Similarity Analysis | Bydžovská | | WIKT & DaZ 2016 | Proceedings in Informatics and Information Technologies |
| D | 2016 | Practical Multi-pattern Matching Approach for Fast and Scalable Log Abstraction (DOI) | Tovarňák | | SCITEPRESS | ICSOFT-EA 2016 - Proceedings of the 11th International Joint Conference on Software Technologies |
| D | 2016 | On the impact of warning interfaces for enabling the detection of Potentially Unwanted Applications | Šťavová, Matyáš | Just | Internet Society | Euro Usable Security (EuroUSEC) Workshop Programme |
| D | 2016 | Beyond the Digital Ecosystems view: insights from Smart Communities | Walletzký, Caputo, Bühnová | Vincenzo | EuroMed Press | 9th Annual Conference of the EuroMed-Academy-of-Business |
| D | 2016 | Botnet Command and Control Traffic Detection Challenges: A Correlation-based Solution (DOI) | Ghafir, Přenosil | Hammoudeh | theIRED | Proceedings of International Conference on Advances in Computing, Electronics and Communication |
| D | 2016 | Machine learning for family business analysis | Michálik, Popelínský | Antlová, Rydvalová | Nakladatel’stvo STU | Proceedings in Informatics and Information Technologies. Bratislava: WIKT & DaZ |
| D | 2016 | Graph Mining: Applications (invited talk) | Vaculík | | Nakladatel’stvo STU | Proceedings in Informatics and Information Technologies. Bratislava: WIKT & DaZ |
| D | 2016 | Sending Money Like Sending E-mails: Cryptoaddresses, The Universal Decentralised Identities (DOI) | Zima | | Open Publishing Association | Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Telč, Czech Republic, 21st-23rd October 2016 |
| D | 2016 | Compact hybrid real-time hyperspectral imaging system with high effective spatial, spectral, and temporal resolution (DOI) | Roth, Abbadi, Herman, Pavelek, Přenosil | | SPIE Proceedings | Optics in Health Care and Biomedical Optics VII |
| D | 2016 | ScaleText: The Design of a Scalable, Adaptable and User-Friendly Document System for Similarity Searches : Digging for Nuggets of Wisdom in Text | Sojka, Růžička | Rygl, Řehůřek | Tribun EU | Proceedings of the Tenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2016 |
| D | 2016 | Between Comparable and Parallel: English-Czech Corpus from Wikipedia | Štromajerová, Baisa, Blahuš | | Tribun EU | RASLAN 2016 Recent Advances in Slavonic Natural Language Processing |
| D | 2016 | Czech Grammar Agreement Dataset for Evaluation of Language Models | Baisa | | Tribun EU | RASLAN 2016 Recent Advances in Slavonic Natural Language Processing |
| D | 2016 | Pre-processing Large Resources for Family Names Research | Rambousek | | Tribun EU | RASLAN 2016 Recent Advances in Slavonic Natural Language Processing |
| D | 2016 | How to Present NLP Topics to Children? | Rambousek, Nevěřilová | | Tribun EU | RASLAN 2016 Recent Advances in Slavonic Natural Language Processing |
| D | 2016 | Data Structures in Lexicography: from Trees to Graphs | Měchura | | Tribun EU | Proceedings of Recent Advances in Slavonic Natural Language Processing, RASLAN 2016 |
| D | 2016 | Bilingual Logical Analysis of Natural Language Sentences | Medveď, Horák, Kovář | | Tribun EU | Tenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2016 |
| D | 2016 | Options for Automatic Creation of Dictionary Definitions from Corpora | Stará, Kovář | | Tribun EU | Tenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2016 |
| D | 2016 | Evaluating Natural Language Processing Tasks with Low Inter-Annotator Agreement: The Case of Corpus Applications | Kovář | | Tribun EU | Tenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2016 |
| D | 2016 | Terminology Extraction for Academic Slovene Using Sketch Engine | Suchomel, Jakubíček | Fišer | Tribun EU | Tenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2016 |
| D | 2016 | Large Scale Keyword Extraction using a Finite State Backend | Jakubíček, Šmerk | | Tribun EU | Tenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2016 |
| D | 2016 | Evaluation of the Sketch Engine Thesaurus on Analogy Queries | Rychlý | | Tribun EU | Tenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2016 |
| D | 2016 | Avalanche Effect in Improperly Initialized CAESAR Candidates (DOI) | Ukrop, Švenda | | Open Publishing Association | Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Telč, Czech Republic, 21st-23rd October 2016 |
| D | 2016 | DSL Shared task 2016: Perfect Is The Enemy of Good Language Discrimination Through Expectation-Maximization and Chunk-based Language Model | Herman, Suchomel, Baisa, Rychlý | | Association for Natural Language Processing (ANLP), Osaka, Japan | Proceedings of the Third Workshop on NLP for Similar Languages, Varieties and Dialects (VarDial3) |
| D | 2016 | Simulations and study of a new scheduling approach for distributed data production (DOI) | Rudová | Makatun, Lauret, Šumbera | Institute of Physics Publishing | Journal of Physics: Conference Series, vol. 762 |
| D | 2016 | A FOCUS ON COMPANY-STAKEHOLDER RELATIONSHIPS IN THE LIGHT OF THE STAKEHOLDER ENGAGEMENT FRAMEWORK | Caputo | | EUROMED PRESS | INNOVATION, ENTREPRENEURSHIP AND DIGITAL ECOSYSTEMS |
| D | 2016 | Characterizing DAG-depth of Directed Graphs (DOI) | Bezek | | OPEN PUBL ASSOC | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE |
| D | 2016 | On Information Value of Top N Statistics (DOI) | Jirsík, Čermák, Čeleda | | Institute of Electrical and Electronic Engineers | 2016 6th International Conference on IT Convergence and Security (ICITCS) |
| D | 2015 | Deriv— Softwaretool for Exploring of Czech Derivational Morphology | Osolsobě, Šmerk, Pala, Hlaváčková | | ÚFAL MFF UK | Sborník semináře o digitálních zdrojích a službách ve společenských a humanitních vědách |
| D | 2015 | Bilingual Terminology Extraction in Sketch Engine | Baisa, Ulipová, Cukr | | Tribun EU | Ninth Workshop on Recent Advances in Slavonic Natural Language Processing |
| D | 2015 | Software and Data for Corpus Pattern Analysis | Baisa, Rychlý, Rambousek | El | Tribun EU | Ninth Workshop on Recent Advances in Slavonic Natural Language Processing |
| D | 2015 | Converting the Corpus Query Language to the Natural Language | Ryšavá, Volková, Rambousek | | Tribun EU | Ninth Workshop on Recent Advances in Slavonic Natural Language Processing |
| D | 2015 | Annotation of Multi-Word Expressions in Czech Texts | Nevěřilová | | Tribun EU | Ninth Workshop on Recent Advances in Slavonic Natural Language Processing |
| D | 2015 | Generating Czech Iambic Verse | Pala, Nevěřilová | | Tribun EU | Ninth Workshop on Recent Advances in Slavonic Natural Language Processing |
| D | 2015 | ASSESSMENT OF PROJECT BASED LEARNING IN SOFTWARE ENGINEERING | Ráček, Daňa, Štěpánek | | IATED | INTED2015 Proceedings |
| D | 2015 | Interactive Visualizations of Corpus Data in Sketch Engine | Kocincová, Jakubíček, Kovář, Baisa | | Linköping University Electronic Press, Linköpings universitet | Proceedings of the Workshop on Innovative Corpus Query and Visualization Tools at NODALIDA 2015 |
| D | 2015 | Personal Relationships Identification in Unstructured data | Ráček, Daňa | Frištik | VŠB - Faculty of Economics | Proceedings of the 11th international conference on Strategic Management and its Support by Information Systems 2015 |
| D | 2015 | Towards Freshmen Performance Prediction | Bydžovská | | UNED | Proceedings of the 8th International Conference on Educational Data Mining |
| D | 2015 | Visualization of Biomolecular Structures: State of the Art (DOI) | Kozlíková, Falk | Krone, Lindow, Baaden, Baum, Viola, Parulek, Hege | The Eurographics Association | Eurographics Conference on Visualization (EuroVis) - STARs |
| D | 2015 | An Analysis of Response Times in Adaptive Practice of Geography Facts | Papoušek, Pelánek, Řihák, Stanislav | | International Educational Data Mining Society | Proceedings of the 8th International Conference on Educational Data Mining |
| D | 2015 | Exploring the Role of Small Differences in Predictive Accuracy using Simulated Data | Nižnan, Papoušek, Pelánek | | Sun SITE Central Europe | Proceedings of the Workshops at the 17th International Conference on Artificial Intelligence in Education |
| D | 2015 | Safe Path Planning Using Cell Decomposition Approximation | Abbadi, Přenosil | | University of Defence, Brno | International Conference DISTANCE LEARNING, SIMULATION AND COMMUNICATION |
| D | 2015 | Advanced Persistent Threat and Spear Phishing Emails | Ghafir, Přenosil | | University of Defence | Proceedings of International Conference Distance Learning, Simulation and Communication |
| D | 2015 | A Survey on Botnet Command and Control Traffic Detection (DOI) | Ghafir, Svoboda, Přenosil | | University of Birmingham | Proceedings of International Conference on Advances in Computing, Communication and Information Technology |
| D | 2015 | Narrow passage identification using cell decomposition approximation and minimum spanning tree | Abbadi | Matousek, Knispel | BUT FME | International Conference of Soft Computing, Mendel Journal series |
| D | 2015 | DEBWrite: Free Customizable Web-based Dictionary Writing System | Rambousek, Horák | | Trojina, Institute for Applied Slovene Studies/Lexical Computing Ltd. | Electronic lexicography in the 21st century: linking lexical data in the digital age |
| D | 2015 | Longest-commonest Match | Baisa, Jakubíček, Rychlý | Kilgarriff | Trojina, Institute for Applied Slovene Studies | Electronic lexicography in the 21st century: linking lexical data in the digital age. Proceedings of the eLex 2015 conference, 11-13 August 2015, Herstmonceux Castle, United Kingdom. |
| D | 2015 | SemEval-2015 Task 15: A CPA dictionary-entry-building task | Baisa | Bradbury, Cinková, El, Kilgarriff, Popescu | Association for Computational Linguistics | Proceedings of the 9th International Workshop on Semantic Evaluation (SemEval 2015) |
| D | 2015 | Increasing Coverage of Translation Memories with Linguistically Motivated Segment Combination Methods | Medveď, Baisa, Horák | | INCOMA Ltd. Shoumen | Proceedings of The Workshop on Natural Language Processing for Translation Memories (NLP4TM) |
| D | 2015 | Turkic Language Support in Sketch Engine | Baisa, Suchomel | | Academy of Sciences of the Republic of Tatarstan Press | Proceedings of the international conference "Turkic Languages processing: TurkLang 2015" |
| D | 2015 | Measuring agile software development | Pitner, Šoltés | Ministr | VSB-Technical University of Ostrava | Proceedings of the 11th International Conference on Strategic Management and Its Support by Information Systems 2015, SMSIS 2015 |
| D | 2015 | Use Of Non-Investment Subsidies In Academic and Business Co-Operation | Pitner | Ministr | Trauner Verlag | Information Technology and Society Interaction and Interdependence - 23rd Interdisciplinary Information Management Talks |
| D | 2015 | New Trends in Educating IS Experts for Practice | Pitner | Ministr | VSB-Technical University of Ostrava | Proceedings of 18th International Conference Information Technology for Practice |
| D | 2015 | Multicast Routing for High-Quality Multimedia Environments: Deployment and New Problems | Troubil, Rudová, Holub | | IARIA | INTELLI 2015, The Fourth International Conference on Intelligent Systems and Applications |
| D | 2015 | Planning for distributed workflows: constraint-based coscheduling of computational jobs and data placement in distributed environments (DOI) | Rudová | Makatun, Lauret, Šumbera | Institute of Physics Publishing | Journal of Physics: Conference Series, vol. 608 |
| D | 2015 | Extensible and Modular Cloud Scheduler for OpenNebula | Podolníková | Parák, Klusáček | ACC Cyfronet AGH | Cracow Grid Workshop |
| D | 2015 | Agent-based User Modeling in Job Scheduling Simulations | Tóth, Klusáček | | ACC Cyfronet AGH | Cracow Grid Workshop |
| D | 2015 | Use of Time Information in Models behind Adaptive Practice System for Building Fluency in Mathematics | Řihák | | International Educational Data Mining Society | Proceedings of the 8th International Conference on Educational Data Mining |
| D | 2015 | Improving Sketches for Similarity Search | Míč, Novák, Zezula | | LITERA | Tenth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'15) |
| D | 2015 | Corpus Based Extraction of Hypernyms in Terminological Thesaurus for Land Surveying Domain | Baisa, Suchomel | | Tribun EU | Ninth Workshop on Recent Advances in Slavonic Natural Language Processing |
| D | 2015 | Improving Synoptic Querying for Source Retrieval | Suchomel, Brandejs | | CEUR | Working Notes of the 6th International Conference of the {CLEF} Initiative |
| D | 2015 | Towards Automatic Finding of Word Sense Changes in Time | Baisa, Herman, Jakubíček | | Tribun EU | Ninth Workshop on Recent Advances in Slavonic Natural Language Processing |
| D | 2015 | A Versatile Algorithm for Predictive Graph Rule Mining | Vaculík | | CEUR-WS.org | Proceedings ITAT 2015: Information Technologies - Applications and Theory |
| D | 2015 | Slavonic Corpus for Stylometry Research | Švec, Rygl | | Tribun EU | Proceedings of Ninth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2015. |
| D | 2015 | Style & Identity Recognition | Rygl | | Tribun EU | Ninth Workshop on Recent Advances in Slavonic Natural Language Processing |
| D | 2015 | Concurrent Processing of Text Corpus Queries | Rábara, Rychlý | | Tribun EU | Ninth Workshop on Recent Advances in Slavonic Natural Language Processing |
| D | 2015 | Semantic Regularity of Derivational Relations | Šmerk | | Tribun EU | Ninth Workshop on Recent Advances in Slavonic Natural Language Processing |
| D | 2015 | AST: New Tool for Logical Analysis of Sentences based on Transparent Intensional Logic | Medveď, Horák | | Tribun EU | Ninth Workshop on Recent Advances in Slavonic Natural Language Processing |
| D | 2015 | TIL as Hyperintensional Logic for Natural Language Analysis | Horák, Duží | | Tribun EU | Ninth Workshop on Recent Advances in Slavonic Natural Language Processing |
| D | 2015 | NIST Statistical Test Suite – result interpretation and optimization | Sýs, Říha | | TNS | SantaCrypt 2015 |
| D | 2015 | CO-AUTHORSHIP NETWORK ANALYSIS AT FACULTY OF INFORMATICS | Štěpánek | | IATED | ICERI2015 Proceedings |
| D | 2015 | Evaluation of a Cultural Heritage Augmented Reality Game | Liarokapis | Sylaiou, Mania, White, Walczak, Wojciechowski, Wiza, Patias | AUTH | Cartographies of Mind, Soul and Knowledge, Special issue for Professor Emeritus Myron Myridis, of Rural and Surveying Engineers |
| D | 2015 | Visualization of Big Data | Géryk, Popelínský | | Vysoká škola báňská-Technická univerzita Ostrava | Proceedings of the Annual Conference on Data and Knowledge |
| D | 2015 | VALUE PROPOSITION - THE BASEMENT OF STUDY PROGRAM'S CURRICULA | Walletzký | | IATED-INT ASSOC TECHNOLOGY EDUCATION A& DEVELOPMENT | ICERI2015: 8TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION |
| D | 2015 | Modeling Students' Memory for Application in Adaptive Educational Systems | Pelánek | | International Educational Data Mining Society | Proceedings of the 8th International Conference on Educational Data Mining |
| D | 2015 | Model for planning of distributed data production | Rudová | Makatun, Lauret, Šumbera | MISTA | MISTA 2015 - Proceedings of the 7th Multidisciplinary International Conference on Scheduling: Theory and Applications |
| D | 2015 | Course timetabling at Masaryk Univeristy | Rudová | Müllerová, Tomáš | Západočeská univerzita v Plzni, Univerzitní knihovna | EUNIS-CZ - Sborník příspěvků ke konferenci Studijní a informační systémy a IS na podporu výzkumu a vývoje |
| D | 2015 | Security aspects of Paas cloud model | Pitner | Ministr | VSB-Technical University of Ostrava | Proceedings of the 11th International Conference on Strategic Management and Its Support by Information Systems 2015, SMSIS 2015 |
| D | 2015 | Discovering communities of similar R&D projects (DOI) | Víta | | SciTePress | Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2015) - Volume 3: KMIS |
| D | 2015 | Retrieval, visualization and validation of affinities between documents (DOI) | Víta | Trigo, Sarmento, Brázdil | SciTePress | Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2015) - Volume 3: KMIS |
| D | 2014 | Digital two-parametric processing of the output data from radiation detectors (DOI) | Matěj, Amiri, Mravec, Přenosil | Cvachovec, Kopecký | ATOMIC ENERGY SOCIETY OF JAPAN | Progress in Nuclear Science and Technology, volume 4 |
| D | 2014 | Course Recommendation from Social Data | Bydžovská, Popelínský | | 2014 SCITEPRESS – Science and Technology Publications | 6th International Conference on Computer Supported Education - CSEDU 2014 |
| D | 2014 | Automatic classification of patterns from the Pattern Dictionary of English Verbs | Baisa | El | Curran Associates, Inc. | Joint Symposium on Semantic Processing 2013: Textual Inference and Structures in Corpora |
| D | 2014 | Person Tagging in Still Images by Fusing Face and Full-body Detections | Dohnal, Matečný | | IARIA XPS Press | International Conference on Advances in Multimedia (MMEDIA 2014) |
| D | 2014 | Geometrical Detection of Pathways in Protein Structures Leading Among More Binding Sites | Strnad, Šustr, Kozlíková, Sochor | | IARIA XPS Press | BIOTECHNO 2014 : The Sixth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies |
| D | 2014 | The possibilities of using biological knowledge for filtering pairs of SNPs in GWAS studies: an exploratory study on public protein-interaction and pathway data. (DOI) | Lexa, Štefanič | | SciTePress | Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms |
| D | 2014 | Uneven distribution of potential triplex sequences in the human genome. In silico study using the R/Bioconductor package triplex. (DOI) | Lexa | Martínek, Brázdová | SciTePress | Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms |
| D | 2014 | Finding Terms in Corpora for Many Languages with the Sketch Engine | Jakubíček, Kovář, Rychlý, Suchomel | Kilgarriff | The Association for Computational Linguistics | Proceedings of the Demonstrations at the 14th Conferencethe European Chapter of the Association for Computational Linguistics |
| D | 2014 | Do Desperate Students Trade Their Privacy for a Hope? An Evidence of the Privacy Settings Influence on the User Performance (DOI) | Bydžovská, Obšívač, Brandejs | | 2014 SCITEPRESS – Science and Technology Publications | Proceedings of the 16th International Conference on Enterprise Information Systems - ICEIS 2014 |
| D | 2014 | Graphical Modification of Text. An Approach To Dyslexic Users | Pařilová | | Association for Computational Linguistics | Fifth Workshop on Speech and Language Processing for Assistive Technologies |
| D | 2014 | The Influence of Social Data on Student Success Prediction | Bydžovská, Popelínský | | BytePress | Proceedings of the 18th International Database Engineering & Applications Symposium - IDEAS 2014 |
| D | 2014 | Solving adversarial patrolling games with bounded error: (extended abstract) | Brázdil, Řehák, Kučera, Krčál | Abaffy, Bošanský | International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) | Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'14) |
| D | 2014 | Effective Corpus Virtualization | Jakubíček, Rychlý | Kilgarriff | EUROPEAN LANGUAGE RESOURCES ASSOCIATION-ELRA | Challenges in the Management of Large Corpora (CMLC-2) |
| D | 2014 | Boulevard: Affective Adaptive User Interface (DOI) | Eichler | | IOS Press | Volume 18: Workshop Proceedings of the 10th International Conference on Intelligent Environments |
| D | 2014 | Towards Student Success Prediction | Bydžovská, Brandejs | | 2014 SCITEPRESS – Science and Technology Publications | Proceedings of the 6th International Conference on Knowledge Discovery and Information Retrieval - KDIR 2014 |
| D | 2014 | Weak Student Identification: How Technology Can Help | Bydžovská, Popelínský | | Academic Conferences and Publishing International Limited Reading | Proceedings of the 13th European Conference on e-Learning - ECEL 2014 |
| D | 2014 | A Counter/Discriminator of Neutrons and Gamma Rays | Amiri, Přenosil | | Faculty of Electrical Engineering and Communication, Brno University of Technology | Proceedings of student conference Zvůle 2014, IEEE/UREL |
| D | 2014 | Visualizing Movements of Protein Tunnels in Molecular Dynamics Simulations | Kozlíková, Jurčík, Byška, Strnad, Sochor | | Eurographics Association | EG VCBM 2014 Eurographics Workshop on Visual Computing for Biology and Medicine |
| D | 2014 | Register Efficient Memory Allocator for GPUs (DOI) | Vinkler | Havran | Eurographics Association | High-Performance Graphics 2014 |
| D | 2014 | Analysis of Student Retention and Drop-out using Visual Analytics | Géryk, Popelínský | | International Educational Data Mining Society | Proceedings of the 7th International Conference on Educational Data Mining (EDM 2014) |
| D | 2014 | EDUCATION AS SERVICE SYSTEM | Walletzký | | IATED-INT ASSOC TECHNOLOGY EDUCATION A& DEVELOPMENT | INTED2014: 8TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE |
| D | 2014 | Continuous Queries over Distributed Streams of Heterogeneous Monitoring Data in Cloud Datacenters (DOI) | Tovarňák, Pitner | | SCITEPRESS | ICSOFT-EA 2014 - Proceedings of the 9th International Conference on Software Engineering and Applications |
| D | 2014 | A Case for a Multifaceted Fairness Model: An Overview of Fairness Methods for Job Queuing and Scheduling | Tóth | | NOVPRESS | Memics 2014 |
| D | 2014 | Understanding the Importance of Interactions among Job Scheduling Policies | Tóth | Klusáček | NOVPRESS | Memics 2014 |
| D | 2014 | Graph Mining and Outlier Detection Meet Logic Proof Tutoring | Vaculík, Nezvalová, Popelínský | | CEUR-WS.org | Proceedings of EDM 2014 Ws Graph-based Educational Data Mining (G-EDM) |
| D | 2014 | Graph Mining for Automatic Classification of Logical Proofs | Vaculík, Popelínský | | 2014 SCITEPRESS – Science and Technology Publications | 6th International Conference on Computer Supported Education - CSEDU 2014 |
| D | 2014 | A Survey on Intrusion Detection and Prevention Systems | Ghafir, Husák, Přenosil | | Faculty of Electrical Engineering and Communication, Brno University of Technology | Proceedings of student conference Zvůle 2014, IEEE/UREL |
| D | 2014 | Math Indexer and Searcher under the Hood: History and Development of a Winning Strategy | Růžička, Sojka, Líška | | National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430 Japan | Proceedings of the 11th NTCIR Conference on Evaluation of Information Access Technologies |
| D | 2014 | Safety Evaluation of Parallel, Standby, and NMR Systems | Amiri, Přenosil | | University of Defence | Deterioration, Dependability, Diagnostics 2014 |
| D | 2014 | Indoor Pedestrian Localization for Mobile Devices : The model (DOI) | Ševčík | | SCITEPRESS | Proceedings of the 9th International Conference on Software Engineering and Applications |
| D | 2014 | The Performance of the Czech National Grid Infrastructure after Major Reconfiguration of Job Scheduling System | Klusáček, Tóth | | Academic Computer Centre CYFRONET AGH | Cracow Grid Workshop 2014 |
| D | 2014 | Educational data mining for analysis of students’ solutions | Vaculík, Nezvalová, Popelínský | | Vysoká škola ekonomická v Praze | Znalosti 2014 |
| D | 2014 | Emission prediction of a thermal power plant | Jurčo, Popelínský | Křehlík | Vysoká škola ekonomická v Praze | Znalosti 2014 |
| D | 2014 | LTL Model Checking of Parametric Timed Automata | Bezděk, Beneš, Barnat, Černá | | NOVPRESS | MEMICS 2014 |
| D | 2014 | Using Problem Solving Times and Expert Opinion to Detect Skills | Nižnan, Pelánek, Řihák | | International Educational Data Mining Society | Proceedings of the 7th International Conference on Educational Data Mining |
| D | 2014 | Convergence of Parareal Algorithm Applied on Molecular Dynamics Simulations | Pazúriková, Matyska | | NOVPRESS | MEMICS 2014 |
| D | 2014 | Heterogeneous Queries for Synoptic and Phrasal Search | Suchomel, Brandejs | | CEUR, Aachen University | CLEF2014 Working Notes |
| D | 2014 | An Architecture for Scientific Document Retrieval Using Textual and Math Entailment Modules (DOI) | Pakray, Sojka | | Tribun EU | Eighth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2014 |
| D | 2014 | Digitalized two parametric system for gamma/neutron spectrometry | Veškrna | Matěj, Mravec, Přenosil, Cvachovec, Košťál | American Nuclear Society | 18th Topical Meeting of the Radiation Protection and Shielding Division (RPSD 2014) |
| D | 2014 | Character-based Language Model | Baisa | | Tribun EU | Eighth Workshop on Recent Advances in Slavonic Natural Language Processing |
| D | 2014 | A System for Predictive Writing | Nevěřilová, Ulipová | | Tribun EU | Eighth Workshop on Recent Advances in Slavonic Natural Language Processing |
| D | 2014 | One System to Solve Them All | Rygl | | Tribun EU | Eighth Workshop on Recent Advances in Slavonic Natural Language Processing |
| D | 2014 | Improving Coverage of Translation Memories with Language Modelling | Baisa, Bušta, Horák | | Tribun EU | Eighth Workshop on Recent Advances in Slavonic Natural Language Processing |
| D | 2014 | Optimization of Regular Expression Evaluation within the Manatee Corpus Management System | Jakubíček, Rychlý | | Tribun EU | Eighth Workshop on Recent Advances in Slavonic Natural Language Processing |
| D | 2014 | Low Inter-Annotator Agreement = An Ill-Defined Problem? | Kovář, Rychlý, Jakubíček | | Tribun EU | Eighth Workshop on Recent Advances in Slavonic Natural Language Processing |
| D | 2014 | SkELL: Web Interface for English Language Learning | Baisa, Suchomel | | Tribun EU | Eighth Workshop on Recent Advances in Slavonic Natural Language Processing |
| D | 2014 | Text Tokenisation Using unitok | Suchomel, Michelfeit, Pomikálek | | Tribun EU | Eighth Workshop on Recent Advances in Slavonic Natural Language Processing |
| D | 2014 | Finding the Best Name for a Set of Words Automatically | Rychlý | | Tribun EU | Eighth Workshop on Recent Advances in Slavonic Natural Language Processing |
| D | 2014 | Style Markers Based on Stop-word List | Rygl, Medveď | | Tribun EU | Eighth Workshop on Recent Advances in Slavonic Natural Language Processing |
| D | 2014 | Intelligent Search and Replace for Czech Phrases | Nevěřilová, Suchomel | | Tribun EU | Eighth Workshop on Recent Advances in Slavonic Natural Language Processing |
| D | 2014 | SQAD: Simple Question Answering Database | Horák, Medveď | | Tribun EU | Eighth Workshop on Recent Advances in Slavonic Natural Language Processing |
| D | 2014 | Semiautomatic Building and Extension of Terminological Thesaurus for Land Surveying Domain | Horák, Rambousek, Suchomel, Kocincová | | Tribun EU | Eighth Workshop on Recent Advances in Slavonic Natural Language Processing |
| D | 2014 | Mapping Czech and English Valency Lexicons: Preliminary Report | Pala, Baisa, Sitová, Vonšovský | | Tribun EU | Eighth Workshop on Recent Advances in Slavonic Natural Language Processing |
| D | 2014 | Tools for Fast Morphological Analysis Based on Finite State Automata | Šmerk | | Tribun EU | Eighth Workshop on Recent Advances in Slavonic Natural Language Processing |
| D | 2014 | Flexible Business-Oriented Service Interfaces in Information Systems (DOI) | Král | Žemlička | SCITEPRESS -- Science and Technology Publications | 9th International Conference on Evaluation of Novel Approaches to Software Engineering |
| D | 2014 | Service Oriented Marketing Mix and Its usage | Walletzký | | IATED | ICERI2014: 7TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION |
| D | 2014 | Yamraj: Binary-class and Multi-class based Textual Entailment System for Japanese (JA) and Chinese Simplified (CS) | Pakray | | National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430 Japan | Proceedings of the 11th NTCIR Conference on Evaluation of Information Access Technologies |
| D | 2014 | Towards an ecosystem for academic-industrial cooperation. | Pitner | Ministr | Linz : Trauner | In: IDIMT-2014 : Networking Societies - Cooperation and Conflict : 22nd Interdisciplinary Information Management Talks |
| D | 2014 | Modelling and Simulation of Public Administration Processes | Pitner | Ministr | University of Maribor | FOKUS 2020 - Conference Proceedings of the 33rd International Conference on Organizational Science Development |
| D | 2014 | Text Processing Performance in Go Language | Pitner, Polák | | Ostrava: VŠB - Technical University of Ostrava, Faculty ofEconomics | Proceedings of the 17 th International Conference on Information Technologyfor Practice 2014 |
| D | 2014 | Building large corpora and tools for computer lexicography | Pala, Rychlý | | VEDA 2014 | Rozvoj jazykových technológií a zdrojov na Slovensku a vo svete (10 rokov Slovenského národného korpusu) |
| D | 2014 | A Brief Overview of Metrics for Evaluation of Student Models | Pelánek | | RWTH Aachen University | Proceedings of the Workshops held at Educational Data Mining 2014 |
| D | 2014 | Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs (extended version) (DOI) | Krčál | Hashemi, Hatefi | Electronic Proceedings in Theoretical Computer Science | Proceedings 1st International Workshop on Synthesis of Continuous Parameters |
| D | 2014 | Semantic Web Technology for Building Information Model (DOI) | Asfand-e-yar, Kučera, Pitner | | SciTePress | Proceedings of the 9th International Conference on Software Engineering and Applications, Vienna, Austria |
| D | 2014 | Dynamic Network Analysis Architecture for Heterogenenous Unstructured Text Data | Toth, Ráček | | Ostrava: VŠB - Technical University of Ostrava, Faculty of Economics | Proceedings of the 17th International Conference on Information Technology for Practice 2014 |
| D | 2014 | Master State Examination Timetabling | Rudová, Rousek, Štefánik | | PATAT | PATAT 2014 - Proceedings of the 10th International Conference on the Practice and Theory of Automated Timetabling |
| D | 2014 | Device-independent randomness extraction for arbitrarily weak min-entropy source (DOI) | Bouda, Pivoluska, Plesch | Pawlowski | SPIE-INT SOC OPTICAL ENGINEERING | EMERGING TECHNOLOGIES IN SECURITY AND DEFENCE II AND QUANTUM-PHYSICS-BASED INFORMATION SECURITY III |
| D | 2014 | DNS Query Failure and Algorithmically Generated Domain-Flux Detection (DOI) | Ghafir, Přenosil | | IET | Proceedings of International Conference on Frontiers of Communications, Networks and Applications |
| D | 2014 | Tor-based Malware and Tor Connection Detection (DOI) | Ghafir, Svoboda, Přenosil | | IET | Proceedings of International Conference on Frontiers of Communications, Networks and Applications |
| D | 2014 | Behaviour of Collocations in the Language of Legal Subdomains | Pala, Rychlý | Cvrček | EUROPEAN LANGUAGE RESOURCES ASSOC-ELRA | LREC 2014 - NINTH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION |
| D | 2014 | The Possibilities of Filtering Pairs of SNPs in GWAS Studies Exploratory Study on Public Protein-interaction and Pathway Data | Lexa, Štefanič | | SCITEPRESS | BIOINFORMATICS 2014: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON BIOINFORMATICS MODELS, METHODS AND ALGORITHMS |
| D | 2013 | Real-time visualization of protein empty space with varying parameters | Strnad, Šustr, Kozlíková, Sochor | | IARIA XPS Press | Proceedings of Biotechno |
| D | 2013 | Smart Household -- Selected Problem Solutions Using Intelligent Controllable Electric Appliances | Prýmek, Horák | | SciTePress – Science and Technology Publications | Proceedings of 5th International Conference on Agents and Artificial Intelligence (ICAART 2013) |
| D | 2013 | Accessibility Issues in Digital Mathematical Libraries | Sojka, Růžička, Kucbel, Jarmar | | Masaryk University | Proceedings of the Conference Universal Learning Design 2013 |
| D | 2013 | Person-centered Approach in Informatics Teachers Training | Pitner | | Univerzita Mateja Bela, Banská Bystrica | DidInfo |
| D | 2013 | Design of a Simple Reliable Voter for Modular Redundancy Implementations | Amiri, Přenosil | | University of Defence | Proceedings of International Conference on Distance Learning, Simulation and Communication 'DLSC 2013' |
| D | 2013 | Designing a Microwave Filter by Studying and Simulating the Discontinuity in the Waveguide | Ghafir, Přenosil | | Vydavatelské oddělení UO | Proceedings of International Conference Distance Learning, Simulation and Communication |
| D | 2013 | Neutron emmiter detection | Matěj, Mravec | | University of Defence | International Conference on Military Technologies – ICMT 2013 |
| D | 2013 | Pulse separation charakteristic based on their approximation | Jevický, Matěj, Mravec, Přenosil | | University of Defence | international conference Distance Learning, Simulation and Communication |
| D | 2013 | Similarity Search for Mathematics: Masaryk University team at the NTCIR-10 Math Task | Líška, Sojka, Růžička | | National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430 Japan | Proceedings of the 10th NTCIR Conference on Evaluation of Information Access Technologies |
| D | 2013 | Inter-university Cooperation on Plagiarism Detection Systems in Czech Republic | Lunter, Jakubík, Suchomel, Brandejs | | Mendel University in Brno | Plagiarism Across Europe and Beyond |
| D | 2013 | Qualitative modelling and analysis of Photosystem II | Brim, Šafránek | Děd | Neuveden | CEUR Workshop Proceedings |
| D | 2013 | Sensor Network Analytics for Intelligent Facility Management (DOI) | Kriksciuniene, Pitner, Kučera | Sakalauskas | IOS Press | Proceedings of the 6th International Conference on Intelligent Interactive Multimedia Systems and Services (IIMSS2013) |
| D | 2013 | In silico search for secondary structures in p53 target genes using R/Bioconductor | Lexa | Brázdová, Martínek | CreateSpace Independent Publishing Platform | ITAT 2013: Information Technologies - Applications and Theory (Workshops, Posters, and Tutorials) |
| D | 2013 | Generating simulated testing data for genome-wide association studies | Štefanič, Lexa | | CreateSpace Independent Publishing Platform | ITAT 2013: Information Technologies - Applications and Theory (Workshops, Posters, and Tutorials) |
| D | 2013 | Parameter Estimation for LDA-Frames | Materna | | Association for Computational Linguistics | Proceedings of the 2013 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies |
| D | 2013 | HOW TO CREATE AND TEACH MULTIDISCIPLINARY STUDY PROGRAMS | Walletzký | | International Association of Technology, Education and Development (IATED) | EDULEARN13: 5TH INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES |
| D | 2013 | Geometry-based Algorithm for Detection of Asymmetric Tunnels in Protein Molecules | Byška, Jurčík, Sochor | | Eurographics Association | TPCG 2013 |
| D | 2013 | Planar Emulators Conjecture Is Nearly True for Cubic Graphs | Hliněný, Derka | | Scuola Normale Superiore Pisa | The Seventh European Conference on Combinatorics, Graph Theory and Applications - Eurocomb 2013 |
| D | 2013 | Fault Collapsing and Test Generation for a Circuit | Amiri, Přenosil | | University of Defence | Deterioration, Dependability, Diagnostics 2013 |
| D | 2013 | Optimization of Intrusion Detection Systems for Wireless Sensor Networks Using Evolutionary Algorithms | Stehlík | | University of Defence | Security and Protection of Information 2013 |
| D | 2013 | Optimalisation of numeric operations used in ecryption | Sýs | | Ing. Miloš Brejcha Vydavatelský servis, Plzeň | Sborník příspěvků 43. konference Europen |
| D | 2013 | New Multi-resource Fairshare Prioritization Mechanisms for Heterogeneous Computing Platforms | Klusáček, Rudová | | Academic Computer Centre CYFRONET AGH | Cracow Grid Workshop 2013 |
| D | 2013 | Tools and Methods for Detailed Analysis of Complex Job Schedules in the Czech National Grid | Tóth, Klusáček | | Academic Computer Centre CYFRONET AGH | Cracow Grid Workshop 2013 |
| D | 2013 | Modeling Students' Learning and Variability of Performance in Problem Solving | Pelánek, Jarušek, Klusáček | | International Educational Data Mining Society | Educational Data Mining |
| D | 2013 | Why Modern Mobile and Web-Based Development need a Lean Agile Web Approach (LAWA) | Škrabálek | Böhm | TRAUNER Druck GmbH & Co KG | IDIMT-2013 Information Technology Human Values, Innovation and Economy; 21 st Interdisciplinary Information Management Talks |
| D | 2013 | Fault detection in building management system networks (DOI) | Kučera, Glos, Pitner | | International Federation of Automatic Control | 12th IFAC Conference on Programmable Devices and Embedded Systems, PDeS 2013 |
| D | 2013 | Web Application for Semantic Network Editing | Rambousek, Hrušo | | Tribun EU | Seventh Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2013 |
| D | 2013 | Intrinsic Methods for Comparison of Corpora | Baisa, Suchomel | | Tribun EU | RASLAN 2013 Recent Advances in Slavonic Natural Language Processing |
| D | 2013 | Expanding Translation Memories: Proposal and Evaluation of Several Methods | Baisa, Horák, Bušta | | Tribun EU | RASLAN 2013 Recent Advances in Slavonic Natural Language Processing |
| D | 2013 | Fast Construction of a Word-Number Index for Large Data | Jakubíček, Šmerk, Rychlý | | Tribun EU | RASLAN 2013 Recent Advances in Slavonic Natural Language Processing |
| D | 2013 | Portable Lexical Analysis for Parsing of Morphologically-Rich Languages | Jakubíček, Medveď | | Tribun EU | RASLAN 2013 Recent Advances in Slavonic Natural Language Processing |
| D | 2013 | Towards taggers and parsers for Slovak | Medveď, Jakubíček, Kovář | | Fundacja Uniwersytetu im. A. Mickiewicza | Human Language Technologies as a Challenge for Computer Science and Linguistics. Proceedings of the 6th Language and Technology Conference |
| D | 2013 | Efficiency and Security in Similarity Cloud Services | Kozák | | VLDB Endowment | Proceedings of the VLDB Endowment, Volume 6, Issue 12 |
| D | 2013 | Type-based Search of Idiomatic Expression | Bušta | | Tribun EU | Seventh Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2013 |
| D | 2013 | Using 3D Facial Capture for Teaching of Somatoscopis Features | Chalás, Kotulanová, Kozlíková | | Magnaminitas | Sborník příspěvků Mezinárodní Masarykovy konference pro doktorandy a mladé vědecké pracovníky 2013 |
| D | 2013 | Preparing VerbaLex Printed Edition | Horák, Pala, Hlaváčková | | Tribun EU | Seventh Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2013 |
| D | 2013 | Acquiring Data for Textual Entailment Recognition | Nevěřilová | | Tribun EU | Seventh Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2013 |
| D | 2013 | Semi-automatic Theme-Rheme Identification | Pala, Svoboda | | Tribun EU | Seventh Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2013 |
| D | 2013 | Typos in Czech Corpora | Grác | | Tribun EU | Seventh Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2013 |
| D | 2013 | Methods for Detection of Word Usage over Time | Kovář, Herman | | Tribun EU | Seventh Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2013 |
| D | 2013 | Towards the Realistic Natural Language Representations | Sojka | | Tribun EU | Seventh Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2013 |
| D | 2013 | Graph Mining for Automatic Classification of Logical Proofs | Vaculík, Popelínský | | Vysoká škola báňská - Technická univerzita Ostrava | Datakon a Znalosti 2013 |
| D | 2013 | Tutoring and Automatic Evaluation of Logic Proofs | Vaculík, Popelínský, Mráková, Jurčo | | Academic Conferences and Publishing International | Proceedings of the 12th European Conference on e-Learning ECEL 2013 |
| D | 2013 | Robustness Analysis for Value-Freezing Signal Temporal Logic (DOI) | Brim, Vejpustek, Šafránek, Dražanová | | Neuveden | Proceedings HSB 2013 |
| D | 2013 | Visual Analytics by Animations in Higher Education | Géryk | | Academic Conferences and Publishing International | Proceedings of the 12th European Conference on e-Learning ECEL 2013 |
| D | 2013 | Video files management in education - problems and solution | Lunter, Eibenová, Bálint, Brandejs | | Gaudeamus, Univerzita Hradec Králové | Sborník příspěvků z konference a soutěže eLearning 2013 |
| D | 2013 | Automatic Consumption Optimization with regard to the Green Premium Policy | Prýmek, Horák | Prokop | FEECS, VŠB--Technical University of Ostrava | Proceedings of the 10th Workshop ELNET 2013 |
| D | 2013 | Social media analysis in one platform | Ráček, Toth | Ministr | VSB-TECH UNIV OSTRAVA | STRATEGIC MANAGEMENT AND ITS SUPPORT BY INFORMATION SYSTEMS, 10TH INTERNATIONAL CONFERENCE, 2013 |
| D | 2013 | New vision and future of informatics | Gruska | | Institute of mathematics, Academy of Scxiences, Moldavia | Pre-proceedings of the International Conference on Intelligent Information systems |
| D | 2013 | Robustness Analysis of Stochastic Systems (DOI) | Brim, Češka, Dražan, Šafránek | | Open Publishing Association | Electronic Proceedings in Theoretical Computer Science, Volume 116 |
| D | 2013 | Student Scheduling for Bachelor State Examination | Kochaniková, Rudová | | MISTA | Proceedings of the 6th Multidisciplinary International Scheduling Conference (MISTA 2013) |
| D | 2013 | Is there only a single correct interpretation of quantum cryptography? | | Smolík | Trusted Network Solutions | Santa's Crypto Get-Together 2013 |
| D | 2013 | Whitebox attack resistant cryptography | Klinec | | Trusted Network Solutions | Santa's Crypto Get-Together 2013 |
| D | 2013 | Techniques for network detection avoidance | | Novotný | EurOpen.CZ | Sborník příspěvků 43. konference EurOpen.CZ |
| D | 2013 | Diverse queries and feature type selection for plagiarism discovery: Notebook for PAN at CLEF 2013 | Suchomel, Kasprzak, Brandejs | | CEUR | 2013 Cross Language Evaluation Forum Conference, CLEF 2013, CEUR Workshop Proceedings Volume 1179 |
| D | 2013 | On a family of linear recurrences (DOI) | Wilmott | | Institute of Physics Publishing | IC-MSQUARE 2012: INTERNATIONAL CONFERENCE ON MATHEMATICAL MODELLING IN PHYSICAL SCIENCES |
| D | 2013 | Agent-based control system for small off-grid power system | Horák, Prýmek | Prokop, Mišák | Technical University of Kosice | Proceedings of the 7th International Scientific Symposium on Electrical Power Engineering, ELEKTROENERGETIKA 2013 |