Šedě podbarvené jsou vykázány za jinou fakultu, ale s deklarovaným podílem FI.

rank	rok	title	započítaní	ostatní	nakladatel	sborník
A* POPL	2018	Data-centric Dynamic Partial Order Reduction (DOI)	Chalupa	Pavlogiannis, Chatterjee, Sinha, Vaidya	ACM	Proceedings of Symposium on Principles of Programming Languages 2018
A* AAMAS	2018	Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games	Klaška, Kučera, Lamser, Řehák		International Foundation for Autonomous Agents and Multiagent Systems	Proceedings of the 2018 International Conference on Autonomous Agents & Multiagent Systems
A* LICS	2018	Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS (DOI)	Brázdil, Kučera, Velan	Chatterjee, Novotný, Zuleger	ACM	2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
A* IJCAI	2018	Solving Patrolling Problems in the Internet Environment (DOI)	Brázdil, Kučera, Řehák		International Joint Conferences on Artificial Intelligence	Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.
A* USENIX-Security	2018	The Broken Shield: Measuring Revocation Effectiveness in the Windows Code-Signing PKI	Kozák	Kim, Kwon, Gates, Dumitraș	USENIX Association	27th USENIX Security Symposium (USENIX Security 18)
A* INFOCOM	2018	Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks (DOI)	Srba	Schmid	IEEE	IEEE International Conference on Computer Communications (INFOCOM'18)
A* CAV	2018	Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems (DOI)	Srba	Boenneland, Jensen, Larsen, Muniz	Springer	Proceedings of the 30th International Conference on Computer Aided Verification (CAV'18)
A* CCS	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* CCS	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* AAAI	2017	Going Beyond Primal Treewidth for {(M)ILP}	Ganian	Ramanujan, Ordyniak	AAAI	Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA
A* IJCAI	2017	Solving Integer Linear Programs with a Small Number of Global Variables and Constraints	Ganian	Dvorak, Eiben, Knop, Ordyniak	ijcai.org	Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017
A* USENIX-Security	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* CRYPTO	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* CAV	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* AAMAS	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* LICS	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* AAAI	2016	The Complexity Landscape of Decompositional Parameters for ILP	Ganian	Ordyniak	AAAI Press	Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence
A* AAAI	2016	Using Decomposition-Parameters for QBF: Mind the Prefix!	Ganian	Ordyniak, Eiben	AAAI Press	Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence
A* CIKM	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* LICS	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* CAV	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* CAV	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* FOCS	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* LICS	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* AAAI	2015	Variable-Deletion Backdoors to Planning	Ordyniak	Kronegger, Pfandler	AI Access Foundation	Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence
A* CAV	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* CAV	2014	Minimizing Running Costs in Consumption Systems (DOI)	Brázdil, Klaška, Kučera, Novotný		Springer International Publishing	Computer Aided Verification
A* LICS	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* AAAI	2014	Backdoors into Heterogeneous Classes of SAT and CSP	Ordyniak	Gaspers, Szeider, Misra, Zivny	AAAI Press	AAAI Press
A* AAAI	2014	Backdoors to Planning	Ordyniak	Kronegger, Pfandler	AAAI Press	AAAI Press
A SIGCSE	2018	Challenges Arising from Prerequisite Testing in Cybersecurity Games (DOI)	Švábenský, Vykopal		ACM	Proceedings of the 49th ACM Technical Symposium on Computer Science Education (SIGCSE’18)
A ICASSP	2018	ON THE USE OF GRAPHEME MODELS FOR SEARCHING IN LARGE SPOKEN ARCHIVES	Sedmidubský	Svec, Psutka, Trmal, Smidl, Ircing	IEEE Computer Society	43rd IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2018)
A GECCO	2018	Evolving boolean functions for fast and efficient randomness testing (DOI)	Sýs, Matyáš	Mrázek, Vasicek, Sekanina	ACM	Proceedings of the Genetic and Evolutionary Computation Conference 2018
A ATVA	2018	Recursive Online Enumeration of All Minimal Unsatisfiable Subsets (DOI)	Bendík, Černá, Beneš		Springer, Cham	Automated Technology for Verification and Analysis - 16th International Symposium ATVA 2018
A AIED	2018	Conceptual Issues in Mastery Criteria: Differentiating Uncertainty and Degrees of Knowledge (DOI)	Pelánek		Springer	Artificial Intelligence in Education
A LPAR	2018	Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets (DOI)	Bendík, Černá			LPAR-22, 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
A MICCAI	2018	How to Exploit Weaknesses in Biomedical Challenge Design and Organization (DOI)	Kozubek	Reinke, Eisenmann, Onogur, Stankovic, Scholz, Full, Bogunovic, Landman, Maier, Menze, Sharp, Sirinukunwattana, Speidel, van, Zheng, Müller, Arbel, Bradley, Jannin, Kopp-Schneider, Maier-Hein	Springer	Medical Image Computing and Computer Assisted Intervention – MICCAI 2018
A SoCG	2018	Structure and generation of crossing-critical graphs (DOI)	Hliněný	Dvořák, Mohar	Leibniz International Proceedings in Informatics, LIPIcs	34th International Symposium on Computational Geometry, SoCG 2018
A CoNEXT	2018	P-Rex: Fast Verification of MPLS Networks with Multiple Link Failures (DOI)	Srba	Jensen, Kroegh, Madsen, Schmid, Thorgersen	ACM	Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies (CoNEXT'18)
A SIGCSE	2018	Timely Feedback in Unstructured Cybersecurity Exercises (DOI)	Vykopal, Ošlejšek, Burská, Zákopčanová		ACM	Proceedings of Special Interest Group on Computer Science Education, Baltimore, Maryland, USA, February 21–24, 2018(SIGCSE’18)
A ITICSE	2018	Enhancing Cybersecurity Skills by Creating Serious Games (DOI)	Švábenský, Vykopal, Čermák	Laštovička	ACM	Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE'18)
A JSSPP	2017	Real-life Experience with Major Reconfiguration of Job Scheduling System (DOI)	Klusáček, Tóth, Podolníková		Springer	20th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2016
A LPAR	2017	Seminator: A Tool for Semi-Determinization of Omega-Automata (DOI)	Blahoudek, Klokočka, Křetínský, Strejček	Duret-Lutz	EasyChair	Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2017)
A ICSA	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 ACSAC	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 MICCAI	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 ATVA	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 COCOON	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 SAT	2017	On Simplification of Formulas with Unconstrained Variables and Quantifiers (DOI)	Jonáš, Strejček		Springer	Theory and Applications of Satisfiability Testing – SAT 2017
A ICMR	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
A ISAAC	2017	On Structural Parameterizations of the Edge Disjoint Paths Problem (DOI)	Ganian	Ordyniak, Ramanujan	LIPIcs	28th International Symposium on Algorithms and Computation, ISAAC 2017, December 9-12, 2017, Phuket, Thailand
A MFCS	2017	Towards a Polynomial Kernel for Directed Feedback Vertex Set (DOI)	Ganian	Eiben, Ordyniak, Ramanujan, Bergougnoux	LIPIcs	42nd International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2017, August 21-25, 2017 - Aalborg, Denmark
A SAT	2017	Backdoor Treewidth for SAT (DOI)	Ganian	Ramanujan, Szeider	Springer	Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
A SAT	2017	New Width Parameters for Model Counting (DOI)	Ganian	Szeider	Springer	Theory and Applications of Satisfiability Testing - {SAT} 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
A STACS	2017	Combining Treewidth and Backdoors for CSP (DOI)	Ganian	Ramanujan, Szeider	Dagstuhl-LIPIcs	34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany
A Euro-Par	2017	Parametric multi-step scheme for GPU-accelerated graph decomposition into strongly connected components (DOI)	Barnat	Aldegheri, Bombieri, Busato, Češka	Springer Verlag	22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016
A ICPR	2017	Automatic detection of laser-induced structures in live cell fluorescent microscopy images using snakes with geometric constraints (DOI)	Sorokin	Kondratěv	IEEE Inc.	23rd International Conference on Pattern Recognition, ICPR 2016
A IM	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 VMCAI	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
A ICIP	2016	Vascular Network Formation in Silico Using the Extended Cellular Potts Model (DOI)	Svoboda, Ulman, Kováč, Šalingová, Tesařová, Koutná, Matula		IEEE Signal Processing Society	2016 IEEE International Conference on Image Processing
A ICPR	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 SMC	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 SMC	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 SAC	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 TACAS	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 ICSA	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 ICPR	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 ATVA	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 S+SSPR	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 TACAS	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 SAT	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 ATVA	2016	Tighter Loop Bound Analysis (DOI)	Strejček	Čadek, Trtík	Springer	Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016
A ACC	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)
A IDA	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 FM	2016	A Model Checking Approach to Discrete Bifurcation Analysis (DOI)	Beneš, Brim, Demko, Pastva, Šafránek		Springer International Publishing	Formal Methods. FM 2016
A TACAS	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 CONCUR	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 MASCOTS	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 ATVA	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 CONCUR	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 SoCG	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 STACS	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 SoCG	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 GD	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 CP	2016	Backdoors to Tractable Valued CSP (DOI)	Ganian	Ramanujan, Szeider	SPRINGER INT PUBLISHING AG	PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016
A ESA	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 IPDPS	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 MFCS	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 MFCS	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 MFCS	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 TACAS	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 FM	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 FoSSaCS	2016	Distributed synthesis in continuous time. (DOI)	Krčál	Hermanns, Vester	Springer	International Conference on Foundations of Software Science and Computation Structures.
A ATVA	2016	Decidability Results for Multi-objective Stochastic Games (DOI)	Forejt	Brenguier	Springer	International Symposium on Automated Technology for Verification and Analysis
A JSSPP	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
A JSSPP	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
A ICIP	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 AIED	2015	Impact of Adaptive Educational System Behaviour on Student Motivation (DOI)	Papoušek, Pelánek		Springer International Publishing	Artificial Intelligence in Education
A GD	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 ICALP	2015	Language Emptiness of Continuous-Time Parametric Timed Automata (DOI)	Beneš, Bezděk	Larsen, Srba	Springer Berlin Heidelberg	Automata, Languages, and Programming
A MFCS	2015	Parameterized Algorithms for Parity Games (DOI)	Gajarský	Ordyniak, Lampis, Mitsou, Makino	Springer	MFCS 2015, LNCS 9235
A ICLP	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 IDA	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 LPAR	2015	Controller Synthesis for MDPs and Frequency LTL\GU (DOI)	Forejt, Křetínský	Krčál	Springer	LPAR 2015
A DSN	2015	Scalable Analysis of Fault Trees with Dynamic Features (DOI)	Krčál	Krčál	IEEE	DSN 2015
A CONCUR	2015	On Frequency LTL in Probabilistic Systems (DOI)	Forejt	Krčál	Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik	CONCUR 2015
A ATVA	2015	Optimal Continuous Time Markov Decisions (DOI)	Krčál	Butkova, Hatefi, Hermanns	Springer	ATVA 2015
A ISAAC	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 LPAR	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 FCT	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 CONCUR	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 SMC	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 JSSPP	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
A ICPR	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 ICMR	2014	CLAN Photo Presenter: Multi-modal Summarization Tool for Image Collections (DOI)	Batko, Budíková, Eliáš, Zezula		ACM	Proceedings of ICMR 2014
A ICIP	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 ACNS	2014	Improving Intrusion Detection Systems for Wireless Sensor Networks (DOI)	Stecko, Smolka, Matyáš, Stehlík		Springer	Applied Cryptography and Network Security
A Euro-Par	2014	On Interactions Among Scheduling Policies: Finding Efficient Queue Setup Using High-Resolution Simulations (DOI)	Klusáček, Tóth		Springer	Euro-Par 2014
A CONCUR	2014	Probabilistic Bisimulation: Naturally on Distributions (DOI)	Křetínský	Hermanns, Krčál	Springer	CONCUR 2014 - Concurrency Theory - 25th International Conference
A ATVA	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 NCA	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 ISAAC	2014	Faster Existential FO Model Checking on Posets (DOI)	Gajarský, Hliněný, Obdržálek, Ordyniak		Springer International Publishing	ISAAC 2014, LNCS 8889
A ATVA	2014	Symbolic Memory with Pointers (DOI)	Trtík, Strejček		Springer	Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014
A CONCUR	2014	Synchronizing Strategies under Partial Observability (DOI)	Srba	Larsen, Laursen	Springer-Verlag	Proceedings of the 25th International Conference on Concurrency Theory (CONCUR'14)
A FM	2014	Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs (DOI)	Forejt	Kroening, Narayanaswamy, Sharma	Springer	FM 2014: Formal Methods
A TACAS	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
B IPEC	2018	FO model checking of geometric graphs (DOI)	Hliněný, Pokrývka, Roy		Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik	12th International Symposium on Parameterized and Exact Computation (IPEC 2017)
B FSTTCS	2018	On Colourability of Polygon Visibility Graphs (DOI)	Cagirici, Hliněný, Roy		Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik	37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017)
B ICAART	2018	Sentence and Word Embedding Employed in Open Question-Answering	Medveď, Horák		SCITEPRESS - Science and Technology Publications	Proceedings of the 10th International Conference on Agents and Artificial Intelligence (ICAART 2018)
B ICEIS	2018	Validation and Extension of the Smart City Ontology (DOI)	Štěpánek, Ge		SciTePress	Proceedings of the 20th International Conference on Enterprise Information Systems - Volume 2: ICEIS
B ICSC	2018	Evaluation in Multimedia Recommender Systems: A Practical Guide	Ge	Persia	IEEE	Proceedings of the 12th IEEE International Conference on Semantic Computing
B ICEIS	2018	The Social Media Perception and Reality -Possible Data Quality Deficiencies between Social Media and ERP	Ge	Popescu, Helfert	SCITEPRESS/Springer	Proceedings of the 20th International Conference on Enterprise Information Systems
B ISBI	2018	Segmentation of Actin-Stained 3D Fluorescent Cells with Filopodial Protrusions using Convolutional Neural Networks (DOI)	Maška, Sorokin	Castilla, Meijering, Ortiz-de-Solorzano	IEEE	15th IEEE International Symposium on Biomedical Imaging
B ICCHP	2018	DysHelper – The Dyslexia Assistive Approach User Study (DOI)	Pařilová		Springer International Publishing	Computers Helping People with Special Needs:16th International Conference, ICCHP 2018. LNCS
B DEXA	2018	Probabilistic Classification of Skeleton Sequences	Sedmidubský, Zezula		Springer	29th International Conference on Database and Expert Systems Applications (DEXA 2018)
B IDEAS	2018	Continuous Time-Dependent kNN Join by Binary Sketches (DOI)	Nálepa, Batko, Zezula		ACM	IDEAS 2018 : 22nd International Database Engineering & Applications Symposium, June 18-20, 2018, Villa San Giovanni, Italy
B ADBIS	2018	Selecting Sketches for Similarity Search	Míč, Novák, Zezula	Vadicamo	Springer International Publishing	Advances in Databases and Information Systems : 22nd European Conference, ADBIS 2018, Budapest, Hungary, September 2-5, 2018.
B TSD	2018	Recognition of OCR Invoice Metadata Block Types (DOI)	Ha, Horák, Medveď, Nevěřilová		Springer International Publishing	Text, Speech, and Dialogue, 21st International Conference, TSD 2018
B IRI	2018	How to exploit Recommender Systems in Social Media	Ge	Persia, D'Auria	IEEE	Proceedings of the IEEE 19th International Conference on Information Reuse and Integration for Data Science
B SEFM	2018	Online Enumeration of All Minimal Inductive Validity Cores (DOI)	Bendík, Černá	Ghassabani, Whalen	Springer International Publishing	Software Engineering and Formal Methods - 16th International Conference
B ICSOFT	2018	Finding Regressions in Projects under Version Control Systems (DOI)	Bendík, Beneš, Černá		SciTePress	13th International Conference on Software Technologies
B FIE	2018	Evaluation of Cyber Defense Exercises Using Visual Analytics Process	Ošlejšek, Vykopal, Burská, Rusňák		IEEE	Proceedings of the 48th IEEE Frontiers in Education Conference (FIE'18)
B SPIN	2018	Joint Forces for Memory Safety Checking (DOI)	Chalupa, Strejček, Vitovská		Springer	Gallardo M., Merino P. (eds) Model Checking Software. SPIN 2018. Lecture Notes in Computer Science, vol 10869
B IDEAS	2018	WalDis: Mining Discriminative Patterns within Dynamic Graphs (DOI)	Vaculík, Popelínský		ACM New York	IDEAS '18 Proceedings of the 22nd International Database Engineering & Applications Symposium
B ICNC-FSKD	2018	Combining Cache and Priority Queue to Enhance Evaluation of Similarity Search Queries	Nálepa, Batko, Zezula		IEEE	2018 14th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery
B DCOSS	2018	Adaptive Secrecy Amplification with Radio Channel Key Extraction (DOI)	Němec, Ošťádal, Matyáš, Švenda		IEEE	2018 14th International Conference on Distributed Computing in Sensor Systems (DCOSS)
B PATAT	2018	University course timetabling and International Timetabling Competition 2019	Rudová, Müllerová	Müller	PATAT	Proceedings of the 12th International Conference on the Practice and Theory of Automated Timetabling
B IFIP SEC	2018	Practical Cryptographic Data Integrity Protection with Full Disk Encryption (DOI)	Brož, Matyáš	Patočka	Springer	2018 IFIP International Conference on ICT Systems Security and Privacy Protection
B ICSTCC	2018	Fully Automated Attractor Analysis of Cyanobacteria Models (DOI)	Beneš, Brim, Pastva, Šafránek, Troják	Červený, Šalagovič	IEEE	22nd International Conference on System Theory, Control and Computing
B ICTAC	2018	Symbolic Computation via Program Transformation (DOI)	Barnat	Lauko, Ročkai	Springer	Theoretical Aspects of Computing – ICTAC 2018
B ICTAC	2018	Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers (DOI)	Jonáš, Strejček		Springer	Theoretical Aspects of Computing – ICTAC 2018
B FedCSIS	2018	Agile to Lean Software Development Transformation: A Systematic Literature Review (DOI)	Rossi	Kišš	IEEE	2018 Federated Conference on Computer Science and Information Systems (FedCSIS)
B TSD	2018	Corpus Annotation Pipeline for Non-standard Texts (DOI)	Pelikánová, Nevěřilová		Springer International Publishing	Text, Speech, and Dialogue, 21st International Conference, TSD 2018
B ICFEM	2018	Model Checking of C++ Programs Under the x86-TSO Memory Model (DOI)	Štill, Barnat		Springer	Formal Methods and Software Engineering
B ICATPN	2018	Simplification of CTL Formulae for Efficient Model Checking of Petri Nets (DOI)	Srba	Boenneland, Dyhr, Jensen, Johannsen	Springer-Verlag	Proceedings of the 39th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets'18)
B QEST	2018	Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems (DOI)	Srba	Ivanov, Larsen, Schupp	Springer	Proceedings of the 15th International Conference on Quantitative Evaluation of SysTems (QEST'18)
B NOMS	2018	Passive OS Fingerprinting Methods in the Jungle of Wireless Networks (DOI)	Laštovička, Jirsík, Čeleda, Špaček, Filakovský		IEEE Xplore Digital Library	NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium
B ARES	2018	CRUSOE: Data Model for Cyber Situation Awareness (DOI)	Komárková, Husák, Laštovička, Tovarňák		ACM	Proceedings of the 13th International Conference on Availability, Reliability and Security
B ISBI	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
B ICSC	2017	Research Challenges in Multimedia Recommender Systems (DOI)	Ge	Persia	IEEE	Proceedings of the IEEE International Conference on Semantic Computing
B ICEIS	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 ADBIS	2017	Fast Subsequence Matching in Motion Capture Data (DOI)	Sedmidubský, Zezula	Švec	Springer	21st European Conference on Advances in Databases and Information Systems
B ICNC-FSKD	2017	Designing Fuzzy Apparatus to Model Dyslexic Individual Symptoms for Clinical Use (DOI)	Pařilová	Hladká, Říha	IEEE Inc.	2017 13th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD)
B EMCIS	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 ICCSA	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 ISBI	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)
B EDM	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 CMSB	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 ICATPN	2017	Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation (DOI)	Pastva, Srba	Dalsgaard, Enevoldsen, Fogh, Jensen, Jepsen, Kaufmann, Larsen, Nielsen, Olesen	Springer International Publishing	Petri Nets 2017
B SENSORS	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
B ISESS	2017	Planning and Scheduling for Optimizing Communication in Smart Grids (DOI)	Kadlec, Bühnová, Pitner		Springer New York LLC	12th International Symposium on Environmental Software Systems, ISESS 2017;
B ADBIS	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
B ISM	2017	A Real-Time Annotation of Motion Data Streams (DOI)	Eliáš, Zezula	Sedmidubský	IEEE Computer Society	19th IEEE International Symposium on Multimedia
B ISM	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
B ISM	2017	A Web Application for Subsequence Matching in 3D Human Motion Data (DOI)	Sedmidubský, Zezula		IEEE Computer Society	19th IEEE International Symposium on Multimedia
B EUSIPCO	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 VS-Games	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
B VS-Games	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)
B UMAP	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 VS-Games	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)
B QEST	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 TSD	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 SECRYPT	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
B IDEAS	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
B SEAA	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 SEAA	2017	Smart Grids Co-Simulations with Low-Cost Hardware (DOI)	Schvarcbacher, Rossi		IEEE	43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA) 2017
B ICTAC	2017	PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing (DOI)	Srba	Jensen, Larsen	Springer	Proceedings of the 14th International Colloquium on Theoretical Aspects of Computing (ICTAC'17)
B UMAP	2017	Measuring predictive performance of user models: The details matter (DOI)	Pelánek		ACM	Adjunct Publication of the 25th Conference on User Modeling, Adaptation and Personalization
B ISESS	2017	Semantic BMS: Ontology for Analysis of Building Operation Efficiency (DOI)	Kučera, Pitner		Springer	Environmental Software Systems. Computer Science for Environmental Protection.
B ICCSA	2017	A system based on intelligent documents: A case study (DOI)	Král	Novák, Žemlička	Springer Verlag	17th International Conference on Computational Science and Its Applications, ICCSA 2017
B ARES	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 ICSOFT	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 FIE	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 TSD	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 ISBI	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)
B ICAART	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
B PacificVis	2016	Accelerated Visualization of Transparent Molecular Surfaces in Molecular Dynamics (DOI)	Jurčík, Sochor, Kozlíková	Parulek	IEEE	IEEE Pacific Visualization Symposium 2016
B LREC	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 LREC	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 ADBIS	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
B EVIAT	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
B LREC	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 ICNSC	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 ITHET	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)
B SEAA	2016	Automated Bug Triaging in an Industrial Context (DOI)	Dedík, Rossi		IEEE	Automated Bug Triaging in an Industrial Context
B LAK	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
B LAK	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
B SEFM	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 SEFM	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 IFM	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
B MMAR	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
B SPIN	2016	SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration (DOI)	Mrázek, Bauch, Lauko, Barnat		Springer International Publishing	Model Checking Software
B CMSB	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 DEXA	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
B HPCS	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 TSD	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 TSD	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 FiCloud	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
B TSD	2016	Building Corpora for Stylometric Research (DOI)	Švec, Rygl		Springer International Publishing	Text, Speech, and Dialogue - 19th International Conference
B VS-Games	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)
B VS-Games	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)
B TSD	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 FSTTCS	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
B ESM	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
B LREC	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 CANS	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 PETRA	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
B QEST	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 ADBIS	2016	Similarity searching for Database Applications (DOI)	Zezula		Springer	Advances in Databases and Information Systems
B SPIN	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 PATAT	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)
B PATAT	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)
B ICCSA	2016	Software Architecture and Software Quality (DOI)	Král	Žemlička	Springer	Computational Science and Its Applications – ICCSA 2016
B ICCSA	2016	Confederative ERP Systems for Small-to-Medium Enterprises (DOI)	Král	Žemlička	Springer	Computational Science and Its Applications – ICCSA 2016
B PROFES	2016	Is Mutation Testing Ready to Be Adopted Industry-Wide? (DOI)	Rossi	Možucha	Springer International Publishing	Product-Focused Software Process Improvement (PROFES)
B SAFECOMP	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 LATIN	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
B ICCHP	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
B NOMS	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)
B ESM	2016	Accelerated RMSD Calculation for Molecular Metadynamics	Filipovič, Pazúriková, Křenek	Spiwok	EUROSIS - ETI	Proceedings of the 2016 European Simulation and Modelling Conference
B FedCSIS	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
B HS	2015	Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games	Svoreňová, Černá	Křetínský, Chmelík, Chatterjee, Belta	ACM (ACM)	Proceedings of ACM international conference on Hybrid Systems: Computation and Control
B HS	2015	Temporal Logic Motion Planning using POMDPs with Parity Objectives (DOI)	Svoreňová, Černá	Chmelík, Leahy, Eniser, Chatterjee, Belta	ACM (ACM)	Proceedings of ACM international conference on Hybrid Systems: Computation and Control
B ISBI	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
B INTED	2015	ASSESSMENT OF PROJECT BASED LEARNING IN SOFTWARE ENGINEERING	Ráček, Daňa, Štěpánek		IATED	INTED2015 Proceedings
B ISBI	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.
B SOFSEM	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 CBSE	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 EMBS	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 ICIAP	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 EDM	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 ACIVS	2015	Improving Kinect-Skeleton Estimation (DOI)	Valčík, Sedmidubský, Zezula		Springer	Advanced Concepts for Intelligent Vision Systems (ACIVS 2015), LNCS 9386
B HPCS	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 SBAC-PAD	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 SemEval	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)
B SPIN	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 VS-Games	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
B IV	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 IV	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 DEXA	2015	Model for Performance Analysis of Distributed Stream Processing Applications (DOI)	Nálepa, Batko, Zezula		Springer International Publishing	Database and Expert Systems Applications
B BCI	2015	Different Aspects of Delivering Programming Courses: Multinational Experiences (DOI)	Pitner	Ivanovič, Xinogalos, Savić	ACM	The 7th Balkan Conference in Informatics (BCI 2015)
B VS-Games	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)
B VS-Games	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)
B IEEE SPIN	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
B CMSB	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 SEFM	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 SPIN	2015	Fast, Dynamically-Sized Concurrent Hash Table (DOI)	Barnat, Ročkai, Štill, Weiser		Springer International Publishing	Model Checking Software
B EDM	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 NSS	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 QEST	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 FedCSIS	2015	Ruby Benchmark Suite using Docker (DOI)	Nguyen, Rebok, Ludvigh	Tunka	IEEE	Annals of Computer Science and Information Systems, Volume 5
B TSD	2015	Derivancze - Derivational Analyzer of Czech (DOI)	Pala, Šmerk		Springer Verlag	International Conference on Text, Speech, and Dialogue, TSD 2015
B CLEF	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 VS-Games	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)
B ICTAC	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 ISESS	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
B ICCSA	2015	Novel Software Engineering Attitudes for Bussiness-Oriented Information Systems (DOI)	Král	Michal	Springer	Computational Science and Its Applications -- ICCSA 2015
B IWOCA	2015	The Min-max Edge q-Coloring Problem (DOI)	Popa	Larjomaa	Springer	25th International Workshop, IWOCA 2014, LNCS 8986
B IWOCA	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 BIBM	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
B CSEDU	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
B HASE	2014	Temporal Verification of Simulink Diagrams (DOI)	Barnat, Bauch, Havel		IEEE Computer Society	Proceedings of HASE 2014
B CMC	2014	Roads to New Grand Challenges of Informatics (DOI)	Gruska		Springer	14th International Conference on Membrane Computing
B ISBI	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
B SOCO	2014	Smart Home Modeling with Real Appliances (DOI)	Prýmek, Horák	Prokop, Mišák	Springer	International Conference SOCO’13
B CICLing	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 DEXA	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)
B LREC	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 IE	2014	Boulevard: Affective Adaptive User Interface (DOI)	Eichler		IOS Press	Volume 18: Workshop Proceedings of the 10th International Conference on Intelligent Environments
B ICCHP	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
B DEXA	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 )
B LREC	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 SPIN	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 INTED	2014	EDUCATION AS SERVICE SYSTEM	Walletzký		IATED-INT ASSOC TECHNOLOGY EDUCATION A& DEVELOPMENT	INTED2014: 8TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE
B BIS	2014	Visual Analytics for Increasing Efficiency of Higher Education Institutions (DOI)	Géryk, Popelínský		Springer International Publishing Switzerland	BIS 2014 International Workshops
B TrustBus	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 EMBS	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 LREC	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 CSEDU	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
B TSD	2014	Automatic Adaptation of Author's Stylometric Features to Document Types (DOI)	Rygl		Springer International Publishing	Text, Speech, and Dialogue - 17th International Conference
B SECRYPT	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 ICTAC	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 EDM	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 FedCSIS	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
B TSD	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 EVIAT	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
B TSD	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 SEAA	2014	Towards an Improvement of Bug Severity Classification (DOI)	Rossi	Singha	IEEE	40th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2014
B CMSB	2014	Precise Parameter Synthesis for Stochastic Biochemical Systems (DOI)	Češka	Dannenberg, Kwiatkowska, Paoletti	Springer International Publishing	Computational Methods in Systems Biology
B FedCSIS	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
B ICCSA	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 TSD	2014	Partial Grammar Checking for Czech Using the SET Parser (DOI)	Kovář		Springer Verlag	17th International Conference, TSD 2014
B IPEC	2014	A Parameterized Study of Maximum Generalized Pattern Matching Problems (DOI)	Ordyniak, Popa		Springer	Lecture Notes in Computer Science
B IPEC	2014	Finite Integer Index of Pathwidth and Treewidth (DOI)	Ordyniak, Gajarský, Obdržálek	Reidl, Rossmanith, Sánchez	Springer	IPEC 2014, LNCS 8246
B EVIAT	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
B ISM	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)
B EDM	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 ICATPN	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 FORMATS	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 LATIN	2014	Algorithmic and Hardness Results for the Colorful Components Problems (DOI)	Popa	Adamaszek	Springer	11th Latin American Theoretical Informatics Symposium, LATIN 2014
B TSD	2014	An Experiment with Theme–Rheme Identification (DOI)	Pala, Svoboda		Springer Verlag	An Experiment with Theme–Rheme Identification
B WAOA	2014	Min-sum 2-paths problems (DOI)	Popa	Fenner, Lachisch	Springer	11th International Workshop on Approximation and Online Algorithms, WAOA 2013, LNCS 8447
C BSLab	2018	Towards Discovering the Limits of Smart Grid Communication Infrastructure (DOI)	Kadlec, Bühnová, Pitner	Rosecký, Procházka	Springer	Governing Business Systems
C IPTA	2018	Correlation-based 2D Registration Method for Single Particle Cryo-EM Images (DOI)	Sorokin	Anoshina, Krylov	IEEE	Seventh International Conference on Image Processing Theory, Tools and Applications (IPTA), 2017
C CT-RSA	2018	Why Johnny the Developer Can't Work with Public Key Certificates: An Experimental Study of OpenSSL Usability (DOI)	Ukrop, Matyáš		Springer International Publishing	Topics in Cryptology – CT-RSA 2018: The Cryptographers' Track at the RSA Conference 2018
C SPW	2018	Entropy crowdsourcing - protocols for link key updates in wireless sensor networks (DOI)	Němec, Ošťádal, Matyáš, Švenda		Springer International Publishing	Security Protocols XXVI: 26th International Workshop
C @W4A	2018	DysHelper – The Dyslexia Assistive User Experience (DOI)	Pařilová	Remšíková	ACM New York, USA	W4A 15th International Cross-Disciplinary Conference on Web Accessibility
C @TACAS	2018	Symbiotic 5: Boosted Instrumentation (DOI)	Chalupa, Vitovská, Strejček		Springer	Tools and Algorithms for the Construction and Analysis of Systems, 24th International Conference, Proceedings, Part II
C SCSP	2018	Reliability Data for Smart Grids: Where the Real Data can be Found (DOI)	Chren, Rossi, Bühnová, Pitner		IEEE	2018 Smart City Symposium Prague (SCSP)
C IndCDM	2018	Speeding up Continuous kNN Join by Binary Sketches (DOI)	Nálepa, Batko, Zezula		Springer	Advances in Data Mining
C ICFNDS	2018	Disguised Executable Files in Spear-Phishing Emails: Detecting the Point of Entry in Advanced Persistent Threat (DOI)	Ghafir, Přenosil	Hammoudeh, Aparicio-Navarro, Rabie, Jabban	ACM Digital Library	Proceedings of International Conference on Future Networks and Distributed Systems
C @ICDE	2018	Towards Artificial Priority Queues for Similarity Query Execution (DOI)	Antol, Dohnal		IEEE	2018 IEEE 34th International Conference on Data Engineering Workshops (ICDEW)
C @LICS	2018	Black Ninjas in the Dark: Formal Analysis of Population Protocols (DOI)	Kučera	Blondin, Esparza, Jaax	ACM	2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
C SASHIMI	2018	Model-Based Generation of Synthetic 3D Time-Lapse Sequences of Multiple Mutually Interacting Motile Cells with Filopodia (DOI)	Peterlík, Svoboda, Maška	Ulman, Sorokin	Springer	Simulation and Synthesis in Medical Imaging
C @MM	2018	Similarity-Based Processing of Motion Capture Data (DOI)	Sedmidubský, Zezula		ACM	Proceedings of the ACM Conference on Multimedia (MM 2018)
C SASHIMI	2018	Tubular Network Formation Process Using 3D Cellular Potts Model (DOI)	Svoboda, Nečasová, Tesařová, Šimara		Springer	Simulation and Synthesis in Medical Imaging
C @CIKM	2018	MIaS: Math-Aware Retrieval in Digital Mathematical Libraries (DOI)	Sojka, Růžička, Novotný		ACM	Proceedings of the 27th ACM International Conference on Information and Knowledge Management (CIKM '18)
C @CIKM	2018	Implementation Notes for the Soft Cosine Measure (DOI)	Novotný		ACM	Proceedings of the 27th ACM International Conference on Information and Knowledge Management (CIKM '18)
C @CVCBT	2018	Inputs Reduction for More Space in Bitcoin Blocks (DOI)	Zima		IEEE	2018 Crypto Valley Conference on Blockchain Technology (CVCBT)
C SSCI	2018	Enhanced Scheduling for Real-Time Traffic Control (DOI)	Dang, Rudová		IEEE	2018 IEEE Symposium Series on Computational Intelligence (SSCI)
C ICDMW	2018	Modifying Hamming Spaces for Efficient Search (DOI)	Míč, Novák, Zezula		IEEE	18th International Conference on Data Mining Workshops (ICDMW), Singapore, November 17-21, 2018
C @L@S	2018	Exploring the Utility of Response Times and Wrong Answers for Adaptive Learning (DOI)	Pelánek		ACM	Learning @ Scale
C @L@S	2018	Measuring Item Similarity in Introductory Programming (DOI)	Pelánek, Effenberger, Vaněk, Sassmann, Gmiterko		ACM	Jméno nakladatele (objednatele) (254 znaků)
C @L@S	2018	Towards making block-based programming activities adaptive (DOI)	Effenberger, Pelánek		ACM	Learning @ Scale
C @NOMS	2018	Passive OS Fingerprinting Prototype Demonstration (DOI)	Laštovička, Filakovský		IEEE Xplore Digital Library	NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium
C @NOMS	2018	Community Based Platform for Vulnerability Categorization (DOI)	Komárková, Sadlek, Laštovička		IEEE Xplore Digital Library	NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium
C @IWCMC	2018	Towards Predicting Cyber Attacks Using Information Exchange and Data Mining (DOI)	Husák, Kašpar		IEEE	2018 14th International Wireless Communications & Mobile Computing Conference (IWCMC)
C @IWCMC	2018	Machine Learning Fingerprinting Methods in Cyber Security Domain: Which one to Use? (DOI)	Laštovička, Komárková	Dufka	IEEE Xplore Digital Library	Proceedings of the 14th International Wireless Communications and Mobile Computing Conference
C @NOMS	2018	Toward Real-time Network-wide Cyber Situational Awareness (DOI)	Jirsík, Čeleda		IEEE	NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium
C @NOMS	2018	Stream4Flow: Real-time IP Flow Host Monitoring using Apache Spark (DOI)	Jirsík		IEEE	NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium
C @FIE	2018	Gathering Insights from Teenagers' Hacking Experience with Authentic Cybersecurity Tools (DOI)	Švábenský, Vykopal		IEEE	Proceedings of the 48th IEEE Frontiers in Education Conference (FIE'18).
C RRPR	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 @UMAP	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 BIR	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 @ADBIS	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 ICFNDS	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 SCCG	2017	AnthroVis: Visual Analysis of 3D Mesh Ensembles for Forensic Anthropology (DOI)	Furmanová, Urbanová, Kozlíková		Brno University of Technology	Proceedings of the 33rd Spring Conference on Computer Graphics
C AIMS	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 @ISSTA	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 SPW	2017	Reconsidering Attacker Models in Ad-Hoc Networks (DOI)	Ošťádal, Švenda, Matyáš		Springer International Publishing AG	Security Protocols XXIV - 24th International Workshop
C @CAV	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
C OCEANSE	2017	Development and integration of digital technologies addressed to raise awareness and access to European underwater cultural heritage. An overview of the H2020 i-MARECULTURE project (DOI)	Čejka, Kouřil, Liarokapis	Bruno, Lagudi, Ritacco, Agrafiotis, Skarlatos, Philpin-Briscoe, Poullis, Mudur, Simon	IEEE	Proc. of OCEANS 2017
C @ICSA	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 SCSP	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 RoMoCo	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	Fusion Strategies for Large-Scale Multi-modal Image Retrieval (DOI)	Budíková, Batko, Zezula		Springer	Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIII
C IJCB	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 SISAP	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 SASHIMI	2017	Multimodal Simulations in Live Cell Imaging (DOI)	Svoboda, Kozubek		Springer	Simulation and Synthesis in Medical Imaging
C @VS-Games	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)
C SISAP	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 @NSS	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
C @TACAS	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 @ISMAR	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
C ICFNDS	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 @ATVA	2017	Model Checking of C and C++ with DIVINE 4 (DOI)	Barnat, Lauko, Mrázek, Ročkai, Štill	Baranová, Kejstová, Kučera	Springer International Publishing	Automated Technology for Verification and Analysis
C QRS	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
C @ISSRE	2017	Towards Multi-layered Reliability Analysis in Smart Grids (DOI)	Chren		IEEE	Proceedings of International Symposium on Software Reliability Engineering (ISSRE) Workshops
C @TACAS	2017	Optimizing and Caching SMT Queries in SymDIVINE (Competition Contribution) (DOI)	Mrázek, Jonáš, Štill, Lauko, Barnat		Springer	Tools and Algorithms for the Construction and Analysis of Systems, 23rd International Conference, TACAS 2017, Part II
C RV	2017	From Model Checking to Runtime Verification and Back (DOI)	Ročkai, Barnat	Kejstová	Springer	Runtime Verification - 17th International Conference, RV 2017
C @ICCV	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 SPW	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
C SCSP	2017	Smart mobile technologies for the city of the future (DOI)	Bangui, Bühnová	Rakrak, Raghay	IEEE	Smart City Symposium Prague (SCSP), 2017
C @UMAP	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 @UMAP	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	Time-space complexity advantages for quantum computing (DOI)	Gruska		Springer	Lecture Notes in Computer Science, Volume 10687: 6th International Conference on Theory and Practice of Natural Computing, TPNC 2017
C @IM	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)
C @IM	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)
C @IM	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)
C AIMS	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 @FedCSIS	2016	Automatic Keyword Extraction from Medical and Healthcare Curriculum (DOI)	Komenda, Karolyi, Pokorná, Víta	Kríž	Polskie Towarzystwo Informatyczne; IEEE	Annals of Computer Science and Information Systems, Volume 8 : Proceedings of the 2016 Federated Conference on Computer Science and Information Systems
C IC3T	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 MEMICS	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 ICOCOE	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 MEMICS	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 MEMICS	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 SISAP	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 SCSP	2016	Smart grids deployments within EU projects: The role of smart meters (DOI)	Chren, Rossi, Pitner		IEEE	2016 Smart Cities Symposium Prague (SCSP)
C SCSP	2016	ICT architecture for the Smart Grid: Concept overview (DOI)	Kazičková, Bühnová		IEEE	2016 Smart Cities Symposium Prague (SCSP)
C DoCEIS	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 DiVAI	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 @ITS	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 @ITS	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 @TACAS	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 MEMICS	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 HSB	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 @FiCloud	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 AIMSA	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
C WISTP	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 SISAP	2016	Speeding up Similarity Search by Sketches (DOI)	Míč, Novák, Zezula		Springer	Similarity Search and Applications (SISAP 2016)
C @TACAS	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 @S+SSPR	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 @ECCV	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 SCCG	2016	Evaluation of Continuous Collision Detection Accelerated with Tetrahedral Structures (DOI)	Čejka		ACM	Proceedings of the 32nd Spring Conference on Computer Graphics (SCCG '16)
C @CMSB	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 @ATVA	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
C ISoLA	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 ICCABS	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 @AAMAS	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 ICDMW	2016	Designing Sketches for Similarity Filtering (DOI)	Míč, Novák, Zezula		IEEE	2016 IEEE 16th International Conference on Data Mining Workshops (ICDMW)
C IECON	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 SETTA	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 SSCI	2016	Network Flows for Data Distribution and Computation (DOI)	Rudová	Makatun, Lauret, Šumbera	IEEE	2016 IEEE Symposium Series on Computational Intelligence (SSCI)
C @FedCSIS	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 SASB	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 POST	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 ANIMMA	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 ANIMMA	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 ISAT	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 AIMS	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 AIMS	2016	Network Defence Using Attacker-Defender Interaction Modelling (DOI)	Medková, Čeleda		Springer International Publishing	IFIP International Conference on Autonomous Infrastructure, Management and Security
C ICITCS	2016	On Information Value of Top N Statistics (DOI)	Jirsík, Čermák, Čeleda		IEEE	2016 6th International Conference on IT Convergence and Security (ICITCS)
C FACS	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 IWBBIO	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 @AIED	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 INFOSCALE	2015	Scalable Similarity Search for Big Data - Challenges and Research Objectives (DOI)	Zezula		Springer	Scalable Information Systems - 5th International Conference
C SCCG	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
C SCCG	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
C SCCG	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
C EPIA	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
C @NLDB	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 WICON	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,
C SASB	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 MESAS	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 SISAP	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 SISAP	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 @CAV	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
C HAS	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 WISTP	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 EPIA	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
C SPACE	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 STM	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 @HPDC	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 HSB	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 @CLEF	2015	Determining Window Size from Plagiarism Corpus for Stylometric Features (DOI)	Suchomel, Brandejs		Springer International Publishing	Experimental IR Meets Multilinguality, Multimodality, and Interaction
C INFOSCALE	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 GCCT	2015	Blacklist-based Malicious IP Traffic Detection (DOI)	Ghafir, Přenosil		IEEE Xplore Digital Library	Proceedings of Global Conference on Communication Technologies (GCCT)
C SPW	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
C CyPhy	2015	Recharging Probably Keeps Batteries Alive (DOI)	Krčál	Hermanns, Nies	Springer	CyPhy 2015
C @TACAS	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.
C SPACE	2015	Architecture Considerations for Massively Parallel Hardware Security Platform (DOI)	Švenda	Cvrček	Springer	Lecture Notes in Computer Science 9354
C IMCTL	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 IMCTL	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 SISAP	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 @SIGIR	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 @WISE	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 ICITS	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 ICMT	2015	Significant reliability improvement of NMR systems (DOI)	Amiri, Přenosil		IEEE	CMT 2015 - International Conference on Military Technologies 2015
C IDC	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 IDC	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 PACBB	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 @PDP	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 FACS	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 @TACAS	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 IWCIA	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 TAFA	2014	The Complexity of Repairing, Adjusting, and Aggregating of Extensions in Abstract Argumentation (DOI)	Ordyniak	Szeider, Eun	Springer	Lecture Notes in Computer Science
C LATA	2014	On the state complexity of semi-quantum finite automata (DOI)	Zheng, Gruska	Qiu	Springer	Language and Automata Theory and Applications
C CICM	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 @ATVA	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
C ReCoSoC	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 TSP	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	User-aware Distributed User Interface for Tiled-display Environments (DOI)	Rusňák, Ručka		ACM	4th Workshop on Distributed User Interfaces and Multimodal Interaction
C CS2Bio	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 QoSA	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)
C @IDEAS	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 SCCG	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
C ECTEL	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 IJCB	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 MEMICS	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 STM	2014	Evaluation of key management schemes in wireless sensor networks (DOI)	Jurnečka, Stehlík, Matyáš		Springer International Publishing	Security and Trust Management
C AIMSA	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
C @NCA	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 SPACE	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 @ESEM	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 ICICSys	2014	Approaches for Candidate Document Retrieval (DOI)	Suchomel, Brandejs		IEEE	Information and Communication Systems (ICICS), 2014 5th International Conference on
C SPW	2014	Red Queen's Race: APT win-win game (DOI)	Bukač, Lorenc, Matyáš		Springer	Security Protocols XXII - 22nd International Workshop, Revised Selected Papers
C SPW	2014	On Node Capturing Attacker Strategies (DOI)	Jurnečka, Stehlík, Matyáš		Springer	Security Protocols XXII - 22nd International Workshop, Revised Selected Papers
C IC3D	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 MEMICS	2014	Mapping Problems to Skills Combining Expert Opinion and Student Data (DOI)	Nižnan, Pelánek, Řihák		Springer	Proceedings of MEMICS'14
C MEMICS	2014	LTL Model Checking of LLVM Bitcode with Symbolic Data (DOI)	Bauch, Havel, Barnat		Springer	Proceedings of MEMICS'14
C EPEW	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 LTC	2014	Information Extraction for Czech Based on Syntactic Analysis (DOI)	Baisa, Kovář		Springer	Human Language Technology Challenges for Computer Science and Linguistics
C SIN	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 ICODSE	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 NFM	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 ASCM	2014	Digitization Workflow in the Czech Digital Mathematics Library (DOI)	Sojka		Springer Berlin Heidelberg	Computer Mathematics
C SPACE	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 MEMICS	2014	Context-Switch-Directed Verification in DIVINE (DOI)	Štill, Ročkai, Barnat		Springer International Publishing	Mathematical and Engineering Methods in Computer Science
C DiVAI	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
D	2018	Interaction with 3D environment: exploring sensory-motor to cognition	Juřík, Šašinka, Herman, Stachoň, Kubíček, Ugwitz, Doležal		Masarykova univerzita	Kognice a umělý život 2018 - sborník příspěvků
D	2018	Behavior Analysis in Virtual Geovisualizations: Towards Ecological Validity	Juřík, Herman, Šašinka, Stachoň, Chmelík, Strnadová, Kubíček		Bulgarian Cartographic Association	Proceedings, 7th International Conference on Cartography and GIS, Vol. 1.
D ISRD	2018	Fast Two Parametric Spectrometric System For Experimental MSR/FHR Reactor Dosimetry	Matěj	Košťál, Cvachovec, Mravec, Pavelek, Herman, Veškrna, Přenosil, Losa	STP: Selected Technical Papers	Reactor Dosimetry - 16th international Symposium
D FSDM	2018	Determining Dyslexic User Model Membership Using Fuzzy Approach (DOI)	Pařilová		IOS Press	Fuzzy Systems and Data Mining IV
D CMLC	2018	Distributed Corpus Search	Rychlý, Rábara, Herman		European Language Resource Association	6th Workshop on the Challenges in the Management of Large Corpora
D @FedCSIS	2018	From Building Corpora for Recognizing Faceted Entailment to Recognizing Relational Entailment (DOI)	Víta		Polish Information Processing Society	Position Papers of the Federated Conference on Computer Science and Information Systems
D IDIMT	2018	Innovation of the Information System in the Field of Data Archiving	Pitner, Tomášek	Ministr, Lhoták, Chaplyha	Johannes Kepler Universität Linz	26th Interdisciplinary Information Management Talks (IDIMT) 2018 Strategic Modeling in Management, Economy and Society
D IDIMT	2018	How to Make Academic-Industrial Collaboration More Effective?	Šteruská, Šimková, Pitner	Ministr	Trauner Verlag	26th Interdisciplinary Information Management Talks (IDIMT) 2018 Strategic Modeling in Management, Economy and Society
D EURALEX	2018	Shareable subentries in Lexonomy as a solution to the problem of multiword item placement (DOI)	Měchura		Ljubljana University Press	Proceedings of the XVIII EURALEX International Congress: Lexicography in Global Contexts
D EURALEX	2018	Wordnet Consistency Checking via Crowdsourcing	Rambousek, Horák		Ljubljana University Press	Proceedings of the XVIII EURALEX International Congress: Lexicography in Global Contexts
D	2018	Siamese Convolutional Neural Networks for Recognizing Partial Entailment	Víta		Vysoké učení technické v Brně	Siamese Convolutional Neural Networks for Recognizing Partial Entailment
D @LPAR	2018	Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes? (DOI)	Jonáš, Strejček		EasyChair	LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
D RASLAN	2018	Weighting of Passages in Question Answering	Novotný, Sojka		Tribun EU	Proceedings of the Twelve Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2018
D IT4P	2018	Cybersecurity Qualifications	Pitner, Šimková	Ministr	VŠB-Technical University of Ostrava	Proceedings of the 21st International Conference on Information Technology for Practice
D RASLAN	2018	Comments on Czech Morphological Tagset	Pala		Tribun EU	Proceedings of the Twelfth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2018
D RASLAN	2018	csTenTen17, a Recent Czech Web Corpus	Suchomel		Tribun EU	Proceedings of the Twelfth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2018
D RASLAN	2018	Towards Czech Answer Type Analysis	Kušniráková, Medveď		Tribun EU	Proceedings of the Twelfth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2018
D RASLAN	2018	Recurrent Networks in AQA Answer Selection	Medveď, Horák	Sabol	Tribun EU	Proceedings of the Twelfth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2018
D RASLAN	2018	An Update of the Manually Annotated AmharicCorpus	Rychlý	Lemma	Tribun EU	Proceedings of the Twelfth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2018
D IT4P	2018	Modeling and Simulating Cooperation in Organizations	Daňa, Ráček		VŠB
D	2018	Autoencoders vs. others for anomaly detection	Popelínský	Miklášová, Lomič, Císar, Krejčířová	Vysoké učení technické v Brně	DATA A ZNALOSTI & WIKT 2018, sborník konference
D ITAT	2018	To text summarization by dynamic graph mining	Gallo, Popelínský, Vaculík		Safarik University, Faculty of Science, Kosice, Slovakia	ITAT 2018 Proceedings,
D IT4P	2018	TEVOGS – Vehicle Onboard Guidance System	Mühlpachr, Ráček	Fibich	VŠB
D SASB	2018	Toward Model Selection by Formal Methods	Hajnal, Pastva
D	2018	Exploring Big Data Clustering Algorithms for Internet of Things Applications (DOI)	Bangui, Ge, Bühnová		SCITEPRESS	Proceedings of the 3rd International Conference on Internet of Things, Big Data and Security
D AIMS	2018	Threat Detection Through Correlation of Network Flows and Logs	Špaček, Čeleda		IFIP	Proceedings of the 12th International Conference on Autonomous Infrastructure, Management and Security (AIMS 2018)
D 3D ARCH	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 IDIMT	2017	Modelling the Service Value Chain for Smart City	Ge, Walletzký	Caputo	Trauner Verlag	Proceedings of the 25th Interdisciplinary Information Management Talks
D IDIMT	2017	Developing an Enterprise Architecture Framework and Services for Smart Cities	Ge	Helfert	Trauner Verlag	Proceedings of the 25th Interdisciplinary Information Management Talks
D ECCWS	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 SMSIS	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 RepL4NLP	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 IDIMT	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 IDIMT	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 VCBM	2017	Watergate: Visual Exploration of Water Trajectories in Protein Dynamics	Jurčík, Marques, Damborský, Kozlíková	Vad, Byška, Viola, Gröller, Hauser	Eurographics Workshop on Visual Computing for Biology and Medicine	Eurographics Workshop on Visual Computing for Biology and Medicine
D VCBM	2017	Protein Tunnel Reprojection for Physico-Chemical Property Analysis	Kozlíková	Malzahn, Ropinski	Eurographics Workshop on Visual Computing for Biology and Medicine	Eurographics Workshop on Visual Computing for Biology and Medicine
D SMSIS	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 SMSIS	2017	Towards a Common Logging and Monitoring Framework for Critical Infrastructures	Pitner, Tovarňák, Kšenzuliak, Kučera	Ministr	VŠB - Technical University of Ostrava	Strategic Management and its Support by Information Systems (SMSIS)
D @ISWC	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 eLex	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 ISGC	2017	Investigating Community Detection Algorithms and their Capacity as Markers of Brain Diseases (DOI)	Výtvarová, Fousek, Mikl, Rektorová, Hladká		Sissa Medialab Srl	International Symposium on Grids and Clouds (ISGC) 2017. Academia Sinica, Taipei, Taiwan: Proceedings of Science
D CHEP	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 RASLAN	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 RASLAN	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 RASLAN	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 RASLAN	2017	Recognition of Invoices from Scanned Documents	Ha		NLP Consulting	RASLAN 2017 Recent Advances in Slavonic Natural Language Processing
D RASLAN	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 RASLAN	2017	Preliminary Thoughts on Issues of Modeling Japanese Dictionaries Using the OntoLex Model	Lecailliez		Tribun EU	Proceedings of the Eleventh Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2017
D RASLAN	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 RASLAN	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 RASLAN	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 RASLAN	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	2017	Modelling System of Systems Interface Contract Behaviour (DOI)	Bühnová	Faldík, Payne, Fitzgerald	EPTCS	Proceedings FESCA 2017
D	2017	Is There a Satisfactory `Czech´ Response Today to a `Czech Question´?	Dokulil		Filosofický ústav AV ČR	„Česká otázka“ a dnešní doba
D	2017	Knowledge-based System for Assessing Vitality of Family Businesses in the Czech Republic	Popelínský	Antlová, Rydvalová	Technical University of Liberec	Proceedings of 13th Liberec Economic Forum
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 ISGC	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 ISRD	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 GWC	2016	DEBVisDic: Instant Wordnet Building	Rambousek, Horák		Romanian Academy	Proceedings of the Eighth Global WordNet Conference
D @CICLing	2016	Emerging Technology Enabling Dyslexia Users To Read and Perceive Written Text Correctly	Pařilová, Mrváň, Mižík, Hladká		Instituto Politécnico Nacional	Research in Computer Science
D VCBM	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 EURALEX	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 EURALEX	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 EURALEX	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 WMT	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 IDIMT	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 @ICSOFT	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 EuroUSEC	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	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 MEMICS	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 RASLAN	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 RASLAN	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 RASLAN	2016	Czech Grammar Agreement Dataset for Evaluation of Language Models	Baisa		Tribun EU	RASLAN 2016 Recent Advances in Slavonic Natural Language Processing
D RASLAN	2016	Pre-processing Large Resources for Family Names Research	Rambousek		Tribun EU	RASLAN 2016 Recent Advances in Slavonic Natural Language Processing
D RASLAN	2016	How to Present NLP Topics to Children?	Rambousek, Nevěřilová		Tribun EU	RASLAN 2016 Recent Advances in Slavonic Natural Language Processing
D RASLAN	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 RASLAN	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 RASLAN	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 RASLAN	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 RASLAN	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 RASLAN	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 RASLAN	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 MEMICS	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 VarDial	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 ACAT	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 MEMICS	2016	Characterizing DAG-depth of Directed Graphs (DOI)	Bezek		OPEN PUBL ASSOC	ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
D	2016	Benchmarking of the graphite and fluoride insertions in LR-0 reactor	Veškrna, Mravec, Matěj	Losa, Košťál, Rypar, Schulc, Novák, Jánský, Cvachovec	American Nuclear Society	Physics of Reactors 2016, PHYSOR 2016: Unifying Theory and Experiments in the 21st Century
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 RASLAN	2015	Bilingual Terminology Extraction in Sketch Engine	Baisa, Ulipová, Cukr		Tribun EU	Ninth Workshop on Recent Advances in Slavonic Natural Language Processing
D RASLAN	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 RASLAN	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 RASLAN	2015	Annotation of Multi-Word Expressions in Czech Texts	Nevěřilová		Tribun EU	Ninth Workshop on Recent Advances in Slavonic Natural Language Processing
D RASLAN	2015	Generating Czech Iambic Verse	Pala, Nevěřilová		Tribun EU	Ninth Workshop on Recent Advances in Slavonic Natural Language Processing
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 SMSIS	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 @EDM	2015	Towards Freshmen Performance Prediction	Bydžovská		UNED	Proceedings of the 8th International Conference on Educational Data Mining
D @EuroVis	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 @EDM	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 @AIED	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 DLSC	2015	Safe Path Planning Using Cell Decomposition Approximation	Abbadi, Přenosil		University of Defence, Brno	International Conference DISTANCE LEARNING, SIMULATION AND COMMUNICATION
D DLSC	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	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 eLex	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 eLex	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 NLP4TM	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 TurkLang	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 SMSIS	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 IDIMT	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 IT4P	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 INTELLI	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 ACAT	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 CGW	2015	Extensible and Modular Cloud Scheduler for OpenNebula	Podolníková	Parák, Klusáček	ACC Cyfronet AGH	Cracow Grid Workshop
D CGW	2015	Agent-based User Modeling in Job Scheduling Simulations	Tóth, Klusáček		ACC Cyfronet AGH	Cracow Grid Workshop
D @EDM	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 MEMICS	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 RASLAN	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 @CLEF	2015	Improving Synoptic Querying for Source Retrieval	Suchomel, Brandejs		CEUR	Working Notes of the 6th International Conference of the {CLEF} Initiative
D RASLAN	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 ITAT	2015	A Versatile Algorithm for Predictive Graph Rule Mining	Vaculík		CEUR-WS.org	Proceedings ITAT 2015: Information Technologies - Applications and Theory
D RASLAN	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 RASLAN	2015	Style & Identity Recognition	Rygl		Tribun EU	Ninth Workshop on Recent Advances in Slavonic Natural Language Processing
D RASLAN	2015	Concurrent Processing of Text Corpus Queries	Rábara, Rychlý		Tribun EU	Ninth Workshop on Recent Advances in Slavonic Natural Language Processing
D RASLAN	2015	Semantic Regularity of Derivational Relations	Šmerk		Tribun EU	Ninth Workshop on Recent Advances in Slavonic Natural Language Processing
D RASLAN	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 RASLAN	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 SantaCrypt	2015	NIST Statistical Test Suite – result interpretation and optimization	Sýs, Říha		TNS	SantaCrypt 2015
D ICERI	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 ICERI	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 @EDM	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 MISTA	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 SMSIS	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 IC3K	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 IC3K	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	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 MMEDIA	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 Biotechno	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 Bioinformatics	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 Bioinformatics	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 @EACL	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 @ICEIS	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 SLPAT	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 @IDEAS	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 @AAMAS	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 CMLC	2014	Effective Corpus Virtualization	Jakubíček, Rychlý	Kilgarriff	EUROPEAN LANGUAGE RESOURCES ASSOCIATION-ELRA	Challenges in the Management of Large Corpora (CMLC-2)
D KDIR	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 ECEL	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 VCBM	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 HPG	2014	Register Efficient Memory Allocator for GPUs (DOI)	Vinkler	Havran	Eurographics Association	High-Performance Graphics 2014
D @EDM	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 @ICSOFT	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 MEMICS	2014	A Case for a Multifaceted Fairness Model: An Overview of Fairness Methods for Job Queuing and Scheduling	Tóth		NOVPRESS	Memics 2014
D MEMICS	2014	Understanding the Importance of Interactions among Job Scheduling Policies	Tóth	Klusáček	NOVPRESS	Memics 2014
D @EDM	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	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 @CLEF	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
D	2014	Safety Evaluation of Parallel, Standby, and NMR Systems	Amiri, Přenosil		University of Defence	Deterioration, Dependability, Diagnostics 2014
D @ICSOFT	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 CGW	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 MEMICS	2014	LTL Model Checking of Parametric Timed Automata	Bezděk, Beneš, Barnat, Černá		NOVPRESS	MEMICS 2014
D @EDM	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 MEMICS	2014	Convergence of Parareal Algorithm Applied on Molecular Dynamics Simulations	Pazúriková, Matyska		NOVPRESS	MEMICS 2014
D @CLEF	2014	Heterogeneous Queries for Synoptic and Phrasal Search	Suchomel, Brandejs		CEUR, Aachen University	CLEF2014 Working Notes
D RASLAN	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 RPSD	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 RASLAN	2014	Character-based Language Model	Baisa		Tribun EU	Eighth Workshop on Recent Advances in Slavonic Natural Language Processing
D RASLAN	2014	A System for Predictive Writing	Nevěřilová, Ulipová		Tribun EU	Eighth Workshop on Recent Advances in Slavonic Natural Language Processing
D RASLAN	2014	One System to Solve Them All	Rygl		Tribun EU	Eighth Workshop on Recent Advances in Slavonic Natural Language Processing
D RASLAN	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 RASLAN	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 RASLAN	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 RASLAN	2014	SkELL: Web Interface for English Language Learning	Baisa, Suchomel		Tribun EU	Eighth Workshop on Recent Advances in Slavonic Natural Language Processing
D RASLAN	2014	Text Tokenisation Using unitok	Suchomel, Michelfeit, Pomikálek		Tribun EU	Eighth Workshop on Recent Advances in Slavonic Natural Language Processing
D RASLAN	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 RASLAN	2014	Style Markers Based on Stop-word List	Rygl, Medveď		Tribun EU	Eighth Workshop on Recent Advances in Slavonic Natural Language Processing
D RASLAN	2014	Intelligent Search and Replace for Czech Phrases	Nevěřilová, Suchomel		Tribun EU	Eighth Workshop on Recent Advances in Slavonic Natural Language Processing
D RASLAN	2014	SQAD: Simple Question Answering Database	Horák, Medveď		Tribun EU	Eighth Workshop on Recent Advances in Slavonic Natural Language Processing
D RASLAN	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 RASLAN	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 RASLAN	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 @ENASE	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 ICERI	2014	Service Oriented Marketing Mix and Its usage	Walletzký		IATED	ICERI2014: 7TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION
D IDIMT	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 ICOSD	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 IT4P	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 @EDM	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 SynCoP	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 @ICSOFT	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 IT4P	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 @PATAT	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 ICFCNA	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 ICFCNA	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 @LREC	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 Bioinformatics	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