12. 5. 2020 23:51

FI conference ranking

is based primarily on CORE2018 and GGS Conference Rating. CORE is the primary source, but if GGS gives rank A or B and better than CORE, then GGS is used (i.e., rank A* is only CORE A*). Moreover, if a conference has h5-index at least 10 in Google Scholar, it gets at least rank B.

This page is a list of 2013–2019 papers from ranked conferences; it contains papers recorded in IS that either have the organization unit set to FI or have some contribution percentage attributed to FI.

Additionally, the respective publication records in IS are labeled with the following labels: firank_1 (for A*), firank_A and firank_B.

Jump to rank A or rank B.

Rank A*

AAAI — AAAI Conference on Artificial Intelligence
2019 Solving Integer Quadratic Programming via Explicit and Structural Restrictions (DOI), 8 p.
Eiben, Eduard – Ganian, Robert – Knop, Dusan – Ordyniak, Sebastian
Proceedings of the AAAI Conference on Artificial Intelligence
2017 Going Beyond Primal Treewidth for {(M)ILP} (URL), 7 p.
Ganian, Robert – Ramanujan, M.S. – Ordyniak, Sebastian
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA
2016 The Complexity Landscape of Decompositional Parameters for ILP (URL), 7 p.
Ganian, Robert – Ordyniak, Sebastian
Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence
2016 Using Decomposition-Parameters for QBF: Mind the Prefix! (URL), 7 p.
Ganian, Robert – Ordyniak, Sebastian – Eiben, Eduard
Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence
2015 Variable-Deletion Backdoors to Planning (URL), 8 p.
Kronegger, Martin – Ordyniak, Sebastian – Pfandler, Andreas
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence
2014 Backdoors into Heterogeneous Classes of SAT and CSP (URL), 7 p.
Gaspers, Serge – Ordyniak, Sebastian – Szeider, Stefan – Misra, Neelhara – Zivny, Stanislav
AAAI Press
2014 Backdoors to Planning (URL), 8 p.
Kronegger, Martin – Ordyniak, Sebastian – Pfandler, Andreas
AAAI Press
AAMAS — International Conference on Autonomous Agents and Multiagent Systems
2018 Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games (DOI), 8 p.
Klaška, David – Kučera, Antonín – Lamser, Tomáš – Řehák, Vojtěch
Proceedings of the 2018 International Conference on Autonomous Agents & Multiagent Systems
2016 Regular Strategies and Strategy Improvement: Efficient Tools for Solving Large Patrolling Problems (URL), 9 p.
Kučera, Antonín – Lamser, Tomáš
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems
2016 not ranked: extended abstract Stochastic Shortest Path with Energy Constraints in POMDPs: (Extended Abstract), 2 p.
Brázdil, Tomáš – Novotný, Petr – Chatterjee, Krishnendu – Chmelík, Martin – Gupta, Anchit
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems
2014 not ranked: extended abstract Solving adversarial patrolling games with bounded error: (extended abstract), 2 p.
Abaffy, Michal – Brázdil, Tomáš – Řehák, Vojtěch – Bošanský, Branislav – Kučera, Antonín – Krčál, Jan
Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'14)
ACL — Annual Meeting of the Association for Computational Linguistics
2017 not ranked: workshop Semantic Vector Encoding and Similarity Search Using Fulltext Search Engines (DOI), 10 p.
Rygl, Jan – Pomikálek, Jan – Řehůřek, Radim – Růžička, Michal – Novotný, Vít – Sojka, Petr
Proceedings of the 2nd Workshop on Representation Learning for NLP, RepL4NLP 2017 c/o ACL 2017
CAV — Computer Aided Verification
2019 PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games (DOI), 23 p.
Ashok, Pranav – Křetínský, Jan – Weininger, Maximilian
Computer Aided Verification (CAV 2019)
2019 Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors (DOI), 10 p.
Jonáš, Martin – Strejček, Jan
CAV 2019: Computer Aided Verification
2018 Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems (DOI), 20 p.
Boenneland, Frederik M. – Jensen, Peter G. – Larsen, Kim G. – Muniz, Marco – Srba, Jiří
Proceedings of the 30th International Conference on Computer Aided Verification (CAV'18)
2018 Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm (DOI), 20 p.
Kelmendi, Edon – Krämer, Julia – Křetínský, Jan – Weininger, Maximilian
Computer Aided Verification (CAV 2018)
2017 Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-Affine Dynamical Systems (DOI), 8 p.
Beneš, Nikola – Brim, Luboš – Demko, Martin – Pastva, Samuel – Šafránek, David
Computer Aided Verification. CAV 2017
2016 Limit-Deterministic Büchi Automata for Linear Temporal Logic (DOI), 21 p.
Sickert, Salomon – Esparza, Javier – Jaax, Stefan – Křetínský, Jan
Computer Aided Verification - 28th International Conference, CAV 2016
2015 Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks (DOI), 19 p.
Abate, Alessandro – Češka, Milan – Brim, Luboš – Kwiatkowska, Marta
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings
2015 Counterexample Explanation by Learning Small Strategies in Markov Decision Processes (DOI), 20 p.
Brázdil, Tomáš – Chatterjee, Krishnendu – Chmelík, Martin – Fellner, Andreas – Křetínský, Jan
Computer Aided Verification: 27th International Conference, CAV 2015
2015 The Hanoi Omega-Automata Format (DOI), 8 p.
Babiak, Tomáš – Blahoudek, František – Duret-Lutz, Alexandre – Klein, Joachim – Křetínský, Jan – Müller, David – Parker, David – Strejček, Jan
Computer Aided Verification: 27th International Conference, CAV 2015
2014 From LTL to Deterministic Automata: A Safraless Compositional Approach (DOI), 17 p.
Esparza, Javier – Křetínský, Jan
Computer Aided Verification - 26th International Conference, CAV 2014
2014 Minimizing Running Costs in Consumption Systems (DOI), 16 p.
Brázdil, Tomáš – Klaška, David – Kučera, Antonín – Novotný, Petr
Computer Aided Verification
2013 Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis (DOI), 17 p.
Chatterjee, Krishnendu – Gaiser, Andreas – Křetínský, Jan
Computer Aided Verification - 25th International Conference, CAV 2013
2013 DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs (DOI), 6 p.
Barnat, Jiří – Brim, Luboš – Havel, Vojtěch – Havlíček, Jan – Kriho, Jan – Lenčo, Milan – Ročkai, Petr – Štill, Vladimír – Weiser, Jiří
Computer Aided Verification 2013
2013 Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking (DOI), 17 p.
Brim, Luboš – Češka, Milan – Dražan, Sven – Šafránek, David
25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
CCS — Computer and Communications Security
2017 A Touch of Evil: High-Assurance Cryptographic Hardware from Untrusted Components (DOI), 18 p.
Mavroudis, Vasilios – Cerulli, Andrea – Švenda, Petr – Cvrček, Daniel – Klinec, Dušan – Danezis, George
CCS '17: Proceedings of the 24th ACM SIGSAC Conference on Computer and Communications Security
2017 The Return of Coppersmith's Attack: Practical Factorization of Widely Used RSA Moduli (DOI), 18 p.
Nemec, Matúš – Sýs, Marek – Švenda, Petr – Klinec, Dušan – Matyáš, Václav
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security
CHI — International Conference on Human Factors in Computing Systems
2019 Examining And Enhancing The Illusory Touch Perception In Virtual Reality Using Non-Invasive Brain Stimulation (DOI), 12 p.
Škola, Filip – Liarokapis, Fotis
Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, Paper No. 247
CRYPTO — International Cryptology Conference
2016 Adaptive versus non-adaptive strategies in the quantum setting with applications (DOI), 27 p.
Dupont Dupuis, Frédéric – Fehr, Serge – Lamontagne, Philippe – Salvail, Louis
Proceedings of CRYPTO 2016
FOCS — Symposium on Foundations of Computer Science
2015 FO Model Checking on Posets of Bounded Width (DOI), 12 p.
Gajarský, Jakub – Hliněný, Petr – Obdržálek, Jan – Ordyniak, Sebastian – Ramanujan, M.S. – Lokshtanov, Daniel – Saurabh, Saket
56th Annual Symposium on Foundations of Computer Science, FOCS 2015
ICCV — International Conference on Computer Vision
2017 not ranked: workshop Particle Tracking Accuracy Measurement Based on Comparison of Linear Oriented Forests (DOI), 7 p.
Maška, Martin – Matula, Pavel
16th IEEE International Conference on Computer Vision Workshops
ICDE — International Conference on Data Engineering
2018 not ranked: workshop Towards Artificial Priority Queues for Similarity Query Execution (DOI), 6 p.
Antol, Matej – Dohnal, Vlastislav
2018 IEEE 34th International Conference on Data Engineering Workshops (ICDEW)
ICDM — International Conference on Data Mining
2018 not ranked: workshop Modifying Hamming Spaces for Efficient Search (DOI), 9 p.
Míč, Vladimír – Novák, David – Zezula, Pavel
18th International Conference on Data Mining Workshops (ICDMW), Singapore, November 17-21, 2018
2016 not ranked: workshop Designing Sketches for Similarity Filtering (DOI), 8 p.
Míč, Vladimír – Novák, David – Zezula, Pavel
2016 IEEE 16th International Conference on Data Mining Workshops (ICDMW)
ICML — International Conference on Machine Learning
2018 Parameterized Algorithms for the Matrix Completion Problem (URL), 10 p.
Ganian, Robert – Kanj, Iyad – Ordyniak, Sebastian – Szeider, Stefan
Proceedings of the 35th International Conference on Machine Learning (ICML)
ICSE — International Conference on Software Engineering
2019 Mistakes in UML Diagrams: Analysis of Student Projects in a Software Engineering Course (DOI), 10 p.
Chren, Stanislav – Bühnová, Barbora – Macák, Martin – Daubner, Lukáš – Rossi, Bruno
Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training
2019 not ranked: workshop (Do not) trust in ecosystems (DOI), 4 p.
Cioroaica, Emilia – Kuhn, Thomas – Bühnová, Barbora
Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results
IJCAI — International Joint Conference on Artificial Intelligence
2018 A Structural Approach to Activity Selection (DOI), 7 p.
Eiben, Eduard – Ganian, Robert – Ordyniak, Sebastian
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI)
2018 Solving Patrolling Problems in the Internet Environment (DOI), 7 p.
Brázdil, Tomáš – Kučera, Antonín – Řehák, Vojtěch
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.
2018 Unary Integer Linear Programming with Structural Restrictions (DOI), 7 p.
Eiben, Eduard – Ganian, Robert – Knop, Dusan – Ordyniak, Sebastian
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
2017 Solving Integer Linear Programs with a Small Number of Global Variables and Constraints (DOI), 7 p.
Dvorak, Pavel – Eiben, Eduard – Ganian, Robert – Knop, Dusan – Ordyniak, Sebastian
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017
INFOCOM — International Conference on Computer Communications
2018 Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks (DOI), 9 p.
Schmid, Stefan – Srba, Jiří
IEEE International Conference on Computer Communications (INFOCOM'18)
ISMAR — International Symposium on Mixed and Augmented Reality
2017 not ranked: workshop BrainChat - A Collaborative Augmented Reality Brain Interface for Message Communication (DOI), 5 p.
Kerouš, Bojan – Liarokapis, Fotis
Proc. of the International Symposium on Mixed and Augmented Reality (ISMAR 2017) - Adjunct Proceedings
ISWC — International Semantic Web Conference
2017 not ranked: workshop Flexible Similarity Search of Semantic Vectors Using Fulltext Search Engines (URL), 12 p.
Růžička, Michal – Novotný, Vít – Sojka, Petr – Pomikálek, Jan – Řehůřek, Radim
CEUR Workshop Proceedings, Vol. 1923
LICS — Logic in Computer Science
2018 Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes (DOI), 10 p.
Křetínský, Jan – Meggendorfer, Tobias
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '18)
2018 Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS (DOI), 10 p.
Brázdil, Tomáš – Chatterjee, Krishnendu – Kučera, Antonín – Novotný, Petr – Velan, Dominik – Zuleger, Florian
2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
2016 A New Perspective on FO Model Checking of Dense Graph Classes (DOI), 9 p.
Gajarský, Jakub – Hliněný, Petr – Lokshtanov, Daniel – Obdržálek, Jan – Ramanujan, M S
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science LICS2016
2015 Long-Run Average Behaviour of Probabilistic Vector Addition Systems (DOI), 12 p.
Brázdil, Tomáš – Kiefer, Stefan – Kučera, Antonín – Novotný, Petr
30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015.
2015 Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes (DOI), 13 p.
Chatterjee, Krishnendu – Komárková, Zuzana – Křetínský, Jan
Thirtieth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
2014 Zero-reachability in probabilistic multi-counter automata (DOI), 10 p.
Brázdil, Tomáš – Kiefer, Stefan – Kučera, Antonín – Novotný, Petr – Katoen, Joost-Pieter
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
2013 Trading Performance for Stability in Markov Decision Processes (DOI), 10 p.
Brázdil, Tomáš – Chatterjee, Krishnendu – Forejt, Vojtěch – Kučera, Antonín
Proceedings of 28th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013)
2018 not ranked: invited talk Black Ninjas in the Dark: Formal Analysis of Population Protocols (DOI), 10 p.
Blondin, Michael – Esparza, Javier – Jaax, Stefan – Kučera, Antonín
2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
MM — ACM Conference on Multimedia
2018 not ranked: tutorial Similarity-Based Processing of Motion Capture Data (DOI), 3 p.
Sedmidubský, Jan – Zezula, Pavel
Proceedings of the ACM Conference on Multimedia (MM 2018)
NIPS — Neural Information Processing Systems
2019 The Parameterized Complexity of Cascading Portfolio Scheduling (URL), 11 p.
Eiben, Eduard – Ganian, Robert – Kanj, Iyad – Szeider, Stefan
Advances in Neural Information Processing Systems 32 (NIPS 2019)
POPL — Symposium on Principles of Programming Languages
2018 Data-centric Dynamic Partial Order Reduction (DOI), 30 p.
Pavlogiannis, Andreas – Chalupa, Marek – Chatterjee, Krishnendu – Sinha, Nishant – Vaidya, Kapil
Proceedings of Symposium on Principles of Programming Languages 2018
S&P — IEEE Symposium on Security and Privacy
2019 Postcards from the Post-HTTP World: Amplification of HTTPS Vulnerabilities in the Web Ecosystem (DOI), 18 p.
Calzavara, Stefano – Focardi, Riccardo – Nemec, Matúš – Rabitti, Alvise – Squarcina, Marco
Proceedings of the 40th IEEE Symposium on Security and Privacy
SIGIR — International Conference on Research and Development in Information Retrieval
2015 not ranked: demo Large-scale Image Retrieval using Neural Net Descriptors (DOI), 2 p.
Novák, David – Batko, Michal – Zezula, Pavel
Proceedings of the 38th International ACM SIGIR Conference on Research and Development in Information Retrieval
USENIX-Security — USENIX Security Symposium
2018 The Broken Shield: Measuring Revocation Effectiveness in the Windows Code-Signing PKI (URL), 18 p.
Kim, Doowon – Kwon, Bum Jun – Kozák, Kristián – Gates, Christopher – Dumitraș, Tudor
27th USENIX Security Symposium (USENIX Security 18)
2016 The Million-Key Question – Investigating the Origins of RSA Public Keys (URL), 18 p.
Švenda, Petr – Nemec, Matúš – Sekan, Peter – Kvašňovský, Rudolf – Formánek, David – Komárek, David – Matyáš, Václav
Proceedings of 25th USENIX Security Symposium
VLDB — International Conference on Very Large Data Bases
2013 not ranked: workshop Efficiency and Security in Similarity Cloud Services (URL), 6 p.
Kozák, Štěpán
Proceedings of the VLDB Endowment, Volume 6, Issue 12
Rank A

ACC — American Control Conference
2016 Optimal observation mode scheduling for systems under temporal constraints (DOI), 6 p.
Tesařová, Eva – Svoreňová, Mária – Barnat, Jiří – Černá, Ivana
2016 American Control Conference (ACC)
2013 Minimum-violation LTL Planning with Conflicting Specifications (DOI), 6 p.
Tůmová, Jana – Reyes Castro, Luis – Karaman, Sertac – Frazzoli, Emilio – Rus, Daniela
Proceedings of the American Control Conference
2013 Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints (DOI), 6 p.
Svoreňová, Mária – Černá, Ivana – Belta, Calin
Proceedings of The 2013 American Control Conference
ACNS — Applied Cryptography and Network Security
2014 Improving Intrusion Detection Systems for Wireless Sensor Networks (DOI), 18 p.
Stetsko, Andriy – Smolka, Tobiáš – Matyáš, Václav – Stehlík, Martin
Applied Cryptography and Network Security
ACSAC — Computer Security Applications
2019 Will You Trust This TLS Certificate? Perceptions of People Working in IT (DOI), 14 p.
Ukrop, Martin – Kraus, Lydia – Matyáš, Václav – Wahsheh, Heider Ahmad Mutleq
Proceedings of the 35rd Annual Computer Security Applications Conference
2017 Measuring Popularity of Cryptographic Libraries in Internet-Wide Scans (DOI), 14 p.
Nemec, Matúš – Klinec, Dušan – Švenda, Petr – Sekan, Peter – Matyáš, Václav
Proceedings of the 33rd Annual Computer Security Applications Conference
AIED — Artificial Intelligence in Education
2019 Item Ordering Biases in Educational Data (DOI), 11 p.
Čechák, Jaroslav – Pelánek, Radek
International Conference on Artificial Intelligence in Education
2018 Conceptual Issues in Mastery Criteria: Differentiating Uncertainty and Degrees of Knowledge (DOI), 12 p.
Pelánek, Radek
Artificial Intelligence in Education
2015 Impact of Adaptive Educational System Behaviour on Student Motivation (DOI), 10 p.
Papoušek, Jan – Pelánek, Radek
Artificial Intelligence in Education
2019 not ranked: doctoral session Towards Adaptive Hour of Code (DOI), 5 p.
Effenberger, Tomáš
International Conference on Artificial Intelligence in Education
2015 not ranked: workshop Exploring the Role of Small Differences in Predictive Accuracy using Simulated Data, 10 p.
Nižnan, Juraj – Papoušek, Jan – Pelánek, Radek
Proceedings of the Workshops at the 17th International Conference on Artificial Intelligence in Education
2015 not ranked: poster Student Performance Prediction Using Collaborative Filtering Methods (DOI), 4 p.
Bydžovská, Hana
17th International Conference on Artificial Inteligence in Education - AIED 2015
2013 not ranked: poster Automatic Detection of Concepts from Problem Solving Times (DOI), 4 p.
Pelánek, Radek – Boroš, Petr – Nižnan, Juraj – Řihák, Jiří
Artificial Intelligence in Education
ALENEX — Algorithm Engineering and Experiments
2019 SAT-Encodings for Treecut Width and Treedepth (DOI), 13 p.
Ganian, Robert – Lodha, Neha – Ordyniak, Sebastian – Szeider, Stefan
ALENEX 2019
ATVA — Automated Technology for Verification and Analysis
2019 Deciding Fast Termination for Probabilistic VASS with Nondeterminism (DOI), 17 p.
Brázdil, Tomáš – Chatterjee, Krishnendu – Kučera, Antonín – Novotný, Petr – Velan, Dominik
Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Proceedings
2019 Generic Emptiness Check for Fun and Profit (DOI), 17 p.
Baier, Christel – Blahoudek, František – Duret-Lutz, Alexandre – Klein, Joachim – Müller, David – Strejček, Jan
Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings
2018 Continuous-Time Markov Decisions Based on Partial Exploration (DOI), 18 p.
Ashok, Pranav – Butkova, Yuliya – Hermanns, Holger – Křetínský, Jan
Automated Technology for Verification and Analysis. ATVA 2018
2018 Recursive Online Enumeration of All Minimal Unsatisfiable Subsets (DOI), 17 p.
Bendík, Jaroslav – Černá, Ivana – Beneš, Nikola
Automated Technology for Verification and Analysis - 16th International Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings}
2017 Synthesis of Optimal Resilient Control Strategies (DOI), 18 p.
Baier, Christel – Dubslaff, Clemens – Korenčiak, Ľuboš – Kučera, Antonín – Řehák, Vojtěch
Automated Technology for Verification and Analysis
2016 Decidability Results for Multi-objective Stochastic Games (DOI), 17 p.
Brenguier, Romain – Forejt, Vojtěch
International Symposium on Automated Technology for Verification and Analysis
2016 Optimizing the Expected Mean Payoff in Energy Markov Decision Processes (DOI), 18 p.
Brázdil, Tomáš – Kučera, Antonín – Novotný, Petr
Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016
2016 Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems (DOI), 17 p.
Beneš, Nikola – Brim, Luboš – Demko, Martin – Pastva, Samuel – Šafránek, David
Automated Technology for Verification and Analysis. ATVA 2016
2016 Tighter Loop Bound Analysis (DOI), 16 p.
Čadek, Pavel – Strejček, Jan – Trtík, Marek
Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016
2015 Optimal Continuous Time Markov Decisions (DOI), 17 p.
Butkova, Yuliya – Hatefi, Hassan – Hermanns, Holger – Krčál, Jan
ATVA 2015
2014 Symbolic Memory with Pointers (DOI), 16 p.
Trtík, Marek – Strejček, Jan
Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014
2014 Verification of Markov Decision Processes using Learning Algorithms (DOI), 17 p.
Brázdil, Tomáš – Chatterjee, Krishnendu – Chmelík, Martin – Forejt, Vojtěch – Křetínský, Jan – Kwiatkowska, Marta – Parker, David – Ujma, Mateusz
Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014
2013 Compact Symbolic Execution (DOI), 15 p.
Slabý, Jiří – Strejček, Jan – Trtík, Marek
11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013
2013 Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment (DOI), 15 p.
Blahoudek, František – Babiak, Tomáš – Křetínský, Mojmír – Strejček, Jan
11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013
2019 not ranked: tool paper ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata (DOI), 9 p.
Major, Juraj – Blahoudek, František – Strejček, Jan – Jánošová, Miriama – Zbončáková, Tatiana
Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings
2017 not ranked: tool paper Model Checking of C and C++ with DIVINE 4 (DOI), 7 p.
Baranová, Zuzana – Barnat, Jiří – Kejstová, Katarína – Kučera, Tadeáš – Lauko, Henrich – Mrázek, Jan – Ročkai, Petr – Štill, Vladimír
Automated Technology for Verification and Analysis
2016 not ranked: tool paper MoChiBA: Probabilistic {LTL} Model Checking Using Limit-Deterministic Büchi Automata (DOI), 8 p.
Sickert, Salomon – Křetínský, Jan
Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016
2014 not ranked: tool paper Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata (DOI), 7 p.
Komárková, Zuzana – Křetínský, Jan
Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014
2013 not ranked: tool paper MoTraS: A Tool for Modal Transition Systems and Their Extensions (DOI), 5 p.
Křetínský, Jan – Sickert, Salomon
Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013
2013 not ranked: tool paper Rabinizer 2: Small Deterministic Automata for LTL\GU (DOI), 5 p.
Křetínský, Jan – Ledesma Garza, Ruslan
Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013
CDC — Conference on Decision and Control
2013 Incremental Sampling-Based Algorithm for Minimum-Violation Motion Planning (DOI), 8 p.
Reyes Castro, Luis Ignacio – Chaudhari, Pratik – Tůmová, Jana – Karaman, Sertac – Frazzoli, Emilio – Rus, Daniela
Proceedings of the IEEE 52nd Annual Conference on Decision and Control (CDC), 2013
2013 Optimal Control of MDPs with Temporal Logic Constraints (DOI), 6 p.
Svoreňová, Mária – Černá, Ivana – Belta, Calin
Proceedings of The 52nd IEEE Conference on Decision and Control
CIKM — Conference on Information and Knowledge Management
2016 Off the Beaten Path: Let's Replace Term-Based Retrieval with k-NN Search (DOI), 10 p.
Boytsov, Leonid – Novák, David – Malkov, Yury – Nyberg, Eric
CIKM'16: PROCEEDINGS OF THE 2016 ACM CONFERENCE ON INFORMATION AND KNOWLEDGE MANAGEMENT
2018 not ranked: short paper Implementation Notes for the Soft Cosine Measure (DOI), 4 p.
Novotný, Vít
Proceedings of the 27th ACM International Conference on Information and Knowledge Management (CIKM '18)
2018 not ranked: demo MIaS: Math-Aware Retrieval in Digital Mathematical Libraries (DOI), 4 p.
Sojka, Petr – Růžička, Michal – Novotný, Vít
Proceedings of the 27th ACM International Conference on Information and Knowledge Management (CIKM '18)
COCOON — International Computing and Combinatorics Conference
2017 Parameterized Shifted Combinatorial Optimization (DOI), 13 p.
Gajarský, Jakub – Hliněný, Petr – Koutecký, Martin – Onn, Shmuel
International Computing and Combinatorics Conference COCOON 2017 (LNCS, volume 10392)
CONCUR — International Conference on Concurrency Theory
2019 Of Cores: A Partial-Exploration Framework for Markov Decision Processes (DOI), 17 p.
Křetínský, Jan – Meggendorfer, Tobias
30th International Conference on Concurrency Theory (CONCUR 2019)
2019 Partial Order Reduction for Reachability Games (DOI), 15 p.
Boenneland, Frederik M. – Jensen, Peter G. – Larsen, Kim G. – Muniz, Marco – Srba, Jiří
Proceedings of the 30th International Conference on Concurrency Theory (CONCUR'19)
2018 Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints (DOI), 18 p.
Křetínský, Jan – Perez, Guillermo – Raskin, Jean-Francois
29th International Conference on Concurrency Theory (CONCUR 2018)
2016 Linear Distances between Markov Chains (DOI), 15 p.
Daca, Przemyslaw – Henzinger, Thomas A. – Křetínský, Jan – Petrov, Tatjana
27th International Conference on Concurrency Theory, CONCUR 2016
2016 Stability in Graphs and Games (DOI), 14 p.
Brázdil, Tomáš – Forejt, Vojtěch – Kučera, Antonín – Novotný, Petr
27th International Conference on Concurrency Theory, CONCUR 2016
2015 On Frequency LTL in Probabilistic Systems (DOI), 14 p.
Forejt, Vojtěch – Krčál, Jan
CONCUR 2015
2015 Polynomial Time Decidability of Weighted Synchronization under Partial Observability (DOI), 13 p.
Křetínský, Jan – Larsen, Kim Guldstrand – Laursen, Simon – Srba, Jiří
26th International Conference on Concurrency Theory (CONCUR 2015)
2014 Probabilistic Bisimulation: Naturally on Distributions (DOI), 17 p.
Hermanns, Holger – Krčál, Jan – Křetínský, Jan
CONCUR 2014 - Concurrency Theory - 25th International Conference
2014 Synchronizing Strategies under Partial Observability (DOI), 15 p.
Larsen, Kim G. – Laursen, Simon – Srba, Jiří
Proceedings of the 25th International Conference on Concurrency Theory (CONCUR'14)
2013 Compositional Verification and Optimization of Interactive Markov Chains (DOI), 16 p.
Hermanns, Holger – Krčál, Jan – Křetínský, Jan
CONCUR 2013 - Concurrency Theory - 24th International Conference
2013 Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory (DOI), 15 p.
Beneš, Nikola – Delahaye, Benoit – Fahrenberg, Uli – Křetínský, Jan – Legay, Axel
CONCUR 2013 - Concurrency Theory - 24th International Conference
CoNEXT — International Conference on Emerging Networking Experiments and Technologies
2018 P-Rex: Fast Verification of MPLS Networks with Multiple Link Failures (DOI), 11 p.
Jensen, Jesper S. – Kroegh, Troels B. – Madsen, Jonas S. – Schmid, Stefan – Srba, Jiří – Thorgersen, Marc T.
Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies (CoNEXT'18)
CP — Principles and Practice of Constraint Programming
2019 A Join-Based Hybrid Parameter for Constraint Satisfaction (DOI), 18 p.
Ganian, Robert – Ordyniak, Sebastian – Szeider, Stefan
Principles and Practice of Constraint Programming - 25th International Conference
2019 Scheduling of Mobile Robots Using Constraint Programming (DOI), 16 p.
Murín, Stanislav – Rudová, Hana
Principles and Practice of Constraint Programming
2016 Backdoors to Tractable Valued CSP (DOI), 18 p.
Ganian, Robert – Ramanujan, M.S. – Szeider, Stefan
PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016
DSN — International Conference on Dependable Systems and Networks
2015 Scalable Analysis of Fault Trees with Dynamic Features (DOI), 12 p.
Krčál, Jan – Krčál, Pavel
DSN 2015
EACL — Conference of the European Chapter of the Association for Computational Linguistics
2014 not ranked: demo Finding Terms in Corpora for Many Languages with the Sketch Engine (URL), 4 p.
Kilgarriff, Adam – Jakubíček, Miloš – Kovář, Vojtěch – Rychlý, Pavel – Suchomel, Vít
Proceedings of the Demonstrations at the 14th Conferencethe European Chapter of the Association for Computational Linguistics
ECCV — European Conference on Computer Vision
2019 not ranked: workshop Automatic Fusion of Segmentation and Tracking Labels (DOI), 9 p.
Akbaş, Cem Emre – Ulman, Vladimír – Maška, Martin – Jug, Florian – Kozubek, Michal
Computer Vision – ECCV 2018 Workshops
2019 not ranked: workshop Visual and Quantitative Comparison of Real and Simulated Biomedical Image Data (DOI), 10 p.
Nečasová, Tereza – Svoboda, David
Computer Vision – ECCV 2018 Workshops
2016 not ranked: workshop Automatic Detection and Segmentation of Exosomes in Transmission Electron Microscopy (DOI), 8 p.
Štěpka, Karel – Maška, Martin – Pálenik, Jakub Jozef – Pospíchalová, Vendula – Kotrbová, Anna – Ilkovics, Ladislav – Klemová, Dobromila – Hampl, Aleš – Bryja, Vítězslav – Matula, Pavel
Computer Vision -- ECCV 2016 Workshops: Amsterdam, The Netherlands, October 8-10 and 15-16, 2016, Proceedings, Part I
ECIR — European Conference on Information Retrieval
2013 not ranked: demo Face-based People Searching in Videos (DOI), 4 p.
Sedmidubský, Jan – Batko, Michal – Zezula, Pavel
35th European Conference on Information Retrieval (ECIR 2013), LNCS 7814
ECSA — European Conference on Software Architecture
2019 not ranked: workshop Towards Creation of a Reference Architecture for Trust-Based Digital Ecosystems (DOI), 4 p.
Cioroaica, Emilia – Chren, Stanislav – Kuhn, Thomas – Bühnová, Barbora – Dimitrov, Dimitar
Proceedings of European Conference on Software Architecture (ECSA 2019) Workshops
ESA — European Symposium on Algorithms
2019 Group Activity Selection with Few Agent Types (DOI), 16 p.
Ganian, Robert – Ordyniak, Sebastian – Rahul, C. S.
27th Annual European Symposium on Algorithms (ESA 2019)
2016 Counting Linear Extensions: Parameterizations by Treewidth (DOI), 18 p.
Ganian, Robert – Ordyniak, Sebastian – Eiben, Eduard – Kustaa, Kanga
24th Annual European Symposium on Algorithms, {ESA} 2016, August 22-24, 2016, Aarhus, Denmark
2013 Kernelization Using Structural Parameters on Sparse Graph Classes (DOI), 12 p.
Gajarský, Jakub – Hliněný, Petr – Obdržálek, Jan – Ordyniak, Sebastian – Reidl, Felix – Rossmanith, Peter – Villaamil, Fernando Sanchez – Sikdar, Somnath
ESA 2013
ESEM — Empirical Software Engineering and Measurement
2014 not ranked: short paper Evolution of Design Patterns: A Replication Study (DOI), 4 p.
Rossi, Bruno – Russo, Barbara
Proceedings of the 8th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement
Euro-Par — International Conference on Parallel and Distributed Computing
2017 Parametric multi-step scheme for GPU-accelerated graph decomposition into strongly connected components (DOI), 13 p.
Aldegheri, Stefano – Barnat, Jiří – Bombieri, Nicola – Busato, Federico – Češka, Milan
22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016
2014 On Interactions Among Scheduling Policies: Finding Efficient Queue Setup Using High-Resolution Simulations (DOI), 12 p.
Klusáček, Dalibor – Tóth, Šimon
Euro-Par 2014
2013 Multi-level Clustering on Metric Spaces Using a Multi-GPU Platform (DOI), 13 p.
Barrientos, Ricardo – Gomez, Jose – Tenllado, Christian – Prieto-Matias, Manuel – Zezula, Pavel
Euro-Par 2013 Parallel Processing - 19th International Conference
Eurographics — Eurographics
2017 not ranked: education papers The New CGEMS - Preparing the Computer Graphics Educational Materials Source to Meet the Needs of Educators (DOI), 5 p.
Anderson, Eike – Duchowski, Andrew – Liarokapis, Fotis – Redford, Adam
Proc of the 38th Annual Conference of the European Association for Computer (Eurographics 2017), Education Program, Lyon, France
2017 not ranked: education papers Using Activity Led Learning for Teaching Computer Graphics Principles Through Augmented Reality (DOI), 8 p.
Liarokapis, Fotis
Proc of the 38th Annual Conference of the European Association for Computer (Eurographics 2017), Education Program, Lyon, France
FCT — Fundamentals of Computer Theory
2015 not ranked: invited talk On the Existence and Computability of Long-Run Average Properties in Probabilistic VASS (DOI), 13 p.
Kučera, Antonín
Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings.
FM — Formal Methods
2016 A Model Checking Approach to Discrete Bifurcation Analysis (DOI), 17 p.
Beneš, Nikola – Brim, Luboš – Demko, Martin – Pastva, Samuel – Šafránek, David
Formal Methods. FM 2016
2016 Battery-Aware Scheduling in Low Orbit: The GomX–3 Case (DOI), 18 p.
Bisgaard, Morten – Gerhardt, David – Hermanns, Holger – Krčál, Jan – Nies, Gilles – Stenger, Marvin
FM 2016: Formal Methods: 21st International Symposium
2014 Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs (DOI), 16 p.
Forejt, Vojtěch – Kroening, Daniel – Narayanaswamy, Ganesh – Sharma, Subodh
FM 2014: Formal Methods
FoSSaCS — Foundations of Software Science and Computation Structures
2016 Distributed synthesis in continuous time. (DOI), 17 p.
Hermanns, Holger – Krčál, Jan – Vester, Steen
International Conference on Foundations of Software Science and Computation Structures.
GD — Graph Drawing
2019 Exact Crossing Number Parameterized by Vertex Cover (DOI), 13 p.
Hliněný, Petr – Sankaran, Abhisekh
GD 2019: Graph Drawing and Network Visualization
2019 On Strict (Outer-)Confluent Graphs (DOI), 15 p.
Forster, Henry – Ganian, Robert – Klute, Fabian – Nollenburg, Martin
Graph Drawing and Network Visualization - 27th International Symposium, GD 2019
2019 Parameterized Algorithms for Book Embedding Problems (DOI), 14 p.
Bhore, Sujoy – Ganian, Robert – Montecchiani, Fabrizio – Nollenburg, Martin
Graph Drawing and Network Visualization - 27th International Symposium, GD 2019
2016 The Crossing Number of the Cone of a Graph (DOI), 12 p.
Alfaro, Carlos A. – Arroyo, Alan – Derňár, Marek – Mohar, Bojan
Graph Drawing and Network Visualization - 24th International Symposium, GD 2016
2015 On Degree Properties of Crossing-critical Families of Graphs (DOI), 12 p.
Bokal, Drago – Bračič, Mojca – Derňár, Marek – Hliněný, Petr
Graph Drawing and Network Visualization 2015, Lecture Notes in Computer Science 9411
GECCO — Genetic and Evolutionary Computation Conference
2019 Adaptive Large Neighborhood Search for Scheduling of Mobile Robots (DOI), 9 p.
Dang, Vinh Quang – Rudová, Hana – Nguyen, Cong Thanh
The Genetic and Evolutionary Computation Conference (GECCO)
2018 Evolving boolean functions for fast and efficient randomness testing (DOI), 8 p.
Mrázek, Vojtěch – Sýs, Marek – Vasicek, Zdenek – Sekanina, Lukáš – Matyáš, Václav
Proceedings of the Genetic and Evolutionary Computation Conference 2018
HICSS — Hawaii International Conference on System Sciences
2019 Simulating the Impact of Cooperation and Management Strategies on Stress and Economic Performance (DOI), 10 p.
Daňa, Josef – Kopeček, Ivan – Ošlejšek, Radek – Plhák, Jaromír
Proceedings of the 52nd Hawaii International Conference on System Sciences
HPDC — High Performance Distributed Computing
2015 not ranked: short paper Planning and optimization in TORQUE resource manager (DOI), 4 p.
Klusáček, Dalibor – Chlumský, Václav – Rudová, Hana
Proceedings of the 24th ACM International Symposium on High Performance Distributed Computing
ICALP — International Colloquium on Automata, Languages and Programming
2019 On the Complexity of Value Iteration (DOI), 15 p.
Balaji, Nikhil – Kiefer, Stefan – Novotný, Petr – Pérez, Guillermo A. – Shirmohammadi, Mahsa
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019)
2018 Bisimulation Invariant Monadic-Second Order Logic in the Finite (DOI), 13 p.
Blumensath, Achim – Wolf, Felix
45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic
2015 Language Emptiness of Continuous-Time Parametric Timed Automata (DOI), 13 p.
Beneš, Nikola – Bezděk, Peter – Larsen, Kim G. – Srba, Jiří
Automata, Languages, and Programming
2013 FO Model Checking of Interval Graphs (DOI), 13 p.
Ganian, Robert – Hliněný, Petr – Kráľ, Daniel – Obdržálek, Jan – Schwartz, Jarett – Teska, Jakub
ICALP (2) 2013
ICASSP — International Conference on Acoustics, Speech and Signal Processing
2018 ON THE USE OF GRAPHEME MODELS FOR SEARCHING IN LARGE SPOKEN ARCHIVES (DOI), 5 p.
Svec, Jan – Psutka, Josef V. – Trmal, Jan – Smidl, Lubos – Ircing, Pavel – Sedmidubský, Jan
43rd IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2018)
ICIP — Conference on Image Processing
2019 Multimodal Point Distribution Model for Anthropological Landmark Detection (DOI), 5 p.
Ferková, Zuzana – Matula, Petr
26th IEEE International Conference on Image Processing (ICIP2019)
2019 Toward Robust Fully 3D Filopodium Segmentation and Tracking in Time-Lapse Fluorescence Microscopy (DOI), 5 p.
Maška, Martin – Nečasová, Tereza – Wiesner, David – Sorokin, Dmitry – Peterlík, Igor – Ulman, Vladimír – Svoboda, David
26th IEEE International Conference on Image Processing
2016 Vascular Network Formation in Silico Using the Extended Cellular Potts Model (DOI), 4 p.
Svoboda, David – Ulman, Vladimír – Kováč, Peter – Šalingová, Barbara – Tesařová, Lenka – Krontorád Koutná, Irena – Matula, Petr
2016 IEEE International Conference on Image Processing
2015 Quantification of the 3D Collagen Network Geometry in Confocal Reflection Microscopy (DOI), 4 p.
Maška, Martin – Ederra, Cristina – Fernández-Marqués, Javier – Muñoz-Barrutia, Arrate – Kozubek, Michal – Ortiz-de-Solórzano, Carlos
22nd IEEE International Conference on Image Processing
2014 On Proper Simulation of Phenomena Influencing Image Formation in Fluorescence Microscopy (DOI), 5 p.
Svoboda, David – Ulman, Vladimír – Matyska, Luděk – Maška, Martin – Bella, Ján – Stejskal, Stanislav
2014 IEEE International Conference on Image Processing
ICLP — International Conference on Logic Programming
2015 Grid Mind: Prolog-Based Simulation Environment for Future Energy Grids (URL), 14 p.
Rosecký, Jan – Procházka, Filip – Bühnová, Barbora
Proceedings of the 31st International Conference on Logic Programming (Technical Communications)
ICMR — International Conference on Multimedia Retrieval
2017 Visual Descriptors in Methods for Video Hyperlinking (DOI), 7 p.
Galuščáková, Petra – Batko, Michal – Čech, Jan – Matas, Jiří – Novák, David – Pecina, Pavel
Proceedings of the 2017 ACM on International Conference on Multimedia Retrieval
2019 not ranked: short paper Benchmarking Search and Annotation in Continuous Human Skeleton Sequences (DOI), 5 p.
Sedmidubský, Jan – Eliáš, Petr – Zezula, Pavel
International Conference on Multimedia Retrieval (ICMR)
2019 not ranked: demo Recognizing User-Defined Subsequences in Human Motion Data (DOI), 4 p.
Sedmidubský, Jan – Zezula, Pavel
International Conference on Multimedia Retrieval (ICMR)
2019 not ranked: tutorial Similarity Search in 3D Human Motion Data (DOI), 2 p.
Sedmidubský, Jan – Zezula, Pavel
International Conference on Multimedia Retrieval (ICMR)
2014 not ranked: demo CLAN Photo Presenter: Multi-modal Summarization Tool for Image Collections (DOI), 2 p.
Batko, Michal – Budíková, Petra – Eliáš, Petr – Zezula, Pavel
Proceedings of ICMR 2014
ICPR — International Conference on Pattern Recognition
2017 Automatic detection of laser-induced structures in live cell fluorescent microscopy images using snakes with geometric constraints (DOI), 6 p.
Kondratěv, Alexandr – Sorokin, Dmitry
23rd International Conference on Pattern Recognition, ICPR 2016
2016 Automatic Detection of Laser-Induced Structures in Live Cell Fluorescent Microscopy Images Using Snakes with Geometric Constraints (DOI), 6 p.
Kondrat'ev, Alexandr – Sorokin, Dmitry
IEEE 23rd International Conference on Pattern Recognition (ICPR)
2016 Learning Robust Features for Gait Recognition by Maximum Margin Criterion (DOI), 6 p.
Balážia, Michal – Sojka, Petr
Proceedings of the 23rd IEEE/IAPR International Conference on Pattern Recognition (ICPR 2016)
2014 RSurf - the Efficient Texture-Based Descriptor for Fluorescence Microscopy Images of HEp-2 Cells (DOI), 6 p.
Majtner, Tomáš – Stoklasa, Roman – Svoboda, David
22nd International Conference on Pattern Recognition
ICSA — Conference on Software Architecture
2017 Quality Evaluation of PaaS Cloud Application Design Using Generated Prototypes (DOI), 10 p.
Gešvindr, David – Bühnová, Barbora – Gasior, Ondřej
2017 IEEE International Conference on Software Architecture (ICSA)
2016 Architectural Tactics for the Design of Efficient PaaS Cloud Applications (DOI), 10 p.
Gešvindr, David – Bühnová, Barbora
2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA)
2019 not ranked: tool paper PaaSArch: Quality Evaluation Tool for PaaS Cloud Applications Using Generated Prototypes (DOI), 4 p.
Gešvindr, David – Bühnová, Barbora
2019 IEEE International Conference on Software Architecture Companion (ICSA-C)
2017 not ranked: industry track System for Collection and Processing of Smart Home Sensor Data (DOI), 4 p.
Gešvindr, David – Bühnová, Barbora – Michálková, Jana
2017 IEEE International Conference on Software Architecture Workshops (ICSAW)
IDA — Intelligent Data Analysis
2016 DGRMiner: Anomaly Detection and Explanation in Dynamic Graphs (DOI), 12 p.
Vaculík, Karel – Popelínský, Lubomír
Advances in Intelligent Data Analysis XV - 15th International Symposium, IDA 2016
2015 Class-Based Outlier Detection: Staying Zombies or Awaiting for Resurrection? (DOI), 12 p.
Nezvalová, Leona – Popelínský, Lubomír – Torgo, Luis – Vaculík, Karel
Advances in Intelligent Data Analysis XIV - 14th International Symposium, IDA 2015
IM — International Symposium on Integrated Network Management
2019 Quality of Service Forecasting with LSTM Neural Network (URL), 10 p.
Jirsík, Tomáš – Trčka, Štěpán – Čeleda, Pavel
2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM)
2017 Network Defence Strategy Evaluation: Simulation vs. Live Network (DOI), 8 p.
Medková, Jana – Husák, Martin – Drašar, Martin
2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM)
2019 not ranked: experience session Current Issues of Malicious Domains Blocking (URL), 6 p.
Špaček, Stanislav – Laštovička, Martin – Horák, Martin – Plesník, Tomáš
2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM)
2019 not ranked: demo DNS Firewall Data Visualization (URL), 2 p.
Špaček, Stanislav – Rusňák, Vít – Dombajová, Anna-Marie
2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM)
2019 not ranked: mini-conference Real-time Pattern Detection in IP Flow Data using Apache Spark (URL), 6 p.
Čermák, Milan – Laštovička, Martin – Jirsík, Tomáš
2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM)
2017 not ranked: demo A Graph-based Representation of Relations in Network Security Alert Sharing Platforms (DOI), 2 p.
Husák, Martin – Čermák, Milan
2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM)
2017 not ranked: poster Exchanging Security Events: Which And How Many Alerts Can We Aggregate? (DOI), 4 p.
Husák, Martin – Čermák, Milan – Laštovička, Martin – Vykopal, Jan
2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM)
2017 not ranked: demo Honeypot Testbed for Network Defence Strategy Evaluation (DOI), 2 p.
Medková, Jana – Husák, Martin – Vizváry, Martin – Čeleda, Pavel
2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM)
IPCO — Integer Programming and Combinatorial Optimization
2019 Integer Programming and Incidence Treedepth (DOI), 11 p.
Eiben, Eduard – Ganian, Robert – Knop, Dusan – Ordyniak, Sebastian – Pilipczuk, Michal – Wrochna, Marcin
Integer Programming and Combinatorial Optimization - 20th International Conference, IPCO 2019
IPDPS — Parallel and Distributed Processing Symposium
2016 Polynomial-time Construction of Optimal MPI Derived Datatype Trees (DOI), 10 p.
Ganian, Robert – Kalany, Martin – Szeider, Stefan – Traff, Jesper Larsson
2016 IEEE 30TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS 2016)
IROS — International Conference on Intelligent Robots and Systems
2019 RoFICoM - First Open-Hardware Connector for Metamorphic Robots (DOI), 6 p.
Mrázek, Jan – Barnat, Jiří
2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
ISAAC — International Symposium on Algorithms and Computation
2017 On Structural Parameterizations of the Edge Disjoint Paths Problem (DOI), 13 p.
Ganian, Robert – Ordyniak, Sebastian – Ramanujan, M.S.
28th International Symposium on Algorithms and Computation, ISAAC 2017, December 9-12, 2017, Phuket, Thailand
2015 On Hardness of the Joint Crossing Number (DOI), 11 p.
Hliněný, Petr – Salazar, Gelasio
International Symposium on Algorithms and Computation (ISAAC 2015), Lecture Notes in Computer Science 9472
2014 Faster Existential FO Model Checking on Posets (DOI), 11 p.
Gajarský, Jakub – Hliněný, Petr – Obdržálek, Jan – Ordyniak, Sebastian
ISAAC 2014, LNCS 8889
ISD — Information Systems Development
2019 Industrial Involvement In Information System Education: Lessons Learned from a Software Quality Course (URL), 12 p.
Chren, Stanislav – Rossi, Bruno – Bühnová, Barbora – Ge, Mouzhi – Pitner, Tomáš
Proceedings of 28th International Conference on Information Systems Development
ISSRE — International Symposium on Software Reliability Engineering
2017 not ranked: doctoral session Towards Multi-layered Reliability Analysis in Smart Grids (DOI), 4 p.
Chren, Stanislav
Proceedings of International Symposium on Software Reliability Engineering (ISSRE) Workshops
ISSTA — International Symposium on Software Testing and Analysis
2017 not ranked: doctoral session Consistency Checking in Requirements Analysis (DOI), 4 p.
Bendík, Jaroslav
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2017
ITICSE — Innovation and Technology in Computer Science Education
2018 Enhancing Cybersecurity Skills by Creating Serious Games (DOI), 6 p.
Švábenský, Valdemar – Vykopal, Jan – Čermák, Milan – Laštovička, Martin
Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE'18)
ITS — Intelligent Tutoring Systems
2016 not ranked: workshop Choosing a Student Model for a Real World Application, 11 p.
Řihák, Jiří – Pelánek, Radek
Workshop Proceedings of 13th International Conference on Intelligent Tutoring Systems
2016 not ranked: short paper Impact of Question Difficulty on Engagement and Learning (DOI), 6 p.
Papoušek, Jan – Stanislav, Vít – Pelánek, Radek
Intelligent Tutoring Systems: 13th International Conference
2016 not ranked: poster What is More Important for Student Modeling: Domain Structure or Response Times? (DOI), 2 p.
Řihák, Jiří – Pelánek, Radek
Intelligent Tutoring Systems : 13th International Conference, ITS 2016, Zagreb, Croatia, June 7-10, 2016. Proceedings
JSSPP — Job Scheduling Strategies for Parallel Processing
2017 Real-life Experience with Major Reconfiguration of Job Scheduling System (DOI), 19 p.
Klusáček, Dalibor – Tóth, Šimon – Podolníková, Gabriela
20th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2016
2015 Multi-Resource Aware Fairsharing for Heterogeneous Systems (DOI), 17 p.
Klusáček, Dalibor – Rudová, Hana
Job Scheduling Strategies for Parallel Processing
2015 User-Aware Metrics for Measuring Quality of Parallel Job Schedules (DOI), 18 p.
Tóth, Šimon – Klusáček, Dalibor
Job Scheduling Strategies for Parallel Processing
2014 Multi Resource Fairness: Problems and Challenges (DOI), 15 p.
Klusáček, Dalibor – Rudová, Hana – Jaroš, Michal
Job Scheduling Strategies for Parallel Processing
2013 Performance and Fairness for Users in Parallel Job Scheduling (DOI), 18 p.
Klusáček, Dalibor – Rudová, Hana
Job Scheduling Strategies for Parallel Processing
LPAR — International Conference on Logic for Programming, Artificial Intelligence and Reasoning
2018 Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets (DOI), 12 p.
Bendík, Jaroslav – Černá, Ivana
LPAR-22, 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
2018 Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes? (DOI), 10 p.
Jonáš, Martin – Strejček, Jan
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
2017 Seminator: A Tool for Semi-Determinization of Omega-Automata (DOI), 12 p.
Blahoudek, František – Duret-Lutz, Alexandre – Klokočka, Mikuláš – Křetínský, Mojmír – Strejček, Jan
Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2017)
2015 Cobra: A Tool for Solving General Deductive Games (DOI), 17 p.
Klimoš, Miroslav – Kučera, Antonín
Proceedings of 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2015)
2015 Controller Synthesis for MDPs and Frequency LTL\GU (DOI), 16 p.
Forejt, Vojtěch – Krčál, Jan – Křetínský, Jan
LPAR 2015
2013 Comparison of LTL to Deterministic Rabin Automata Translators (DOI), 9 p.
Blahoudek, František – Křetínský, Mojmír – Strejček, Jan
Logic for Programming Artificial Intelligence and Reasoning, LPAR-19
2013 Multi-objective Discounted Reward Verification in Graphs and MDPs (DOI), 15 p.
Chatterjee, Krishnendu – Forejt, Vojtěch – Wojtczak, Dominik
Logic for Programming, Artificial Intelligence, and Reasoning
MASCOTS — International Symposium on the Modeling Analysis and Simulation of Computer and Telecommunication Systems
2016 not ranked: short paper Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration (DOI), 6 p.
Korenčiak, Ľuboš – Kučera, Antonín – Řehák, Vojtěch
2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems
MFCS — International Symposium on Mathematical Foundations of Computer Science
2019 Measuring what Matters: A Hybrid Approach to Dynamic Programming with Treewidth (DOI), 15 p.
Eiben, Eduard – Ganian, Robert – Hamm, Thekla – Kwon, O-joung
44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)
2017 Towards a Polynomial Kernel for Directed Feedback Vertex Set (DOI), 15 p.
Eiben, Eduard – Ordyniak, Sebastian – Ramanujan, M.S. – Bergougnoux, Benjamin – Ganian, Robert
42nd International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2017, August 21-25, 2017 - Aalborg, Denmark
2016 A Single-Exponential Fixed-Parameter Algorithm for Distance-Hereditary Vertex Deletion (DOI), 14 p.
Ganian, Robert – Eiben, Eduard – Kwon, O-joung
41st International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2016, August 22-26, 2016 - Krak{\'{o}}w, Poland
2016 On Existential MSO and its Relation to ETH (DOI), 14 p.
Ganian, Robert – de Haan, Ronald – Szeider, Stefan – Kanj, Iyad
41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26
2016 On the Complexity Landscape of Connected f-Factor Problems (DOI), 14 p.
Ganian, Robert – Narayanaswamy, N. S. – Ordyniak, Sebastian – Rahul, C. S. – Ramanujan, M. S.
41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26
2015 Parameterized Algorithms for Parity Games (DOI), 12 p.
Gajarský, Jakub – Ordyniak, Sebastian – Lampis, Michael – Mitsou, Valia – Makino, Kazuhisa
MFCS 2015, LNCS 9235
2013 On Stochastic Games with Multiple Objectives (DOI), 12 p.
Chen, Taolue – Forejt, Vojtěch – Kwiatkowska, Marta – Simaitis, Aistis – Wiltsche, Clemens
Proc. 38th International Symposium on Mathematical Foundations of Computer Science (MFCS'13)
MICCAI — Medical Image Computing and Computer-Assisted Intervention
2018 How to Exploit Weaknesses in Biomedical Challenge Design and Organization (DOI), 8 p.
Reinke, Annika – Eisenmann, Matthias – Onogur, Sinan – Stankovic, Marko – Scholz, Patrick – Full, Peter M – Bogunovic, Hrvoje – Landman, Bennett A – Maier, Oskar – Menze, Bjoern – Sharp, Gregory C – Sirinukunwattana, Korsuk – Speidel, Stefanie – van der Sommen, Fons – Zheng, Guoyan – Müller, Henning – Kozubek, Michal – Arbel, Tal – Bradley, Andrew P – Jannin, Pierre – Kopp-Schneider, Annette – Maier-Hein, Lena
Medical Image Computing and Computer Assisted Intervention – MICCAI 2018
2017 Image-driven Stochastic Identification of Boundary Conditions for Predictive Simulation (DOI), 9 p.
Peterlík, Igor – Haouchine, Nazim – Ručka, Lukáš – Cotin, Stéphane
Medical Image Computing and Computer-Assisted Intervention − MICCAI 2017: 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part II
MSR — Mining Software Repositories
2019 not ranked: short paper STRAIT: A Tool for Automated Software Reliability Growth Analysis (DOI), 6 p.
Chren, Stanislav – Mičko, Radoslav – Bühnová, Barbora – Rossi, Bruno
Proceedings of the 16th International Conference on Mining Software Repositories
NAACL — Annual Conference of the North American Chapter of the Association for Computational Linguistics
2013 not ranked: short paper Parameter Estimation for LDA-Frames (URL), 5 p.
Materna, Jiří
Proceedings of the 2013 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies
NCA — Network Computing and Applications
2014 Media Streams Planning with Uncertain Link Capacities (DOI), 8 p.
Troubil, Pavel – Rudová, Hana – Holub, Petr
IEEE 13th International Symposium on Network Computing and Applications NCA 2014
2013 Media Streams Planning with Transcoding (DOI), 8 p.
Troubil, Pavel – Rudová, Hana – Holub, Petr
12th IEEE International Symposium on Network Computing and Applications (NCA 2013)
2014 not ranked: workshop Local Search Heuristics for Media Streams Planning with Transcoding (DOI), 4 p.
Marek, Jiří – Rudová, Hana – Holub, Petr
IEEE 13th International Symposium on Network Computing and Applications NCA 2014
S+SSPR — Joint International Workshops on Statistical Techniques in Pattern Recognition and Structural and Syntactic Pattern Recognition
2016 Walker-Independent Features for Gait Recognition from Motion Capture Data (DOI), 12 p.
Balážia, Michal – Sojka, Petr
Proceedings of the joint IAPR International Workshops on Structural and Syntactic Pattern Recognition (SSPR 2016) and Statistical Techniques in Pattern Recognition (SPR 2016)
2016 not ranked: extended abstract Learning Robust Features for Gait Recognition by Maximum Margin Criterion (DOI), 2 p.
Balážia, Michal – Sojka, Petr
Proceedings of the joint IAPR International Workshops on Structural and Syntactic Pattern Recognition (SSPR 2016) and Statistical Techniques in Pattern Recognition (SPR 2016)
SAC — Symposium on Applied Computing
2016 On verifying C++ programs with probabilities (DOI), 6 p.
Barnat, Jiří – Černá, Ivana – Ročkai, Petr – Štill, Vladimír – Zákopčanová, Kristína
Proceedings of the 31st Annual ACM Symposium on Applied Computing
2013 not ranked: poster Random rules from data streams (DOI), 2 p.
Ezilda, Almeida – Kosina, Petr – Gama, Joao
Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13
SAT — Satisfiability Testing
2017 Backdoor Treewidth for SAT (DOI), 18 p.
Ganian, Robert – Ramanujan, M.S. – Szeider, Stefan
Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
2017 New Width Parameters for Model Counting (DOI), 15 p.
Ganian, Robert – Szeider, Stefan
Theory and Applications of Satisfiability Testing - {SAT} 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
2017 On Simplification of Formulas with Unconstrained Variables and Quantifiers (DOI), 16 p.
Jonáš, Martin – Strejček, Jan
Theory and Applications of Satisfiability Testing – SAT 2017
2016 Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams (DOI), 17 p.
Jonáš, Martin – Strejček, Jan
Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference
2013 not ranked: short paper Upper and Lower Bounds for Weak Backdoor Set Detection (DOI), 9 p.
Neeldhara, Misra – Ordyniak, Sebastian – Raman, Venkatesh – Szeider, Stefan
Lecture Notes in Computer Science
SIGCSE — Special Interest Group on Computer Science Education
2019 Reflective Diary for Professional Development of Novice Teachers (DOI), 7 p.
Ukrop, Martin – Švábenský, Valdemar – Nehyba, Jan
Proceedings of the 50th ACM Technical Symposium on Computer Science Education (SIGCSE’19)
2018 Challenges Arising from Prerequisite Testing in Cybersecurity Games (DOI), 6 p.
Švábenský, Valdemar – Vykopal, Jan
Proceedings of the 49th ACM Technical Symposium on Computer Science Education (SIGCSE’18)
2018 Timely Feedback in Unstructured Cybersecurity Exercises (DOI), 6 p.
Vykopal, Jan – Ošlejšek, Radek – Burská, Karolína – Zákopčanová, Kristína
Proceedings of Special Interest Group on Computer Science Education, Baltimore, Maryland, USA, February 21–24, 2018(SIGCSE’18)
SMC — Systems, Man and Cybernetics
2016 Anomaly Detection in Smart Grid Data: An Experience Report (DOI), 6 p.
Rossi, Bruno – Chren, Stanislav – Bühnová, Barbora – Pitner, Tomáš
The 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2016)
2016 Local Load Optimization in Smart Grids with Bayesian Networks (DOI), 7 p.
Chren, Stanislav – Bühnová, Barbora
The 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2016)
2015 Neutron-Gamma Classification by Evolutionary Fuzzy Rules and Support Vector Machines (DOI), 5 p.
Kromer, Pavel – Matěj, Zdeněk – Musílek, Petr – Přenosil, Václav – Cvachovec, František
2015 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2015): BIG DATA ANALYTICS FOR HUMAN-CENTRIC SYSTEMS
SoCG — Symposium on Computational Geometry
2019 Bounded degree conjecture holds precisely for c-crossing-critical graphs with c<=12 (DOI), 15 p.
Dvořák, Zdeněk – Hliněný, Petr – Mohar, Bojan – Bokal, Drago – Leanos, Jesus – Wiedera, Tilo
35th International Symposium on Computational Geometry, SoCG 2019
2018 Structure and generation of crossing-critical graphs (DOI), 14 p.
Dvořák, Zdeněk – Hliněný, Petr – Mohar, Bojan
34th International Symposium on Computational Geometry, SoCG 2018
2016 Crossing Number is Hard for Kernelization (DOI), 10 p.
Derňár, Marek – Hliněný, Petr
32nd International Symposium on Computational Geometry (SoCG 2016)
2016 Inserting Multiple Edges into a Planar Graph (DOI), 15 p.
Chimani, Markus – Hliněný, Petr
32nd International Symposium on Computational Geometry (SoCG 2016)
STACS — Symposium on Theoretical Aspects of Computer Science
2018 On Structural Parameterizations of the Bounded-Degree Vertex Deletion Problem (DOI), 14 p.
Ganian, Robert – Klute, Fabian – Ordyniak, Sebastian
STACS 2018
2018 Small Resolution Proofs for QBF using Dependency Treewidth (DOI), 15 p.
Eiben, Eduard – Ganian, Robert – Ordyniak, Sebastian
STACS 2018
2017 Combining Treewidth and Backdoors for CSP (DOI), 17 p.
Ganian, Robert – Ramanujan, M.S. – Szeider, Stefan
34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany
2016 On a Fragment of AMSO and Tiling Systems (DOI), 14 p.
Blumensath, Achim – Colcombet, Thomas – Parys, Pawel
33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016, February 17-20, 2016, Orleans, France
2013 Backdoors to q-Horn (DOI), 13 p.
Ordyniak, Sebastian – Ramanujan, M S – Szeider, Stefan – Gaspers, Serge – Saurabh, Saket
LIPIcs
TACAS — International Conference on Tools and Algorithms for the Construction and Analysis of Systems
2019 Abstract Dependency Graphs and Their Application to Model Checking (DOI), 18 p.
Enevoldsen, Soeren – Larsen, Kim G. – Srba, Jiří
Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19)
2019 Digital Bifurcation Analysis of TCP Dynamics (DOI), 18 p.
Beneš, Nikola – Brim, Luboš – Pastva, Samuel – Šafránek, David
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019
2016 Complementing Semi-deterministic Büchi Automata (DOI), 18 p.
Blahoudek, František – Heizmann, Matthias – Schewe, Sven – Strejček, Jan – Tsai, Ming-Hsien
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016
2016 Faster Statistical Model Checking for Unbounded Temporal Properties (DOI), 18 p.
Daca, Przemyslaw – Henzinger, Thomas A. – Křetínský, Jan – Petrov, Tatjana
Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016
2016 Online and Compositional Learning of Controllers with Application to Floor Heating (DOI), 16 p.
Larsen, Kim G. – Mikucionis, Marius – Muniz, Marco – Srba, Jiří – Taankvist, Jakob H.
Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16)
2016 PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems (DOI), 18 p.
Češka, Milan – Pilař, Petr – Paoletti, Nikola – Brim, Luboš – Kwiatkowska, Marta
22nd International Conference, TACAS 2016
2014 Permissive Controller Synthesis for Probabilistic Systems. (DOI), 16 p.
Draeger, Klaus – Forejt, Vojtěch – Kwiatkowska, Marta – Parker, David – Ujma, Mateusz
Tools and Algorithms for the Construction and Analysis of Systems
2019 not ranked: competition contribution Extending DIVINE with Symbolic Verification Using SMT (DOI), 5 p.
Lauko, Henrich – Štill, Vladimír – Ročkai, Petr – Barnat, Jiří
Tools and Algorithms for the Construction and Analysis of Systems
2018 not ranked: competition contribution Symbiotic 5: Boosted Instrumentation (Competition Contribution) (DOI), 5 p.
Chalupa, Marek – Vitovská, Martina – Strejček, Jan
Tools and Algorithms for the Construction and Analysis of Systems, 24th International Conference, Proceedings, Part II
2017 not ranked: competition contribution Optimizing and Caching SMT Queries in SymDIVINE (Competition Contribution) (DOI), 4 p.
Mrázek, Jan – Jonáš, Martin – Štill, Vladimír – Lauko, Henrich – Barnat, Jiří
Tools and Algorithms for the Construction and Analysis of Systems, 23rd International Conference, TACAS 2017, Part II
2017 not ranked: competition contribution Symbiotic 4: Beyond Reachability (Competition Contribution) (DOI), 5 p.
Chalupa, Marek – Vitovská, Martina – Jonáš, Martin – Slabý, Jiří – Strejček, Jan
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference
2016 not ranked: competition contribution DIVINE: Explicit-State LTL Model Checker (DOI), 3 p.
Štill, Vladimír – Ročkai, Petr – Barnat, Jiří
Proceedings of the 22Nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems
2016 not ranked: competition contribution Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution) (DOI), 4 p.
Chalupa, Marek – Jonáš, Martin – Slabý, Jiří – Strejček, Jan – Vitovská, Martina
Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016
2015 not ranked: tool paper MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives (DOI), 7 p.
Brázdil, Tomáš – Krishnendu, Chatterjee – Forejt, Vojtěch – Kučera, Antonín
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.
2014 not ranked: competition contribution Symbiotic 2: More Precise Slicing (Competition Contribution) (DOI), 3 p.
Slabý, Jiří – Strejček, Jan
Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014
2013 not ranked: tool paper PRISM-games: A model checker for stochastic multi-player games (DOI), 7 p.
Chen, Taolue – Forejt, Vojtěch – Kwiatkowska, Marta – Parker, David – Simaitis, Aistis
TACAS 2013
2013 not ranked: competition contribution Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution) (DOI), 3 p.
Slabý, Jiří – Strejček, Jan – Trtík, Marek
Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013
VMCAI — Verification, Model Checking and Abstract Interpretation
2016 From Low-Level Pointers to High-Level Containers (DOI), 22 p.
Dudka, Kamil – Holík, Lukáš – Peringer, Petr – Trtík, Marek – Vojnar, Tomáš
Verification, Model Checking, and Abstract Interpretation
2013 ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools (DOI), 7 p.
Slabý, Jiří – Strejček, Jan – Trtík, Marek
Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013
VRST — Virtual Reality Software and Technology
2019 not ranked: poster A Mobile Augmented Reality Interface for Teaching Folk Dances (DOI), 2 p.
Kico, Iris – Liarokapis, Fotis
Proceeding VRST '19 25th ACM Symposium on Virtual Reality Software and Technology Article No. 47
2017 not ranked: demo VEAAR - Virtual Environment for Archaeological Artefacts Restoration (DOI), 2 p.
Chmelík, Jiří – Jurda, Mikoláš
VRST'17: PROCEEDINGS OF THE 23RD ACM SYMPOSIUM ON VIRTUAL REALITY SOFTWARE AND TECHNOLOGY
WG — Graph-Theoretic Concepts in Computer Science
2019 The Power of Cut-Based Parameters for Computing Edge Disjoint Paths (DOI), 15 p.
Ganian, Robert – Ordyniak, Sebastian
WG 2019: Graph-Theoretic Concepts in Computer Science
WISE — International Conference on Web Information Systems Engineering
2015 not ranked: workshop Generic Private Social Network for Knowledge Management (DOI), 15 p.
Kubalík, Jiří – Pokorný, Jaroslav – Víta, Martin – Vojtáš, Peter
Web Information Systems Engineering – WISE 2014 Workshops, LNCS 9051
Rank B

ACIVS — Advanced Concepts for Intelligent Vision Systems
2015 Improving Kinect-Skeleton Estimation (DOI), 13 p.
Valčík, Jakub – Sedmidubský, Jan – Zezula, Pavel
Advanced Concepts for Intelligent Vision Systems (ACIVS 2015), LNCS 9386
2013 A Key-Pose Similarity Algorithm for Motion Data Retrieval (DOI), 13 p.
Sedmidubský, Jan – Valčík, Jakub – Zezula, Pavel
Proceedings of 12th International Conference on Advanced Concepts for Intelligent Vision Systems (ACIVS 2013), LNCS 8192
ACSD — Application of Concurrency to System Design
2013 LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model (DOI), 9 p.
Barnat, Jiří – Brim, Luboš – Havel, Vojtěch
Proceedings of Application of Concurrency to System Design, 2013
ADBIS — European Conference on Advances in Databases and Information Systems
2019 BM-index: Balanced Metric Space Index based on Weighted Voronoi Partitioning (DOI), 17 p.
Antol, Matej – Dohnal, Vlastislav
Advances in Databases and Information Systems, 23th East European Conference, ADBIS 2019
2018 Selecting Sketches for Similarity Search (DOI), 15 p.
Míč, Vladimír – Novák, David – Vadicamo, Lucia – Zezula, Pavel
Advances in Databases and Information Systems : 22nd European Conference, ADBIS 2018, Budapest, Hungary, September 2-5, 2018.
2017 Fast Subsequence Matching in Motion Capture Data (DOI), 14 p.
Sedmidubský, Jan – Zezula, Pavel – Švec, Jan
21st European Conference on Advances in Databases and Information Systems
2017 Towards High Similarity Search Throughput by Dynamic Query Reordering and Parallel Processing (DOI), 16 p.
Nálepa, Filip – Batko, Michal – Zezula, Pavel
Advances in Databases and Information Systems : 21st European Conference, ADBIS 2017, Nicosia, Cyprus, September 24-27, 2017, Proceedings
2016 Optimizing Query Performance with Inverted Cache in Metric Spaces (DOI), 14 p.
Antol, Matej – Dohnal, Vlastislav
Advances in Databases and Information Systems, 20th East European Conference, ADBIS 2016
2017 not ranked: short paper Assessing the Quality of Spatio-textual Datasets in the Absence of Ground Truth (DOI), 9 p.
Ge, Mouzhi – Chondrogiannis, Theodoros
Proceedings of the 21st European Conference on Advances in Databases and Information Systems
2016 not ranked: invited talk Similarity searching for Database Applications (DOI), 8 p.
Zezula, Pavel
Advances in Databases and Information Systems
2013 not ranked: workshop Towards Effective Social Network System Implementation (DOI), 10 p.
Škrabálek, Jaroslav – Kunc, Petr – Nguyen, Filip – Pitner, Tomáš
New Trends in Databases and Information Systems
AINA — Advanced Information Networking and Applications
2013 Local Search Heuristics for Media Streams Planning Problem (DOI), 9 p.
Marek, Jiří – Holub, Petr – Rudová, Hana
Proceedings of the 7th IEEE International Conference on Advanced Information Networking and Applications
ARES — International Conference on Availability, Reliability and Security
2017 On the Sequential Pattern and Rule Mining in the Analysis of Cyber Security Alerts (DOI), 10 p.
Husák, Martin – Kašpar, Jaroslav – Bou-Harb, Elias – Čeleda, Pavel
Proceedings of the 12th International Conference on Availability, Reliability and Security
2018 not ranked: workshop CRUSOE: Data Model for Cyber Situation Awareness (DOI), 10 p.
Komárková, Jana – Husák, Martin – Laštovička, Martin – Tovarňák, Daniel
Proceedings of the 13th International Conference on Availability, Reliability and Security
BCI — Balkan Conference in Informatics
2015 Different Aspects of Delivering Programming Courses: Multinational Experiences (DOI), 7 p.
Ivanovič, Mirjana – Xinogalos, Stelios – Pitner, Tomáš – Savić, Miloš
The 7th Balkan Conference in Informatics (BCI 2015)
BIBM — International Conference on Bioinformatics and Biomedicine
2015 Towards an efficient data assimilation in physically-based medical simulations (DOI), 8 p.
Peterlík, Igor – Klíma, Antonín
Proceedings of IEEE International Conference on Bioinformatics and Biomedicine (BIBM), 2015
2018 not ranked: extended abstract TE-nester: a recursive software tool for structure-based discovery of nested transposable elements (DOI), 3 p.
Lexa, Matej – Lapár, Radovan – Jedlička, Pavel – Vanát, Ivan – Červeňanský, Michal – Kejnovský, Eduard
Proceedings 2018 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)
BIS — Business Information Systems
2019 Data Quality Management Framework for Smart Grid Systems (DOI), 12 p.
Ge, Mouzhi – Chren, Stanislav – Rossi, Bruno – Pitner, Tomáš
Proceedings of the 22nd International Conference on Business Information Systems
2014 not ranked: workshop Visual Analytics for Increasing Efficiency of Higher Education Institutions (DOI), 11 p.
Géryk, Jan – Popelínský, Lubomír
BIS 2014 International Workshops
2013 not ranked: workshop Lean Agile Approach in Development of Modern Mobile and Web Applications. (DOI), 6 p.
Škrabálek, Jaroslav – Pitner, Tomáš
Business Information Systems Workshops, Lecture Notes in Business Information Processing
CANS — Cryptology and Network Security
2016 Attackers in Wireless Sensor Networks Will Be Neither Random Nor Jumping – Secrecy Amplification Case (DOI), 10 p.
Ošťádal, Radim – Švenda, Petr – Matyáš, Václav
International Conference on Cryptology and Network Security
CBSE — Symposium on Component-Based Software Engineering
2015 Complete Composition Operators for IOCO-Testing Theory (DOI), 10 p.
Beneš, Nikola – Daca, Przemysław – Henzinger, Thomas A. – Křetínský, Jan – Ničković, Dejan
Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering
2013 DCCL: Verification of Component Systems with Ensembles (DOI), 10 p.
Barnat, Jiří – Beneš, Nikola – Černá, Ivana – Petruchová, Zuzana
CBSE '13 Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
CICLing — Intelligent Text Processing and Computational Linguistics
2014 Annotation Game for Textual Entailment Evaluation (DOI), 11 p.
Nevěřilová, Zuzana
15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part I
2013 Enhancing Czech Parsing with Verb Valency Frames (DOI), 12 p.
Jakubíček, Miloš – Kovář, Vojtěch
CICLing 2013
2016 not ranked: poster Emerging Technology Enabling Dyslexia Users To Read and Perceive Written Text Correctly (URL), 11 p.
Pařilová, Tereza – Mrváň, Filip – Mižík, Bruno – Hladká, Eva
Research in Computer Science
CLEF — Cross Language Evaluation Forum
2015 Search-based image annotation: Extracting semantics from similar images (DOI), 13 p.
Budíková, Petra – Batko, Michal – Botorek, Jan – Zezula, Pavel
Experimental IR Meets Multilinguality, Multimodality, and Interaction - 6th International Conference of the CLEF Association, CLEF 2015
2015 not ranked: short paper Determining Window Size from Plagiarism Corpus for Stylometric Features (DOI), 7 p.
Suchomel, Šimon – Brandejs, Michal
Experimental IR Meets Multilinguality, Multimodality, and Interaction
2015 not ranked: workshop Improving Synoptic Querying for Source Retrieval (URL), 8 p.
Suchomel, Šimon – Brandejs, Michal
Working Notes of the 6th International Conference of the {CLEF} Initiative
2014 not ranked: workshop DISA at ImageCLEF 2014: The search-based solution for scalable image annotation, 12 p.
Budíková, Petra – Botorek, Jan – Batko, Michal – Zezula, Pavel
CLEF 2014 Evaluation Labs and Workshop, Online Working Notes
2014 not ranked: workshop Heterogeneous Queries for Synoptic and Phrasal Search (URL), 4 p.
Suchomel, Šimon – Brandejs, Michal
CLEF2014 Working Notes
2013 not ranked: workshop Diverse queries and feature type selection for plagiarism discovery: Notebook for PAN at CLEF 2013 (URL), 8 p.
Suchomel, Šimon – Kasprzak, Jan – Brandejs, Michal
2013 Cross Language Evaluation Forum Conference, CLEF 2013, CEUR Workshop Proceedings Volume 1179
CMC — Membrane Computing
2014 not ranked: invited talk Roads to New Grand Challenges of Informatics (DOI), 9 p.
Gruska, Jozef
14th International Conference on Membrane Computing
CMSB — Computational Methods in Systems Biology
2017 Detecting Attractors in Biological Models with Uncertain Parameters (DOI), 17 p.
Brim, Luboš – Barnat, Jiří – Šafránek, David – Beneš, Nikola – Demko, Martin – Pastva, Samuel – Hajnal, Matej
Computational Methods in Systems Biology. CMSB 2017
2016 High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study (DOI), 16 p.
Demko, Martin – Beneš, Nikola – Brim, Luboš – Pastva, Samuel – Šafránek, David
Computational Methods in Systems Biology. CMSB 2016.
2015 Parameter Synthesis by Parallel Coloured CTL Model Checking (DOI), 13 p.
Brim, Luboš – Češka, Milan – Demko, Martin – Pastva, Samuel – Šafránek, David
Computational Methods in Systems Biology
2014 Precise Parameter Synthesis for Stochastic Biochemical Systems (DOI), 13 p.
Češka, Milan – Dannenberg, Frits – Kwiatkowska, Marta – Paoletti, Nicola
Computational Methods in Systems Biology
2019 not ranked: extended abstract Barbaric Robustness Monitoring Revisited for STL* in Parasim (DOI), 4 p.
Šafránek, David – Troják, Matej – Brůža, Vojtěch – Vejpustek, Tomáš – Papoušek, Jan – Demko, Martin – Pastva, Samuel – Pejznoch, Aleš – Brim, Luboš
Computational Methods in Systems Biology (CMSB 2019)
2016 not ranked: tool paper E-Cyanobacterium.org: A Web-Based Platform for Systems Biology of Cyanobacteria (DOI), 7 p.
Troják, Matej – Šafránek, David – Hrabec, Jakub – Šalagovič, Jakub – Romanovská, Františka – Červený, Jan
Computational Methods in Systems Biology. CMSB 2016.
2013 not ranked: poster Esther: Introducing an Online Platform for Parameter Identification of Boolean Networks, 2 p.
Streck, Adam – Kolčák, Juraj – Siebert, Heike – Šafránek, David
Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings
COCOA — International Conference on Combinatorial Optimization and Applications
2019 On conflict-free chromatic guarding of simple polygons (DOI), 12 p.
Cagirici, Onur – Ghosh, Subir – Hliněný, Petr – Roy, Bodhayan
13th Annual International Conference on Combinatorial Optimization and Applications (COCOA'19)
CSEDU — Computer Supported Education
2014 not ranked: short paper Course Recommendation from Social Data, 8 p.
Bydžovská, Hana – Popelínský, Lubomír
6th International Conference on Computer Supported Education - CSEDU 2014
2014 not ranked: short paper Graph Mining for Automatic Classification of Logical Proofs, 8 p.
Vaculík, Karel – Popelínský, Lubomír
6th International Conference on Computer Supported Education - CSEDU 2014
DCOSS — International Conference on Distributed Computing in Sensor Systems
2018 Adaptive Secrecy Amplification with Radio Channel Key Extraction (DOI), 8 p.
Němec, Lukáš – Ošťádal, Radim – Matyáš, Václav – Švenda, Petr
2018 14th International Conference on Distributed Computing in Sensor Systems (DCOSS)
DEXA — Database and Expert Systems Applications
2018 Probabilistic Classification of Skeleton Sequences (DOI), 16 p.
Sedmidubský, Jan – Zezula, Pavel
29th International Conference on Database and Expert Systems Applications (DEXA 2018)
2016 Enhancing Similarity Search Throughput by Dynamic Query Reordering (DOI), 16 p.
Nálepa, Filip – Batko, Michal – Zezula, Pavel
Database and Expert Systems Applications: 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part II
2015 Model for Performance Analysis of Distributed Stream Processing Applications (DOI), 14 p.
Nálepa, Filip – Batko, Michal – Zezula, Pavel
Database and Expert Systems Applications
2014 Rank Aggregation of Candidate Sets for Efficient Similarity Search (DOI), 17 p.
Novák, David – Zezula, Pavel
25th International Conference on Database and Expert Systems Applications (DEXA 2014 )
2014 Semantically Consistent Human Motion Segmentation (DOI), 15 p.
Balážia, Michal – Sedmidubský, Jan – Zezula, Pavel
Proceedings of 25th International Conference on Database and Expert Systems Applications (DEXA 2014)
2018 not ranked: selected papers Towards Faster Similarity Search by Dynamic Reordering of Streamed Queries (DOI), 28 p.
Nálepa, Filip – Batko, Michal – Zezula, Pavel
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVIII
2016 not ranked: selected papers PPP-Codes for Large-Scale Similarity Searching (DOI), 27 p.
Novák, David – Zezula, Pavel
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV
2013 not ranked: workshop Predicting Student Performance in Higher Education (DOI), 5 p.
Bydžovská, Hana – Popelínský, Lubomír
24th International Workshop on Database and Expert Systems Applications - Dexa 2013
DS — Discovery Science
2013 Avoiding Anomalies in Data Stream Learning (DOI), 15 p.
Gama, Joao – Kosina, Petr – Almeida, Ezilda
Discovery Science, Proceedings of 16th International Conference DS 2013
ECAL — European Conference on Artificial Life
2013 Multi-Objective Optimization of Intrusion Detection Systems for Wireless Sensor Networks (DOI), 8 p.
Stehlík, Martin – Saleh, Adam – Stetsko, Andriy – Matyáš, Václav
Advances in Artificial Life, ECAL 2013, Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems
EDM — Educational Data Mining
2017 Measuring Similarity of Educational Items Using Data on Learners’ Performance, 8 p.
Řihák, Jiří – Pelánek, Radek
Proceedings of the 10th International Conference on Educational Data Mining
2015 Student Models for Prior Knowledge Estimation, 8 p.
Řihák, Jiří – Pelánek, Radek – Nižnan, Juraj
Proceedings of the 8th International Conference on Educational Data Mining
2015 Using Visual Analytics Tool for Improving Data Comprehension, 8 p.
Géryk, Jan
Proceedings for the 8th International Conference on Educational Data Mining (EDM 2015)
2014 Adaptive Practice of Facts in Domains with Varied Prior Knowledge, 8 p.
Pelánek, Radek – Papoušek, Jan – Stanislav, Vít
Proceedings of the 7th International Conference on Educational Data Mining (EDM 2014)
2014 Application of Time Decay Functions and the Elo System in Student Modeling, 7 p.
Pelánek, Radek
Proceedings of the 7th International Conference on Educational Data Mining (EDM 2014)
2016 not ranked: short paper A Comparative Analysis of Techniques for Predicting Student Performance, 6 p.
Bydžovská, Hana
Proceedings of the 9th International Conference on Educational Data Mining
2016 not ranked: short paper Course Enrollment Recommender System, 6 p.
Bydžovská, Hana
Proceedings of the 9th International Conference on Educational Data Mining
2016 not ranked: short paper Properties and Applications of Wrong Answers in Online Educational Systems, 6 p.
Pelánek, Radek – Řihák, Jiří
Proceedings of the 9th International Conference on Educational Data Mining
2015 not ranked: poster An Analysis of Response Times in Adaptive Practice of Geography Facts, 2 p.
Papoušek, Jan – Pelánek, Radek – Řihák, Jiří – Stanislav, Vít
Proceedings of the 8th International Conference on Educational Data Mining
2015 not ranked: short paper Modeling Students' Memory for Application in Adaptive Educational Systems, 4 p.
Pelánek, Radek
Proceedings of the 8th International Conference on Educational Data Mining
2015 not ranked: poster Towards Freshmen Performance Prediction, 2 p.
Bydžovská, Hana
Proceedings of the 8th International Conference on Educational Data Mining
2015 not ranked: doctoral session Use of Time Information in Models behind Adaptive Practice System for Building Fluency in Mathematics, 3 p.
Řihák, Jiří
Proceedings of the 8th International Conference on Educational Data Mining
2014 not ranked: workshop A Brief Overview of Metrics for Evaluation of Student Models, 2 p.
Pelánek, Radek
Proceedings of the Workshops held at Educational Data Mining 2014
2014 not ranked: poster Analysis of Student Retention and Drop-out using Visual Analytics, 2 p.
Géryk, Jan – Popelínský, Lubomír
Proceedings of the 7th International Conference on Educational Data Mining (EDM 2014)
2014 not ranked: workshop Graph Mining and Outlier Detection Meet Logic Proof Tutoring, 8 p.
Vaculík, Karel – Nezvalová, Leona – Popelínský, Lubomír
Proceedings of EDM 2014 Ws Graph-based Educational Data Mining (G-EDM)
2014 not ranked: poster Using Problem Solving Times and Expert Opinion to Detect Skills, 2 p.
Nižnan, Juraj – Pelánek, Radek – Řihák, Jiří
Proceedings of the 7th International Conference on Educational Data Mining
2013 not ranked: short paper Modeling Students' Learning and Variability of Performance in Problem Solving, 4 p.
Pelánek, Radek – Jarušek, Petr – Klusáček, Matěj
Educational Data Mining
EDULEARN — International Conference on Education and New Learning Technologies
2013 HOW TO CREATE AND TEACH MULTIDISCIPLINARY STUDY PROGRAMS, 8 p.
Walletzký, Leonard
EDULEARN13: 5TH INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES
EEEIC — Environment and Electrical Engineering
2013 Integrating Renewable Energy Sources Using a Smart Household System (DOI), 6 p.
Prýmek, Miroslav – Horák, Aleš – Prokop, Lukáš – Mišák, Stanislav
2013 13 International Conference on Environment and Electrical Engineering, EEEIC 2013
EMBS — Engineering in Medicine and Biology Society
2015 Characterization of the Role of Collagen Network Structure and Composition in Cancer Cell Migration (DOI), 4 p.
Anguiano, María – Castilla, Carlos – Maška, Martin – Ederra, Cristina – Fernández-Marqués, Javier – Peláez, Rafael – Rouzaut, Ana – Muñoz-Barrutia, Arrate – Kozubek, Michal – Ortiz-de-Solórzano, Carlos
37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society
2014 Automatic Identification of Solid-Phase Medication Intake Using Wireless Wearable Accelerometers (DOI), 4 p.
Wang, Rui – Sitová, Zdeňka – Jia, Xiaoqing – He, Xiang – Abramson, Tobi – Gasti, Paolo – Balagani, Kiran S. – Farajidavar, Aydin
36th Annual International IEEE Engineering in Medicine and Biology Society Conference (EMBS), 2014
EMCIS — European, Mediterranean and Middle Eastern Conference on Information Systems
2017 IT-enabled Digital Service Design Principles - Lessons Learned from Digital Cities (DOI), 11 p.
Štěpánek, Petr – Ge, Mouzhi – Walletzký, Leonard
Proceedings of the 14th European Mediterranean & Middle Eastern Conference on Information Systems
ENASE — International Conference on Evaluation of Novel Approaches to Software Engineering
2014 not ranked: poster Flexible Business-Oriented Service Interfaces in Information Systems (DOI), 8 p.
Žemlička, Michal – Král, Jaroslav
9th International Conference on Evaluation of Novel Approaches to Software Engineering
ESM — European Simulation and Modelling Conference
2016 Guided Optimization Method for Fast and Accurate Atomic Charges Computation, 8 p.
Pazúriková, Jana – Křenek, Aleš – Matyska, Luděk
Proceedings of the 2016 European Simulation and Modelling Conference
2016 not ranked: short paper Accelerated RMSD Calculation for Molecular Metadynamics, 3 p.
Filipovič, Jiří – Pazúriková, Jana – Křenek, Aleš – Spiwok, Vojtěch
Proceedings of the 2016 European Simulation and Modelling Conference
EuroVis — Eurographics Symposium on Visualization
2015 not ranked: state of the art Visualization of Biomolecular Structures: State of the Art (DOI), 21 p.
Kozlíková, Barbora – Krone, Michael – Lindow, Norbert – Falk, Martin – Baaden, Marc – Baum, Daniel – Viola, Ivan – Parulek, Julius – Hege, Hans-Christian
Eurographics Conference on Visualization (EuroVis) - STARs
EUSIPCO — European Signal Processing Conference
2017 The Impact of Diverse Preprocessing Pipelines on Brain Functional Connectivity (DOI), 5 p.
Výtvarová, Eva – Fousek, Jan – Bartoň, Marek – Mareček, Radek – Gajdoš, Martin – Lamoš, Martin – Nováková, Marie – Slavíček, Tomáš – Peterlík, Igor – Mikl, Michal
25th European Signal Processing Conference (EUSIPCO), Kos, Greece.
FedCSIS — Federated Conference on Computer Science and Information Systems
2019 Big Data Platform for Smart Grids Power Consumption Anomaly Detection (DOI), 10 p.
Lipčák, Peter – Macák, Martin – Rossi, Bruno
Proceedings of the 2019 Federated Conference on Computer Science and Information Systems
2015 Exploring Medical Curricula Using Social Network Analysis Methods (DOI), 6 p.
Víta, Martin – Komenda, Martin – Pokorná, Andrea
Proceedings of the 2015 Federated Conference on Computer Science and Information Systems
2015 Ruby Benchmark Suite using Docker (DOI), 6 p.
Nguyen, Filip – Rebok, Tomáš – Ludvigh, Richard – Tunka, Václav
Annals of Computer Science and Information Systems, Volume 5
2014 Experience with Real-Life Students' Projects (DOI), 7 p.
Král, Jaroslav – Žemlička, Michal
Proceedings of the 2014 Federated Conference on Computer Science and Information Systems
2014 Overview of Research Challenges towards Smart Grid Quality by Design (DOI), 8 p.
Gešvindr, David – Bühnová, Barbora – Rosecký, Jan
Proceedings of the 2014 Federated Conference on Computer Science and Information Systems
2018 not ranked: short paper Agile to Lean Software Development Transformation: A Systematic Literature Review (DOI), 5 p.
Kišš, Filip – Rossi, Bruno
2018 Federated Conference on Computer Science and Information Systems (FedCSIS)
2016 not ranked: short paper Automatic Keyword Extraction from Medical and Healthcare Curriculum (DOI), 4 p.
Komenda, Martin – Karolyi, Matěj – Pokorná, Andrea – Víta, Martin – Kríž, Vincent
Annals of Computer Science and Information Systems, Volume 8 : Proceedings of the 2016 Federated Conference on Computer Science and Information Systems
2016 not ranked: short paper Word2vec Based System for Recognizing Partial Textual Entailment (DOI), 4 p.
Víta, Martin – Kríž, Vincent
PROCEEDINGS OF THE 2016 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS)
FiCloud — Future Internet of Things and Cloud
2016 not ranked: workshop A Survey on Network Security Monitoring Systems (DOI), 6 p.
Ghafir, Ibrahim – Přenosil, Václav – Svoboda, Jakub – Hammoudeh, Mohammad
Proceedings of International Conference on Future Internet of Things and Cloud
2016 not ranked: short paper Social Engineering Attack Strategies and Defence Approaches (DOI), 5 p.
Ghafir, Ibrahim – Přenosil, Václav – Alhejailan, Ahmad – Hammoudeh, Mohammad
Proceedings of International Conference on Future Internet of Things and Cloud
FIE — Frontiers in Education
2018 Evaluation of Cyber Defense Exercises Using Visual Analytics Process (DOI), 9 p.
Ošlejšek, Radek – Vykopal, Jan – Burská, Karolína – Rusňák, Vít
Proceedings of the 48th IEEE Frontiers in Education Conference (FIE'18)
2017 Lessons Learned From Complex Hands-on Defence Exercises in a Cyber Range (DOI), 8 p.
Vykopal, Jan – Vizváry, Martin – Ošlejšek, Radek – Čeleda, Pavel – Tovarňák, Daniel
2017 IEEE Frontiers in Education Conference
2019 not ranked: work in progress Gathering Insights from Teenagers' Hacking Experience with Authentic Cybersecurity Tools (DOI), 4 p.
Švábenský, Valdemar – Vykopal, Jan
2018 IEEE Frontiers in Education Conference (FIE)
FORMATS — Formal Modeling and Analysis of Timed Systems
2014 Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets (DOI), 15 p.
Birch, Sine V. – Jacobsen, Thomas S. – Jensen, Jacob J. – Moesgaard, Christoffer – Samuelsen, Niels N. – Srba, Jiří
Proceedings of the 12th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'14)
FSTTCS — Foundations of Software Technology and Theoretical Computer Science
2018 On Colourability of Polygon Visibility Graphs (DOI), 14 p.
Cagirici, Onur – Hliněný, Petr – Roy, Bodhayan
37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017)
2016 Tunable Online MUS/MSS Enumeration (DOI), 13 p.
Bendík, Jaroslav – Beneš, Nikola – Černá, Ivana – Barnat, Jiří
Foundations of Software Technology and Theoretical Computer Science - 36th International Conference, FSTTCS 2016
2013 Solvency Markov Decision Processes with Interest (DOI), 13 p.
Brázdil, Tomáš – Chen, Taolue – Forejt, Vojtěch – Novotný, Petr – Simaitis, Aistis
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013)
HASE — High Assurance Systems Engineering
2014 Temporal Verification of Simulink Diagrams (DOI), 8 p.
Barnat, Jiří – Bauch, Petr – Havel, Vojtěch
Proceedings of HASE 2014
HPCS — High Performance Computing and Simulation
2016 Cryptography Enhanced Ad-Hoc Approach to P2P Overlays (DOI), 6 p.
Zima, Michal – Hladká, Eva
Proceedings of the 2016 International Conference on High Performance Computing & Simulation
2015 Acceleration of dRMSD Calculation and Efficient Usage of GPU Caches (DOI), 8 p.
Filipovič, Jiří – Plhák, Jan – Střelák, David
Proceedings of IEEE International Conference on High Performance Computing & Simulation
HS — Hybrid systems: computation and control
2019 Facetal Abstraction for Non-linear Dynamical Systems Based on delta-decidable SMT (DOI), 10 p.
Beneš, Nikola – Brim, Luboš – Dražanová, Jana – Pastva, Samuel – Šafránek, David
Proceedings of the 22Nd ACM International Conference on Hybrid Systems: Computation and Control
2015 Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games (DOI), 10 p.
Svoreňová, Mária – Křetínský, Jan – Chmelík, Martin – Chatterjee, Krishnendu – Černá, Ivana – Belta, Calin
Proceedings of ACM international conference on Hybrid Systems: Computation and Control
2013 Least-violating control strategy synthesis with safety rules (DOI), 10 p.
Tůmová, Jana – Hall, Gavin – Karaman, Sertac – Frazzoli, Emilio – Rus, Daniela
Proceedings of the 16th international conference on Hybrid systems: computation and control
2013 Safe schedulability of bounded-rate multi-mode systems (DOI), 10 p.
Alur, Rajeev – Forejt, Vojtěch – Moarref, Salar – Trivedi, Ashutosh
Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013
2015 not ranked: case study Temporal Logic Motion Planning using POMDPs with Parity Objectives (DOI), 6 p.
Svoreňová, Mária – Chmelík, Martin – Leahy, Kevin – Eniser, Hasan Ferit – Chatterjee, Krishnendu – Černá, Ivana – Belta, Calin
Proceedings of ACM international conference on Hybrid Systems: Computation and Control
ICA3PP — International Conference on Algorithms and Architectures for Parallel Processing
2013 Deconvolution of huge 3-D images: Parallelization strategies on a multi-GPU system (DOI), 12 p.
Karas, Pavel – Kuderjavý, Michal – Svoboda, David
Algorithms and Architectures for Parallel Processing
ICAART — International Conference on Agents and Artificial Intelligence
2019 not ranked: short paper Question and Answer Classification in Czech Question Answering Benchmark Dataset (DOI), 6 p.
Medveď, Marek – Horák, Aleš – Kušniráková, Daša
Proceedings of the 11th International Conference on Agents and Artificial Intelligence, Volume 2
2018 not ranked: short paper Sentence and Word Embedding Employed in Open Question-Answering, 7 p.
Medveď, Marek – Horák, Aleš
Proceedings of the 10th International Conference on Agents and Artificial Intelligence (ICAART 2018)
2016 not ranked: short paper On Evaluation of Natural Language Processing Tasks: Is Gold Standard Evaluation Methodology a Good Solution?, 6 p.
Kovář, Vojtěch – Jakubíček, Miloš – Horák, Aleš
Proceedings of the 8th International Conference on Agents and Artificial Intelligence
2013 not ranked: short paper Smart Household -- Selected Problem Solutions Using Intelligent Controllable Electric Appliances, 7 p.
Prýmek, Miroslav – Horák, Aleš
Proceedings of 5th International Conference on Agents and Artificial Intelligence (ICAART 2013)
ICAR — International Conference on Advanced Robotics
2019 Computing multiple guiding paths for sampling-based motion planning (DOI), 8 p.
Vonásek, Vojtěch – Pěnička, Robert – Kozlíková, Barbora
Proceedings of the 19th International Conference on Advanced Robotics, ICAR 2019
ICATPN — Application and Theory of Petri Nets
2018 Simplification of CTL Formulae for Efficient Model Checking of Petri Nets (DOI), 21 p.
Boenneland, F.M. – Dyhr, J. – Jensen, P.G. – Johannsen, M. – Srba, Jiří
Proceedings of the 39th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets'18)
2017 Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation (DOI), 20 p.
Dalsgaard, Andreas E. – Enevoldsen, Søren – Fogh, Peter – Jensen, Lasse S. – Jepsen, Tobias S. – Kaufmann, Isabella – Larsen, Kim G. – Nielsen, Søren M. – Olesen, Mads Chr. – Pastva, Samuel – Srba, Jiří
Petri Nets 2017
2014 Soundness of Timed-Arc Workflow Nets (DOI), 20 p.
Mateo, Jose A. – Srba, Jiří – Soerensen, Mathias
Proceedings of the 35th International Conference on Application and Theory of {P}etri Nets and Concurrency ({ICATPN}'14)
2018 not ranked: workshop MCC'2017 - The Seventh Model Checking Contest (DOI), 29 p.
Kordon, F. – Garavel, H. – Hillah, L.-M. – Paviot-Adet, E. – Jezequel, L. – Hulin-Hubard, F. – Amparore, E.G. – Beccuti, M. – Bertomieu, B. – Evrard, H. – Jensen, P. – Le Botlan, D. – Liebke, T. – Meijer, J. – Srba, Jiří – Thierry-Mieg, Y. – Pol, J. van de – Wolf, K.
Transactions on Petri Nets and Other Models of Concurrency XIII
ICCHP — Computers Helping People with Special Needs
2018 DysHelper – The Dyslexia Assistive Approach User Study (DOI), 8 p.
Pařilová, Tereza
Computers Helping People with Special Needs:16th International Conference, ICCHP 2018. LNCS
2016 CoUnSiL: Collaborative Universe for Remote Interpreting of Sign Language in Higher Education (DOI), 8 p.
Rusňák, Vít – Troubil, Pavel – Ondra, Svatoslav – Sklenák, Tomáš – Daxnerová, Desana – Hladká, Eva – Kajaba, Pavel – Minárik, Matej – Novák, Peter – Damm, Christoph – Kala, Jaromír
Computers Helping People with Special Needs: 15th International Conference, ICCHP 2016, Linz, Austria, July 13-15, 2016, Proceedings, Part II
2014 Dialogue-based Information Retrieval from Images (DOI), 8 p.
Hamřík, Pavel – Kopeček, Ivan – Ošlejšek, Radek – Plhák, Jaromír
Computers Helping People with Special Needs:14th International Conference, ICCHP 2014
ICCSA — Computational Science and Its Applications
2017 A system based on intelligent documents: A case study (DOI), 12 p.
Král, Jaroslav – Novák, Petr – Žemlička, Michal
17th International Conference on Computational Science and Its Applications, ICCSA 2017
2017 Document-Oriented Middleware: The Way to High-Quality Software (DOI), 13 p.
Král, Jaroslav – Pitner, Tomáš – Žemlička, Michal
International Conference on Computational Science and Its Applications
2016 Confederative ERP Systems for Small-to-Medium Enterprises (DOI), 13 p.
Žemlička, Michal – Král, Jaroslav
Computational Science and Its Applications – ICCSA 2016
2016 Software Architecture and Software Quality (DOI), 17 p.
Žemlička, Michal – Král, Jaroslav
Computational Science and Its Applications – ICCSA 2016
2015 Novel Software Engineering Attitudes for Bussiness-Oriented Information Systems (DOI), 13 p.
Král, Jaroslav – Michal, Žemlička
Computational Science and Its Applications -- ICCSA 2015
2014 Simplifying maintenance by application of architectural services (DOI), 16 p.
Král, Jaroslav – Žemlička, Michal
InComputational Science and Its Application - ICCSA 2014, Part V, volume 8583 of Lecture Notes in Computer Science
ICEIS — International Conference on Enterprise Information Systems
2017 Guildlines of Data Quality Issues for Data Integration in the Context of the TPC-DI Benchmark (DOI), 10 p.
Yang, Qishan – Ge, Mouzhi – Helfert, Markus
Proceedings of the 19th International Conference on Enterprise Information Systems
2019 not ranked: short paper Analysis of Data Warehouse Architectures: Modeling and Classification (DOI), 8 p.
Qishan, Yang – Ge, Mouzhi – Helfert, Markus
Proceedings of the 21st International Conference on Enterprise Information Systems
2018 not ranked: short paper The Social Media Perception and Reality -Possible Data Quality Deficiencies between Social Media and ERP (DOI), 7 p.
Popescu, Mirona – Ge, Mouzhi – Helfert, Markus
Proceedings of the 20th International Conference on Enterprise Information Systems
2018 not ranked: short paper Validation and Extension of the Smart City Ontology (DOI), 8 p.
Štěpánek, Petr – Ge, Mouzhi
Proceedings of the 20th International Conference on Enterprise Information Systems - Volume 2: ICEIS
2014 not ranked: poster Do Desperate Students Trade Their Privacy for a Hope? An Evidence of the Privacy Settings Influence on the User Performance (DOI), 6 p.
Bydžovská, Hana – Obšívač, Tomáš – Brandejs, Michal
Proceedings of the 16th International Conference on Enterprise Information Systems - ICEIS 2014
ICFEM — International Conference on Formal Engineering Methods
2019 Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. (DOI), 17 p.
Beneš, Nikola – Brim, Luboš – Pastva, Samuel – Poláček, Jakub – Šafránek, David
Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings
2018 Model Checking of C++ Programs Under the x86-TSO Memory Model (DOI), 17 p.
Štill, Vladimír – Barnat, Jiří
Formal Methods and Software Engineering
ICIAP — International Conference on Image Analysis and Processing
2019 On Generative Modeling of Cell Shape Using 3D GANs (DOI), 11 p.
Wiesner, David – Nečasová, Tereza – Svoboda, David
Image Analysis and Processing – ICIAP 2019
2015 TRAgen: A Tool for Generation of Synthetic Time-Lapse Image Sequences of Living Cells (DOI), 12 p.
Ulman, Vladimír – Orémuš, Zoltán – Svoboda, David
Proceedings of 18th International Conference on Image Analysis and Processing
2013 Towards a Realistic Distribution of Cells in Synthetically Generated 3D Cell Populations (DOI), 10 p.
Svoboda, David – Ulman, Vladimír
17th International Conference on Image Analysis and Processing - ICIAP 2013
ICL — International Conference on Interactive Collaborative Learning
2019 Digitization and Visualization of Movements of Slovak Folk Dances (DOI), 12 p.
Hajdin, Matúš – Kico, Iris – Doležal, Milan – Chmelík, Jiří – Doulamis, Anastasios – Liarokapis, Fotis
The Challenges of the Digital Transformation in Education
ICNC-FSKD — International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery
2018 Combining Cache and Priority Queue to Enhance Evaluation of Similarity Search Queries (DOI), 8 p.
Nálepa, Filip – Batko, Michal – Zezula, Pavel
2018 14th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery
2017 Designing Fuzzy Apparatus to Model Dyslexic Individual Symptoms for Clinical Use (DOI), 5 p.
Pařilová, Tereza – Hladká, Eva – Říha, Pavel
2017 13th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD)
ICNSC — Networking Sensing and Control
2016 Towards better selective forwarding and delay attacks detection in wireless sensor networks (DOI), 6 p.
Stehlík, Martin – Matyáš, Václav – Stetsko, Andriy
2016 IEEE 13th International Conference on Networking, Sensing, and Control (ICNSC)
ICSC — International Conference on Semantic Computing
2019 not ranked: short paper Factoring Personalization in Social Media Recommendations (DOI), 4 p.
Ge, Mouzhi – Persia, Fabio
Proceedings of the 13th IEEE International Conference on Semantic Computing
2018 not ranked: short paper Evaluation in Multimedia Recommender Systems: A Practical Guide (DOI), 4 p.
Ge, Mouzhi – Persia, Fabio
Proceedings of the 12th IEEE International Conference on Semantic Computing
2017 not ranked: short paper Research Challenges in Multimedia Recommender Systems (DOI), 4 p.
Ge, Mouzhi – Persia, Fabio
Proceedings of the IEEE International Conference on Semantic Computing
ICSOFT — International Conference on Software Technologies
2019 Design of Scalable and Resilient Applications using Microservice Architecture in PaaS Cloud (DOI), 12 p.
Gešvindr, David – Bühnová, Barbora – Davídek, Jaroslav
Proceedings of the 14th International Conference on Software Technologies - Volume 1: ICSOFT
2018 Finding Regressions in Projects under Version Control Systems (DOI), 12 p.
Bendík, Jaroslav – Beneš, Nikola – Černá, Ivana
13th International Conference on Software Technologies
2019 not ranked: short paper The Saga Pattern in a Reactive Microservices Environment (DOI), 8 p.
Štefanko, Martin – Chaloupka, Ondřej – Rossi, Bruno
14th International Conference on Software Technologies (ICSOFT 2019)
2017 not ranked: short paper KYPO Cyber Range: Design and Use Cases (DOI), 12 p.
Vykopal, Jan – Ošlejšek, Radek – Čeleda, Pavel – Vizváry, Martin – Tovarňák, Daniel
Proceedings of the 12th International Conference on Software Technologies - Volume 1: ICSOFT
2016 not ranked: short paper Practical Multi-pattern Matching Approach for Fast and Scalable Log Abstraction (DOI), 11 p.
Tovarňák, Daniel
ICSOFT-EA 2016 - Proceedings of the 11th International Joint Conference on Software Technologies
2014 not ranked: short paper Continuous Queries over Distributed Streams of Heterogeneous Monitoring Data in Cloud Datacenters (DOI), 12 p.
Tovarňák, Daniel – Pitner, Tomáš
ICSOFT-EA 2014 - Proceedings of the 9th International Conference on Software Engineering and Applications
2014 not ranked: poster Indoor Pedestrian Localization for Mobile Devices : The model (DOI), 6 p.
Ševčík, Jonáš
Proceedings of the 9th International Conference on Software Engineering and Applications
2014 not ranked: short paper Semantic Web Technology for Building Information Model (DOI), 8 p.
Asfand-e-yar, Muhammad – Kučera, Adam – Pitner, Tomáš
Proceedings of the 9th International Conference on Software Engineering and Applications, Vienna, Austria
ICSTCC — International Conference on System Theory, Control and Computing
2018 Fully Automated Attractor Analysis of Cyanobacteria Models (DOI), 6 p.
Beneš, Nikola – Brim, Luboš – Červený, Jan – Pastva, Samuel – Šafránek, David – Šalagovič, Jakub – Troják, Matej
22nd International Conference on System Theory, Control and Computing
ICTAC — International Colloquium on Theoretical Aspects of Computing
2019 LTL to Smaller Self-Loop Alternating Automata and Back (DOI), 20 p.
Blahoudek, František – Major, Juraj – Strejček, Jan
Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings
2018 Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers (DOI), 19 p.
Jonáš, Martin – Strejček, Jan
Theoretical Aspects of Computing – ICTAC 2018
2018 Symbolic Computation via Program Transformation (DOI), 20 p.
Lauko, Henrich – Ročkai, Petr – Barnat, Jiří
Theoretical Aspects of Computing – ICTAC 2018
2017 PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing (DOI), 18 p.
Jensen, Peter G. – Larsen, Kim G. – Srba, Jiří
Proceedings of the 14th International Colloquium on Theoretical Aspects of Computing (ICTAC'17)
2014 On Clock-Aware LTL Properties of Timed Automata (DOI), 18 p.
Bezděk, Peter – Beneš, Nikola – Havel, Vojtěch – Barnat, Jiří – Černá, Ivana
Theoretical Aspects of Computing – ICTAC 2014
2013 On Refinements of Boolean and Parametric Modal Transition Systems (DOI), 18 p.
Křetínský, Jan – Sickert, Salomon
Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium
2015 not ranked: tool paper CAAL: Concurrency Workbench, Aalborg Edition (DOI), 10 p.
Andersen, Jesper R. – Andersen, Nicklas – Enevoldsen, Soeren – Hansen, Mathias M. – Larsen, Kim G. – Olesen, Simon R. – Srba, Jiří – Wortmann, Jacob K.
Proceedings of the 12th International Colloquium on Theoretical Aspects of Computing (ICTAC'15)
ICTAI — International Conference on Tools with Artificial Intelligence
2018 Sum-of-Products with Default Values: Algorithms and Complexity Results (DOI), 5 p.
Ganian, Robert – Kim, Eunjung – Slivovsky, Friedrich – Szeider, Stefan
IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI)
IDEAS — Database Engineering and Applications Symposium
2018 Continuous Time-Dependent kNN Join by Binary Sketches (DOI), 10 p.
Nálepa, Filip – Batko, Michal – Zezula, Pavel
IDEAS 2018 : 22nd International Database Engineering & Applications Symposium, June 18-20, 2018, Villa San Giovanni, Italy
2018 WalDis: Mining Discriminative Patterns within Dynamic Graphs (DOI), 8 p.
Vaculík, Karel – Popelínský, Lubomír
IDEAS '18 Proceedings of the 22nd International Database Engineering & Applications Symposium
2017 Rapid automatic vehicle manufacturer recognition using Random forest (DOI), 8 p.
Sedlák, Jan – Popelínský, Lubomír
Proceedings of the 21st International Database Engineering Applications Symposium, IDEAS
2013 Content-based annotation and classification framework: a general multi-purpose approach (DOI), 10 p.
Batko, Michal – Botorek, Jan – Budíková, Petra – Zezula, Pavel
Proceedings of the 17th International Database Engineering & Applications Symposium
2019 not ranked: poster A genetic algorithm for discriminative graph pattern mining (DOI), 2 p.
Vaculík, Karel – Popelínský, Lubomír
Proceedings of the 23rd International Database Applications & Engineering Symposium, IDEAS 2019, Athens, Greece
2014 not ranked: short paper Rapid prototyping of a web categorization tool (DOI), 4 p.
Navrátil, Jaromír – Popelínský, Lubomír
IDEAS '14 Proceedings of the 18th International Database Engineering & Applications Symposium
2014 not ranked: poster The Influence of Social Data on Student Success Prediction, 2 p.
Bydžovská, Hana – Popelínský, Lubomír
Proceedings of the 18th International Database Engineering & Applications Symposium - IDEAS 2014
IE — Intelligent Environments
2014 not ranked: workshop Boulevard: Affective Adaptive User Interface (DOI), 6 p.
Eichler, Zdenek
Volume 18: Workshop Proceedings of the 10th International Conference on Intelligent Environments
IEEE IS — IEEE International Conference on Intelligent Systems
2018 Investigating Body Transfer Illusion from Human to Monkey Body (DOI), 8 p.
Javorský, Tomáš – Škola, Filip – Sylaiou, Stella – Martins, João – Liarokapis, Fotis
2018 International Conference on Intelligent Systems (IS 2018)
IEEE SPIN — Signal Processing and Integrated Networks
2015 DNS Traffic Analysis for Malicious Domains Detection (DOI), 6 p.
Ghafir, Ibrahim – Přenosil, Václav
Proceedings of International Conference on Signal Processing and Integrated networks
IFIP SEC — International Conference on Information Security and Privacy Protection
2018 Practical Cryptographic Data Integrity Protection with Full Disk Encryption (DOI), 15 p.
Brož, Milan – Patočka, Mikuláš – Matyáš, Václav
2018 IFIP International Conference on ICT Systems Security and Privacy Protection
IFM — Integrated Formal Methods
2019 Accelerating Parameter Synthesis Using Semi-algebraic Constraints (DOI), 19 p.
Beneš, Nikola – Brim, Luboš – Geletka, Martin – Pastva, Samuel – Šafránek, David
Integrated Formal Methods
2019 Evaluation of Program Slicing in Software Verification (DOI), 19 p.
Chalupa, Marek – Strejček, Jan
Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings
2016 Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC (DOI), 9 p.
Korenčiak, Ľuboš – Řehák, Vojtěch – Farmadin, Adrian
Integrated Formal Methods
INTED — International Technology, Education and Development Conference
2015 ASSESSMENT OF PROJECT BASED LEARNING IN SOFTWARE ENGINEERING, 6 p.
Ráček, Jaroslav – Daňa, Josef – Štěpánek, Petr
INTED2015 Proceedings
2014 EDUCATION AS SERVICE SYSTEM (URL), 5 p.
Walletzký, Leonard
INTED2014: 8TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE
IPEC — Parameterized and Exact Computation
2018 FO model checking of geometric graphs (DOI), 12 p.
Hliněný, Petr – Pokrývka, Filip – Roy, Bodhayan
12th International Symposium on Parameterized and Exact Computation (IPEC 2017)
2014 A Parameterized Study of Maximum Generalized Pattern Matching Problems (DOI), 12 p.
Ordyniak, Sebastian – Popa, Alexandru
Lecture Notes in Computer Science
2014 Finite Integer Index of Pathwidth and Treewidth (DOI), 12 p.
Ordyniak, Sebastian – Gajarský, Jakub – Reidl, Felix – Rossmanith, Peter – Obdržálek, Jan – Sánchez Vilaamil, Fernando
IPEC 2014, LNCS 8246
2013 Parameterized Algorithms for Modular-Width (DOI), 14 p.
Gajarský, Jakub – Lampis, Michael – Ordyniak, Sebastian
Parameterized and Exact Computation
IRI — International Conference on Information Reuse and Integration for Data Science
2018 not ranked: workshop How to exploit Recommender Systems in Social Media (DOI), 5 p.
Persia, Fabio – Ge, Mouzhi – D'Auria, Daniela
Proceedings of the IEEE 19th International Conference on Information Reuse and Integration for Data Science
ISBI — International Symposium on Biomedical Imaging
2019 DIC Image Segmentation of Dense Cell Populations by Combining Deep Learning and Watershed (DOI), 4 p.
Lux, Filip – Matula, Petr
IEEE 16th International Symposium on Biomedical Imaging
2018 Segmentation of Actin-Stained 3D Fluorescent Cells with Filopodial Protrusions using Convolutional Neural Networks (DOI), 5 p.
Castilla, Carlos – Maška, Martin – Sorokin, Dmitry – Meijering, Erik – Ortiz-de-Solorzano, Carlos
15th IEEE International Symposium on Biomedical Imaging
2017 Fast reconstruction of image deformation field using radial basis function (DOI), 5 p.
Ručka, Lukáš – Peterlík, Igor
2017 IEEE 14th International Symposium on Biomedical Imaging (ISBI)
2017 Model-Based Generation of Synthetic 3D Time-Lapse Sequences of Motile Cells with Growing Filopodia (DOI), 5 p.
Sorokin, Dmitry – Peterlík, Igor – Ulman, Vladimír – Svoboda, David – Maška, Martin
14th IEEE International Symposium on Biomedical Imaging
2016 Texture Analysis of 3D Fluorescence Microscopy Images Using RSurf 3D Features (DOI), 5 p.
Stoklasa, Roman – Majtner, Tomáš
International Symposium on Biomedical Imaging (ISBI'16)
2015 Automated Cell Segmentation in Phase-Contrast Images based on Classification and Region Growing (DOI), 5 p.
Stoklasa, Roman – Bálek, Lukáš – Krejčí, Pavel – Matula, Petr
Proceedings of 2015 IEEE International Symposium on Biomedical Imaging, 2015.
2015 On Proper Simulation of Chromatin Structure in Static Images As Well As in Time-Lapse Sequences in Fluorescence Microscopy (DOI), 5 p.
Svoboda, David – Ulman, Vladimír – Peterlík, Igor
Proceedings of 2015 IEEE International Symposium on Biomedical Imaging
2014 NON-RIGID CONTOUR-BASED TEMPORAL REGISTRATION OF 2D CELL NUCLEI IMAGES USING THE NAVIER EQUATION (DOI), 4 p.
Sorokin, Dmitry – Tektonidis, Marco – Rohr, Karl – Matula, Pavel
IEEE International Symposium on Biomedical Imaging: Nano to Macro
2013 Automatic Quantification of Filopodia-Based Cell Migration (DOI), 4 p.
Maška, Martin – Morales, Xabier – Muñoz-Barrutia, Arrate – Rouzaut, Ana – Ortiz-de-Solórzano, Carlos
10th IEEE International Symposium on Biomedical Imaging
ISESS — International Symposium on Environmental Software Systems
2017 Planning and Scheduling for Optimizing Communication in Smart Grids (DOI), 11 p.
Kadlec, Miroslav – Bühnová, Barbora – Pitner, Tomáš
12th International Symposium on Environmental Software Systems, ISESS 2017;
2017 Semantic BMS: Ontology for Analysis of Building Operation Efficiency (DOI), 11 p.
Kučera, Adam – Pitner, Tomáš
Environmental Software Systems. Computer Science for Environmental Protection.
2015 Process design patterns in emergency management (DOI), 11 p.
Pitner, Tomáš – Ludík, Tomáš
11th IFIP WG 5.11 International Symposium on Environmental Software Systems, ISESS 2015
2013 A framework for monitoring and evaluation of learning processes (DOI), 8 p.
Pekárková, Lucie – Eibenová, Patrícia – Pitner, Tomáš
Environmental Software Systems. Fostering Information Sharing
2013 Intelligent Facility Management for Sustainability and Risk Management (DOI), 10 p.
Kučera, Adam – Pitner, Tomáš
Environmental Software Systems. Fostering Information Sharing
2013 Pedestrian Localization in Closed Environments (DOI), 9 p.
Ševčík, Jonáš
Environmental Software Systems. IFIP Advances in Information and Communication Technology
ISM — International Symposium on Multimedia
2018 Multi-modal Image Retrieval for Search-based Image Annotation with RF (DOI), 9 p.
Budíková, Petra – Batko, Michal – Zezula, Pavel
2018 IEEE INTERNATIONAL SYMPOSIUM ON MULTIMEDIA (ISM 2018)
2017 A Real-Time Annotation of Motion Data Streams (DOI), 8 p.
Eliáš, Petr – Sedmidubský, Jan – Zezula, Pavel
19th IEEE International Symposium on Multimedia
2019 not ranked: short paper Augmenting Spatio-Temporal Human Motion Data for Effective 3D Action Recognition (DOI), 4 p.
Sedmidubský, Jan – Zezula, Pavel
21st IEEE International Symposium on Multimedia (ISM)
2019 not ranked: short paper Understanding the Gap between 2D and 3D Skeleton-Based Action Recognition (DOI), 4 p.
Eliáš, Petr – Sedmidubský, Jan – Zezula, Pavel
21st IEEE International Symposium on Multimedia (ISM)
2017 not ranked: demo A Web Application for Subsequence Matching in 3D Human Motion Data (DOI), 2 p.
Sedmidubský, Jan – Zezula, Pavel
19th IEEE International Symposium on Multimedia
2017 not ranked: short paper Enhancing Effectiveness of Descriptors for Searching and Recognition in Motion Capture Data (DOI), 4 p.
Sedmidubský, Jan – Eliáš, Petr – Zezula, Pavel
19th IEEE International Symposium on Multimedia
2014 not ranked: short paper Towards Fast Multimedia Feature Extraction: Hadoop or Storm (DOI), 4 p.
Mera Pérez, David – Batko, Michal – Zezula, Pavel
Proceedings of 2014 IEEE International Symposium on Multimedia (ISM)
ITHET — International Conference on Information Technology Based Higher Education and Training
2016 CoUnSiL: A Videoconferencing Environment for Interpretation of Sign Language (DOI), 8 p.
Rusňák, Vít – Troubil, Pavel – Hladká, Eva – Daxnerová, Desana – Kajaba, Pavel – Minárik, Matej – Ondra, Svatoslav – Sklenák, Tomáš
2016 15th International Conference on Information Technology Based Higher Education and Training (ITHET)
IV — International Conference on Information Visualisation
2015 Examining User Experiences Through A Multimodal BCI Puzzle Game (DOI), 6 p.
Liarokapis, Fotis – Vourvopoulos, Athanasios – Ene, Alina
Proc. of the 19th International Conference on Information Visualisation (IV 2015)
2015 Perceived Realism of Crowd Behaviour with Social Forces (DOI), 6 p.
O'Connor, Stuart – Liarokapis, Fotis – Chrisina, Jayne
Proc. of the 19th International Conference on Information Visualisation (IV 2015)
IWCMC — International Wireless Communications and Mobile Computing Conference
2019 SeMLAS: An Efficient Secure Multi-Level Authentication Scheme for IoT-Based Smart Home Systems (DOI), 6 p.
Mbarek, Bacem – Bühnová, Barbora – Pitner, Tomáš
The 15th International Wireless Communications & Mobile Computing Conference (IWCMC 2019)
2018 Machine Learning Fingerprinting Methods in Cyber Security Domain: Which one to Use? (DOI), 6 p.
Laštovička, Martin – Dufka, Antonín – Komárková, Jana
Proceedings of the 14th International Wireless Communications and Mobile Computing Conference
2018 Towards Predicting Cyber Attacks Using Information Exchange and Data Mining (DOI), 6 p.
Husák, Martin – Kašpar, Jaroslav
2018 14th International Wireless Communications & Mobile Computing Conference (IWCMC)
IWOCA — International Workshop on Combinatorial Algorithms
2015 Approximation and hardness results for the maximum edges in transitive closure problem (DOI), 11 p.
Adamaszek, Anna – Blin, G. – Popa, Alexandru
25th International Workshop on Combinatorial Algorithms, IWOCA 2014, LNCS 8986
2015 The Min-max Edge q-Coloring Problem (DOI), 12 p.
Larjomaa, Tommi – Popa, Alexandru
25th International Workshop, IWOCA 2014, LNCS 8986
2013 Expanding the Expressive Power of Monadic Second-Order Logic on Restricted Graph Classes (DOI), 14 p.
Obdržálek, Jan – Ganian, Robert
Combinatorial Algorithms 24th International Workshop, IWOCA 2013
L@S — Conference on Learning at Scale
2019 not ranked: work in progress Measuring Difficulty of Introductory Programming Tasks (DOI), 4 p.
Effenberger, Tomáš – Čechák, Jaroslav – Pelánek, Radek
Proceedings of the Sixth (2019) ACM Conference on Learning @ Scale (L@S '19)
2019 not ranked: work in progress Measuring Students’ Performance on Programming Tasks (DOI), 4 p.
Effenberger, Tomáš – Pelánek, Radek
Proceedings of the Sixth (2019) ACM Conference on Learning @ Scale (L@S '19)
2018 not ranked: work in progress Exploring the Utility of Response Times and Wrong Answers for Adaptive Learning (DOI), 4 p.
Pelánek, Radek
Learning @ Scale
2018 not ranked: work in progress Measuring Item Similarity in Introductory Programming (DOI), 4 p.
Pelánek, Radek – Effenberger, Tomáš – Vaněk, Matěj – Sassmann, Vojtěch – Gmiterko, Dominik
Proceedings of the Fifth Annual ACM Conference on Learning at Scale
2018 not ranked: work in progress Towards making block-based programming activities adaptive (DOI), 4 p.
Effenberger, Tomáš – Pelánek, Radek
Learning @ Scale
LAK — Learning Analytics and Knowledge
2016 Evaluation of an Adaptive Practice System for Learning Geography Facts (DOI), 9 p.
Papoušek, Jan – Stanislav, Vít – Pelánek, Radek
Proceedings of the Sixth International Conference on Learning Analytics & Knowledge
2016 Impact of Data Collection on Interpretation and Evaluation of Student Models (DOI), 8 p.
Pelánek, Radek – Řihák, Jiří – Papoušek, Jan
Proceedings of the Sixth International Conference on Learning Analytics & Knowledge
LATIN — Latin American Theoretical Informatics
2016 Edge-Editing to a Dense and a Sparse Graph Class (DOI), 14 p.
Kotrbčík, Michal – Královič, Rastislav – Ordyniak, Sebastian
LATIN 2016: Latin American Symposium on Theoretical Informatics
2014 Algorithmic and Hardness Results for the Colorful Components Problems (DOI), 12 p.
Adamaszek, Anna – Popa, Alexandru
11th Latin American Theoretical Informatics Symposium, LATIN 2014
LREC — Language Resources and Evaluation
2016 European Union Language Resources in Sketch Engine (URL), 5 p.
Baisa, Vít – Michelfeit, Jan – Medveď, Marek – Jakubíček, Miloš
Proceedings of the Tenth International Conference on Language Resources and Evaluation (LREC 2016)
2016 Finding Definitions in Large Corpora with Sketch Engine, 4 p.
Kovář, Vojtěch – Močiariková, Monika – Rychlý, Pavel
Proceedings of the Tenth International Conference on Language Resources and Evaluation (LREC 2016)
2016 Graded and Word-Sense-Disambiguation Decisions in Corpus Pattern Analysis: a Pilot Study, 7 p.
Cinkova, Silvie – Krejčová, Ema – Vernerová, Anna – Baisa, Vít
Proceedings of the Tenth International Conference on Language Resources and Evaluation (LREC 2016)
2016 VPS-GradeUp: Graded Decisions on Usage Patterns (URL), 5 p.
Baisa, Vít – Cinkova, Silvie – Krejčová, Ema – Vernerová, Anna
Proceedings of the Tenth International Conference on Language Resources and Evaluation (LREC 2016)
2014 Disambiguating Verbs by Collocation: Corpus Lexicography meets Natural Language Processing (URL), 6 p.
El Maarouf, Ismaïl – Jane, Bradbury – Baisa, Vít – Hanks, Patrick
Proceedings of the Ninth International Conference on Language Resources and Evaluation (LREC'14)
2014 Extrinsic Corpus Evaluation with a Collocation Dictionary Task (URL), 8 p.
Kilgarriff, Adam – Rychlý, Pavel – Jakubíček, Miloš – Kovář, Vojtěch – Baisa, Vít – Kocincová, Lucia
Proceedings of the Ninth International Conference on Language Resources and Evaluation (LREC'14)
2014 HindEnCorp – Hindi-English and Hindi-only Corpus for Machine Translation (URL), 6 p.
Bojar, Ondřej – Diatka, Vojtěch – Rychlý, Pavel – Straňák, Pavel – Suchomel, Vít – Tamchyna, Aleš – Zeman, Daniel
Proceedings of the Ninth International Conference on Language Resources and Evaluation (LREC'14)
2014 not ranked: workshop Behaviour of Collocations in the Language of Legal Subdomains, 4 p.
Cvrček, František – Pala, Karel – Rychlý, Pavel
LREC 2014 - NINTH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION
MMAR — Methods and Models in Automation and Robotics
2016 Application of Sampling-based Path Planning for Tunnel Detection in Dynamic Protein Structures (DOI), 6 p.
Vonásek, Vojtěch – Kozlíková, Barbora
MMAR: 21st International Conference on Methods and Models in Automation and Robotics
NLDB — International Conference on Applications of Natural Language to Information Systems
2015 not ranked: poster Management and Publishing of Multimedia Dictionary of the Czech Sign Language (DOI), 5 p.
Rambousek, Adam – Horák, Aleš
Natural Language Processing and Information Systems, NLDB 2015
NOMS — Network Operations and Management Symposium
2018 Passive OS Fingerprinting Methods in the Jungle of Wireless Networks (DOI), 9 p.
Laštovička, Martin – Jirsík, Tomáš – Čeleda, Pavel – Špaček, Stanislav – Filakovský, Daniel
NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium
2018 not ranked: demo Community Based Platform for Vulnerability Categorization (DOI), 2 p.
Komárková, Jana – Sadlek, Lukáš – Laštovička, Martin
NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium
2018 not ranked: demo Passive OS Fingerprinting Prototype Demonstration (DOI), 2 p.
Laštovička, Martin – Filakovský, Daniel
NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium
2018 not ranked: demo Stream4Flow: Real-time IP Flow Host Monitoring using Apache Spark (DOI), 2 p.
Jirsík, Tomáš
NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium
2018 not ranked: mini-conference Toward Real-time Network-wide Cyber Situational Awareness (DOI), 7 p.
Jirsík, Tomáš – Čeleda, Pavel
NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium
2016 not ranked: experience session Network Traffic Characterisation Using Flow-Based Statistics (DOI), 6 p.
Velan, Petr – Medková, Jana – Jirsík, Tomáš – Čeleda, Pavel
IEEE/IFIP Network Operations and Management Symposium 2016 (NOMS 2016)
NSS — International Conference on Network and System Security
2015 Service in denial – clouds going with the winds (DOI), 14 p.
Bukač, Vít – Šťavová, Vlasta – Němec, Lukáš – Říha, Zdeněk – Matyáš, Václav
Network and System Security, 9th International Conference, NSS 2015, New York, NY, USA, November 3-5, 2015, Proceedings
2017 not ranked: workshop Coincer: Decentralised Trustless Platform for Exchanging Decentralised Cryptocurrencies (DOI), 11 p.
Zima, Michal
Network and System Security: 11th International Conference, NSS 2017, Helsinki, Finland, August 21--23, 2017, Proceedings
NTCIR — Evaluation of Information Access Technologies
2016 Math Indexer and Searcher under the Hood: Fine-Tuning Query Expansion and Unification Strategies (URL), 7 p.
Růžička, Michal – Sojka, Petr – Líška, Martin
Proceedings of the 12th NTCIR Conference on Evaluation of Information Access Technologies
2014 Math Indexer and Searcher under the Hood: History and Development of a Winning Strategy (URL), 8 p.
Růžička, Michal – Sojka, Petr – Líška, Martin
Proceedings of the 11th NTCIR Conference on Evaluation of Information Access Technologies
2014 Yamraj: Binary-class and Multi-class based Textual Entailment System for Japanese (JA) and Chinese Simplified (CS) (URL), 6 p.
Pakray, Partha
Proceedings of the 11th NTCIR Conference on Evaluation of Information Access Technologies
2013 Similarity Search for Mathematics: Masaryk University team at the NTCIR-10 Math Task (URL), 6 p.
Líška, Martin – Sojka, Petr – Růžička, Michal
Proceedings of the 10th NTCIR Conference on Evaluation of Information Access Technologies
PacificVis — Pacific Visualization Symposium
2019 Visual Analysis of Ligand Trajectories in Molecular Dynamics (DOI), 10 p.
Jurčík, Adam – Furmanová, Katarína – Byška, Jan – Vonásek, Vojtěch – Vávra, Ondřej – Ulbrich, Pavol – Hauser, Helwig – Kozlíková, Barbora
IEEE Pacific Visualization Symposium 2019
2016 Accelerated Visualization of Transparent Molecular Surfaces in Molecular Dynamics (DOI), 8 p.
Jurčík, Adam – Parulek, Julius – Sochor, Jiří – Kozlíková, Barbora
IEEE Pacific Visualization Symposium 2016
PATAT — Practice and Theory of Automated Timetabling
2016 Online Problems in Timetabling: Bus Priority at Signalised Junctions, 14 p.
Cogill, Randall – Mareček, Jakub – Mevissen, Martin – Rudová, Hana
Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT-2016)
2016 Teacher-oriented Fairness in Course Timetabling, 12 p.
Burget, Rostislav – Rudová, Hana
Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT-2016)
2018 not ranked: invited talk University course timetabling and International Timetabling Competition 2019 (URL), 27 p.
Müller, Tomáš – Rudová, Hana – Müllerová, Zuzana
Proceedings of the 12th International Conference on the Practice and Theory of Automated Timetabling
2014 not ranked: extended abstract Master State Examination Timetabling, 3 p.
Rudová, Hana – Rousek, Jiří – Štefánik, Radoslav
PATAT 2014 - Proceedings of the 10th International Conference on the Practice and Theory of Automated Timetabling
PDP — Euromicro International Conference on Parallel, Distributed and Network-Based Processing
2014 not ranked: short paper Model Checking Parallel Programs with Inputs (DOI), 4 p.
Barnat, Jiří – Bauch, Petr – Havel, Vojtěch
Proceedings of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP)
PETRA — PErvasive Technologies Related to Assistive Environments
2019 Investigating motion sickness techniques for immersive virtual environments (DOI), 9 p.
Lukš, Roman – Liarokapis, Fotis
Proceedings of the 12th ACM International Conference on PErvasive Technologies Related to Assistive Environments, ACM Press, 280-288, 2019.
2016 Examining User Experiences in a Mobile Augmented Reality Tourist Guide (DOI), 8 p.
Střelák, David – Škola, Filip – Liarokapis, Fotis
Proc. of the 9th International Conference on PErvasive Technologies Related to Assistive Environments (Petra 2016), ACM Press, Corfu Island, Greece, 29 June - 1 July
PROFES — Product-Focused Software Process Improvement
2016 Is Mutation Testing Ready to Be Adopted Industry-Wide? (DOI), 16 p.
Možucha, Jakub – Rossi, Bruno
Product-Focused Software Process Improvement (PROFES)
QEST — Quantitative Evaluation of Systems
2019 Strategy Representation by Decision Trees with Linear Classifiers (DOI), 20 p.
Ashok, Pranav – Brázdil, Tomáš – Chatterjee, Krishnendu – Křetínský, Jan – Lampert, Christoph – Toman, Viktor
Quantitative Evaluation of Systems (QEST 2019)
2018 Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems (DOI), 17 p.
Ivanov, Dmitry – Larsen, Kim G. – Schupp, Sibylle – Srba, Jiří
Proceedings of the 15th International Conference on Quantitative Evaluation of SysTems (QEST'18)
2017 Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms (DOI), 17 p.
Baier, Christel – Dubslaff, Clemens – Korenčiak, Ľuboš – Kučera, Antonín – Řehák, Vojtěch
Quantitative Evaluation of Systems
2016 Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent (DOI), 16 p.
Brázdil, Tomáš – Bartocci, Ezio – Milios, Dimitrios – Sanguinetti, Guido – Bortolussi, Luca
Proceedings of QEST 2016
2015 Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis (DOI), 19 p.
Brázdil, Tomáš – Korenčiak, Ľuboš – Krčál, Jan – Novotný, Petr – Řehák, Vojtěch
Quantitative Evaluation of Systems
RANLP — Recent Advances in Natural Language Processing
2019 not ranked: poster Benchmark Dataset for Propaganda Detection in Czech Newspaper Texts (DOI), 7 p.
Horák, Aleš – Baisa, Vít – Herman, Ondřej
Proceedings of Recent Advances in Natural Language Processing, RANLP 2019
2019 not ranked: poster Exploiting Open IE for Deriving Multiple Premises Entailment Corpus (DOI), 8 p.
Víta, Martin – Klímek, Jakub
Proceedings of Recent Advances in Natural Language Processing
SAFECOMP — Computer Safety, Reliability and Security
2016 Effective static and dynamic fault tree analysis. (DOI), 15 p.
Bäckström, Ola – Butkova, Yuliya – Hermanns, Holger – Krčál, Jan – Krčál, Pavel
In International Conference on Computer Safety, Reliability, and Security
SBAC-PAD — Computer Architecture and High Performance Computing
2015 OpenCL Kernel Fusion for GPU, Xeon Phi and CPU (DOI), 8 p.
Filipovič, Jiří – Benkner, Siegfried
Proceedings of IEEE International Symposium on Computer Architecture and High Performance Computing
SEAA — Software Engineering and Advanced Applications
2014 Towards an Improvement of Bug Severity Classification (DOI), 8 p.
Singha Roy, Nivir Kanti – Rossi, Bruno
40th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2014
2017 not ranked: short paper Cost-Sensitive Strategies for Data Imbalance in Bug Severity Classification: Experimental Results (DOI), 4 p.
Singha Roy, Nivir Kanti – Rossi, Bruno
43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA) 2017
2017 not ranked: short paper Smart Grids Co-Simulations with Low-Cost Hardware (DOI), 4 p.
Schvarcbacher, Martin – Rossi, Bruno
43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA) 2017
2016 not ranked: short paper Automated Bug Triaging in an Industrial Context (DOI), 5 p.
Dedík, Václav – Rossi, Bruno
42nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA) 2016
SECRYPT — International Conference on Security and Cryptography
2019 I want to break square-free: The 4p - 1 factorization method and its RSA backdoor viability (DOI), 12 p.
Sedláček, Vladimír – Klinec, Dušan – Sýs, Marek – Švenda, Petr – Matyáš, Václav
Proceedings of the 16th International Joint Conference on e-Business and Telecommunications (ICETE 2019) - Volume 2: SECRYPT
2017 The Efficient Randomness Testing using Boolean Functions (DOI), 12 p.
Sýs, Marek – Klinec, Dušan – Švenda, Petr
Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017) - Volume 4: SECRYPT, Madrid, Spain, July 24-26, 2017
2013 Towards cryptographic function distinguishers with evolutionary circuits (URL), 12 p.
Švenda, Petr – Ukrop, Martin – Matyáš, Václav
Proceedings of SECRYPT 2013, 10th International Conference on Security and Cryptography
2014 not ranked: short paper Constructing empirical tests of randomness (DOI), 9 p.
Sýs, Marek – Švenda, Petr – Ukrop, Martin – Matyáš, Václav
SECRYPT 2014 Proceedings of the 11th International Conference on Security and Cryptography
SecureComm — International Conference on Security and Privacy in Communication Networks
2013 Two Improvements of Random Key Predistribution for Wireless Sensor Networks (DOI), 15 p.
Kůr, Jiří – Matyáš, Václav – Švenda, Petr
Security and Privacy in Communication Networks, Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Volume 106
SEFM — International Conference on Software Engineering and Formal Methods
2019 Local Nontermination Detection for Parallel C++ Programs (DOI), 18 p.
Štill, Vladimír – Barnat, Jiří
International Conference on Software Engineering and Formal Methods
2019 Reproducible Execution of POSIX Programs with DiOS (DOI), 17 p.
Ročkai, Petr – Baranová, Zuzana – Mrázek, Jan – Kejstová, Katarína – Barnat, Jiří
Software Engineering and Formal Methods
2018 Online Enumeration of All Minimal Inductive Validity Cores (DOI), 16 p.
Bendík, Jaroslav – Ghassabani, Elaheh – Whalen, Michael – Černá, Ivana
Software Engineering and Formal Methods - 16th International Conference
2016 Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis (DOI), 16 p.
Bendík, Jaroslav – Beneš, Nikola – Barnat, Jiří – Černá, Ivana
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016
2016 LTL Parameter Synthesis of Parametric Timed Automata (DOI), 16 p.
Bezděk, Peter – Beneš, Nikola – Barnat, Jiří – Černá, Ivana
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016.
2015 Techniques for Memory-Efficient Model Checking of C and C++ Code (DOI), 15 p.
Ročkai, Petr – Štill, Vladimír – Barnat, Jiří
Software Engineering and Formal Methods
SemEval — International Workshop on Semantic Evaluation
2015 SemEval-2015 Task 15: A CPA dictionary-entry-building task (URL), 10 p.
Baisa, Vít – Bradbury, Jane – Cinková, Silvie – El Maarouf, Ismaïl – Kilgarriff, Adam – Popescu, Octavian
Proceedings of the 9th International Workshop on Semantic Evaluation (SemEval 2015)
SENSORS — IEEE Sensors
2017 Fast Digital Spectrometer for Mixed Radiation Fields (DOI), 3 p.
Pavelek, Martin – Matěj, Zdeněk – Herman, Ondřej – Mravec, Filip – Veškrna, Martin – Cvachovec, František – Košťál, Michal – Přenosil, Václav
2017 IEEE SENSORS Proceedings
SIGDOC — International Conference on the Design of Communication
2013 Understanding the process of learning touch-screen mobile applications (DOI), 8 p.
Mačková Tokárová, Lucia – Weideman, Melius
Proceedings of the 31st ACM international conference on Design of communication (SIGDOC 2013)
SOCO — Software Composition
2014 Smart Home Modeling with Real Appliances (DOI), 10 p.
Prýmek, Miroslav – Horák, Aleš – Prokop, Lukáš – Mišák, Stanislav
International Conference SOCO’13
SOFSEM — Current Trends in Theory and Practice of Computer Science
2013 Dynamic Voting Interface in Social Media: Does it Affect Individual Votes? (DOI), 12 p.
Tsikerdekis, Michail
SOFSEM 2013: Theory and Practice of Computer Science
2015 not ranked: invited talk Quo Vadis Explicit-State Model Checking (DOI), 12 p.
Barnat, Jiří
SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science
SPIN — International Symposium on Model Checking of Software
2019 Model Verification Through Dependency Graphs (DOI), 19 p.
Enevoldsen, Soeren – Larsen, Kim G. – Srba, Jiří
Proceedings of the 26th International SPIN Symposium on Model Checking of Software (SPIN'19)
2019 String Abstraction for Model Checking of C Programs (DOI), 20 p.
Ročkai, Petr – Lauko, Henrich – Olliaro, Martina – Cortesi, Agostino
Model Checking Software
2018 Joint Forces for Memory Safety Checking (DOI), 18 p.
Chalupa, Marek – Strejček, Jan – Vitovská, Martina
Model Checking Software. SPIN 2018
2016 Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization (DOI), 18 p.
Jensen, Peter G. – Larsen, Kim G. – Srba, Jiří
Proceedings of the 23rd International SPIN Symposium on Model Checking of Software (SPIN'16)
2015 Fast, Dynamically-Sized Concurrent Hash Table (DOI), 17 p.
Barnat, Jiří – Ročkai, Petr – Štill, Vladimír – Weiser, Jiří
Model Checking Software
2015 On Refinement of Büchi Automata for Explicit Model Checking (DOI), 18 p.
Blahoudek, František – Duret-Lutz, Alexandre – Rujbr, Vojtěch – Strejček, Jan
2015 International SPIN Symposium on Model Checking of Software
2014 Is there a best Büchi automaton for explicit model checking? (DOI), 9 p.
Blahoudek, František – Duret-Lutz, Alexandre – Křetínský, Mojmír – Strejček, Jan
2014 International SPIN Symposium on Model Checking of Software
2013 Compositional Approach to Suspension and Other Improvements to LTL Translation (DOI), 18 p.
Babiak, Tomáš – Badie, Thomas – Duret-Lutz, Alexandre – Křetínský, Mojmír – Strejček, Jan
Model Checking Software - 20th International Symposium, SPIN 2013
2013 Local Model Checking of Weighted CTL with Upper-Bound Constraints (DOI), 18 p.
Jensen, Jonas F. – Larsen, Kim G. – Srba, Jiří – Oestergaard, Lars K.
Proceedings of International SPIN Symposium on Model Checking of Software (SPIN'13)
2016 not ranked: tool paper SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration (DOI), 6 p.
Mrázek, Jan – Bauch, Petr – Lauko, Henrich – Barnat, Jiří
Model Checking Software
TrustBus — International Conference on Trust, Privacy and Security in Digital Business
2014 A protocol for intrusion detection in location privacy-aware wireless sensor networks (DOI), 11 p.
Kůr, Jiří – Matyáš, Václav
Trust, Privacy, and Security in Digital Business, 11th International Conference, TrustBus 2014
TSD — Text, Speech and Dialogue
2018 Corpus Annotation Pipeline for Non-standard Texts (DOI), 9 p.
Pelikánová, Zuzana – Nevěřilová, Zuzana
Text, Speech, and Dialogue, 21st International Conference, TSD 2018
2018 Recognition of OCR Invoice Metadata Block Types (DOI), 9 p.
Ha, Hien Thi – Horák, Aleš – Medveď, Marek – Nevěřilová, Zuzana
Text, Speech, and Dialogue, 21st International Conference, TSD 2018
2017 Text Punctuation: An Inter-annotator Agreement Study (DOI), 9 p.
Boháč, Marek – Rott, Michal – Kovář, Vojtěch
Text, Speech, and Dialogue: 20th International Conference, TSD 2017
2016 AQA: Automatic Question Answering System for Czech (DOI), 9 p.
Medveď, Marek – Horák, Aleš
Text, Speech, and Dialogue 19th International Conference, TSD 2016 Brno, Czech Republic, September 12–16, 2016 Proceedings
2016 Annotated Amharic Corpora (DOI), 8 p.
Rychlý, Pavel – Suchomel, Vít
Text, Speech, and Dialogue 19th International Conference, TSD 2016 Brno, Czech Republic, September 12–16, 2016 Proceedings
2016 Annotation of Czech Texts with Language Mixing (DOI), 8 p.
Nevěřilová, Zuzana
Text, Speech, and Dialogue 19th International Conference, TSD 2016 Brno, Czech Republic, September 12–16, 2016 Proceedings
2016 Building Corpora for Stylometric Research (DOI), 8 p.
Švec, Ján – Rygl, Jan
Text, Speech, and Dialogue - 19th International Conference
2016 Evaluation and Improvements in Punctuation Detection for Czech (DOI), 8 p.
Kovář, Vojtěch – Machura, Jakub – Zemková, Kristýna – Rott, Michal
Text, Speech, and Dialogue 19th International Conference, TSD 2016 Brno, Czech Republic, September 12–16, 2016 Proceedings
2015 Derivancze - Derivational Analyzer of Czech (DOI), 9 p.
Pala, Karel – Šmerk, Pavel
International Conference on Text, Speech, and Dialogue, TSD 2015
2014 An Experiment with Theme–Rheme Identification (DOI), 10 p.
Pala, Karel – Svoboda, Ondřej
An Experiment with Theme–Rheme Identification
2014 Automatic Adaptation of Author's Stylometric Features to Document Types (DOI), 9 p.
Rygl, Jan
Text, Speech, and Dialogue - 17th International Conference
2014 Ontology Based Strategies for Supporting Communication within Social Networks (DOI), 8 p.
Kopeček, Ivan – Ošlejšek, Radek – Plhák, Jaromír
17th International Conference on Text, Speech and Dialogue
2014 Paraphrase and Textual Entailment Generation (DOI), 8 p.
Nevěřilová, Zuzana
Proceedings of 17th International Conference on Text, Speech, and Dialogue, TSD 2014
2014 Partial Grammar Checking for Czech Using the SET Parser (DOI), 7 p.
Kovář, Vojtěch
17th International Conference, TSD 2014
UCC — Utility and Cloud Computing
2013 Structured and Interoperable Logging for the Cloud Computing Era: The Pitfalls and Benefits (DOI), 8 p.
Tovarňák, Daniel – Vašeková, Andrea – Novák, Svatopluk – Pitner, Tomáš
Proceedings of 6th IEEE/ACM International Conference on Utility and Cloud Computing
UMAP — International Conference on User Modeling, Adaptation and Personalization
2017 Experimental Analysis of Mastery Learning Criteria (DOI), 8 p.
Pelánek, Radek – Řihák, Jiří
Proceedings of the 25th Conference on User Modeling, Adaptation and Personalization
2017 not ranked: extended abstract Evaluation of Learners' Adjustment of Question Difficulty in Adaptive Practice of Facts (DOI), 2 p.
Papoušek, Jan – Pelánek, Radek
Proceedings of the 25th Conference on User Modeling, Adaptation and Personalization
2017 not ranked: extended abstract Item Contents Good, User Tags Better: Empirical Evaluation of a Food Recommender System (DOI), 2 p.
Massimo, David – Elahi, Mehdi – Ricci, Francesco – Ge, Mouzhi
Proceedings of the 25th Conference on User Modeling, Adaptation and Personalization
2017 not ranked: workshop Measuring predictive performance of user models: The details matter (DOI), 5 p.
Pelánek, Radek
Adjunct Publication of the 25th Conference on User Modeling, Adaptation and Personalization
2017 not ranked: workshop Should We Give Learners Control Over Item Difficulty? (DOI), 5 p.
Papoušek, Jan – Pelánek, Radek
Personalization Approaches in Learning Environments, Adjunct Publication of the 25th Conference on User Modeling, Adaptation and Personalization
VizSEC — Visualization for Cyber Security
2019 Visual Feedback for Players of Multi-Level Capture the Flag Games: Field Usability Study (URL), 11 p.
Ošlejšek, Radek – Rusňák, Vít – Burská, Karolína – Švábenský, Valdemar – Vykopal, Jan
2019 IEEE Symposium on Visualization for Cyber Security (VizSec)
VS-Games — International Conference on Virtual Worlds and Games for Serious Applications
2017 A Serious Game for Understanding Ancient Seafaring in the Mediterranean Sea (DOI), 7 p.
Philbin-Briscoe, Oliver – Simon, Bart – Mudur, Sudhir – Poullis, Charalambos – Rizvic, Selma – Boskovic, Dusanka – Liarokapis, Fotis – Katsouri, Irene – Demesticha, Stella – Skarlatos, Dimitrios
Proc. of the 9th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games 2017)
2017 Investigating the Effect of User Profile during Training for BCI-based Games (DOI), 8 p.
Vourvopoulos, Athanasios – Niforatos, Evangelos – Hlinka, Michal – Škola, Filip – Liarokapis, Fotis
Proc. of the 9th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games 2017), IEEE Computer Society, Athens, Greece, 6-8 September
2017 Single image reconstruction of human faces using database of depth images (DOI), 8 p.
Ferková, Zuzana – Žuži, Marek – Urbanová, Petra – Matula, Petr
9th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games 2017)
2016 Procedural Modeling in Archaeology: Approximating Ionic Style Columns for Games (DOI), 8 p.
Konecny, Richard – Sylaiou, Stella – Liarokapis, Fotis
Proc. of the 8th International Conference on Games and Virtual Worlds for Serious Applications (VS-Games 2016)
2015 Fractal Nature - Generating Realistic Terrains for Games (DOI), 8 p.
Cristea, Adrian – Liarokapis, Fotis
Proc. of the 7th International Conference on Games and Virtual Worlds for Serious Applications (VS-Games 2015)
2015 Generation of variable human faces from 3D scan dataset (DOI), 8 p.
Chalás, Igor – Ferková, Zuzana – Furmanová, Katarína – Sochor, Jiří – Kozlíková, Barbora
In Proceedings of the 7th International Conference on Games and Virtual Worlds for Serious Applications
2015 The Effect of Prior Gaming Experience in Motor Imagery Training for Brain-Computer Interfaces: A Pilot Study (DOI), 8 p.
Vourvopoulos, Athanasios – Liarokapis, Fotis – Chen, Mon-Chu
Proc. of the 7th International Conference on Games and Virtual Worlds for Serious Applications (VS-Games 2015)
2019 not ranked: short paper Comparison of Trajectories and Quaternions of Folk Dance Movements Using Dynamic Time Warping (DOI), 4 p.
Kico, Iris – Liarokapis, Fotios
2019 11th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games)
2018 not ranked: short paper A Model for Eye and Head Motion for Virtual Agents (DOI), 4 p.
Krejsa, Jan – Kerouš, Bojan – Liarokapis, Fotis
Proc. of the 10th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games 2018)
2017 not ranked: short paper An Immersive Virtual Environment for Collaborative Geovisualization (DOI), 4 p.
Doležal, Milan – Chmelík, Jiří – Liarokapis, Fotis
9th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games 2017)
2016 not ranked: short paper Brain-Computer Interfaces - A Survey on Interactive Virtual Environments (DOI), 4 p.
Kerouš, Bojan – Liarokapis, Fotis
Proc. of the 8th International Conference on Games and Virtual Worlds for Serious Applications (VS-Games 2016)
2015 not ranked: short paper Continuous Collision Detection Using Tetrahedral Structures (DOI), 4 p.
Čejka, Jan
Proceedings of the 7th International Conference on Games and Virtual Worlds for Serious Applications (VS-Games 2015)
W4A — International Cross-Disciplinary Conference on Web Accessibility
2018 not ranked: demo DysHelper – The Dyslexia Assistive User Experience (DOI), 2 p.
Pařilová, Tereza – Remšíková, Romana
W4A 15th International Cross-Disciplinary Conference on Web Accessibility
WAOA — Workshop on Approximation and Online Algorithms
2014 Min-sum 2-paths problems (DOI), 11 p.
Fenner, T. – Lachisch, O. – Popa, Alexandru
11th International Workshop on Approximation and Online Algorithms, WAOA 2013, LNCS 8447
WSCG — International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision
2019 not ranked: short paper Tools for development of interactive web-based maps: application in healthcare (DOI), 8 p.
Karolyi, Matěj – Krejčí, Jan – Ščavnický, Jakub – Vyškovský, Roman – Komenda, Martin
WSCG'2019 - 27. International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision'2019