Š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* ICSE	2019	Mistakes in UML Diagrams: Analysis of Student Projects in a Software Engineering Course (DOI)	Chren, Bühnová, Macák, Daubner, Rossi		IEEE Press	Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training
A* S&P	2019	Postcards from the Post-HTTP World: Amplification of HTTPS Vulnerabilities in the Web Ecosystem (DOI)	Nemec	Calzavara, Focardi, Rabitti, Squarcina	IEEE	Proceedings of the 40th IEEE Symposium on Security and Privacy
A* CHI	2019	Examining And Enhancing The Illusory Touch Perception In Virtual Reality Using Non-Invasive Brain Stimulation (DOI)	Škola, Liarokapis		ACM Press	Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, Paper No. 247
A* CAV	2019	Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors (DOI)	Jonáš, Strejček		Springer	CAV 2019: Computer Aided Verification
A* AAAI	2019	Solving Integer Quadratic Programming via Explicit and Structural Restrictions (DOI)	Ganian	Eiben, Knop, Ordyniak	AAAI Press	Proceedings of the AAAI Conference on Artificial Intelligence
A* NIPS	2019	The Parameterized Complexity of Cascading Portfolio Scheduling	Ganian	Eiben, Kanj, Szeider	Neural Information Processing Systems Foundation, Inc.	Advances in Neural Information Processing Systems 32 (NIPS 2019)
A* CAV	2019	PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games (DOI)	Křetínský	Ashok, Weininger	Springer	Computer Aided Verification (CAV 2019)
A* AAAI	2019	Unbounded Orchestrations of Transducers for Manufacturing (DOI)	Brázdil	Alechina, De Giacomo, Felli, Logan, Vardi	AAAI	Proceedings of the AAAI Conference on Artificial Intelligence
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 (DOI)	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* IJCAI	2018	Unary Integer Linear Programming with Structural Restrictions (DOI)	Ganian	Eiben, Knop, Ordyniak	ijcai.org	Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
A* IJCAI	2018	A Structural Approach to Activity Selection (DOI)	Ganian	Eiben, Ordyniak	ijcai.org	Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI)
A* ICML	2018	Parameterized Algorithms for the Matrix Completion Problem	Ganian	Kanj, Ordyniak, Szeider	PMLR	Proceedings of the 35th International Conference on Machine Learning (ICML)
A* LICS	2018	Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes (DOI)	Křetínský	Meggendorfer	ACM	Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '18)
A* CAV	2018	Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm (DOI)	Křetínský	Kelmendi, Krämer, Weininger	Springer	Computer Aided Verification (CAV 2018)
A* 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
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 (DOI)	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ý, Formánek, Komárek, Matyáš		USENIX Association	Proceedings of 25th USENIX Security Symposium
A* CRYPTO	2016	Adaptive versus non-adaptive strategies in the quantum setting with applications (DOI)	Dupont Dupuis	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* 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	The Hanoi Omega-Automata Format (DOI)	Babiak, Blahoudek, Křetínský, Strejček	Duret-Lutz, Klein, Müller, Parker	Springer	Computer Aided Verification: 27th International Conference, CAV 2015
A* 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 HICSS	2019	Simulating the Impact of Cooperation and Management Strategies on Stress and Economic Performance (DOI)	Spurný, Kopeček, Ošlejšek, Plhák		University of Hawaii at Manoa	Proceedings of the 52nd Hawaii International Conference on System Sciences
A SIGCSE	2019	Reflective Diary for Professional Development of Novice Teachers (DOI)	Ukrop, Švábenský, Nehyba		ACM	Proceedings of the 50th ACM Technical Symposium on Computer Science Education (SIGCSE’19)
A GECCO	2019	Adaptive Large Neighborhood Search for Scheduling of Mobile Robots (DOI)	Dang, Rudová	Nguyen	ACM	The Genetic and Evolutionary Computation Conference (GECCO)
A MSR	2019	STRAIT: A Tool for Automated Software Reliability Growth Analysis (DOI)	Chren, Mičko, Bühnová, Rossi		ACM	Proceedings of the 16th International Conference on Mining Software Repositories
A TACAS	2019	Digital Bifurcation Analysis of TCP Dynamics (DOI)	Beneš, Brim, Pastva, Šafránek		Springer International Publishing	Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019
A ICMR	2019	Benchmarking Search and Annotation in Continuous Human Skeleton Sequences (DOI)	Sedmidubský, Eliáš, Zezula		ACM	International Conference on Multimedia Retrieval (ICMR)
A ICIP	2019	Toward Robust Fully 3D Filopodium Segmentation and Tracking in Time-Lapse Fluorescence Microscopy (DOI)	Maška, Nečasová, Wiesner, Peterlík, Svoboda	Sorokin, Ulman	IEEE	26th IEEE International Conference on Image Processing
A ISD	2019	Industrial Involvement In Information System Education: Lessons Learned from a Software Quality Course	Chren, Rossi, Bühnová, Ge, Pitner		AIS	Proceedings of 28th International Conference on Information Systems Development
A CP	2019	Scheduling of Mobile Robots Using Constraint Programming (DOI)	Murín, Rudová		Springer International Publishing	Principles and Practice of Constraint Programming
A ICIP	2019	Multimodal Point Distribution Model for Anthropological Landmark Detection (DOI)	Ferková, Matula		Springer	26th IEEE International Conference on Image Processing (ICIP2019)
A AIED	2019	Item Ordering Biases in Educational Data (DOI)	Čechák, Pelánek		Springer	International Conference on Artificial Intelligence in Education
A ICALP	2019	On the Complexity of Value Iteration (DOI)	Novotný	Balaji, Kiefer, Pérez, Shirmohammadi	Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik	Proceedings of the 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019)
A IROS	2019	RoFICoM - First Open-Hardware Connector for Metamorphic Robots (DOI)	Mrázek, Barnat		IEEE	2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
A ACSAC	2019	Will You Trust This TLS Certificate? Perceptions of People Working in IT (DOI)	Ukrop, Kraus, Matyáš	Wahsheh	ACM	Proceedings of the 35rd Annual Computer Security Applications Conference
A ATVA	2019	Deciding Fast Termination for Probabilistic VASS with Nondeterminism (DOI)	Brázdil, Kučera, Novotný, Velan	Chatterjee	Springer	Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Proceedings
A ATVA	2019	ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata (DOI)	Major, Strejček, Jánošová, Zbončáková	Blahoudek	Springer	Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings
A ATVA	2019	Generic Emptiness Check for Fun and Profit (DOI)	Strejček	Baier, Blahoudek, Duret-Lutz, Klein, Müller	Springer	Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings
A GD	2019	Exact Crossing Number Parameterized by Vertex Cover (DOI)	Hliněný	Sankaran	Springer, Lecture Notes in Computer Science, volume 11904	GD 2019: Graph Drawing and Network Visualization
A SoCG	2019	Bounded degree conjecture holds precisely for c-crossing-critical graphs with c<=12 (DOI)	Hliněný	Dvořák, Mohar, Bokal, Leanos, Wiedera	Leibniz International Proceedings in Informatics, LIPIcs	35th International Symposium on Computational Geometry, SoCG 2019
A TACAS	2019	Abstract Dependency Graphs and Their Application to Model Checking (DOI)	Srba	Enevoldsen, Larsen	Springer	Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19)
A CONCUR	2019	Partial Order Reduction for Reachability Games (DOI)	Srba	Boenneland, Jensen, Larsen, Muniz	Dagstuhl Publishing	Proceedings of the 30th International Conference on Concurrency Theory (CONCUR'19)
A ALENEX	2019	SAT-Encodings for Treecut Width and Treedepth (DOI)	Ganian	Lodha, Ordyniak, Szeider	SIAM	ALENEX 2019
A CP	2019	A Join-Based Hybrid Parameter for Constraint Satisfaction (DOI)	Ganian	Ordyniak, Szeider	Springer	Principles and Practice of Constraint Programming - 25th International Conference
A ESA	2019	Group Activity Selection with Few Agent Types (DOI)	Ganian	Ordyniak, Rahul	Dagstuhl	27th Annual European Symposium on Algorithms (ESA 2019)
A GD	2019	On Strict (Outer-)Confluent Graphs (DOI)	Ganian	Forster, Klute, Nollenburg	Springer	Graph Drawing and Network Visualization - 27th International Symposium, GD 2019
A GD	2019	Parameterized Algorithms for Book Embedding Problems (DOI)	Ganian	Bhore, Montecchiani, Nollenburg	Springer	Graph Drawing and Network Visualization - 27th International Symposium, GD 2019
A IPCO	2019	Integer Programming and Incidence Treedepth (DOI)	Ganian	Eiben, Knop, Ordyniak, Pilipczuk, Wrochna	Springer	Integer Programming and Combinatorial Optimization - 20th International Conference, IPCO 2019
A MFCS	2019	Measuring what Matters: A Hybrid Approach to Dynamic Programming with Treewidth (DOI)	Ganian	Eiben, Hamm, Kwon	Dagstuhl	44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)
A WG	2019	The Power of Cut-Based Parameters for Computing Edge Disjoint Paths (DOI)	Ganian	Ordyniak	Springer	WG 2019: Graph-Theoretic Concepts in Computer Science
A CONCUR	2019	Of Cores: A Partial-Exploration Framework for Markov Decision Processes (DOI)	Křetínský	Meggendorfer	Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik	30th International Conference on Concurrency Theory (CONCUR 2019)
A IM	2019	Quality of Service Forecasting with LSTM Neural Network	Jirsík, Trčka, Čeleda		IEEE	2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM)
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 (DOI)	Sedmidubský	Svec, Psutka, Trmal, Smidl, Ircing	IEEE Computer Society	43rd IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2018)
A ICALP	2018	Bisimulation Invariant Monadic-Second Order Logic in the Finite (DOI)	Blumensath	Wolf	Schloss Dagstuhl	45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic
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	Automated Technology for Verification and Analysis - 16th International Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings}
A 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)
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á		EPiC Series in Computing	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 der Sommen, Zheng, Müller, Arbel, Bradley, Jannin, Kopp-Schneider, Maier-Hein	Springer	Medical Image Computing and Computer Assisted Intervention – MICCAI 2018
A 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
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 STACS	2018	On Structural Parameterizations of the Bounded-Degree Vertex Deletion Problem (DOI)	Ganian	Klute, Ordyniak	Dagstuhl	STACS 2018
A STACS	2018	Small Resolution Proofs for QBF using Dependency Treewidth (DOI)	Ganian	Eiben, Ordyniak	Dagstuhl	STACS 2018
A ATVA	2018	Continuous-Time Markov Decisions Based on Partial Exploration (DOI)	Křetínský	Ashok, Butkova, Hermanns	Springer	Automated Technology for Verification and Analysis. ATVA 2018
A CONCUR	2018	Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints (DOI)	Křetínský	Perez, Raskin	Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik	29th International Conference on Concurrency Theory (CONCUR 2018)
A TACAS	2018	Strategy Representation by Decision Trees in Reactive Synthesis (DOI)	Brázdil	Chatterjee, Křetínský, Toman	Springer	24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018)
A TCC	2018	Secure Certification of Mixed Quantum States with Application to Two-Party Randomness Generation (DOI)	Dupont Dupuis	Fehr, Lamontagne, Salvail	Springer	16th International Theory of Cryptography Conference (TCC 2018)
A SIGCSE	2018	Timely Feedback in Unstructured Cybersecurity Exercises (DOI)	Vykopal, Ošlejšek, Dočkalová 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 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
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	Exchanging Security Events: Which And How Many Alerts Can We Aggregate? (DOI)	Husák, Čermák, Laštovička, Vykopal		IEEE	2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM)
A IM	2017	Network Defence Strategy Evaluation: Simulation vs. Live Network (DOI)	Komárková, 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á, Koutná, Matula	Tesařová	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 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
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ý		LNCS 9897, 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 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
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 Haan, 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 CIKM	2016	Off the Beaten Path: Let's Replace Term-Based Retrieval with k-NN Search (DOI)	Novák	Boytsov, Malkov, Nyberg	ACM	CIKM'16: PROCEEDINGS OF THE 2016 ACM CONFERENCE ON INFORMATION AND KNOWLEDGE MANAGEMENT
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 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
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 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.
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
B ICSC	2019	Factoring Personalization in Social Media Recommendations (DOI)	Ge	Persia	IEEE	Proceedings of the 13th IEEE International Conference on Semantic Computing
B PacificVis	2019	Visual Analysis of Ligand Trajectories in Molecular Dynamics (DOI)	Jurčík, Furmanová, Byška, Vávra, Ulbrich, Kozlíková	Vonásek, Hauser	IEEE	IEEE Pacific Visualization Symposium 2019
B ISBI	2019	DIC Image Segmentation of Dense Cell Populations by Combining Deep Learning and Watershed (DOI)	Lux, Matula		IEEE 16th International Symposium on Biomedical Imaging	IEEE 16th International Symposium on Biomedical Imaging
B ICEIS	2019	Analysis of Data Warehouse Architectures: Modeling and Classification (DOI)	Ge	Qishan, Helfert	SciTePress	Proceedings of the 21st International Conference on Enterprise Information Systems
B BIS	2019	Data Quality Management Framework for Smart Grid Systems (DOI)	Ge, Chren, Rossi, Pitner		Springer	Proceedings of the 22nd International Conference on Business Information Systems
B ICL	2019	Digitization and Visualization of Movements of Slovak Folk Dances (DOI)	Kico, Doležal, Chmelík, Liarokapis	Hajdin, Doulamis	Springer International Publishing	The Challenges of the Digital Transformation in Education
B HS	2019	Facetal Abstraction for Non-linear Dynamical Systems Based on delta-decidable SMT (DOI)	Beneš, Brim, Dražanová, Pastva, Šafránek		ACM	Proceedings of the 22Nd ACM International Conference on Hybrid Systems: Computation and Control
B ICAART	2019	Question and Answer Classification in Czech Question Answering Benchmark Dataset (DOI)	Medveď	Horák, Kušniráková	SCITEPRESS	Proceedings of the 11th International Conference on Agents and Artificial Intelligence, Volume 2
B IWCMC	2019	SeMLAS: An Efficient Secure Multi-Level Authentication Scheme for IoT-Based Smart Home Systems (DOI)	Mbarek, Bühnová, Pitner		IEEE	The 15th International Wireless Communications & Mobile Computing Conference (IWCMC 2019)
B PETRA	2019	Investigating motion sickness techniques for immersive virtual environments (DOI)	Lukš, Liarokapis		ACM	Proceedings of the 12th ACM International Conference on PErvasive Technologies Related to Assistive Environments, ACM Press, 280-288, 2019.
B ADBIS	2019	BM-index: Balanced Metric Space Index based on Weighted Voronoi Partitioning (DOI)	Antol, Dohnal		Springer International Publishing	Advances in Databases and Information Systems, 23th East European Conference, ADBIS 2019
B SECRYPT	2019	I want to break square-free: The 4p - 1 factorization method and its RSA backdoor viability (DOI)	Sedláček, Klinec, Sýs, Švenda, Matyáš		SCITEPRESS	Proceedings of the 16th International Joint Conference on e-Business and Telecommunications (ICETE 2019) - Volume 2: SECRYPT
B ICIAP	2019	On Generative Modeling of Cell Shape Using 3D GANs (DOI)	Wiesner, Nečasová, Svoboda		Springer	Image Analysis and Processing – ICIAP 2019
B ICSOFT	2019	The Saga Pattern in a Reactive Microservices Environment (DOI)	Štefanko, Rossi	Chaloupka	SciTePress	14th International Conference on Software Technologies (ICSOFT 2019)
B VizSEC	2019	Visual Feedback for Players of Multi-Level Capture the Flag Games: Field Usability Study (DOI)	Ošlejšek, Rusňák, Dočkalová Burská, Švábenský, Vykopal		IEEE	2019 IEEE Symposium on Visualization for Cyber Security (VizSec)
B ICAR	2019	Computing multiple guiding paths for sampling-based motion planning (DOI)	Kozlíková	Vonásek, Pěnička	Neuveden	Proceedings of the 19th International Conference on Advanced Robotics, ICAR 2019
B WSCG	2019	Tools for development of interactive web-based maps: application in healthcare (DOI)	Karolyi, Krejčí, Ščavnický, Vyškovský, Komenda		Vaclav Skala - UNION Agency	WSCG'2019 - 27. International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision'2019
B ICSOFT	2019	Design of Scalable and Resilient Applications using Microservice Architecture in PaaS Cloud (DOI)	Gešvindr, Bühnová, Davídek		SciTePress	Proceedings of the 14th International Conference on Software Technologies - Volume 1: ICSOFT
B ISM	2019	Augmenting Spatio-Temporal Human Motion Data for Effective 3D Action Recognition (DOI)	Sedmidubský, Zezula		IEEE Computer Society	21st IEEE International Symposium on Multimedia (ISM)
B ISM	2019	Understanding the Gap between 2D and 3D Skeleton-Based Action Recognition (DOI)	Eliáš, Sedmidubský, Zezula		IEEE Computer Society	21st IEEE International Symposium on Multimedia (ISM)
B SPIN	2019	String Abstraction for Model Checking of C Programs (DOI)	Ročkai, Lauko, Olliaro	Cortesi	Springer International Publishing	Model Checking Software
B SEFM	2019	Local Nontermination Detection for Parallel C++ Programs (DOI)	Štill, Barnat		Springer	International Conference on Software Engineering and Formal Methods
B SEFM	2019	Reproducible Execution of POSIX Programs with DiOS (DOI)	Ročkai, Mrázek, Barnat	Baranová, Kejstová	Springer International Publishing	Software Engineering and Formal Methods
B IFM	2019	Evaluation of Program Slicing in Software Verification (DOI)	Chalupa, Strejček		Springer	Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings
B COCOA	2019	On conflict-free chromatic guarding of simple polygons (DOI)	Cagirici, Hliněný	Ghosh, Roy	Springer, Lecture Notes in Computer Science, volume 11949	13th Annual International Conference on Combinatorial Optimization and Applications (COCOA'19)
B ICTAC	2019	LTL to Smaller Self-Loop Alternating Automata and Back (DOI)	Major, Strejček	Blahoudek	Springer	Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings
B ICFEM	2019	Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. (DOI)	Beneš, Brim, Pastva, Šafránek	Poláček	Springer	Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings
B IFM	2019	Accelerating Parameter Synthesis Using Semi-algebraic Constraints (DOI)	Beneš, Brim, Pastva, Šafránek	Geletka	Springer International Publishing	Integrated Formal Methods
B SPIN	2019	Model Verification Through Dependency Graphs (DOI)	Srba	Enevoldsen, Larsen	Springer	Proceedings of the 26th International SPIN Symposium on Model Checking of Software (SPIN'19)
B QEST	2019	Strategy Representation by Decision Trees with Linear Classifiers (DOI)	Brázdil, Křetínský	Toman, Ashok, Chatterjee, Lampert	Springer	Quantitative Evaluation of Systems (QEST 2019)
B VLSID	2019	Parallelization of brute-force attack on MD5 hash algorithm on FPGA (DOI)	Přenosil	Gillela, Reddy	IEEE	32nd International Conference on VLSI Design, VLSID 2019
B ICSTCC	2019	Modelling Service Design and Complexity for Multi-contextual Applications in Smart Cities (DOI)	Walletzký, Ge	Carubbo	IEEE	2019 23rd International Conference on System Theory, Control and Computing (ICSTCC)
B ICTAC	2019	Completeness of Abstract Domains for String Analysis of JavaScript Programs (DOI)	Olliaro	Arceri, Cortesi, Mastroeni	Springer	Theoretical Aspects of Computing – ICTAC 2019
B IPEC	2019	Parameterized complexity of edge-coloured and signed graph homomorphism problems (DOI)	Pierron	Foucaud, Hocquard, Lajou, Mitsou	Dagstuhl	14th International Symposium on Parameterized and Exact Computation (IPEC 2019)
B IoTBDS	2019	Quality Management for Big 3D Data Analytics: A Case Study of Protein Data Bank (DOI)	Bangui, Ge, Bühnová		SciTePress	Proceedings of the 4th International Conference on Internet of Things, Big Data and Security - Volume 1
B FedCSIS	2019	Big Data Platform for Smart Grids Power Consumption Anomaly Detection (DOI)	Lipčák, Macák, Rossi		IEEE	Proceedings of the 2019 Federated Conference on Computer Science and Information 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 (DOI)	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 (DOI)	Ge	Popescu, Helfert	SCITEPRESS	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 (DOI)	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 (DOI)	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 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 (DOI)	Ošlejšek, Vykopal, Dočkalová 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	Model Checking Software. SPIN 2018
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 (DOI)	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 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)	Kišš, Rossi		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 ICTAI	2018	Sum-of-Products with Default Values: Algorithms and Complexity Results (DOI)	Ganian	Kim, Slivovsky, Szeider	IEEE	IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI)
B ISM	2018	Multi-modal Image Retrieval for Search-based Image Annotation with RF (DOI)	Budíková, Batko, Zezula		IEEE	2018 IEEE INTERNATIONAL SYMPOSIUM ON MULTIMEDIA (ISM 2018)
B IEEE IS	2018	Investigating Body Transfer Illusion from Human to Monkey Body (DOI)	Javorský, Škola, Liarokapis	Sylaiou, Martins	IEEE Computer Society	2018 International Conference on Intelligent Systems (IS 2018)
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 IoTBDS	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
B 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)
B 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
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 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
B 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
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 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 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
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 Roy	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 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 SOCA	2017	P2P Web Browser Middleware to Enhance Service Oriented Computing - Analysis and Evaluation (DOI)	Ge	Kobusińska, Wolski, Brzeziński	IEEE	10th IEEE International Conference on Service-Oriented Computing and Applications (SOCA 2017)
B UCC	2017	Scheduling Scientific Workloads in Private Cloud: Problems and Approaches (DOI)	Podolníková, Ürge	Klusáček, Parák	ACM	10th International Conference on Utility and Cloud Computing (UCC 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 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
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 EDM	2016	A Comparative Analysis of Techniques for Predicting Student Performance	Bydžovská		International Educational Data Mining Society	Proceedings of the 9th International Conference on Educational Data Mining
B EDM	2016	Course Enrollment Recommender System	Bydžovská		International Educational Data Mining Society	Proceedings of the 9th International Conference on Educational Data Mining
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 NTCIR	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	42nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA) 2016
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 EDM	2016	Properties and Applications of Wrong Answers in Online Educational Systems	Pelánek, Řihák		International Educational Data Mining Society	Proceedings of the 9th International Conference on Educational Data Mining
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 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
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	Hozzová, 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 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.
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 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 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)
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 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 (DOI)	Svoreňová, Černá	Křetínský, Chmelík, 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, Spurný, Š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 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 EMBC	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 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
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 Maarouf, 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 CLEF	2015	Determining Window Size from Plagiarism Corpus for Stylometric Features (DOI)	Suchomel, Brandejs		Springer International Publishing	Experimental IR Meets Multilinguality, Multimodality, and Interaction
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 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
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 INTED	2015	SERVICE SCIENCE AS THE BASEMENT FOR TRANSDISCIPLINARY COOPERATION	Walletzký		IATED-INT ASSOC TECHNOLOGY EDUCATION A& DEVELOPMENT	INTED2015: 9TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE
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
C ECCV	2019	Visual and Quantitative Comparison of Real and Simulated Biomedical Image Data (DOI)	Nečasová, Svoboda		Springer	Computer Vision – ECCV 2018 Workshops
C ECCV	2019	Automatic Fusion of Segmentation and Tracking Labels (DOI)	Akbas, Ulman, Maška, Kozubek	Jug	Springer Nature	Computer Vision – ECCV 2018 Workshops
C ICETE	2019	BoolTest: The Fast Randomness Testing Strategy Based on Boolean Functions with Application to DES, 3-DES, MD5, MD6 and SHA-256 (DOI)	Sýs, Klinec, Kubíček, Švenda		Springer	E-Business and Telecommunications 14th International Joint Conference, ICETE 2017
C WISTP	2019	Bringing kleptography to real-world TLS (DOI)	Janovský, Matyáš	Krhovják	Springer	Information Security Theory and Practice
C ICMR	2019	Similarity Search in 3D Human Motion Data (DOI)	Sedmidubský, Zezula		ACM	International Conference on Multimedia Retrieval (ICMR)
C ICMR	2019	Recognizing User-Defined Subsequences in Human Motion Data (DOI)	Sedmidubský, Zezula		ACM	International Conference on Multimedia Retrieval (ICMR)
C SCSP	2019	Smart Grids and Software Testing Process Models (DOI)	Hrabovská, Šimková, Rossi, Pitner		IEEE	2019 Smart City Symposium Prague (SCSP)
C ICSA	2019	PaaSArch: Quality Evaluation Tool for PaaS Cloud Applications Using Generated Prototypes (DOI)	Gešvindr, Bühnová		IEEE	2019 IEEE International Conference on Software Architecture Companion (ICSA-C)
C ICSE	2019	(Do not) trust in ecosystems (DOI)	Bühnová	Cioroaica, Kuhn	IEEE Press	Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results
C	2019	Women Want to Learn Tech: Lessons from the Czechitas Education Project (DOI)	Bühnová	Přikrylová	IEEE Press	Proceedings of the 2nd International Workshop on Gender Equality in Software Engineering
C ECSA	2019	Towards Creation of a Reference Architecture for Trust-Based Digital Ecosystems (DOI)	Chren, Bühnová	Cioroaica, Kuhn, Dimitrov	ACM	Proceedings of European Conference on Software Architecture (ECSA 2019) Workshops
C TACAS	2019	Extending DIVINE with Symbolic Verification Using SMT (DOI)	Lauko, Štill, Ročkai, Barnat		Springer International Publishing	Tools and Algorithms for the Construction and Analysis of Systems
C L@S	2019	Measuring Difficulty of Introductory Programming Tasks (DOI)	Effenberger, Čechák, Pelánek		ACM	Proceedings of the Sixth (2019) ACM Conference on Learning @ Scale (L@S '19)
C L@S	2019	Measuring Students’ Performance on Programming Tasks (DOI)	Effenberger, Pelánek		ACM	Proceedings of the Sixth (2019) ACM Conference on Learning @ Scale (L@S '19)
C AIED	2019	Towards Adaptive Hour of Code (DOI)	Effenberger		Springer	International Conference on Artificial Intelligence in Education
C SLSP	2019	Word Sense Induction Using Word Sketches (DOI)	Herman	Kovář, Jakubíček, Rychlý	Springer	Proceedings of the 7th International Conference on Statistical Language and Speech Processing
C I-SPAN	2019	Exploiting Recommender Systems in Collaborative Healthcare (DOI)	Ge	D'Auria, Persia	Springer Communications in Computer and Information Science	Proceedings of the 16th International Symposium on Pervasive Systems, Algorithms and Networks
C CMSB	2019	Barbaric Robustness Monitoring Revisited for STL* in Parasim (DOI)	Šafránek, Troják, Brůža, Demko, Pastva, Brim	Vejpustek, Papoušek, Pejznoch	Springer	Computational Methods in Systems Biology (CMSB 2019)
C SISAP	2019	Metric Embedding into the Hamming Space with the n-Simplex Projection (DOI)	Míč, Zezula	Vadicamo, Fabrizio	Springer International Publishing	Similarity Search and Applications: 12th International Conference, SISAP 2019, Newark, New Jersey, USA, October 2-4, 2019, Proceedings
C IDEAS	2019	A genetic algorithm for discriminative graph pattern mining (DOI)	Vaculík, Popelínský		ACM	Proceedings of the 23rd International Database Applications & Engineering Symposium, IDEAS 2019, Athens, Greece
C VS-Games	2019	Comparison of Trajectories and Quaternions of Folk Dance Movements Using Dynamic Time Warping (DOI)	Kico, Liarokapis		IEEE	2019 11th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games)
C SISAP	2019	ADAMiSS: Advanced Data Analysis, Mining and Search, System (DOI)	Peschel, Zezula		Springer International Publishing	Similarity Search and Applications: 12th International conference, SISAP 2019, Newark, New Jersey, USA, October 2-4, 2019, Proceedings
C FMICS	2019	A Simulator for LLVM Bitcode (DOI)	Ročkai, Barnat		Springer Verlag	24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019
C VRST	2019	A Mobile Augmented Reality Interface for Teaching Folk Dances (DOI)	Kico, Liarokapis		ACM New York, NY, USA	Proceeding VRST '19 25th ACM Symposium on Virtual Reality Software and Technology Article No. 47
C RP	2019	Bidding Games on Markov Decision Processes (DOI)	Novotný	Avni, Henzinger, Ibsen-Jensen	Springer	Reachability Problems - 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, Proceedings.
C	2019	Advanced Recommender Systems by Exploiting Social Networks (DOI)	Ge	Persia, D'Auria	IEEE	Proceedings of the IEEE International Conference on Humanized Computing and Communication
C CALDAM	2019	Drawing Bipartite Graphs in Two Layers with Specified Crossings (DOI)	Roy	Diwan, Ghosh	Springer	5th International Conference of Algorithms and Discrete Applied Mathematics (CALDAM 2019)
C RSSRail	2019	Safe and Time-Optimal Control for Railway Games (DOI)	Srba	Karra, Larsen, Lorber	Springer	RSSRail 2019: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
C HSB	2019	Data-Informed Parameter Synthesis for Population Markov Chains (DOI)	Hajnal, Šafránek	Nouvian, Petrov	Springer International Publishing	Hybrid Systems Biology (HSB 2019)
C CONFENIS	2019	Preventing Additive Attacks to Relational Database Watermarking (DOI)	Olliaro	Làzaro Pèrez Gort, Feregrino Uribe, Cortesi	Springer	13th IFIP WG 8.9 Working Conference on Research and Practical Issues of Enterprise Information Systems, CONFENIS 2019
C ECSA	2019	Assisting women in career change towards software engineering: experience from Czechitas NGO (DOI)	Bühnová	Jurystová, Přikrylová	ACM	Proceedings of the 13th European Conference on Software Architecture - Volume 2
C CMSB	2019	Data-Informed Parameter Synthesis for Population Markov Chains (DOI)	Hajnal, Šafránek	Morgane, Petrov	Springer Nature	17th International Conference on Computational Methods in Systems Biology (CMSB 2019)
C IM	2019	Real-time Pattern Detection in IP Flow Data using Apache Spark	Čermák, Laštovička, Jirsík		IEEE	2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM)
C IM	2019	Current Issues of Malicious Domains Blocking	Špaček, Laštovička, Plesník	Horák	IEEE	2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM)
C IM	2019	DNS Firewall Data Visualization	Špaček, Rusňák, Dombajová		IEEE	2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM)
C HeteroPar	2019	Exploiting historical data: pruning autotuning spaces and estimating the number of tuning steps (DOI)	Oľha, Hozzová, Fousek, Filipovič		Springer, Cham	Lecture Notes in Computer Science
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 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 CALDAM	2018	Consistent Subset Problem with Two Labels. (DOI)	Roy	Khodamoradi, Krishnamurti	Springer	Algorithms and Discrete Applied Mathematics, CALDAM 2018
C TACAS	2018	Symbiotic 5: Boosted Instrumentation (Competition Contribution) (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 IRI	2018	How to exploit Recommender Systems in Social Media (DOI)	Ge	Persia, D'Auria	IEEE	Proceedings of the IEEE 19th International Conference on Information Reuse and Integration for Data Science
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á, Šimara	Tesařová	Springer	Simulation and Synthesis in Medical Imaging
C DEXA	2018	Towards Faster Similarity Search by Dynamic Reordering of Streamed Queries (DOI)	Nálepa, Batko, Zezula		Springer	Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVIII
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 VS-Games	2018	A Model for Eye and Head Motion for Virtual Agents (DOI)	Krejsa, Kerouš, Liarokapis		IEEE	Proc. of the 10th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games 2018)
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 ICDM	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	Proceedings of the Fifth Annual ACM Conference on Learning at Scale
C L@S	2018	Towards making block-based programming activities adaptive (DOI)	Effenberger, Pelánek		ACM	Learning @ Scale
C ICATPN	2018	MCC'2017 - The Seventh Model Checking Contest (DOI)	Srba	Kordon, Garavel, Hillah, Paviot-Adet, Jezequel, Hulin-Hubard, Amparore, Beccuti, Bertomieu, Evrard, Jensen, Le Botlan, Liebke, Meijer, Thierry-Mieg, Pol, Wolf	Springer	Transactions on Petri Nets and Other Models of Concurrency XIII
C	2018	Improving the Success Probability for Shor’s Factorization Algorithm (DOI)	Gruska	Xu, Qiu, Zou	Springer	Reversibility and Universality
C BIBM	2018	TE-nester: a recursive software tool for structure-based discovery of nested transposable elements (DOI)	Lexa, Lapár, Vanát	Jedlička, Červeňanský, Kejnovský	IEEE	Proceedings 2018 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)
C ISoLA	2018	Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes (DOI)	Brázdil, Křetínský	Slámečka, Ashok	Springer	Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018)
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 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
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	2018 IEEE Frontiers in Education Conference (FIE)
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 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á		ACM	Proceedings of the 33rd Spring Conference on Computer Graphics
C AIMS	2017	Visual Analytics for Network Security and Critical Infrastructures (DOI)	Dočkalová 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 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 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
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 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 CMSB	2017	Discrete Bifurcation Analysis with Pithya	Beneš, Brim, Demko, Hajnal, Pastva, Šafránek		Springer	15th International Conference on Computational Methods in Systems Biology (CMSB)
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 ICMT	2017	Indirect method to estimate distance measurement based on single visual cameras (DOI)	Ha	Bui, Doskočil, Krivanek, Bergeon, Kutilek	IEEE	2017 International Conference on Military Technologies (ICMT)
C IPTA	2017	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 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 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
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 VRST	2017	VEAAR - Virtual Environment for Archaeological Artefacts Restoration (DOI)	Chmelík, Jurda		ACM	VRST'17: PROCEEDINGS OF THE 23RD ACM SYMPOSIUM ON VIRTUAL REALITY SOFTWARE AND TECHNOLOGY
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)	Komárková, 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 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 DEXA	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	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 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)
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 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 ICDM	2016	Designing Sketches for Similarity Filtering (DOI)	Míč, Novák, Zezula		IEEE	2016 IEEE 16th International Conference on Data Mining Workshops (ICDMW)
C ADBIS	2016	Similarity searching for Database Applications (DOI)	Zezula		Springer	Advances in Databases and Information Systems
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 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 NOMS	2016	Network Traffic Characterisation Using Flow-Based Statistics (DOI)	Velan, Komárková, Jirsík, Čeleda		IEEE Xplore Digital Library	IEEE/IFIP Network Operations and Management Symposium 2016 (NOMS 2016)
C AIMS	2016	Network Defence Using Attacker-Defender Interaction Modelling (DOI)	Komárková, Č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 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
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 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
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á		ACM	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á	ACM	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		ACM	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 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 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 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 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.
C 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)
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 Dupuis	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
D MEDSOFT	2019	An overview of electronic information sources in healthcare in the Czech Republic	Karolyi	Komenda	Creative Connections s. r. o	Seminář MEDSOFT 2019
D	2019	Similarity Management of Data: The DISA Experience	Zezula		CEUR workshop proceedings	Proceedings of the 27th Italian Symposium on Advanced Database Systems
D VCBM	2019	DockVis: Visual Analysis of Molecular Docking Data (DOI)	Furmanová, Kozlíková, Byška	Vonásek	The Eurographics Association	Eurographics Workshop on Visual Computing for Biology and Medicine
D SMSIS	2019	Cybersecurity Qualifications for Industry 4.0 Era	Pitner, Šimková	Jan	VŠB – Technical University of Ostrava	Proceedings of the 13th International Conference on Strategic Management and its Support by Information Systems 2019
D eLex	2019	Automating dictionary production: a Tagalog-English-Korean dictionary from scratch	Baisa, Herman, Jakubíček, Kovář, Medveď, Měchura, Rychlý, Suchomel	Blahuš, Cukr	Lexical Computing CZ s.r.o.	Proceedings of the 6th Biennial Conference on Electronic Lexicography
D RANLP	2019	Benchmark Dataset for Propaganda Detection in Czech Newspaper Texts (DOI)	Horák, Baisa, Herman		INCOMA Ltd.	Proceedings of Recent Advances in Natural Language Processing, RANLP 2019
D LTC	2019	First Steps in Recognizing Relational Entailment – Experimental Corpus and Baselines	Víta	Klímek	Wydawnictwo Nauka i Innowacje	Human Language Technologies as a Challenge for Computer Science and Linguistics – 2019
D RANLP	2019	Exploiting Open IE for Deriving Multiple Premises Entailment Corpus (DOI)	Víta	Klímek	2019	Proceedings of Recent Advances in Natural Language Processing
D	2019	History Conception in the History of Last Two Centuries and Its Philosophical Reflection	Dokulil		Filosofický ústav AV ČR	Idea dějin a Palacký jako myslitel
D DaZ	2019	Filtering outliers to improve classification. First results	Hetlerović, Popelínský		Fakulta elektrotechniky a informatiky - Technická univerzita v Košiciach	Data a Znalosti & WIKT 2019
D eLex	2019	SkELL Corpora as a Part of the Language Portal Sonaveeb: Problems and Perspectives	Suchomel, Baisa, Michelfeit	Koppel, Kallas, Khokhlová	Lexical Computing CZ s.r.o.	Proceedings of the 6th Biennial Conference on Electronic Lexicography
D RASLAN	2019	Quo Vadis, Math Information Retrieval	Sojka, Novotný, Ayetiran, Lupták, Štefánik		Tribun EU	Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2019
D RASLAN	2019	Towards Universal Hyphenation Patterns	Sojka, Sojka		Tribun EU	Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2019
D RASLAN	2019	Neural Tagger for Czech Language: Capturing Linguistic Phenomena in Web Corpora	Nevěřilová, Stará		Tribun EU	Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2019
D RASLAN	2019	Evaluation and Error Analysis of Rule-based Paraphrase Generation for Czech	Burgerová, Horák		Tribun EU	Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2019
D RASLAN	2019	Structured Information Extraction from Pharmaceutical Records	Bamburová, Nevěřilová		Tribun EU	Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2019
D RASLAN	2019	Automatically Created Noun Explanations for English	Stará		Tribun EU	Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2019
D RASLAN	2019	Czech Question Answering with Extended SQAD v3.0 Benchmark Dataset	Sabol, Medveď, Horák		Tribun EU	Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2019
D RASLAN	2019	SiLi Index: Data Structure for Fast Vector Space Searching	Herman, Rychlý		Tribun EU	Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2019
D RASLAN	2019	Discriminating Between Similar Languages Using Large Web Corpora	Suchomel		Tribun EU	Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2019
D RASLAN	2019	Evaluation of Czech Distributional Thesauri	Rychlý		Tribun EU	Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2019
D RASLAN	2019	A Distributional Multi-word Thesaurus in Sketch Engine	Jakubíček, Rychlý		Tribun EU	Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2019
D	2019	Do we need formal language when starting a logical system?	Materna		Tribun EU	Slavonic Natural Language Processing in the 21st Century
D	2019	Understanding Underwater Photogrammetry for Maritime Archaeology Through Immersive Virtual Reality (DOI)	Doležal, Liarokapis	Vlachos, Secci, Demestiha, Skarlatos	ISPRS	Proc. of the Underwater 3D Recording & Modelling: A tool for modern applications and CH recording, Limassol, Int. Arch. Photogramm. Remote Sens. Spatial Inf. Sci., XLII-2/W10
D	2019	Analytic representations of large graphs (DOI)	Kráľ	Grzesik	Cambridge University Press	Surveys in Combinatorics 2019
D RASLAN	2019	Approximate String Matching for Detecting Keywords in Scanned Business Documents	Ha		NLP Consulting	Proceedings of Recent Advances in Slavonic Natural Language Processing, RASLAN 2019
D CHEP	2019	Anomaly detection using Deep Autoencoders for the assessment of the quality of the data acquired by the CMS experiment (DOI)		Široký, Pol, Azzolini, Cerminara, De Guio, Franzoni, Pierini, Vlimant	EDP Sciences	23rd International Conference on Computing in High Energy and Nuclear Physics (CHEP 2019)
D VCBM	2019	SpectraMosaic: An exploratory tool for the interactive visual analysis of magnetic resonance spectroscopy data (DOI)	Vašíček	Garrison, Grüner, Smit, Bruckner	Eurographics Association	Eurographics Workshop on Visual Computing for Biology and Medicine, VCBM 2019
D DATA	2019	Scaling Big Data Applications in Smart City with Coresets (DOI)	Bangui, Ge, Bühnová	Trang	SciTePress	Proceedings of the 8th International Conference on Data Science, Technology and Applications - Volume 1
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, Šašinková, Kubíček		Bulgarian Cartographic Association	7th International Conference on Cartography and GIS : Proceedings, Vol. 1 and Vol. 2
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 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
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	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 DaZ	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	2018	Improving Marker-Based Tracking for Augmented Reality in Underwater Environments (DOI)	Čejka, Liarokapis	Agrafiotis, Bruno, Skarlatos	The Eurographics Association	Proc. of the Eurographics Workshop on Graphics and Cultural Heritage, The Eurographics Association, Vienna, Austria, 21-30, 2018
D RASLAN	2018	Weighting of Passages in Question Answering	Novotný, Sojka		Tribun EU	Proceedings of the Twelfth 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 Amharic Corpus	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	Spurný, Ráček		VŠB	Proceedings of the 21 stInternational Conference on Information Technology for Practice
D DaZ	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	Proceedings of the 21 stInternational Conference on Information Technology for Practice
D	2018	Linearized and compensated interferometric system for high-velocity traceable length calibration on a metre scale (DOI)	Matěj, Herman	Řeřucha, Mikel, Hola, Jelinek, Jedlicka, Cip, Lazar	SPIE	Proceedings Volume 10976, 21st Czech-Polish-Slovak Optical Conference on Wave and Quantum Aspects of Contemporary Optics
D DaZ	2018	Performing Feature Selection Before Removing Outliers To Increase Classfier's Accuracy	Petliak, Tmenova, Námešný, Bončo, Popelínský		VUT Brno	DATA A ZNALOSTI & WIKT 2018, sborník konference
D RASLAN	2018	Multiple Instance Terminological Thesaurus with Central Management	Rambousek		Tribun EU	Proceedings of the Twelfth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2018
D ACAT	2018	Machine Learning in High Energy Physics Community White Paper (DOI)		Široký, Albertsson, Altoe, Anderson, Andrews, Espinosa, Aurisano, Basara, Bevan, Bhimji, Bonacorsi, Calafiura, Campanelli, Capps, Carminati, Carrazza, Childers, Coniavitis, Cranmer, David, Davis, Duarte, Erdmann, Eschle, Farbin, Feickert, Castro, Fitzpatrick, Floris, Forti, Garra-Tico, Gemmler, Girone, Glaysher, Gleyzer, Gligorov, Golling, Graw, Gray, Greenwood, Hacker, Harvey, Hegner, Heinrich, Hooberman, Junggeburth, Kagan, Kane, Kanishchev, ski, Kassabov, Kaul, Kcira, Keck, Klimentov, Kowalkowski, Kreczko, Kurepin, Kutschke, Kuznetsov, Köhler, Lakomov, Lannon, Lassnig, Limosani, Louppe, Mangu, Mato, Meinhard, Menasce, Moneta, Moortgat, Narain, Neubauer, Newman, Pabst, Paganini, Paulini, Perdue, Perez, Picazio, Pivarski, Prosper, Psihas, Radovic, Reece, Rinkevicius, Rodrigues, Rorie, Rousseau, Sauers, Schramm, Schwartzman, Severini, Seyfert, Skazytkin, Sokoloff, Stewart, Stienen, Stockdale, Strong, Thais, Tomko, Upfal, Usai, Ustyuzhanin, Vala, Vallecorsa, Vasel, Verzetti, Vilasis-Cardona, Vlimant, Vukotic, Wang, Watts, Williams, Wu, Wunsch, Zapata	Institute of Physics Publishing	Journal of Physics: Conference Series Volume 1085, Issue 4, 18th International Workshop on Advanced Computing and Analysis Techniques in Physics Research, ACAT 2017
D ACAT	2018	Deep learning for inferring cause of data anomalies (DOI)		Široký, Azzolini, Borisyak, Cerminara, Derkach, Franzoni, De Guio, Guio, Koval, Pierini, Pol, Ratnikov, Ustyuzhanin, Vlimant	Institute of Physics Publishing	Journal of Physics: Conference Series Volume 1085, Issue 4, 18th International Workshop on Advanced Computing and Analysis Techniques in Physics Research, ACAT 2017
D RASLAN	2018	Understanding Search Queries in Natural Language	Nevěřilová	Kvaššay	Tribun EU	Proceedings of Recent Advances in Slavonic Natural Language Processing, RASLAN 2018
D CNL	2018	Editing with Search and Exploration for Controlled Languages (DOI)	Měchura	Angelova	IOS PRESS	CONTROLLED NATURAL LANGUAGE (CNL 2018)
D RASLAN	2018	Document Functional Type Classification		Němcová	Tribun EU	12th Workshop on Recent Advances in Slavonic Natural Language Processing (RASLAN 2018)
D ICERI	2018	MULTIDISCIPLINARY EDUCATION INFLUENCED BY COMPLEX SERVICES	Walletzký, Ge		IATED	11th Annual International Conference of Education, Research and Innovation (ICERI 2018)
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 Eurographics	2017	Using Activity Led Learning for Teaching Computer Graphics Principles Through Augmented Reality (DOI)	Liarokapis		The Eurographics Association	Proc of the 38th Annual Conference of the European Association for Computer (Eurographics 2017), Education Program, Lyon, France
D Eurographics	2017	The New CGEMS - Preparing the Computer Graphics Educational Materials Source to Meet the Needs of Educators (DOI)	Liarokapis	Anderson, Duchowski, Redford	The Eurographics Association	Proc of the 38th Annual Conference of the European Association for Computer (Eurographics 2017), Education Program, Lyon, France
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, Dočkalová 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 ACL	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, ACL	Proceedings of the 2nd Workshop on Representation Learning for NLP, RepL4NLP 2017 c/o ACL 2017
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 eLex	2017	Introducing Lexonomy: an open-source dictionary writing and publishing system	Měchura		Lexical Computing	Electronic lexicography in the 21st century: Proceedings of eLex 2017 conference
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, Kozlíková	Damborský, 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ď, Bucková, 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	Bucková, 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 IT4P	2017	Expert System for Insurance Data Fraud Detection	Spurný	Ráček	VŠB - Technical University Ostrava	Proeceedings of the 20th International Conference on Information Technology for Practice
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, Chmelařová, 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 iEMSs	2016	Bluetooth Beacon Network Suitability for Crisis Management	Ševčík		International Environmental Modelling and Software Society (iEMSs)	8th International Congress on Environmental Modelling and Software (iEMSs), Volume 4
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 DaZ	2016	Course Similarity Analysis	Bydžovská		WIKT & DaZ 2016	Proceedings in Informatics and Information Technologies
D EuroUSEC	2016	On the impact of warning interfaces for enabling the detection of Potentially Unwanted Applications (DOI)	Šť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 IT4P	2016	Tools for Fraud Detection in Insurance Image Data	Ráček, Spurný		VŠB – Technical University of Ostrava	Proceedings of the 19th International Conference on Information Technology for Practice
D DaZ	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 DaZ	2016	Graph Mining: Applications (invited talk)	Vaculík		Nakladatel’stvo STU	Proceedings in Informatics and Information Technologies. Bratislava: WIKT & DaZ
D DaZ	2016	Anomaly detection for aircraft engine fault prediction	Rudolecký		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 ICERI	2016	Innovation Based Learning	Walletzký	Chodák	IATED	ICERI2016: 9TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION
D CGW	2016	Scheduling hybrid workloads in shared cloud infrastructures	Podolníková	Klusáček	Cyfronet AGH	Cracow Grid Workshop
D SimuTools	2016	Complex Job Scheduling Simulations with Alea 4 (DOI)	Podolníková	Klusáček, Tóth	ICST	Proceedings of the 9th EAI International Conference on Simulation Tools and Techniques (SimuTools)
D	2016	A healthy life as an appeal to our brain? (DOI)	Dokulil		Masarykova univerzita	70 ve zdraví. Soubor příspěvků z mezinárodní konference konané dne 8.–9. září 2016
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 EISIC	2016	A T-shaped model for rethinking higher education programs	Caputo, Walletzký	Saviano, Polese	University of Huelva	19th Toulon-Verona International Conference Excellence in Services
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 RASLAN	2016	Automatic Identification of Valency Frames in Free Text	Wörgötter		Tribun EU	Recent Advances in Slavonic Natural Language Processing, RASLAN 2016
D	2016	INFORMATION SHARING AND COMMUNICATION STRATEGIES: A STAKEHOLDER ENGAGEMENT VIEW	Caputo	Evangelista, Russo	Euromed Press	INNOVATION, ENTREPRENEURSHIP AND DIGITAL ECOSYSTEMS
D ESM	2016	Accelerated RMSD Calculation for Molecular Metadynamics	Filipovič, Hozzová, Křenek	Spiwok	EUROSIS - ETI	Proceedings of the 2016 European Simulation and Modelling Conference
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 Maarouf	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, Spurný	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 DaZ	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 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