Publication Records

Selected publication/outcome records

Modal mu-Calculus with Distances (1994)
Some trends in ANN Architecture (1994)
Reducts vs. reducing operators (1994)
Finding Dominators in Parallel (1994)
On the Use of Inductive Reasoning in Program Synthesis. (1994)
Linear logic semantics for Concurrent Prolog (1994)
Inductive Logic Programing and Automatic Programming: Towards Three Approaches. (1994)
Towards Program Synthesis From A Small Example Set. (1994)
Induced Isomorphisms of Certain Ternarz Semigroups (1995)
Ternary Semigroups of morphisms of Objects in Categories (1995)
Maximum Flow Problem in Distributed Environment (1995)
WIM: A Study on Top-Down ILP Program (1995)
Data Mining: hledání znalostí v databázích (1995)
When METAFONT does it alone (1995)
Synchronisation in Scc (1995)
HYPERMEDATA: Interoperability for Healthcare Systems (1995)
The Joy of TeX2PDF - Acrobatics with an Alternative to DVI Format (1996)
Induktívní učení a jeho aplikace (1996)
A process Algebra for Synchronous Concurrent Constraint Programming (1996)
New versions of asks for synchronous communication in concurrent constraint programming (1996)
A process algebra for Synchronous Concurrent Constraint Programming (1996)
Regularity is Decidable for Normed BPA and Normed BPP Processes in Polynomial Time. (1996)
Regularity is Decidable for Normed PA Processes in Polynomial Time (1996)
Constructions of all homomorphisms of groupoids (1996)
On the Relationship between Sequential and Parallel Compositions in Process Algebras (1996)
Construction of all homomorphisms of mono-n-ary algebras (1996)
Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes (1996)
Managing Heterogeneity in Inter-Operating Medical Information Systems (1996)
HYPERMEDATA: Meta-structures for Exchanging Hypermedia Documents (1996)
Temporal Synchronous Concurrent Constraint Programming (1997)
Stepping Stones to an Information Society (1997)
Education as an Information-Age Business (1997)
Homomorphisms and strong homomorphisms of relational structures. (1997)
Foundatiomns of Computing (1997)
DESAM - Annotated Corpus for Czech (1997)
Adjusting informatics education to Information era. (1997)
Succinctness of description of SBTA-languages. (1997)
Fix-point semantics of systolic system transformations. (1997)
On Finite Representations of Infinite-State Behaviours. (1997)
Dependence Spaces (1997)
Relational structures and dependence spaces. (1997)
Systolic tree and tree-like automata (1997)
How to Parallelize Sequential Processes (1997)
Bisimilarity of Processes with Finite-State Systems (1997)
Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes (1997)
Bisimilarity of Processes with Finite-State Systems. (1997)
Word Hy-phen-ation by Neural Networks (1997)
Exchanging Medical Records: The HYPERMEDATA Solution (1998)
Relation structures and dependence spaces (1997)
Bisimilarity of Processes with Finite-State Systems (1998)
Employing Intranets in Order to Facilitate Reform of Higher Education in Czech Republic (1998)
Deadlocking States in Context-Free Process Algebra (1998)
Comparing Expressibility of Normed BPA and Normed BPP Processes. (1999)
On Finite Representations of Infinite-State Behaviours. (1999)
Mathematical Foundations of Computer Science 1998 (1998)
Zajištění efektivního přístupu k informacím v prostředí univerzity (1998)
Proceedings of the MFCS'98 Workshop on Concurrency (1998)
Reduction of Pregrammars (1998)
Reduction of Pregrammars (1998)
Approaches to Spatial Data Mining (1999)
TWiM, a tutoring system with ILP features (1998)
Inductive inference to support object-oriented analzsis and (1998)
Knowledge Discovery in Spatial Data by Means of ILP (1998)
Inteligentní vzhledávání na WWW (1998)
Quo vadis, data mining? (1997)
Invariant operators and semi-holonomic Verma modules (1998)
Architectures for Global Illumination (1999)
Hypermédia - homogenní rozhraní k heterogenním systémům (1999)
Decidability and complexity of equivalences for simple process algebras (1999)
Simulation Preorder on Simple Process Algebras (1999)
A Challenge of the World Turned Digital (1999)
Vzdělání pro informační společnost (1997)
Informace a etické standardy užití počítačů (1997)
Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time (1999)
Text, Speech and Dialogue: Second International Workshop TSD '99, Plzeň, Czech Republic, September 13-17, 1999 (1999)
HYPERMEDATA Approach: A Way to Systems Integration (1999)
A Logical Viewpoint on Process-Algebraic Quotients (1999)
NTS: Programming Languages and Paradigms (1999)
Matching Modulo Associativity and Idempotency is NP-Complete (2000)
Speech Sciences and Visually Impaired Students (1999)
Mluvíme s počítačem (1999)
Informační systémy a porozumění přirozenému jazyku (1999)
Dialogové systémy a dialogové strategie (1999)
Modeling of the Information Retrieval Dialogue Systems (1999)
Speech Recognition and Syllable Segments (1999)
Very Low Bit Rate Speech Coding: Comparison of Data-Driven Units with Syllable Segments (1999)
Syllable Based Approach to Automatic Prosody Detection; Applications for Dialogue Systems (1999)
Approximating Weak Bisimulation on Basic Process Algebras (1999)
Autentizovaný přístup a systém práv v IS MU (1999)
Regularity of normed PA processes (1999)
User Interfaces for Visually Impaired People (1999)
Matematická analýza s programem Maple. Díl 1, Diferenciální počet funkcí více proměnných. (1999)
Pattern Equations and Equations with Stuttering (1999)
Invariant local twistor calculus for quaternionic structures and related geometries (1999)
SCAM - a new form of confocal microscope (1996)
Efficient real-time confocal microscopy with white light sources (1996)
Confocal microscopy by aperture correlation (1996)
Haptic Visualization of Molecular Data (1999)
Studying Conformational Behaviour with PHANToM device(s) (1999)
Homomorphisms of algebraic structures. (1999)
Pseudodimension of relational structures. (1999)
Rehabilitation of mono-unary algebras? (1999)
Corpus-Based Rules for Czech Verb Discontinuous Constituents (1999)
Quantum challenges for descriptional complexity (1999)
Quantumization of Informatics (1999)
Quantum challenges (1999)
Comparing the Classes BPA and BPA with Deadlocks (1998)
Quantum tomography of Wigner functions from incomplete data (1999)
Universal optimal cloning of qubits and quantum registers (1999)
Reconstruction of quantum states from incomplete data (1999)
Quantum secret sharing (1999)
Optimal quantum clocks (1999)
Optimal encoding of phase information into trapped ions (1999)
Secret sharing via quantum entanglement (1999)
Synthesis of operators: universal quantum gates for a trapped ion (1999)
Numerical simulations of fundamental processes in cavity QED: Atomic decay (1999)
Quantum simulations of optical systems (1999)
Optimal manipulations wih qubits: Universal NOT gate (1999)
Optimal manipulations with qubits: universal quantum cloning and universal logical NOT operation (1999)
Quantum state reconstruction and optimal manipulations with quantum information (ICO Prize Winner) (1999)
A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming (1999)
MFCS´98 Workshop on Concurrency, August_27-29,_1998, Brno, Czech Republic : pre-proceedings (1998)
Towards disambiguation in Czech corpora (1999)
Induktivní logické programování (1999)
Mining lemma disambiguation rules from Czech corpora (1999)
Desambiguace lemmatu: tridy podobnosti (1999)
Hyphenation on Demand (1999)
Matematická analýza s programem Maple. Díl 1, Diferenciální počet funkcí více proměnných. (1999)
Všech pět pohromadě (1999)
Práva a povinnosti uživatelů informačních technologií na MU (1999)
Hypertext Atlas for Pathology Education (1999)
User Interfaces for Visually Impaired People (1999)
Rusko a střední Evropa (1999)
Globální a lokální prizmatem Masarykova odkazu (1999)
Rámec našeho času (1999)
Řád a ne-řád (1999)
Hyphenation on Demand (1999)
Approximating Weak Bisimulation on Basic Process Algebras (1999)
Česká lexikální databáze typu WordNet (v rámci projektu EuroWordNet-2) (1999)
Semantic Annotation of (Czech) Corpus Texts (1999)
Complexity Issues of the Pattern Equations in Idempotent Semigroups (1999)
On the Pattern Equations (1999)
From specifications to programs (1994)
A fully abstract semantics for synchronous and asynchronous ccp (1998)
New versions of Ask and Tell for synchronous communication in CCP (1995)
A process algebra for Synchronous Concurrent Constraint Programming (1995)
On Synchronous Communication in Concurrent Constraint Programming (1994)
Regularity is Decidable for Normed PA Processes in Polynomial Time (1996)
Comparing Expressibility of Normed BPA and Normed BPP Processes (1996)
How to Parallelize Sequential Processes (1996)
Bisimilarity of Processes with Finite-state Systems (1997)
Adding Time via Timed Transitions to Concurrent Constraint Programming (1997)
Deciding Bisimulation-Like Equivalences with Finite-State Processes (1998)
Weak Bisimilarity with Infinite-State Systems can be Decided in Polynomial Time (1998)
Simulation Preorder on Simple Process Algebras (1999)
Universal quantum cloning (1999)
Simulation and Bisimulation over One-Counter Processes (2000)
Genetické algoritmy pro nastavování fuzzy regulátorů (1. část). (1999)
Genetické algoritmy pro nastavování fuzzy regulátorů (2. část). (1999)
Genetické algoritmy pro nastavování fuzzy regulátorů (3. část). (1999)
Genetické algoritmy pro nastavování fuzzy regulátorů (4. část). (1999)
Simple Speech Classification Using Automatically Generated Rules. (1998)
DBD::XBase (1999)
On the pattern equations (1999)
Effective Decomposability of Sequential Behaviours. (2000)
University Information System Fully Based on WWW (2000)
Efficient Verification Algorithms for One-Counter Processes (2000)
IS pro univerzitu ve třetím tisíciletí (2000)
Complexity of Weak Bisimilarity and Regularity for BPA and BPP (2000)
Univerzitní IS: předsudky, pověry a realita (2000)
Dokumentový server IS MU (2000)
Informační společnost a nová ekonomika (2000)
Promises and Perils of an Information Society (2000)
Informační technologie mění ekonomiku (2000)
Invariant operators on manifolds with almost Hermitian symmetric structures, III. Standard operators (2000)
The geometry of hyperbolic and elliptic CR-manifolds of codimension two (2000)
Parabolic geometries and Bernstein-Gelfand-Gelfand sequences (2000)
Non-standard invariant operators for quaternionic geometries (2000)
Bernstein-Gelfand-Gelfand sequences (2000)
First order invariant differential operators for parabolic geometries (2000)
NEDLIB Harvester - technika "sklizně" informací (2000)
Dublin Core - metadata pro popis elektronických dokumentů (2000)
Dublin Core jako standard pro popis elektronických síťových zdrojů (2000)
Constrained Rewrite Transition Systems (2000)
Some Remarks on Weak Bisimilarity of BPA-Processes (2000)
On Simulation-Checking with Sequential Systems (2000)
Automatic Tagging of Compound Verb Groups in Czech Corpora (2000)
Quantum computing challenges (2000)
Descriptional issues in quantum computing (2000)
New challenges for theoretical informatics (2000)
Quantumization of theoretical informatics (2000)
Quantumization of informatics II (2000)
Quantum models and modes of computation and communication (2000)
Quantum puzzles, mysteries and paradoxes (2000)
Automatická klasifikace prostorových dat (2000)
On Disambiguation in Czech Corpora (2000)
Recognition and Tagging of Compound Verb Groups in Czech (2000)
Distributed LTL Model-Checking in SPIN (2000)
Combining the Principal Components Method with Decision Tree Learning (2000)
The Principal Components Method as a Pre-processing Stage for Decision Tree Learning (2000)
Synthesis of formal specifications of predicates: Why and How? (2000)
Quantum synthesis of arbitrary unitary operators (2000)
Universal NOT gate (2000)
Stimulated emission via quantum interference: scattering of one-photon packets on an atom in a ground state (2000)
Entangling atoms in photonic crystals (2000)
Optimal manipulations with qubits: Universal quantum entanglers (2000)
Equally distant, partially entangled alphabet states for quantum channels (2000)
Multiple observations of quantum clocks (2000)
Quantum disentanglers (2000)
Entangled webs: Tight bound for symmetric sharing of entanglement (2000)
Stimulated emission via quantum interference: scattering of one-photon packets on an atom in a ground state (2000)
Linear extensions of orderings (2000)
Open Source Tools in University Operation (2001)
Asistovaná reprodukce - její zastoupení ve WWW. (1999)
Physics of Quantum Information (2000)
Využití XML rozhraní při tvorbě aplikací (2001)
The pdfTeX user manual (1997)
Improving TeX's Typeset Layout (1998)
Deciding Bisimulation-Like Equivalences with Finite-State Processes (2001)
Word Hy-phen-a-tion by Neural Networks (1996)
Navigation and Information System for Visually Impaired People (1997)
Využití orientačních čidel pro detekci kroku (1997)
Administrative Systems for Universities Should Be More Than Just a Spreadsheet (2001)
In-house Developed UIS for Traditional University: Recommendations and Warnings (2001)
Distributed LTL Model-Checking in SPIN (2001)
Entanglement swapping between multi-qudit systems (2001)
Information Systems Development for Serving Environment with Rapidly Growing Numbers of Numbers (2001)
Gralan: grafová knihovna pro podporu univerzálního modelování (2001)
Distributed LTL Model-Checking Based on Negative Cycle Detection (2001)
How to Employ Reverse Search in Distributed Single-Source Shortest Paths (2001)
Converting Web Applications to Data Components: Design Methodology (2001)
Efficient Multilingual Output for Web Components (2001)
Procesy reálného světa a přesnost dat v UIS (2001)
Randomization Helps in LTL Model Checking (2001)
Basic Process Algebra with Deadlocking States (2001)
Multi-Agents Systems as Concurrent Constraint Processes (2001)
Towards a Notion of Distributed Time for Petri Nets (2001)
On the Power of Labels in Transition Systems (2001)
Model-Checking LTL with Regular Valuations for Pushdown Systems (2001)
Weak Bisimilarity between Finite-State Systems and BPA or normed BPP is Decidable in Polynomial Time (2002)
Rewrite Systems with Constraints (2001)
A Comparison of Algorithms for Normed BPA Processes - An Experimental Performance Evaluation (2001)
Characterizing Non-Zenoness on Real-Time Processes (2001)
Part-of-Speech Tagging by Means of ILP and Active Learning (2001)
Part-of-Speech Tagging by Means of Shallow Parsing, ILP and Active Learning (2001)
Nástroje pro tvorbu metadat Dublin Core (2001)
Dublin Core snadno a rychle (2001)
Properties of Distributed Timed-Arc Petri Nets (2001)
Orientované grafy jako nástroj systémové integrace (2001)
UMT = Universal Modelling Tool: An alternative approach to UML (1999)
Spolupráce s poradcem na projektu (2001)
Universální modelování a jeho vliv na tvorbu IS (2001)
Projekt: Systémová integrace pro pojišťovnu ČP Direct, a.s. Systémová integrace klasického pojišťovacího systému s komponentami podporujícími e-Business. (1999)
Projekt: Informační strategie Masný Průmysl Krásno, a.s. pro potřeby výběru komplexního informačního systému s důrazem na řízení výroby v masném průmyslu. (1999)
Projekt: Informační strategie Odbytového družstva pěstitelů ovoce CZ-Fruit pro potřeby výběru informačního systému s důrazem na řízení nákupu, skladování a prodeje ovoce dislokovaného do cca 40 míst v ČR. (2000)
Projekt strategické změny v auditorské a poradenské firmě A&CE Audit & Consulting Experts, s.r.o. Zavedení projektového řízení a procesní organizace práce ve firmě pomocí Business Process Modelu, jako základní organizační normy. (2001)
Projekt: e-Learning Kurs Řízení projektů, změn a rizik pro virtuální universitu Českého TELEKOMu (2001)
Project: STRADIWARE - COPERNICUS 977132. Development of a modeling tool for metadata representation in information strategy process. Solved by RAL UK, MU ICS and SHINE studio Czech, ELAS Slovakia, INTRASOFT Greece, 1998-2002, (2002)
Využitelnost algoritmů strojového učení pro klasifikaci multispektrálního družicového snímku (2001)
Structured Interfaces for Information Presentation (2002)
Využití metod strojového učení pro klasifikaci družicových snímků (2001)
Purification and correlated measurements of bipartite mixed states (2002)
Equivalence-Checking with One-Counter Automata: A Generic Method for Proving Lower Bounds (2002)
Simulation Preorder over Simple Process Algebras (2002)
Quantum observations (2001)
Quantum information distributors: Quantum network for symmetric and asymmetric cloning in arbitrary dimension and continuous limit (2001)
Multiparticle entanglement with quantum logic networks: Application to cold trapped ions (2001)
Wigner-function description of quantum teleportation in arbitrary dimensions and continuous limit (2001)
Singlet states and the estimation of eigenstates and eigenvalues of an unknown Controlled-$U$ gate (2001)
Universal state inversion and concurrence in arbitrary dimensions (2001)
`The no-signaling condition and quantum dynamics (2001)
Dynamics of open quantum systems initially entangled with environment: Beyond the Kraus representation (2001)
Programmable quantum gate arrays (2001)
On the local unitary equivalence of states of multi-partite systems (2001)
Quantum cloning (2001)
Strong Bisimilarity and Regularity of Basic Parallel Processes is PSPACE-Hard (2002)
Note on the Tableau Technique for Commutative Transition Systems (2002)
Koncepce informační infrastruktury výzkumu a vývoje (2001)
Proceedings of the Third Learning Language in Logic Workshop, LLL 2001 (2001)
Objevovani znalosti a data mining (2001)
Combining the Principal Components Method with Different Learning Algorithms (2001)
VisDic - A New Tool for WordNet Editing (2002)
Enviweb - vstupní brána do oboru životního prostředí (2002)
Algebras over variable theories (2002)
University Information Infrastructure - An Integration Challenge (2002)
Cell Nuclei Segmentation Using Star-Shaped Simplex Meshes (2002)
A Procedure for Word Derivational Processes Concerning Lexicon Extension in Highly Inflected Languages (2002)
Meta-Level Transformations in Systems Integration (2002)
On the Complexity of Semantic Equivalences for Pushdown Automata and BPA (2002)
Why is Simulation Harder Than Bisimulation? (2002)
The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL (2002)
CONCUR 2002 - Concurrency Theory. 13th International Conference. Proceedings. (2002)
PDMC 2002 - Parallel and Distributed Model Checking. Proceedings. (2002)
Word Sense Discrimination for Czech (2002)
Using Assumptions to Distribute CTL Model Checking (2002)
YAHODA: verification tools database (2002)
Boundaries and Efficiency of Verification (2002)
Local Distributed Model Checking of RegCTL (2002)
Automatizovaná formální verifikace (2002)
Tools for Semi-Automatic Assignment of Czech Nouns to Declension Patterns (2002)
Modifications of Expansion Trees for Weak Bisimulation in BPA (2002)
Using Assumptions to Distribute CTL Model Checking (2002)
Počítače a informační systémy pro studenty MU (seriál informačních přednášek) (2002)
Committee-Based Selective Sampling with Parameters Set by Meta-Learning (2002)
RAP: Framework for Mining Frequent Datalog Patterns (2002)
SGCCS: A Graphical Language for Real-Time Coordination (2002)
Undecidability of Weak Bisimilarity for Pushdown Processes (2002)
Roadmap of Infinite Results (2002)
Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming (2002)
Distributed Modular Model Checking (abstract) (2002)
Distributed Modular Model Checking (2002)
Property Driven Distribution of Nested DFS (2002)
Using verified property to partition the state space in LTL model-checking (2002)
Automatizace sazby a skenování formulářů (2002)
Výuka s pomocí systému MapleNet (2002)
Fast choice of separation conditions for analyses by capillary zone electrophoresis usingan information system Xemic (2002)
Equivalence-Checking with Infinite-State Systems: Techniques and Results. (2002)
$\xor$-OBDD in Symbolic Model Checking (2002)
Efficient relational learning from sparse data (2002)
Exploiting Sampling and Meta-learning for Parameter Setting for Support Vector Machines (2002)
Mining Frequent Patterns in Object-Relational Databases (2002)
Internetové zdroje jako součást digitálních knihoven i jako součást kulturního dědictví (2002)
Archiv českého webu v roce 3 (2002)
On Equations Including Strings (2002)
Konference ECDL 2002 (2002)
Webarchiv - digitální knihovna českého webu (2002)
Automatizace sazby a skenování formulářů (2002)
Infinity 2002. 4th International Workshop on Verification of Infinite-State Systems (2002)
Homomorphisms of Algebras (2002)
Homomorphisms of Heterogeneous Algebras (2002)
Infrastruktura Webarchivu v roce 2002 (2002)
How to distribute LTL model-checking using decomposition of negative claim automaton (2002)
Modelling Dialogue Systems by Finite Automata (2002)
Strong Bisimilarity and Regularity of Basic Process Algebra is PSPACE-Hard (2002)
SGCCS: A Graphical Language for Real-Time Systems (2002)
Puzzles, mysteries and power of quantum entanglement (2001)
Power of quantum entanglement (2002)
Quantum information processing (2002)
Security and cryptography in 21th century (2001)
Quantum implications of quantum automata (2001)
Quantum finite automata (2001)
Techniky splajnů v Maplu (2002)
Vizualizace iteračních metod řešení rovnic prostředky Maple (2002)
MAPLE a jeho využití při tvorbě učebních textů z pravděpodobnosti a matematické statistiky (2002)
Probabilistic implementation of universal quantum processors (2002)
Thermalizing quantum machines: Dissipation and entanglement (2002)
EnEtanglement by a beamsplitter: Nonclassicality as a prerequisite for entanglement (2002)
A tutorial review: Cold trapped ions as quantum information processors (2002)
Diluting quantum information: An analysis of information transfer in system-reservoir interactions (2002)
Reconstruction of motional states of neutral atoms via MaxEnt principle (2002)
Quantum multimeters: A programmable state discriminator (2002)
Implementation of quantum maps by programmable quantum processors (2002)
Experimental realization of the quantum universal NOT gate (2002)
Quantum homogenization for continuous variables: Realization with linear optical elements (2002)
Entangled graphs (2002)
Entangled graphs: Bipartite entanglement in multi-qubit systems (2003)
Enviweb and its Role in Public Environmental Communication in the Czech Republic. (2002)
Úvod do Maplu 7 (2002)
Hypertext Presentation of Relational Data Structures (2002)
Packet header matching in Combo6 IPv6 router (2003)
Výzkum digitálních knihoven na MU Brno (2003)
Lexical Databases in XML (2003)
INFINITY 2002. 4th International Workshop on Verification of Infinite-State Systems (2002)
The Complexity of Bisimilarity-Checking for One-Counter Processes (2003)
Hypermedia Interfaces to Relational Data Structures (A Way to Presentation Integration) (2003)
Parallel Algorithms for Detection of Negative Cycles (2003)
On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit (2003)
Process Rewrite Systems with Weak Finite-State Unit (full version of INFINITY'2003 paper) (2003)
Model checking LTL with regular valuations for pushdown systems (2003)
Deciding Bisimilarity between BPA and BPP Processes (2003)
INDEED: a System for Relational Rule Induction in Domains with Rich Space of Constant Terms (2003)
Detecting Annotation Errors in a Corpus by Induction of Syntactic Patterns (2003)
Feature construction with RAP (2003)
Hledání častých vzorů v datech složité struktury (2003)
Distributed Explicit Bounded LTL Model Checking (2003)
Visual Specification of Concurrent Systems (2003)
To Store or Not To Store (2003)
Distributed Explicit Fair Cycle Detection (2003)
Relating Hierarchy of Temporal Properties to Model Checking (2003)
Distribution of Explicit-State LTL Model-Checking (2003)
Using Assumptions to Distribute Model Checking (2003)
Using Assumptions to Distribute Alternation Free mu-Calculus Model Checking (2003)
Parallel Breadth-First Search LTL Model-Checking (2003)
Parallel Algorithms for Detection of Negative Cycles (2003)
PDMC 2003 - Parallel and Distributed Model Checking. Proceedings. (2003)
LTL Hierarchies and Model Checking (2003)
Literate Programming at Secondary School (2003)
Efficient Data Sharing Within Database Clusters (2004)
Encryption of Quantum Information (2003)
Reconstruction of motional states of neutral atoms via maximum entropy principle (2002)
Quantum-controlled measurement device for quantum-state discrimination (2002)
Probabilistic implementation of universal quantum processors (2002)
Entanglement by a beam splitter: Nonclassicality as a prerequisite for entanglement (2002)
Entangled graphs: Bipartite entanglement in multiqubit systems (2003)
Diluting quantum information: An analysis of information transfer in system-reservoir interactions (2002)
Thermalizing Quantum Machines: Dissipation and Entanglement (2002)
A Tutorial Review: Cold Trapped Ions as Quantum Information Processors (2002)
Security of the Private Quantum Channel (2002)
Power of Quantum Entanglement (2002)
Quantum Information Processing (2002)
Squeezed States: Basic Principles (2002)
Quantum Entanglement as a New Quantum Informational Processing Resource (2002)
Web Updatings of the Book: "Quantum Computing" (2002)
Vyhledávání v IPv6 směrovači implementovaném v hradlovém poli (2003)
On Homogeneous Segments (2003)
DEB - A Dictionary Editor and Browser (2003)
Thesauri and Ontologies for Digital Libraries (2003)
Verification of COMBO6 VHDL Design (2003)
Strojové učení a přirozený jazyk (abtrakt tutoriálu) (2003)
Disambiguation of case siffixes in Basque (2003)
Induktivní logické programování (2003)
Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming (2003)
Modelling Multi-Agents Systems as Concurrent Constraint Processes (2003)
OAI-PMH: Protokol pro metadatovou interoperabilitu (2003)
DP lower bounds for equivalence-checking and model-checking of one-counter automata (2004)
Archiving the Czech Web: Issues and Challenges (2003)
WebArchiv - od výzkumu k (tvrdé) realitě (2003)
Přineste si notebook - na Internet do knihovny (2003)
WebArchiv - digitální knihovna českého webu (2003)
Archiv českého webu jako prostředek k zajištění svobodného přístupu k informacím (2003)
Oscillation and nonoscillation of solutions to even order self-adjoint differential equations (2003)
IBP Deployment Tests and Integration with DiDaS Project (2003)
A Logical Viewpoint on Process-algebraic Quotients (2003)
Structured Interfaces for Information Presentation (2003)
Grafická specifikace souběžných systémů (2001)
Undecidability of Weak Bisimilarity for PA-Processes (2003)
Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds (2003)
Undecidability of Domino Games and Hhp-Bisimilarity (2003)
Complexity of Weak Bisimilarity and Regularity for BPA and BPP (2003)
Hledání maximálních častých vzorů v logice prvního řádu (2004)
Hardware Router's Lookup Machine and its Formal Verification (2004)
Essential Kummer's Vectors (2003)
On the Expressive Power of Extended Process Rewrite Systems (2004)
Distributed Encoding Environment Based on Grids and IBP Infrastructure (2004)
GSIP - An Alternative Web Services Invocation Protocol (2004)
Databázové klastry s virtualním sdílením dat (2004)
On the Computational Complexity of Bisimulation, Redux (2004)
Recursive Ping-Pong Protocols (2004)
Highly Undecidable Questions for Process Algebras (2004)
Víceslovné výrazy a klasifikace českých textů (2004)
Fast Mu-calculus Model Checking when Tree-width is Bounded (2003)
Completeness Results for Undecidable Bisimilarity Problems (2004)
Optimal manipulations with quantum information: Universal quantum machines (2003)
Flipping qubits (2003)
Generalized measurements via programmable quantum processor (2003)
Quantum Computing - updatings (2003)
Comment on "no-signaling condition and quantum dynamics". (2003)
Microscopic description of information transfer from a qudit to reservoir (2003)
Quantum dynamics of open systems from the point of view of information transfer (2003)
Correlation-assisted quantum communication (2003)
Quantum Entanglement as a New Information Processing Resource (2003)
Saturation of Coffman-Cundu-Wotters inequality via quantum homogenization (2003)
Simulation of exponential decay on simple quantum circuits: a case study (2003)
Special Issue on Quantum Computing in the International Journal of Foundations of Computer Science (2003)
Entangled graphs: Classical correlations in multi-qubit entangled systems (2003)
GRR: Systém pro získávání znalostí v geografických datech (2003)
Feature construction and parameter setting for Support Vector Machines (2003)
International Journal of Quantum Information: Special issue on Erato conference EQUIS'03 vol. 1 (2003)
A meta-learning method to select the kernel width in Support Vector Regression (2004)
Quantum Computing (2003)
International Journal of Quantum Information: Special issue on Erato conference EQUIS'03 vol. 2 (2004)
Succintness in quantum information processing (2003)
Distributed Data Storage Based on Web Access and IBP Infrastructure (2004)
Parallel Model-Checking (2004)
Model Checking Probabilistic Pushdown Automata (2004)
Fragments and Text Categorization (2004)
Surviving in a multi-lingual world with multiple font encodings (1994)
A Generic Framework for Checking Semantic Equivalences between Pushdown Automata and Finite-State Automata (2004)
Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems (2004)
A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications (2004)
Extended Process Rewrite Systems: Expressiveness and Reachability (2004)
Animations in pdfTeX-generated PDF (2004)
Animations in pdfTeX-generated PDF (2004)
Distributed mining first-order frequent patterns (2004)
Visual Specification of Systems with Heterogeneous Coordination Models (2004)
Verification Results in Liberouter Project (2004)
Mining first-order frequent patterns in the STULONG database (2004)
Fast Marching 3D Reconstruction of Interphase Chromosomes (2004)
How to Formalize FPGA Hardware Design (2004)
On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit (2004)
Visual Coordination Diagrams (2004)
Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking. (2004)
Verification Process of Hardware Design in Liberouter Project (2004)
DiDaS/LoCI Infrastructure for Distributed Video Processing (2004)
Models of Collective Decision Making (2002)
Some stabilized bandwidth selectors for nonparametric regression (2003)
Maximal Smoothing (2003)
Uniform Job Scheduling Model for Distributed Processing Environment with Distributed Storage (2004)
Mining Frequent Patterns in Object-Oriented Data (2004)
Mining first-order maximal frequent patterns (2004)
Klasifikace XML dokumentů (2005)
dRAP: Distribuované hledání prvořádových maximálních častých vzorů (2005)
Communication with www in Czech (2004)
Roadmap of Infinite Results (2004)
Reachability for Extended Process Rewrite Systems (2004)
Lower and Upper Bounds in Zone Based Abstractions of Timed Automata (2004)
Typical Structural Properties of State Spaces (2004)
From Distributed Memory Cycle Detection to Parallel LTL Model Checking (2004)
Distributed Memory LTL Model Checking Based on Breadth First Search (2004)
Informační systém Masarykovy univerzity v Brně (2004)
Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking. (2004)
Distributed Negative Cycle Detection Algorithms (2004)
Characteristic Patterns for LTL (2005)
Improving performance of probabilistic programmable quantum processors (2004)
Quantum information approach to the Ising model (2004)
Realization of the optimal universal quantum entangler (2004)
Probabilistic programmable quantum processors (2004)
Automated image analysis in fluorescence microscopy: From isolated cells to tissues and microarray images (2004)
Controlling bipartite entanglement in multi-qubit systems (2004)
Optimal time and communication solutions of FSSP on square arrays, toruses and rings (2004)
Quantum tomography from incomplete data via MaxEnt principle (2004)
Universality in Quantum Computing (2004)
On the Decidability of Temporal Properties of Probabilistic Pushdown Automata (2005)
Data-Centric Web Application Framework (2004)
Oracle Database & Real Application Clusters 10g on SGI Altix 350 Servers (2005)
is.muni.cz na novém hardware (2004)
Postepy w neurootologii klinicznej i doswiadczalnej (2004)
Distributed Partial Order Reduction of State Spaces (2005)
Vybrané technické aspekty elektronické podpory univerzitní výuky (2005)
Using Accepting Predecessors in Distributed LTL Model-Checking (2004)
Introductory paper: Parallel and Distributed Model Checking (2005)
Assumption-based distribution of CTL model checking (2005)
Alternativní implementace rozsáhlých podnikových databází (2005)
Společenské hry jako motivační prostředek ve výuce chemie - interaktivní verze (2005)
Distribuované Datové Sklady (2004)
Under-Approximation Generation using Partial Order Reduction (2005)
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors (2005)
Distributed Partial Order Reduction of State Spaces (2004)
Systémová implementace elektronické podpory výuky (2005)
Distribuované Datové Sklady (2005)
Searching and E-learning System above Digital Sources (2005)
Víceúrovňové databázové klastry v prostředí rozsáhlých webových informačních systémů (2005)
From Distributed Memory Cycle Detection to Parallel LTL Model Checking (2005)
Fundamental Parts Of Infrastructure For Consolidating University Administration (2005)
Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances (2005)
Multi-Tiered Database Clusters (2005)
The stuttering principle revisited (2005)
Kryptografické eskalační protokoly (2005)
Refining Undecidability Border of Weak Bisimilarity. (2005)
Refining Undecidability Border of Weak Bisimilarity. (full version of INFINITY 2005 paper) (2005)
Reachability of Hennessy - Milner properties for weakly extended PRS (2005)
On possible counterexamples to Negami's planar cover conjecture (2004)
Crossing Number is Hard for Cubic Graphs (extended abstract) (2004)
On Decidability of MSO Theories of Representable Matroids (2004)
Bridging Separations in Matroids (2005)
Using a Computer in Matroid Theory Research (2004)
MACEK: A software package for real structural computations with representable matroids (2005)
Computing the Tutte Polynomial on Graphs of Bounded Clique-Width (extended abstract) (2005)
VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures (2005)
Routing and Filtering in a Single Operation (2005)
How to Cope with Higher Dependency in Partial Order Reduction for LTL Model Checking (2005)
Semantic Grid Infrastructure for Applications in Biomedicine (2005)
Počítačové studovny MU (2005)
Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion (2005)
Reachability Analysis of Multithreaded Software with Asynchronous Communication (2005)
Lower and Upper Bounds in Zone-Based Abstractions of Timed Automata (2006)
On Sampled Semantics of Timed Systems (2005)
Test input generation for red-black trees using abstraction (2005)
Enhancing Random Walk State Space Exploration (2005)
Concrete Search with Abstract Matching and Refinement (2005)
Deeper Connections between LTL and Alternating Automata (2005)
A Parametrized Algorithm for Matroid Branch-Width (2005)
O čem byl CHES 2005 a FDTC 2005? (2005)
Recursion vs. Replication in Simple Cryptographic Protocols (2005)
Timed-Arc Petri Nets vs. Networks of Timed Automata (2005)
Towards Scalable and Interoperable Grid Monitoring Infrastructure (2005)
Infrastructure for Adaptive Workflows in Semantic Grids (2005)
DIVINE - The Distributed Verification Environment (2005)
On Counting the Number of Consistent Genotype Assignments for Pedigrees (2005)
Decidability Issues for Extended Ping-Pong Protocol (2005)
Distributed Analysis of Large Systems (2005)
Combinatorial Generation of Matroid Representations: Theory and Practice (2007)
The Tutte Polynomial for Matroids of Bounded Branch-Width (2006)
Crossing Number is Hard for Cubic Graphs (2006)
Branch-Width, Parse Trees, and Monadic Second-Order Logic for Matroids (2006)
Trees, grids, and MSO decidability: From graphs to matroids (2006)
DivSPIN - A SPIN compatible distributed model checker (2005)
Computing the Expected Accumulated Reward and Gain for a Subclass of Infinite Markov Chains (2005)
On the Controller Synthesis for Finite-State Markov Decision Processes (2005)
1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005) (2005)
Methods for Quantitative Analysis of Probabilistic Pushdown Automata (2006)
Pre-Proceedings of 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005) (2005)
Škálovatelnost masívních transakčních systémů (2005)
Component-Interaction Automata as a Verification-Oriented Component-Based System Specification (2005)
MTCoord 2005 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (2005)
Proceedings of the 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (2005)
Smart dust security - key infection revisited (2005)
Forward Onion Encryption Scheme for Wireless Sensor Networks (2005)
Srovnání protokolů pro "Remotely Keyed Encryption" (2005)
On privacy classification in ubiquitous computing systems (2005)
GRR: data mining in geographic information systems (2005)
Learning genic interactions without expert domain knowledge: Comparison of different ILP algorithms. (2005)
Toward mining of spatiotemporal maximal frequent patterns (2005)
Distribuované datové sklady a protokol IBP (2005)
CRC64 Algorithm Analysis and Verification (2005)
First-order Frequent Patterns in Text Mining (2005)
Quantum Complexity Theory Goals and Challenges (2005)
Universal Sets of Quantum Information Processing Primitives and their optimal use (2005)
Scattering model for quantum random walks on a hypercube (2005)
Description of Quantum Dynamics of Open Systems Based on Collision-Like Models (2005)
Concurrence versus purity: Influence of local channels on Bell states of two qubits (2005)
Bounds on action of local quantum channels (2005)
All (qubit) decoherences: Complete characterization and physical implementation (2005)
Nonmaximally entangled bases and their application in entanglement purification via swapping (2005)
Instability and Entanglement of the Ground State of the Dicke Model (2005)
Direct versus measurement-assisted bipartite entanglement in multiqubit systems and their dynamical generation in spin systems (2005)
Probabilistic programmable quantum processors with multiple copies of program states (2005)
Quantum interference with molecules: The role of internal states (2005)
Process reconstruction: From unphysical to physical maps via maximum likelihood (2005)
Realization of positive-operator-valued measures using measurement-assisted programmable quantum processors (2005)
Process reconstruction from incomplete and/or inconsistent data (2005)
Towards a Categorical Semantics of a High-level Quantum Programming Language (2005)
Entanglement-induced state ordering under local operations (2005)
Towards quantum-based privacy and voting (2005)
Společenské karetní hry s chemickou problematikou (2005)
Refining Undecidability Border of Weak Bisimilarity. (2006)
Dealing with estimated parameters in the environmental models (2002)
1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (2005)
2nd Central European Quantum Information Processing Workshop (2005)
CCD photometry of neglected eclipsing binaries - KZ Dra, LR Cam and IM Vul (2005)
Enhancement of Images Acquired using Optical Microscope (2005)
Využití deformabilních modelů v obrazové cytometrii (2005)
3D Reconstruction of Interphase Chromosomes (2005)
Component-Interaction Automata for Specification and Verification of Component Interactions (2005)
Exact and approximate encryption of quantum information (2005)
Main challenges and driving forces of IT in the era of globalization (2005)
Quantum complexity theory tools, goals and challenges (2005)
Universality and optimality of quantum information processing primitives (2005)
Quantum finite automata: an invitation (2005)
Reconstruction of superoperators from incomplete data (2005)
Security in quantum cryptography and quantum networks (2005)
A broader view on limitations of information processing and communication by nature (2005)
Approximate programmable quantum processors (2005)
Quantum processors (2005)
Segmentace buněk v biomedicínském obraze pomocí genetických algoritmů (2005)
Organizing commitee membership. KIAS-KAIST 2005 Workshop on Quantum Information Science (2005)
Steering Chair. EQIS 2005 ERATO conference on Quantum Information Science (2005)
Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005) (2006)
Distributed Data Storage with Data Versioning (2006)
Formal Verification of a FIFO Component in Design of Network Monitoring Hardware (2006)
Model Checking Probabilistic Pushdown Automata (2006)
Packet Filtering for FPGA-Based Routing Accelerator (2006)
Equivalence-free exhaustive generation of matroid representations (2006)
Privacy Preserving Data Mining (2006)
Capability languages in C-GMA (2006)
Equivalence-Checking on Infinite-State Systems: Techniques and Results (2006)
Routing and Level 2 Addressing in a Hardware Accelerator for Network Applications (2006)
DAG-width - Connectivity Measure for Directed Graphs (2006)
Zátěž ve webových informačních systémech (2006)
Grid Empowered Sharing of Medical Expertise (2006)
Architectural Interoperability Checking in Visual Coordination Networks (2006)
Combinatorial Generation of Matroid Representations: Theory and Practice (2006)
Computing the Tutte Polynomial on Graphs of Bounded Clique-Width (2006)
Some Hard Problems on Matroid Spikes (2007)
Matroid Tree-Width (2006)
Balanced Signings and the Chromatic Number of Oriented Matroids (2006)
Oracle on Altix Advantage (2006)
Verifying VHDL Designs with Multiple Clocks in SMV (2007)
Implementation Strategies of Learning Environment Integration (2006)
A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications (2006)
Test Input Generation for Java Containers using State Matching (2006)
Reachability in Recursive Markov Decision Processes (2006)
On the Crossing Number of Almost Planar Graphs (2007)
On Matroid Representability and Minor Problems (2006)
High-definition multimedia for multiparty low-latency interactive communication (2006)
Overloading Prevention Based on Adaptive Request Processing (2006)
Stochastic Games with Branching-Time Winning Objectives (2006)
O komunikaci postmoderních strojů (2006)
Dolování v geografických textech (2006)
Preprocessing and Visualization Tools for Inductive Logic Programming (2006)
dRAP: A Framework for Distributed Mining Firts-Order Frequent Patterns (2006)
A Contribution to Learning in Temporal Logics (2006)
Mining situations and actions from news (2006)
Component Substitutability via Equivalencies of Component-Interaction Automata (2006)
Component-Interaction Automata Modelling Language (2006)
On Decidability of LTL Model Checking for Process Rewrite Systems (2006)
Building Biomedical Grid Infrastructure with P-GRADE Portal and GEMLCA (2006)
Routing, L2 Addressing, and Packet Filtering in a Hardware Engine (2006)
Formal Verification of the CRC Algorithm Properties (2006)
On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems (2006)
Undecidability Results for Bisimilarity on Prefix Rewrite Systems (2006)
Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation (2006)
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols (2006)
On Symbolic Verification of Weakly Extended PAD (2007)
LanQ - an Imperative Quantum Programming Language (2006)
On Combining Partial Order Reduction with Fairness Assumptions (2006)
DiVinE -- A Tool for Distributed Verification (2006)
Parallel Algorithms for Finding SCCs in Implicitly Given Graphs (2006)
Experimental Comparison of Algorithms Checking Proviso for Partial Order Reduction (2006)
Distributed Verification: Exploring the Power of Raw Computing Power (2006)
Distributed Qualitative LTL Model Checking of Markov Decision Processes (2006)
Cluster-Based LTL Model Checking of Large Systems (2006)
Distributed breadth-first search LTL model checking (2006)
11th International Workshop on Formal Methods for Industrial Critical Systems (2006)
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors (2006)
Special Issue on Parallel and Distributed Verification - Foreword (2006)
Návrh algoritmů II (2006)
Proceedings of the Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006) (2006)
Model Checking of RegCTL (2006)
Component Placement in Distributed Environment w.r.t. Component Interaction (2006)
Formální jazyky a automaty I (2006)
Component-Interaction Automata as a Verification-Oriented Component-Based System Specification (2006)
On Alternative Construction of LTL Tableau (2006)
CEQIP 2006 (2006)
Anonymous transmission of quantum information (2007)
Encryption and authentication in SECOQC (2006)
SECOQC node keystore module and crypto engine (2006)
The Primitive beyond Voting Schemes (2006)
From informatics to quantum informatics (2006)
The Emergence and Challenges of Quantum Informatics (2006)
Quantum informatics paradigms and tools for QIPC (2006)
Quantum entanglement and non-locality as new resources for quantum computation, communication and cryptography (2006)
Secure References for Reliable Knowledge Sharing on the Biomedical Grid (2006)
Weakly Extended Process Rewrite Systems (2006)
Designing a Distributed Mediator for the C-GMA Monitoring Architecture (2006)
Width Parameters Beyond Tree-width and Their Applications (2007)
Low-Latency HD Videoconferencing System with Reflector-Based Multipoint Data Distribution (2006)
Universal sets of quantum information processing primitives and their optimal use (2006)
Quantum finite automata (2006)
Different time solutions for the firing squad synchronization problem on basic grid networks (2006)
Entanglement swapping of noisy states: A kind of superadditivity in nonclassicality (2005)
Escape-width: Measuring "width" of digraphs (2006)
The firing squad synchronization problem on squares, toruses and rings (2006)
Operational Semantics of Quantum Programming Language LanQ (2006)
Mining actions from reports on flood (2006)
Visual Coordination Networks (2006)
Linear Temporal Logic: Expressiveness and Model Checking (2005)
Quantum entanglement and non-locality as new resources for quantum computation and communication (2006)
Reduction and Abstraction Techniques for Model Checking (2006)
Challenges of quantum informatics (2006)
From informatics to quantum informatics (2006)
Primitives of QIPC (2006)
From quantum physics to quantum informatics and back (2006)
Quantum automata (2006)
Quantum complexity impacts on quantum physics (2006)
Security in quantum cryptography and networks (2005)
Challenges of QIPC (2005)
A broader view on the limitations of information processing and communication by nature (2005)
The challenges of information technology for globalization era (2005)
Quantum information processing primitives (2005)
Quantum complexity theory potential and challenges for QIPC and quantum mechanics (2005)
Physics of qubit applications (2005)
Dynamics of open quantum systems: Quantum information theory approach (2005)
Optimal manipulations with quantum information: Programmable quantum processors (2005)
Quantum information processing with three qubits (2005)
Optimal manipulations with quantum information: Programmable quantum processors (2005)
Reconstruction of quantum states and processes (2005)
Steering chair. AQIS Asian Conference on Quantum Information Science 2006 (2006)
Program commitee membership. CIAA '05 (2005)
Distributed Memory LTL Model Checking (Ph.D. Thesis) (2005)
Zobrazení mezi fonologickými komponenty (2006)
Model Checking Large Finite-State Systems and Beyond (2007)
A University Administrative Information System: Getting People Involved and Combating Doubt (2001)
FlowMon Cache Simulation and Analysis of Inter-Packet Gaps (2006)
Členství v Academia Europaea (2006)
Člen redakční rady International Journal of Foundations of Computer Science (2006)
Člen redakční rady Acta Cybernetica (2006)
Člen redakční rady Logical Methods in Computer Science (2006)
Člen redakční rady RAIRO - Theoretical Informatics and Applications (2006)
Parallel Algorithms for Finding SCCs in Implicitly Given Graphs (2007)
A Parallel Java Grande Benchmark Suite (2001)
An OpenMP-like interface for parallel programming in Java (2001)
Adaptive Request Management Systems (2006)
On Symbolic Verification of Weakly Extended PAD (2006)
Optimality of private quantum channels (2007)
Formal Analysis of Component-Based Systems in View of Comp. Interactions (2006)
I/O Efficient Accepting Cycle Detection (2007)
Tutorial: Parallel Model Checking (2007)
Scalable Multi-core LTL Model-Checking (2007)
Component Substitutability via Equivalencies of Component-Interaction Automata (2007)
Approximating the Crossing Number of Toroidal Graphs (2007)
The crossing number of a projective graph is quadratic in the face--width (Extended abstract) (2007)
Finding branch-decomposition and rank-decomposition (Extended abstract) (2007)
Parallel Model Checking and the FMICS-jETI Platform (2007)
Approximating the Crossing Number for Graphs close to "Planarity" (2007)
Quantum Programming Language LanQ (2007)
On Decidability of LTL+Past Model Checking for Process Rewrite Systems (2007)
Strategy Synthesis for Markov Decision Processes and Branching-Time Logics (2007)
Clique-Width and Parity Games (2007)
ProbDiVinE: A Parallel Qualitative LTL Model Checker (2007)
Effective verification of systems with a dynamic number of components (2007)
Subject-observer specification with component-interaction automata (2007)
MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (2007)
Informační systém MU: architektura a implementace v rozsáhlém prostředí velké organizace (2007)
Syntactic Type Soundness in Structured Imperative Languages (2007)
Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification (2007)
Equivalence of Programmable Quantum Processors (2007)
Reactive Systems: Modelling, Specification and Verification (2007)
Height-Deterministic Pushdown Automata (2007)
Branching-Time Model-Checking of Probabilistic Pushdown Automata (2007)
Regularity in Model Checking PDA Games (2007)
Relaxed Cycle Condition Improves Partial Order Reduction (2007)
Classical Winning Strategies for the Matching Game (2007)
Classical Winning Strategies for the Matching Game (2007)
Mathematical Foundations of Computer Science 2007 (2007)
Mathematical Foundations of Computer Science 2007 (2007)
Stochastic Game Logic (2007)
New procedure for multipartite entanglement distillation (2007)
Quantum Informatics and the relations between Informatics, Physics and Mathematics: A dialogue of C. Calude with J. Gruska (part I) (2007)
Algebraic Methods in Quantum Informatics (2007)
Component-Interaction Automata Approach (CoIn) (2008)
Autentizace uživatelů a autorizace elektronických transakcí (2007)
Keyness and Relational Learning (2007)
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE (2008)
From classical cryptography to quantum physics through (challenges of) quantum cryptography (2007)
Quantum Informatics and the relations between Informatics, Physics and Mathematics: A dialogue of C. Calude with J. Gruska (second part) (2007)
Algebraic methods in quantum informatics (2007)
From New Challenges of Classical Cryptography to Challenges for Quantum Cryptography (2007)
From classical cryptography to quantum physics through quantum cryptography (2007)
CEQIP 2007 (2007)
SystemVerilog verification of VHDL design (2007)
AQIS (Asia Conference on Quantum Information Science). Steering Committee Chair. (2007)
University Center For Sale Of E-learning Courses (2007)
CIAA (Conference on Implementation and Application of Automata). Programme Committee member. (2007)
LATA (Language and Automata Theory and Applications). Programme Committee member. (2007)
CSIT (Computer Science and Information Technologies). Programme Committee member. (2007)
FCT (Fundamentals of Computation Theory). Programme Committee member. (2007)
MEMICS (Mathematical and Engineering Methods in Computer Science). Programme Committee member. (2007)
Člen redakční rady International Journal of Foundations of Computer Science (2007)
Člen redakční rady Acta Cybernetica (2007)
Člen redakční rady RAIRO - Theoretical Informatics and Applications (2007)
Členství v Academia Europaea (2007)
On the Controller Synthesis for Finite-State Markov Decision Processes (2008)
Mining First-Order Frequent Patterns in e-Commerce Data (2007)
Dolování v datech a e-learning: Případová studie (2007)
Dynamická geovizualizace v krizovém managementu (2007)
Advanced learning techniques for NLP (2007)
dRAP-Independent: A Data Distribution Algorithm for Mining First-Order Frequent Patterns (2007)
Sborník konference DATAKON 2007 (2007)
Teorie Grafů (2007)
Optimalizační Úlohy (2007)
Úvod do Informatiky (2007)
On decidability of MSO theories of combinatorial structures: Towards general matroids? (2006)
MACEK - Real Structural Computations with Representable Matroids. (2006)
The crossing number of a projective graph is quadratic in the face-width (2007)
New almost-planar crossing-critical graph families (2007)
On the Crossing Number of Almost Planar Graphs (2006)
Finding Branch-decompositions and Rank-decompositions (2007)
A note on multicriteria decision making (2006)
On Crossing-Critical Graphs. (2005)
Matroid Tree-Width and Chordality (2005)
Width Parameters of Matroids. (2005)
Are Matroids Interesting Combinatorial Structures? (2004)
Matroid decompositions (2004)
Computing the Tutte Polynomial with Restricted “Width” (2005)
On crossing-critical graphs (2005)
Úvod do Teoretické Informatiky (text pro distanční a kombinované studium) (2005)
Diskrétní Matematika (text pro distanční a kombinované studium) (2005)
Formalisms and Tools for Design and Specification of Network Protocols (2007)
DiVinE Multi-Core (2007)
Petri Nets Are Less Expressive Than State-Extended PA (2008)
Informační systém Masarykovy univerzity v Brně (2004)
Improved Distributed Algorithms for SCC Decomposition (2008)
Shared Hash Tables in Parallel Model Checking (2008)
Autorizace elektronických transakcí a autentizace dat i uživatelů (2008)
A Case Study in Parallel Verification of Component-Based Systems (2008)
Reachability in Recursive Markov Decision Processes (2008)
From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks (2008)
Revisiting Resistance Speeds Up I/O Efficient LTL Model Checking (2008)
Deciding probabilistic bisimilarity over infinite-state probabilistic systems (2008)
The crossing number of a projective graph is quadratic in the face--width (2008)
Combining Metric Features in Large Collections (2008)
Literate Programming na střední škole (2006)
Literate Programming na střední škole (2007)
Literate Programming na střední škole (2007)
Literate Programming at Secondary School (2008)
ON THE POWER OF QUANTUM TAMPER-PROOF DEVICES (2008)
On Decidability of LTL Model Checking for Process Rewrite Systems (2009)
Approaching tree-width of graphs from matroidal perspective (2008)
Stars and Bonds in Crossing-Critical Graphs (2008)
The Satisfiability Problem for Probabilistic CTL (2008)
Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives (2008)
mplayer + tipy & triky (2007)
Finding branch-decomposition and rank-decomposition (2008)
Partial Order Reduction for State/Event LTL (2008)
Can Flash Memory Help in Model Checking? (2008)
Literate Programming at Secondary School (2008)
Literate Programming na střední škole (2008)
Literate programming na střední škole (2007)
Noise and the Mermin-GHZ Game (2008)
Semi-external LTL Model Checking (2008)
The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems (2008)
Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems (2008)
Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction (2008)
Model Checking of Control-User Component-Based Parametrised Systems (2008)
Model Checking of Control-User Component-Based Parametrised Systems (2008)
Approximating the Crossing Number of Apex Graphs (2009)
Automata Approach to Graphs of Bounded Rank-width (2008)
Addendum to Matroid Tree-Width (2009)
Complementarity of Error Detection Techniques (2008)
Local Quantitative LTL Model Checking (2008)
DiVinE Multi-Core -- A Parallel LTL Model-Checker (2008)
Squeeze All the Power Out of Your Hardware to Verify Your Software! (2008)
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems (2008)
Discounted Properties of Probabilistic Pushdown Automata (2008)
Regularity in PDA Games Revisited (2008)
MEMICS 2008, Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (2008)
Semi-External LTL Model Checking (2008)
I/O Efficient Model Checking (2008)
Estimating State Space Parameters (2008)
Noise and the Mermin-GHZ Game (2008)
MEMICS 2008, Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (2008)
20 years of Negami's planar cover conjecture (2008)
Qualitative Reachability in Stochastic BPA Games (2009)
20 years of Negami's planar cover conjecture (2008)
Automata Approach to Graphs of Bounded Rank-width (2008)
Formal verification of systems with an unlimited number of components (2008)
Separation between Classical and Quantum Winning Strategies for the Matching Game (2008)
On Decidability of LTL+Past Model Checking for Process Rewrite Systems (2009)
Quantum computing (2009)
Fundamentals of quantum computing (2008)
Challenges of quantum cryptography (2008)
AQIS 2008 (8th Asian Conference on Quantum Information Science), Steering Committee Chair (2008)
MEMICS 2008 (Mathematical and Engineering Methods in Computer Science), Programme Committee member (2008)
CEQIP 2008 (5th Central European Quantum Information Processing Workshop) (2008)
QUANTUM INFORMATION PRIMITIVES and QUANTUM COMPLEXITY THEORY (2008)
New directions in quantum cryptography (2008)
Globalizácia a veda v ére informatiky (2008)
MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (2007)
Vybrané kapitoly z kvantové mechaniky (2004)
A Case Study in Parallel Verification of Component-Based Systems (2008)
Proposal of semiformal model of anonymity based cryptographic tasks and protocols and their analyses (2008)
SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science : Špindlerův Mlýn, Czech Republic, January 2009, Proceedings (2009)
Člen vědecké rady Matematicko-fyzikální fakulty Univerzity Karlovy v Praze (2008)
Člen vědecké rady Fakulty Informatiky Masarykovy univerzity (2008)
Člen oborové komise OK 2 přírodních věd (2008)
Člen podoborové komise pro matematiku a informatiku (č. komise 201) Grantové agentury České republiky (2008)
Programme Committee Member of 8th International Conference on Application of Concurrency in System Design (ACSD 2008) (2008)
Programme Committee Member of 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2008) (2008)
Programme Committee Member of 18th EACSL Annual Conference on Computer Science Logic (CSL 2009) (2009)
Programme Committee Member of 9th International Conference on Application of Concurrency in System Design (ACSD 2009) (2009)
Programme Committee Member of 17th International Symposium on Fundamentals of Computation Theory (FCT 2009) (2009)
Programme Committee Member of 34th International Symposium on Mathematical Foundations of Computer Science (MFCS 2009) (2009)
Track Chair of 35th International Conference on Current Trends in Theory and Practice of Computer Science (Sofsem 2009) (2009)
Verification of Infinite State Probabilistic Systems (2008)
Člen oborové komise OK 2 přírodních věd Grantové agentury České republiky (2009)
Člen podoborové komise pro matematiku a informatiku (č. komise 201) Grantové agentury České republiky (2009)
Člen vědecké rady Matematicko-fyzikální fakulty Univerzity Karlovy v Praze (2009)
Člen vědecké rady Fakulty Informatiky Masarykovy univerzity (2009)
Matematická analýza s programem Maple. (1999)
ProbDiVinE-MC (2008)
SUPO MU (2008)
Quantum programming language LanQ (2007)
Relational Data Mining in Crisis Management (2008)
New infinite families of almost-planar crossing-critical graphs (2008)
Location Privacy Issues in Wireless Sensor Networks (2009)
Biomodely v ortodoncii (2008)
Autotransplantace zubů jako metoda řešení poúrazové ztráty řezáku (2008)
Diagnostické a léčebné postupy v ortodoncii, biomodely v ortodoncii, srovnání pevnosti vazby materiálů používaných v otodoncii (2008)
Obraz jako Brno (2009)
Jak mravenčí kolonie dobývají znalosti (2008)
DŽEMUj - dobývání znalostí z odpovědníků IS MU (2008)
DZEMUj: A Tool for Mining in e-Learning Tests. Description and Experience (2008)
Predicting Information System Competencies in Small and Medium Enterprises with Data Mining Methods (2008)
E-learningové nástroje v IS MU a výuka logiky (2008)
Vizualizace a analýza výsledků elektronických testů (2008)
On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking (2009)
Partial Order Reduction for State/Event LTL (2009)
On-Line Precomputation Algorithm for Real-Time Haptic Interaction with Non-Linear Deformable Bodies (2009)
Reachability is decidable for weakly extended process rewrite systems (2009)
Účast ČR ve výzkumném sdružení ERCIM (2006)
From classical cryptography to quantum physics through quantum cryptography (2009)
PyHLA 0.1: Python Bindings for HLA 1.3 (2008)
IEEE-1516.2 compliant data encoding for CERTI (2008)
On Determinism in Modal Transition Systems (2009)
Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete (2009)
IPFIX Based Virtual Network Monitoring (2009)
NetFlow-based monitoring in the FEDERICA project (2009)
Nonmalleable encryption of quantum information (2009)
Random unitary qubit channels: entropy relations,private quantum channels and non-malleability (2009)
ProbDiVinE (2007)
DiVinE Cluster (2008)
DiVinE Library (2006)
Efficient Large-Scale Model Checking (2009)
Návrh algoritmů II (2006)
SUPO MU - Jednotné univerzitní konto jako účetní evidence (2009)
CAVER 2.0 (2008)
GPU Acceleration of Equations Assembly in Finite Elements Method -- Preliminary Results (2009)
HotSpot Wizard: a Web Server for Identification of Hot Spots in Protein Engineering. (2009)
Building a Web-scale Image Similarity Search System (2010)
Query Routing Mechanisms in Self-organizing Search Systems (2009)
MUFIN: A Multi-Feature Indexing Network (2009)
BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models (2009)
Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2008) - selected papers (2009)
Automata formalization for graphs of bounded rank-width (2008)
Better Polynomial Algorithms on Graphs of~Bounded Rank-width (2009)
Automata Approach to Graphs of Bounded Rank-width. (2008)
Better Polynomial Algorithms on Graphs of Bounded Rank-width. (2009)
Automata Approach to Graphs of Bounded Rank-width. (2008)
Automata formalization for graphs of bounded rank-width. (2008)
Better Polynomial Algorithms on Graphs of Bounded Rank-width. (2009)
Better Polynomial Algorithms on Graphs of Bounded Rank-width. (2009)
Noise and the Mermin-GHZ Game (2009)
Computational Analysis of Large-Scale Multi-Affine ODE Models (2009)
BioDiVinE: A Framework for Parallel Analysis of Biological Models (2009)
Towards Self-organizing Search Systems (2010)
MEMICS 2009, Fifth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (2009)
Reachability in Stochastic Timed Games (2009)
Similarity Search in Large Collections of Biometric Data (2009)
Univerzitní kampus Bohunice - využití GIS a BACnet pro integraci a unifikaci technologií, procesů a dat (2009)
Using ArcGIS for Visualizing Historical Data from BMS (2009)
GIS pro budovy a jejich technologie (2009)
New Masaryk University Campus – Integration Based on BACnet (2009)
Cryptographic Applications of Pseudo-Telepathy Games (2009)
Better Polynomial Algorithms on Graphs of Bounded Rank-width. (2009)
Towards True Random Number Generation in Mobile Environments (2009)
Almost Linear Büchi Automata (2009)
Local Quantitative LTL Model Checking (2009)
Can Flash Memory Help in Model Checking? (2009)
DiVinE 2.0: High-Performance Model Checking (2009)
Quantitative Model Checking of Systems with Degradation (2009)
FastGrid -- The Accelerated Computation of Potential Maps for Molecular Docking (2009)
FastGrid -- The Accelerated AutoGrid Potential Maps Generation for Molecular Docking (2009)
One Size Does Not Fit All - How to Approach Intrusion Detection in Wireless Sensor Networks (2009)
GPU-Based DWT Acceleration for JPEG2000 (2009)
Generic Similarity Search Engine Demonstrated by an Image Retrieval Application (2009)
Tracking Recurring Concepts with Meta-learners (2009)
Metric Index: An Efficient and Scalable Solution for Similarity Search (2009)
CoPhIR Image Collection under the Microscope (2009)
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking (2009)
CUDA Accelerated LTL Model Checking (2009)
Parallel Algorithms for Mean-Payoff Games: An Experimental Evaluation (2009)
Faster Algorithm for Mean-Payoff Games (2009)
A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties (2009)
Cluster-Based I/O-Efficient LTL Model Checking (2009)
One size does not fit all - how to approach intrusion detection in wireless sensor networks (2009)
Recent developments and challenges of quantum cryptography (2008)
From quantum informatics towards a new perception of informatics (2009)
Informatic and physics as two windows to explore the world (2009)
gpudwt (2009)
Approximating the Crossing Number of Graphs Embeddable in Any Orientable Surface (2010)
On Digraph Width Measures in Parameterized Algorithmics (2009)
MEMICS 2009, Fifth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, selected papers (2009)
Distinct nearest neighbors queries for similarity search in very large multimedia databases (2009)
Dynamic visualization of protein secondary structures (2009)
Ethernet 40/100Gb (2009)
Continuous-Time Stochastic Games with Time-Bounded Reachability (2009)
On Building a Self-organizing Search System for Multimedia Retrieval (2010)
On the memory consumption of probabilistic pushdown automata (2009)
DiVinE Cuda (2009)
Faster Algorithm for Mean-Payoff Games (2009)
Space Effective Model Checking for Component-Interaction Automata (2009)
DiVinE 2.0 (2009)
Nové koncepty IDS pro bezdrátové senzorové sítě (2010)
On parse trees and Myhill-Nerode-type tools for handling graphs of bounded rank-width (2010)
Filtering Information from Reports on Flood. (2009)
On key words and key patterns in Shakespeare's plays (2009)
Visual Analytics for Educational Data Analysis (2009)
Web competencies in SME (2009)
Geographic data mining with GRR (2009)
Web and ICT Competencies in different types of SME (2009)
E-learningové nástroje v IS MU a výuka logiky (2009)
CEQIP 2009 (2009)
One-Counter Markov Decision Processes (2010)
The SECOQC quantum key distribution network in Vienna (2009)
Feedback-based Performance Tuning for Self-organizing Multimedia Retrieval Systems (2010)
HotSpot Wizard: a web server for protein engineering (2009)
Úvod do informatiky (2010)
CoIn Tool Set (2009)
Virtual Clusters as a New Service of MetaCentrum, the Czech NGI (2010)
Základy teorie grafů (2010)
Can Objects Have Dependent Types? (2007)
Nástroje pro vizuální analýzu a dobývání znalostí z e-learningových dat (2009)
A Calculus of Coercive Subtyping (2009)
Decidable Race Condition and Open Coregions in HMSC (2010)
A Calculus of Coercive Subtyping (2009)
Úvod do informatiky (2010)
Základy teorie grafů (2010)
Distributed Information System as a System of Asynchronous Concurrent Processes (2006)
www.muni.cz: věčně mladý web (2009)
High-performance analysis of biological systems dynamics with the DiVinE model checker (2010)
Branching-Time Model-Checking of Probabilistic Pushdown Automata (2009)
Regularity in PDA Games Revisited (2009)
On the Complexity of Checking Semantic Equivalences between Pushdown Processes and Finite-state Processes (2010)
Effective Analysis of Infinite State Stochastic Processes and Games (2010)
Otevřené mikroplatební schéma pro rozsáhlé infrastruktury (2010)
Analýza obtížnosti logických úloh na základě modelů lidského chování (2010)
User Centric Authentication for Web Applications (2010)
Hardware Acceleration for Cyber Security (2010)
Parallel Real-time Deformation Simulator (2010)
NfSen Plugin Supporting the Virtual Network Monitoring (2010)
FEDERICA User Tutorial: Monitoring slices (2010)
Scalable shared memory LTL model checking (2010)
Unitary Noise and the Mermin-GHZ Game (2010)
Medium-grained functions mapping using modern GPUs (2010)
CoUniverse Orchestrated Collaborative Environments with Dynamic Circuit Networks (2010)
GColl: enhancing trust in flexible group-to-group videoconferencing (2010)
Design and Implementation of a Production Dynamically Configurable Testbed (2010)
Virtual Multicast (2010)
New results on the complexity of oriented colouring on restricted digraph classes (2010)
20 years of Negami's planar cover conjecture (2008)
Česko-Slovenská Konference GRAFY 2010 (2010)
The Parameterized Complexity of Oriented Colouring (2009)
Algorithmic applications of linear rank-width (2010)
Effectiveness Metrics for Intrusion Detection in Wireless Sensor Networks (2009)
Difficulty Rating of Sokoban Puzzle (2010)
Reachability Games on Extended Vector Addition Systems with States (2010)
Using of time characteristic in Netflow data for improvement of protocol detection (2010)
Young Researchers Forum (2010)
Drift Severity Metric (2010)
Mathematical Foundations of Computer Science 2010 (2010)
Reachability Problems (2010)
35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010) (2010)
4th International Workshop on Reachability Problems (2010)
Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P (2010)
Using Strategy Improvement to Stay Alive (2010)
UltraGrid-20090105 (2009)
UltraGrid2K (2009)
Seminář IP telefonie a videokonference (2009)
Stochastic Real-Time Games with Qualitative Timed Automata Objectives (2010)
VirtualAir: Open source air traffic simulation and visualization platform (2010)
Speed and Size Characteristic of Concept Drift (2010)
Recurring Concepts and Meta-learning (2010)
One-Counter Stochastic Games (2010)
Similarity Query Postprocessing by Ranking (2010)
Improving the Image Retrieval System by Ranking (2010)
Visual Video Retrieval System Using MPEG-7 Descriptors (2010)
802.1X - autentizace v počítačových sítích (2008)
HOTSPOT WIZARD: NÁSTROJ PRO INŽENÝRSTVÍ ENZYMŮ (2010)
Engineering of Enzymes by Modification of Access Tunnels (2010)
Engineering of Biocatalysts by Modification of Access Tunnels (2010)
QSPR Designer - a program to design and evaluate QSPR models. Case study on pKa prediction (2010)
Image search: kde slova nestačí (2010)
MUFIN: buďte v obraze! (2009)
Unitary Noise and the Mermin-GHZ Game (2010)
Almost Linear Büchi Automata (2010)
GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000 (2010)
Haptic Rendering Based on RBF Approximation from Dynamically Updated Data (2010)
New Results on the Complexity of the Max- and Min-Rep Problems (2011)
Are there any good digraph width measures? (2010)
Better algorithms for satisfiability problems for formulas of bounded rank-width (2010)
Neighbor-based Intrusion Detection for Wireless Sensor Networks (2010)
Neighbor-based Intrusion Detection for Wireless Sensor Networks (2010)
Audio Similarity Retrieval Engine (2010)
Optimal Path Planning under Temporal Logic Contstraints (2010)
A Symbolic Approach to Controlling Piecewise Affine Systems (2010)
Formal Analysis of Piecewise Affine Systems through Formula-Guided Refinement (2010)
DiVinE: Parallel Distributed Model Checker (Tool paper) (2010)
Process Algebra for Modal Transition Systemses (2010)
Employing Multiple CUDA Devices to Accelerate LTL Model Checking (2010)
CUDA Accelerated LTL Model Checking -- Revisited (2010)
Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata (2011)
Comparison of CP and IP Techniques for Data Transfer Planning (2010)
Web-based Service for Collaborative Organization of Academic Events - Case Study of "Takeplace" (2011)
Integrated Approach in Management and Design of ModernWeb-Based Services (2011)
Stars and Bonds in Crossing-Critical Graphs (2010)
Parameter Scanning by Parallel Model Checking with Applications in Systems Biology (2010)
Využití GIS pro správu budov a technologií (2010)
Prostor a čas ve FM (2010)
Správce, kterému nic neunikne (2010)
E-photosynthesis: Web-based platform for modeling of complex photosynthetic processes (2011)
Turn-Based Stochastic Games (2011)
Qualitative Reachability in Stochastic BPA Games (2011)
Využití GPU pro urychlení obrazové komprese (2010)
Pokročilé technologie přenosu videa (UtraGrid/CUDA) (2009)
Visual Analytics for Building Management (2010)
Towards Detection of Anomalies in Building Management Data (2010)
GPU work at FI MUNI and results (2010)
Impacts of informatics on QIPC (2011)
Roots and stimuli to a new perception of informatics (2011)
Unassisted Lecture Recording at Masaryk University (2010)
H.323 for Medical Application and Virtual Laboratories (2010)
From Quantum Informatics to a New Perception of Informatics (2010)
Efficient compression of unknown quantum information (2010)
Hardware Acceleration: An Essential Part of Cyber Security in High-Speed Networks (2010)
Gruska pre HN: Viac sebavedomia nikomu neuškodí (2010)
Významnou asijskou konferenci vede profesor z České republiky (2010)
History of TC1 - Foundations of Computer Science (2011)
A Perception of Informatics (2010)
Pseudo-Telepathy Games (2012)
CAVER 2.1 (2010)
FastGrid -- The Accelerated AutoGrid Potential Maps Generation for Molecular Docking (2010)
Space-efficient scheduling of stochastically generated tasks (2010)
21 years of Negami's planar cover conjecture (2009)
Canonical generation of matroids (2010)
Quantum finite automata (2012)
Towards a new perception of Informatics (Německo) (2009)
From classical cryptography to quantum physics through quantum cryptography (2009)
Classical and quantum complexity theory (2009)
Translation of LTL to Büchi Automata: Improved Once Again (2010)
LTL to Büchi Automata: Improved Once Again (2010)
Almost linear Büchi automata (2012)
Algorithm for Two-Energy Games (2010)
Distributed Construction of Configuration Spaces for Real-Time Haptic Deformation Modeling (2011)
Parallel Partial Order Reduction with Topological Sort Proviso (2010)
Recent developments in quantum cryptography (2009)
Quantum complexity theory (2009)
Towards a new perception of informatics (Čína) (2009)
CesTa k ochraně čipových karet (2010)
Flash memory efficient LTL model checking (2011)
Towards a new perception of informatics (Itálie) (2009)
Quantum Informatics - a Revolution in Making (2010)
7. letní škola aplikované informatiky. Indikátory účinnosti EMS podle odvětví (2010)
Quantum automata, algorithms and complexity (2010)
Physics and informatics as two roads to understand the world (2010)
Quantum cryptography (2010)
Hardware-Accelerated and Security Research at Masaryk University (2010)
Informatics approaches to quantum information processing (2010)
Efficient JPEG2000 EBCOT Context Modeling for Massively Parallel Architectures (2011)
A new perception of informatics (2010)
Formal Verification of Component-based Architectures - Motivation, Methods & Challenges (2010)
Santa's Crypto Get-Together 2010 (2010)
Thread graphs, linear rank-width and their algorithmic applications (2011)
Towards Text Mining in Technology-Enhanced Learning (2010)
Dolování v textech popisujících výjezdy hasičského záchranného sboru (2010)
Parallel and Distributed Methods in Verification (2011)
Model Checking of Control-User Systems (2009)
Controller Synthesis for Markov Decision Processes with Branching-Time Objectives (2009)
Basic Model Checking Problems for Stochastic Games (2009)
Vyhledávání a analýza popisujících výjezdy hasičského záchranného sboru (2011)
Computing Strongly Connected Components in Parallel on CUDA (2011)
External Memory LTL Model Checking (2009)
Výuka logiky na Fakultě informatiky MU Brno. Současnost a perspektivy (2011)
SOFSEM 2011: Theory and Practice of Computer Science 37th Conference on Current Trends in Theory and Practice of Computer Science (2011)
E-learning a výpočtová logika (2010)
Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes (2011)
SOFSEM 2009: Theory and Practice of Computer Science (2009)
Animations for teaching logic (software) (2010)
2D a 3D mapy za použití stavebního a technologického pasportu (2010)
Abstraction of Biochemical Reaction Systems on Polytopes (2011)
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers (2011)
GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000 (2011)
Expected Reachability-Time Games (2010)
Branching-Time Model-Checking of Probabilistic Pushdown Automata (2007)
CUDA Accelerated LTL Model Checking - Revisited (2011)
Záznamník učitele (2010)
E-photosynthesis: web software for modeling and analysis of biological processes behind photosynthesis (2010)
MWC-DiVinE (2010)
DiVinE 2.4 (2010)
CoIn-DiVinE (2010)
ProbDiVinE 2.0 (2010)
32nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2007) (2007)
Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata (2011)
Pseudo-Telepathy Games (2011)
TMTO attacks on stream ciphers – theory and practice (2011)
What Determines Difficulty of Transport Puzzles? (2011)
Automatic Fusions of CUDA-GPU Kernels for Parallel Map (2011)
Matematika 1 (2003)
Matematika 2 (2003)
Haptic Rendering Based on RBF Approximation from Dynamically Updated Data (2011)
Learning Decision Rules from Data Streams (2011)
20 years of Negami's planar cover conjecture (2010)
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (2011)
On Parameter Synthesis by Parallel Model Checking (2012)
Using of Time Characteristics in Data Flow for Traffic Classification (2011)
Generating Random Numbers in Hostile Environments (2011)
Online Image Annotation (2011)
Counter-based Abstraction for Symbolic Execution (2010)
Efficient Loop Navigation for Symbolic Execution (2011)
Evaluation Platform for Content-based Image Retrieval Systems (2011)
Scope-Based Route Planning (2011)
Generalized Maneuvers in Route Planning (2011)
Fixed-delay Events in Generalized Semi-Markov Processes Revisited (2011)
Engineering anonymity to reduce aggression online (2011)
Using of Flow Statistics for Improvement of Protocol Detection (2011)
A Race for Security: Identifying Vulnerabilities on 50 000 Hosts Faster than Attackers (2011)
Intelligent logging server (2010)
Jak sledovat zranitelnosti na 50 000 strojích (2011)
Federated Access to Grids (2011)
Easing Access to Grids Using Moonshot (2011)
Problem Response Theory and its Application for Tutoring (2011)
Clique-width: When Hard Does Not Mean Impossible (2011)
A Tighter Insertion-based Approximation of the Crossing Number (2011)
Parameterized Problems Related to Seidel's Switching (2011)
Metabolite target analysis of cell extract of bacterium Paracoccus denitrificans (2011)
Runtime Analysis of Probabilistic Programs with Unbounded Recursion (2011)
Approximating the Termination Value of One-Counter MDPs and Stochastic Games (2011)
Modal Transition Systems: Composition and LTL Model Checking (2011)
Parametric Modal Transition Systems (2011)
Quantum-state preparation with universal gate decompositions (2011)
Purification of genuine multipartite entanglement (2011)
Process Algebra for Modal Transition Systemses (2011)
Twin-Cover: Beyond Vertex Cover in Parameterized Algorithmics (2011)
Low GPU Occupancy Approach to Fast Arithmetic Coding in JPEG2000 (2012)
MUFIN at ImageCLEF 2011: Success or Failure? (2011)
Otevřený přístup k vědeckým informacím na Masarykově univerzitě (2011)
Teaching Computational Logic: Technology-enhanced Learning and Animations (2011)
Albireo II (2011)
Improving the Classification of Study-related Data through Social Network Analysis (2011)
Excalibur - nástroj pro data mining z výukových dat (2011)
Learning about the Learning Process (2011)
On-the-fly Parallel Model Checking Algorithm that is Optimal for Verification of Weak LTL Properties (2012)
STANSE: Bug-finding Framework for C Programs (2012)
Reputation Based Trust Management System Supporting Collaboration in a Medical Application (2011)
Entanglement and new Perception of Informatics (2011)
Designing Fast LTL Model Checking Algorithms for Many-core GPUs (2012)
VRECKO 2011: Modulární systém pro tvorbu aplikací ve virtuální realitě (2011)
Calibrating and Comparing Simulators for Wireless Sensor Networks (2011)
Optimal path planning for surveillance with temporal logic constraints (2011)
Temporal Logic Control of Discrete-Time Piecewise Affine Systems (2012)
Timed Automata Approach to Verification of Systems with Degradation (2012)
Generalized Maneuvers in Route Planning (2012)
How Not to Characterize Planar-emulable Graphs (2011)
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems (2011)
Distributed Algorithms for SCC Decomposition (2011)
QUANTUM COMMUNICATION BETWEEN ANONYMOUS SENDER AND ANONYMOUS RECEIVER IN THE PRESENCE OF STRONG ADVERSARY (2011)
Platform Dependent Verification: On Engineering Verification Tools for 21st Century (2011)
Computing Optimal Cycle Mean in Parallel on CUDA (2011)
Multi-letter quantum finite automata: decidability of the equivalence and minimization of states (2011)
One-way finite automata with quantum and classical states (2012)
De-quantisation (2012)
Automatic Fusions of CUDA-GPU Kernels for Parallel Map (2011)
Informatics as basis of new methodology for science (2011)
MEMICS 2011, Seventh Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (2011)
Entanglement and new perception of Informatics (2011)
Physics and Informatics as two ways to see and explore the world (Indie) (2011)
New perception of Informatics (Japonsko) (2011)
New perception of Informatics (Nový Zéland) (2011)
De-randomization and de-quantisation (2011)
Physics and Informatics as two ways to see and explore the world (Rakousko) (2011)
Physics and Informatics as two ways to see and explore the world (Čína) (2011)
De- quantisation (Čína) (2011)
New perception of informatics (Čína) (2011)
Physics and Informatics as two ways to see and explore the world (Alžírsko) (2011)
De-quantisation (Alžírsko) (2011)
Physics and Informatics as two ways to see and explore the world (USA) (2011)
New perception of Informatics (USA) (2011)
New perception of Informatics (Německo) (2011)
Noise and the Magic Square Game (2012)
The Mathematical Language of Quantum Theory (2012)
Pseudo-Telepathy Games (2011)
A Tighter Insertion-based Approximation of the Graph Crossing Number (2011)
New Development in Planar Emulators (2011)
Efficient Analysis of Probabilistic Programs with an Unbounded Counter (2011)
Randomness: A Tool for Constructing and Analyzing Computer Programs (2011)
Using Neighborhood Diversity to Solve Hard Problems (2011)
Faster algorithms for mean-payoff games (2011)
LTL to Büchi Automata Translation: Fast and More Deterministic (2012)
Modal Transition Systems with Weight Intervals (2012)
Searching for tunnels of proteins - comparison of approaches and available software tools (2011)
SiteBinder – an improved approach for comparing multiple protein structural motifs. Case studies on biologically important motifs (2011)
SiteBinder – an improved software superimposing multiple protein structural motifs and its applications (2011)
multiOUT (2011)
Problem Solving Tutor (2011)
UltraGrid Streaming to SAGE (2011)
UltraGrid 0.9 (2011)
UltraGrid 1.0 (2011)
Komprese a dekomprese videa s GPU akcelerací (2011)
Seminář multimédií (2011)
Attack Detection vs. Privacy - How to Find the Link or How to Hide it? (2011)
Parameterized Algorithms on Width Parameters of Graphs (2012)
GIS Integration of FM Data and Systems (2011)
IT podpora optimalizace provozu technologií rozsáhlého areálu (2011)
IT podpora optimalizace provozu technologií rozsáhlého areálu (2011)
Towards Finite Characterization of Planar-emulable Non-projective Graphs (2011)
Similarity Query Postprocessing by Ranking (2012)
Automatic Network Protection Scenarios Using NetFlow (2012)
Very Fast Decision Rules for Multi-class Problems (2012)
Mathematical and Engineering Methods in Computer Science MEMICS 2011, Seventh International Doctoral Workshop, Revised Selected Papers (2012)
The choice of complete anonymity versus pseudonymity for aggression online. (2012)
MUFIN Image Annotation (2012)
cswHMM: a novel context switching hidden Markov model for biological sequence analysis (2012)
Gouy phase for full-aperture spherical and cylindrical waves (2012)
Nash Equilibria in Concurrent Priced Games (2012)
Ochrana soukromí v bezdrátových senzorových sítích (2012)
Identifying Walk Cycles for Human Recognition (2012)
Encryption with weakly random keys using quantum ciphertext (2012)
Long Term Growth of SME from ICT Competencies and Web Presentations (2011)
Dual-Priced Modal Transition Systems with Time Durations (2012)
Vertex insertion approximates the crossing number of apex graphs (2012)
Fair and Optimistic Quantum Contract Signing (2011)
Krása fyziky - fyzika krásy (2012)
Modeling and Predicting Students Problem Solving Times (2012)
Subwavelength imaging with materials of in-principle arbitrarily low index contrast (2012)
Autonomie univerzit versus reforma (2011)
Hodnocení výzkumu v informatice - přístupy a problémy (2011)
On-line video přehrávač pro elektronickou podporu výuky (2011)
Informatika a problematické hodnocení inovací (2010)
Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs (2012)
Stabilization of Branching Queueing Networks (2012)
Evolutionary Design of Message Efficient Secrecy Amplification Protocols (2012)
Inner Architecture of a Social Networking System (2012)
Space-efficient scheduling of stochastically generated tasks (2012)
Semantics, bisimulation and congruence results for a general stochastic process operator (2011)
Proceedings of the 45th Czech-Slovak Conference GRAFY 2010 (2010)
Quantitative Multi-Objective Verification for Probabilistic Systems (2011)
Automated Verification Techniques for Probabilistic Systems (2011)
Unitary Noise and the Mermin-GHZ Game (2011)
Using strategy improvement to stay alive (2012)
Towards Course Prerequisites Refinement (2012)
Gait Recognition Based on Normalized Walk Cycles (2012)
Surveillance and Monitoring Systems Based on Complex Event Processing (2012)
Query Language for Complex Similarity Queries (2012)
Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution (2012)
Zásady hodnoticí procedury peer review výzkumných pracovišť v informatice (2012)
Stochastic game logic (2012)
Cul-de-sac of Czech Research Evaluation Policy (2010)
White paper on Tertiary Education - problems and shortcomings (2009)
Czech bibliometric system fosters mediocre research (2009)
Innovation and Universities (2009)
Hodnocení výzkumu a humanitní disciplíny (2009)
Reforma výzkumu v ČR (2008)
Problémy hodnocení v oborově různém prostředí a vazbě na reformu systému VaVaI (2008)
Autonomie a decentralizace v podstatě univerzit (2011)
Akademické svobody nejsou prázdným pojmem (2012)
Predicting drop-out from social behaviour of students (2012)
Automatically Optimized GPU Acceleration of Element Subroutines in Finite Element Method (2012)
Sequence Chart Studio (2012)
Deterministic Automata for the (F,G)-fragment of LTL (2012)
Homomorphic Transformations: Why and possible ways to How (2012)
On Parallel Software Verification Using Boolean Equation Systems (2012)
GPU-specific reformulations of image compression algorithms (2012)
Frequency spectra of absolute optical instruments (2012)
Generalized laws of refraction that can lead to wave-optically forbidden light-ray field (2012)
Spherical media and geodesic lenses in geometrical optics (2012)
Weak randomness completely trounces the security of QKD (2012)
EXPTIME-Completeness of Thorough Refinement on Modal Transition Systems (2012)
Modal Process Rewrite Systems (2012)
Rabinizer: Small Deterministic Automata for LTL(F,G) (2012)
Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints (2012)
Efficient Controller Synthesis for Consumption Games with Multiple Resource Types (2012)
Minimizing Expected Termination Time in One-Counter Markov Decision Processes (2012)
Verification of Open Interactive Markov Chains (2012)
Abstracting Path Conditions (2012)
Reliability analysis in component-based development via probabilistic model checking (2012)
Generalized Maneuvers in Route Planning (2012)
Lower Bounds on the Complexity of MSO_1 Model-Checking (2012)
When Trees Grow Low: Shrubs and Fast MSO1 (2012)
Testing Graph MSO Properties: A Fresh View (2012)
Multi-modal image search for large-scale applications (2012)
Information System Monitoring and Notifications Using Complex Event Processing (2012)
Towards Effective Social Network System Implementation (2013)
Integrated Surveillance and Monitoring Systems (2012)
Industrielle Kooperation an der Fakultät für Informatik, Masaryk Universität in Brünn – Kontext und ausgewählte Probleme (2012)
The Association of Industrial Partners as an Instrument for Cooperation and Technology Transfer (2012)
Handling Time Changing Data with Adaptive Very Fast Decision Rules (2012)
Controllable-choice Message Sequence Graphs (2013)
Checking Sanity of Software Requirements (2012)
On Expressing and Monitoring Oscillatory Dynamics (2012)
Secure Metric-Based Index for Similarity Cloud (2012)
Analysis of a simple model of problem solving times (2012)
LTL Robot Motion Control based on Automata Learning of Environmental Dynamics (2012)
Glutation jako marker fotoxidativního stresu u rostlin vystavených různým intenzitám záření. In-vitro studie. (2011)
Parameter Identification and Model Ranking of Thomas Networks (2012)
Pro/Con Lists and their Use in Group Decision Support Systems for Reducing Groupthink (2012)
Query Language for Complex Similarity Queries (2012)
Multi-level Privacy Protection Framework for Wireless Sensor Networks (2012)
Educational Data Mining and Teaching Logic (2012)
Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints (2013)
Tracking customer portrait by unsupervised classification techniques (2012)
Encryption with weakly random keys using a quantum ciphertext (2012)
Executing Model Checking Counterexamples in Simulink (2012)
Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs (2012)
Verification of Systems with Degradation (2012)
How Not to Characterize Planar-emulable Graphs (2013)
Faster Deciding MSO Properties of Trees of Fixed Height, and Some Consequences (2012)
Unified Approach to Polynomial Algorithms on Graphs of Bounded (bi-)Rank-width (2013)
Faster than Courcelle's theorem on shrubs (2012)
Can dense graphs be "sparse"? (2012)
ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools (2013)
The DAG-width of directed graphs (2012)
On Approximative Reachability Analysis of Biochemical Dynamical Systems (2012)
A Web-Based Problem Solving Tool for Introductory Computer Science (2012)
Playing Games with Counter Automata (2012)
8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (2012)
Hodnocení ve výuce zaměřené na člověka (2012)
Sequence Chart Studio: user-friendly drawing and verification tool for MSC (2012)
Approximating the termination value of one-counter MDPs and stochastic games (2013)
Timed Modelling of Gene Networks with Arbitrary Expression Level Discretization (2013)
Determinacy in Stochastic Games with Unbounded Payoff Functions (2013)
AQIS 2008 (12th Asian Conference on Quantum Information Science), Steering Committee Chair (2012)
Analyzing probabilistic pushdown automata (2013)
Školné jako nástroj konkurence? (2012)
Vnější a vnitřní faktory fungování univerzit (2012)
Zásady hodnoticí procedury peer review výzkumných pracovišť v informatice (2012)
Libraries in the age of a digital fire (2012)
Svár mezi přístupem a ochranou (2012)
Knihovny a nové modely šíření vědění (2012)
Challenges and Opportunities for Europen Universities (2012)
Hodnocení vědeckých pracovišť v informatice (2012)
Widening the perspective (2012)
CERIT Science Park - Overall background And Project Goals (2012)
Model školného a zahraniční zkušenosti (2012)
Improving the Hadamard extractor (2012)
Weak randomness seriously limits the security of quantum key distribution (2012)
Formal analysis of piecewise affine systems through formula-guided refinement (2013)
Temporal Logic Robot Control based on Automata Learning of Environmental Dynamics (2013)
Direct estimation of decoherence rates (2012)
Factorization for Component-Interaction Automata (2012)
Symbiotic (2012)
ClabureDB (2012)
Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution) (2013)
A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets (2012)
Canal 1 (2012)
Time-Darts: A Data Structure for Verification of Closed Timed Automata (2012)
Verification of Liveness Properties on Closed Timed-Arc Petri Nets (2013)
Action Investment Energy Games (2013)
Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets (2013)
Unblockable Compositions of Software Components (2012)
A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata (2012)
TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets (2012)
Model-Checking Web Services Business Activity Protocols (2012)
Extending Modal Transition Systems with Structured Labels (2012)
Modal Transition Systems with Weight Intervals (2012)
UltraGrid: Low-Latency High-Quality Video Transmissions on Commodity Hardware (2012)
UltraGrid 1.1 (2012)
CZ02: Remote Collaboration Over 8K Visualization Using UltraGrid and SAGE (2012)
GPU-Accelerated JPEG2000 for Secure Remote Screening (2012)
Logování pro novou generaci monitoringu (2012)
Towards Multi-Tenant and Interoperable Monitoring of Virtual Machines in Cloud (2012)
Distributed LTL Model Checking with Hash Compaction (2013)
Continuous-Time Stochastic Games with Time-Bounded Reachability (2013)
Dynamic Voting Interface in Social Media: Does it Affect Individual Votes? (2013)
9. letní škola aplikované informatiky (2012)
Augmenting tractable fragments of abstract argumentation (2012)
Vertex Colorings of Graphs without Short Odd Cycles (2011)
On Induced Folkman Numbers (2012)
On Induced Folkman Numbers (2012)
Some remarks on vertex Folkman numbers for hypergraphs (2012)
The Complexity of Planning Revisited - A Parameterized Analysis (2012)
On Finding Optimal Polytrees (2012)
Don't Be Strict in Local Search! (2012)
Valued-Based Argumentation for Tree-like Value Graphs (2012)
Two Improvements of Random Key Predistribution for Wireless Sensor Networks - Revised Version (2012)
Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis (2013)
GColl2 (2012)
Web 2.0 ve vzdělávání (2012)
Internet, piráti a svoboda (od vydávání knih k SOPA/PIPA, ACTA či Megauploadu) (2012)
Proměna knihoven a nové způsoby šíření poznání – digitální knihovny a otevřený přístup k vědeckým výsledkům (2013)
Person-centered Approach in Informatics Teachers Training (2013)
Random rules from data streams (2013)
Compositional Approach to Suspension and Other Improvements to LTL Translation (2013)
Recurrent concepts in data streams classification (2013)
On time-average limits in deterministic and stochastic Petri nets (2013)
Compact Symbolic Execution (2013)
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment (2013)
On Refinements of Boolean and Parametric Modal Transition Systems (2013)
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory (2013)
Compositional Verification and Optimization of Interactive Markov Chains (2013)
MoTraS: A Tool for Modal Transition Systems and Their Extensions (2013)
Rabinizer 2: Small Deterministic Automata for LTL\GU (2013)
CytoPacq v2.0 (2013)
Towards a Realistic Distribution of Cells in Synthetically Generated 3D Cell Populations (2013)
Qualitative modelling and analysis of Photosystem II (2013)
A Comprehensive Web-based Platform For Domain-Specific Biological Models (2013)
Sensor Network Analytics for Intelligent Facility Management (2013)
Budoucnost sociálních sítí (2012)
Nemesis - a molecular modeling package (2013)
Towards cryptographic function distinguishers with evolutionary circuits (2013)
A Dynamic Approach to Process Design: A Pattern for Extending the Flexibility of Process Models (2013)
Collaborative Process Design in Cloud Environment (2012)
Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking (2013)
Predicting Student Performance in Higher Education (2013)
Course Recommendation from Social Data (2014)
Optimal Control of MDPs with Temporal Logic Constraints (2013)
Distributed Event-Driven Model for Intelligent Monitoring of Cloud Datacenters (2014)
Scaling CEP to Infinity (2012)
Towards Effective Social Network System Implementation (2012)
Semantically Partitioned Peer to Peer Complex Event Processing (2014)
Role HIF-1alpha in cardiomyogenesis (2013)
GraDR 2012 Crossing Number Workshop and Minischool (2012)
Planar Emulators Conjecture Is Nearly True for Cubic Graphs (2013)
Better algorithms for satisfiability problems for formulas of bounded rank-width (2013)
Kernelization Using Structural Parameters on Sparse Graph Classes (2013)
FO Model Checking of Interval Graphs (2013)
Solvency Markov Decision Processes with Interest (2013)
Deconvolution of huge 3-D images: Parallelization strategies on a multi-GPU system (2013)
Fialův úřad se chová jak pejsek s kočičkou (2013)
A framework for monitoring and evaluation of learning processes (2013)
Content-based annotation and classification framework: a general multi-purpose approach (2013)
Avoiding Anomalies in Data Stream Learning (2013)
Comment on “Quantum Szilard Engine” (2013)
Temporal Verification of Simulink Diagrams (2014)
Model Checking Parallel Programs with Inputs (2014)
Comparison of LTL to Deterministic Rabin Automata Translators (2013)
Modeling Students' Learning and Variability of Performance in Problem Solving (2013)
Automatic Detection of Concepts from Problem Solving Times (2013)
Improved State Space Reductions for LTL Model Checking of C & C++ Programs (2013)
DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs (2013)
LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model (2013)
Lower Bounds on the Complexity of MSO_1 Model-Checking (2014)
Computing the Stretch of an Embedded Graph (2013)
Trading Performance for Stability in Markov Decision Processes (2013)
Branching-time model-checking of probabilistic pushdown automata (2014)
Model Checking of Biological Systems (2013)
Expanding the Expressive Power of Monadic Second-Order Logic on Restricted Graph Classes (2013)
Structured and Interoperable Logging for the Cloud Computing Era: The Pitfalls and Benefits (2013)
Agile BPM in the age of Cloud technologies (2012)
A multidimensional model of web-induced flexibility in organisations (2013)
Lean Agile Approach in Development of Modern Mobile and Web Applications. (2013)
Intelligent Facility Management for Sustainability and Risk Management (2013)
Fault detection in building management system networks (2013)
DCCL: Verification of Component Systems with Ensembles (2013)
Towards Verification of Ensemble Based Component Systems (2014)
Graph Mining for Automatic Classification of Logical Proofs (2013)
Tutoring and Automatic Evaluation of Logic Proofs (2013)
Robustness Analysis for Value-Freezing Signal Temporal Logic (2013)
Esther: Introducing an Online Platform for Parameter Identification of Boolean Networks (2013)
Roads to New Grand Challenges of Informatics (2014)
Visual Analytics by Animations in Higher Education (2013)
Minimum-violation LTL Planning with Conflicting Specifications (2013)
Parameterized Algorithms for Modular-Width (2013)
Incremental Sampling-Based Algorithm for Minimum-Violation Motion Planning (2013)
Least-violating control strategy synthesis with safety rules (2013)
Symbiotic 2: More Precise Slicing (Competition Contribution) (2014)
Spectra of absolute instruments from the WKB approximation (2013)
Multi-focal spherical media and geodesic lenses in geometrical optics (2013)
Dr TIM: Ray-tracer TIM, with additional specialist scientific capabilities (2014)
Playing the tricks of numbers of light sources (2013)
Local Model Checking of Weighted CTL with Upper-Bound Constraints (2013)
Constructive Communication in International Teams: An Experience-Based Guide (2014)
Satisfiability of acyclic and almost acyclic CNF formulas (2013)
Parameterized Complexity Results for Exact Bayesian Network Structure Learning (2013)
The Complexity of Repairing, Adjusting, and Aggregating of Extensions in Abstract Argumentation (2014)
Backdoors to q-Horn (2013)
Upper and Lower Bounds for Weak Backdoor Set Detection (2013)
Parameterized Complexity and Kernel Bounds for Hard Planning Problems (2013)
On the state complexity of semi-quantum finite automata (2014)
On the state complexity of semi-quantum finite automata (2014)
State succinctness of two-way finite automata with quantum and classical states (2013)
New vision and goals of informatics and megachallenges of mankind (2013)
New vision and future of informatics (2013)
CLAN Photo Presenter: Multi-modal Summarization Tool for Image Collections (2014)
On the Shannon Capacity of Triangular Graphs (2013)
Enumerating Cube Tilings (2013)
Synthesizing minimal tile sets for complex patterns in the framework of patterned DNA self-assembly (2013)
Modelling the Power Supply Network - Hardness and Approximation (2013)
Mathematical Algorithms and their Modification for Blind Students (2013)
DIVINE 3.0 (2013)
Robustness Analysis of Stochastic Systems (2013)
Epsilon-Semantics computations on biological systems (2014)
STL*: Extending signal temporal logic with signal-value freezing operator (2014)
Asian Quantum Information Science (2013)
Do Desperate Students Trade Their Privacy for a Hope? An Evidence of the Privacy Settings Influence on the User Performance (2014)
Algoritmická estetika / Estetika algoritmů (2010)
On Proper Simulation of Phenomena Influencing Image Formation in Fluorescence Microscopy (2014)
Vulnerability analysis methods for road networks (2014)
The Influence of Social Data on Student Success Prediction (2014)
Solving adversarial patrolling games with bounded error: (extended abstract) (2014)
Digraph width measures in parameterized algorithmics (2014)
Robustness Analysis of Stochastic Biochemical Systems (2014)
From LTL to Deterministic Automata: A Safraless Compositional Approach (2014)
Probabilistic Bisimulation: Naturally on Distributions (2014)
Verification of Markov Decision Processes using Learning Algorithms (2014)
Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata (2014)
Some stabilized bandwidth selectors for non-parametric regression (2003)
Biochemical Space: A Framework for Systemic Annotation of Biological Models (2014)
Towards Student Success Prediction (2014)
Weak Student Identification: How Technology Can Help (2014)
Rapid prototyping of a web categorization tool (2014)
Data Analysis in the Intelligent Building Environment (2014)
Is there a best Büchi automaton for explicit model checking? (2014)
Towards Academic Analytics by Means of Motion Charts (2014)
Analysis of Student Retention and Drop-out using Visual Analytics (2014)
Visual Analytics for Increasing Efficiency of Higher Education Institutions (2014)
Chasing the Best Büchi Automata for Nested Depth-first Search Based Model Checking (2014)
Device-independent randomness amplification with a single device (2014)
Device-independent randomness extraction from an arbitrarily weak min-entropy source (2014)
Svobodné a vnitřně demokratické univerzity pro svobodnou a prosperující zemi (2014)
Graph Mining and Outlier Detection Meet Logic Proof Tutoring (2014)
Graph Mining for Automatic Classification of Logical Proofs (2014)
Educational data mining for analysis of students’ solutions (2014)
On Clock-Aware LTL Properties of Timed Automata (2014)
Two notes on Grover’s search: Programming and discriminating (2014)
Entanglement sensitivity to signal attenuation and amplification (2014)
Distance to boundary and minimum-error discrimination (2014)
Maximally incompatible quantum observables (2014)
DISA at ImageCLEF 2014: The search-based solution for scalable image annotation (2014)
DISA at ImageCLEF 2014 Revised: Search-based Image Annotation with DeCAF Features (2014)
Precise Parameter Synthesis for Stochastic Biochemical Systems (2014)
Educational data mining for analysis of students’ solutions (2014)
Faster Existential FO Model Checking on Posets (2014)
Emission prediction of a thermal power plant (2014)
LTL Model Checking of Parametric Timed Automata (2014)
Symbolic Memory with Pointers (2014)
LTL Model Checking of LLVM Bitcode with Symbolic Data (2014)
Accelerating Temporal Verification of Simulink Diagrams Using Satisfiability Modulo Theories (2016)
Computing the stretch of an embedded graph (2014)
Planar Emulators Conjecture Is Nearly True for Cubic Graphs (2015)
Dealing with Zero Density Using Piecewise Phase-Type Approximation (2014)
Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties (2015)
Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games (2015)
Temporal Logic Motion Planning using POMDPs with Parity Objectives (2015)
Minimizing Running Costs in Consumption Systems (2014)
Zero-reachability in probabilistic multi-counter automata (2014)
Determining Cryptographic Distinguishers for eStream and SHA-3 Candidate Functions with Evolutionary Circuits (2014)
Sigmoid function parameter stability in anatomically informed priors for dynamic causal models (2014)
Model Checking C++ with Exceptions (2014)
Backdoors into Heterogeneous Classes of SAT and CSP (2014)
Backdoors to Planning (2014)
A Parameterized Study of Maximum Generalized Pattern Matching Problems (2014)
Finite Integer Index of Pathwidth and Treewidth (2014)
Neviditelnost – fikce, nebo realita? (2012)
Efficient Analysis of Probabilistic Programs with an Unbounded Counter (2014)
The Integration of User Documentation into Agile Development of Software (2014)
Towards an ecosystem for academic-industrial cooperation. (2014)
Modelling and Simulation of Public Administration Processes (2014)
Text Processing Performance in Go Language (2014)
E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria (2014)
Why are papers about filters on residuated structures (usually) trivial? (2014)
Fuzzy t-filters and their properties (2014)
Left atrium assessment: The evolving role of MRI (2015)
Runtime analysis of probabilistic programs with unbounded recursion (2015)
Towards Fast Multimedia Feature Extraction: Hadoop or Storm (2014)
Resolution of Maxwell's fisheye with an optimal active drain (2014)
Inequalities for quantum marginal problems with continuous variables (2014)
Invisible lenses with positive isotropic refractive index (2014)
ASSESSMENT OF PROJECT BASED LEARNING IN SOFTWARE ENGINEERING (2015)
Student Performance Prediction Using Collaborative Filtering Methods (2015)
Refinement checking on parametric modal transition systems (2015)
Markov Decision Processes with Multiple Long-Run Average Objectives (2014)
Bioinformatics Summer School 2014: Theoretical and practical aspects of processing and analysis of sequencing data (2014)
Smart buildings: Semantic web technology for building information model and building management system (2014)
Semantic Web Technology for Building Information Model (2014)
Quo Vadis Explicit-State Model Checking (2015)
From Quantum Query Complexity to State Complexity (2014)
Power of the interactive proof systems with verifiers modeled by semi-quantum two-way finite automata (2015)
Stochastic Modelling of the Interface between Regulatory Enzymes and Transcription Initiation at Inducible Genes (2014)
Efficient Model Checking of Weighted CTL with Upper-Bound Constraints (2016)
Device-independent randomness extraction for arbitrarily weak min-entropy source (2014)
Optimal entanglement-assisted discrimination of quantum measurements (2014)
Optimal single-shot strategies for discrimination of quantum measurements (2014)
Making Graph Theory Algorithms Accessible to Blind Students (2014)
Proceedings of the Conference Universal Learning Design, Paris 2014 (2014)
Better lower and upper bounds for the minimum rainbow subgraph problem (2014)
Algorithmic and Hardness Results for the Colorful Components Problems (2014)
The effects of perceived anonymity and anonymity states on conformity and groupthink in online communities: A Wikipedia study (2013)
Genus distributions of cubic series-parallel graphs (2014)
Complete Composition Operators for IOCO-Testing Theory (2015)
Maxwell's Daemon: Information versus Particle Statistics (2014)
Device Independent Random Number Generation (2014)
Bipartite entanglement-annihilating maps: Necessary and sufficient conditions (2013)
Dissociation and annihilation of multipartite entanglement structure in dissipative quantum dynamics (2013)
Criticality without Frustration for Quantum Spin-1 Chains (2012)
Algorithm for characterizing stochastic local operations and classical communication classes of multiparticle entanglement (2012)
ON A GENERALIZED QUANTUM SWAP GATE (2012)
The Mycroft Programme: Way to Effective Large Data Utilisation (2015)
Personal Relationships Identification in Unstructured data (2015)
Towards Freshmen Performance Prediction (2015)
Are Collaborative Filtering Methods Suitable for Student Performance Prediction? (2015)
A short note on t-filters, I-filters and extended filters on residuated lattices (2015)
Impact of Adaptive Educational System Behaviour on Student Motivation (2015)
Compact Representation of Photosynthesis Dynamics by Rule-based Models (2015)
An Analysis of Response Times in Adaptive Practice of Geography Facts (2015)
Exploring the Role of Small Differences in Predictive Accuracy using Simulated Data (2015)
Using Visual Analytics Tool for Improving Data Comprehension (2015)
Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes (2015)
Counterexample Explanation by Learning Small Strategies in Markov Decision Processes (2015)
The Hanoi Omega-Automata Format (2015)
Sbírka řešených úloh z logiky pro informatiky (2015)
Coloured Model Checking Approach to Parameter Synthesis for Executable Models in Synthetic Biology (2015)
On Degree Properties of Crossing-critical Families of Graphs (2015)
On Refinement of Büchi Automata for Explicit Model Checking (2015)
Towards Flexible Intelligent Building Data Analysis (2014)
Towards Interactive Visualization of Time Series Data to Support Knowledge Discovery (2015)
Higher-order immunoglobulin sequence relations for major subsets of chronic lymophocytic leukemia: uniqueness versus equivalence (2015)
Analysis of Czech actors' cooperation network using Gephi (2015)
Parameter Synthesis by Parallel Coloured CTL Model Checking (2015)
High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems (2015)
Biochemical Space: A Language for Formal Description and Annotation of Complex Biological Processes (2015)
Stochastic Modelling of the Interface between Regulatory Enzymes and Transcription Initiation at Inducible Genes (2015)
E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria (2015)
Chain rules for quantum Renyi entropies (2015)
The minimal work cost of information processing (2015)
Generalizations of the distributed Deutsch-Jozsa promise problem (2017)
Power of the interactive proof systems with verifiers modeled by semi-quantum two-way finite automata (2015)
Potential of Quantum Finite Automata with Exact Acceptance (2015)
Exact quantum algorithms have advantage for almost all Boolean functions (2015)
Grand challenges of informatics (2014)
Informatics, physics and mathematics (2016)
Exploring Medical Curricula Using Social Network Analysis Methods (2015)
Language Emptiness of Continuous-Time Parametric Timed Automata (2015)
Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks (2015)
Context-Switch-Directed Verification in DIVINE (2014)
Techniques for Memory-Efficient Model Checking of C and C++ Code (2015)
Fast, Dynamically-Sized Concurrent Hash Table (2015)
FO Model Checking on Posets of Bounded Width (2015)
Parameterized Algorithms for Parity Games (2015)
Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences (2015)
Faster Existential FO Model Checking on Posets (2015)
Practical Exhaustive Generation of Small Multiway Cuts in Sparse Graphs (2016)
Analysing Sanity of Requirements for Avionics Systems (2016)
International multi-laboratory next-generation sequencing for MRD analysis in ALL. A pilot study by the Euroclonality-NGS consortium (2015)
Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis (2015)
A Versatile Algorithm for Predictive Graph Rule Mining (2015)
Class-Based Outlier Detection: Staying Zombies or Awaiting for Resurrection? (2015)
Curriculum Mapping with Academic Analytics in Medical and Healthcare Education (2015)
Quantum marginal problems (2015)
FO Model Checking of Interval Graphs (2015)
On Hardness of the Joint Crossing Number (2015)
Cobra: A Tool for Solving General Deductive Games (2015)
On the Existence and Computability of Long-Run Average Properties in Probabilistic VASS (2015)
Long-Run Average Behaviour of Probabilistic Vector Addition Systems (2015)
MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives (2015)
Are there any good digraph width measures? (2016)
Sbírka řešených úloh z logiky pro informatiky (2015)
CO-AUTHORSHIP NETWORK ANALYSIS AT FACULTY OF INFORMATICS (2015)
ARResT/AssignSubsets: a novel application for robust subclassification of chronic lymphocytic leukemia based on B cell receptor IG stereotypy (2015)
Seeing through chaos in multimode fibres (2015)
Absolute optical instruments without spherical symmetry (2015)
A simple model for perfect imaging (2015)
Active absorption of electromagnetic pulses in a cavity (2015)
Direct stigmatic imaging with curved surfaces (2015)
The Lissajous Lens: A Three-Dimensional Absolute Optical Instrument without Spherical Symmetry (2015)
Vizualizace velkých dat (2015)
Integrating Personalized Learning with Industrial Cooperation (2014)
Exploring boundaries of quantum convex structures: special role of unitary processes (2015)
Process estimation in the presence of time-invariant memory effects (2015)
Imaging device and method (2015)
Imaging device and method (2015)
Discovering communities of similar R&D projects (2015)
Retrieval, visualization and validation of affinities between documents (2015)
Generic Private Social Network for Knowledge Management (2015)
Genus of the cartesian product of triangles (2015)
Variable-Deletion Backdoors to Planning (2015)
On the orthogonal vector problem and the feasibility of unconditionally secure Leakage-Resilient computation (2015)
Efficient Quantum Polar Codes Requiring No Preshared Entanglement (2015)
Entanglement Sampling and Applications (2015)
The Min-max Edge q-Coloring Problem (2015)
Approximation and hardness results for the maximum edges in transitive closure problem (2015)
Min-sum 2-paths problems (2014)
Using quantum key distribution for cryptographic purposes: A survey (2014)
On a family of linear recurrences (2013)
A Comparative Analysis of Techniques for Predicting Student Performance (2016)
Course Enrollment Recommender System (2016)
Automatic Keyword Extraction from Medical and Healthcare Curriculum (2016)
Learning Robust Features for Gait Recognition by Maximum Margin Criterion (2016)
Deep insight into secretome and transcriptome of Trichinella spiralis and Trichinela pseudospiralis (2016)
On verifying C++ programs with probabilities (2016)
Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis (2016)
LTL Parameter Synthesis of Parametric Timed Automata (2016)
Complementing Semi-deterministic Büchi Automata (2016)
Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC (2016)
Control Explicit-Data Symbolic Model Checking (2016)
Model checking C++ programs with exceptions (2016)
DIVINE: Explicit-State LTL Model Checker (2016)
Weak Memory Models as LLVM-to-LLVM Transformations (2016)
SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration (2016)
Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems (2016)
High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study (2016)
Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways (2016)
T-Shaped professional concept as an optimal knowledge network stabilizing team structure and project environment (2016)
Suggestions for Knowledge Management based on Complex Network Analysis (2016)
An explicit classical strategy for winning a CHSHq game (2016)
Tight bound on the classical value of generalized Clauser-Horne-Shimony-Holt games (2016)
Visual Anomaly Detection in Educational Data (2016)
PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems (2016)
Course Similarity Analysis (2016)
Swiveled Rényi entropies (2016)
Adaptive versus non-adaptive strategies in the quantum setting with applications (2016)
Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution) (2016)
Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams (2016)
Tighter Loop Bound Analysis (2016)
Tools for Fraud Detection in Insurance Image Data (2016)
Optimal observation mode scheduling for systems under temporal constraints (2016)
DGRMiner: Anomaly Detection and Explanation in Dynamic Graphs (2016)
MEMICS 2016. 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (2016)
Tunable Online MUS/MSS Enumeration (2016)
A Model Checking Approach to Discrete Bifurcation Analysis (2016)
Strojové učení pro analýzu rodinného podnikání (2016)
Graph Mining: Applications (invited talk) (2016)
Rozpoznání atributů vozidel pomocí metod strojového učení (Zvaná přednáška) (2016)
Anomaly detection for aircraft engine fault prediction (2016)
Virtual cell imaging: A review on simulation methods employed in image cytometry (2016)
New results on reduced-round Tiny Encryption Algorithm using genetic programming (2016)
A platform for detection of fusion genes in all from target capture next-generation sequencing of DNA and RNA (2016)
Precise parameter synthesis for stochastic biochemical systems (2017)
E-Cyanobacterium.org: A Web-Based Platform for Systems Biology of Cyanobacteria (2016)
Algorithm 970: Optimizing the NIST Statistical Test Suite and the Berlekamp-Massey Algorithm (2017)
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (2017)
Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration (2016)
Optimizing the Expected Mean Payoff in Energy Markov Decision Processes (2016)
Stability in Graphs and Games (2016)
Regular Strategies and Strategy Improvement: Efficient Tools for Solving Large Patrolling Problems (2016)
Trading performance for stability in Markov decision processes (2017)
Avalanche Effect in Improperly Initialized CAESAR Candidates (2016)
Stochastic Shortest Path with Energy Constraints in POMDPs: (Extended Abstract) (2016)
Inserting Multiple Edges into a Planar Graph (2016)
Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent (2016)
On a Fragment of AMSO and Tiling Systems (2016)
Crossing Number is Hard for Kernelization (2016)
Tree-depth and Vertex-minors (2016)
A New Perspective on FO Model Checking of Dense Graph Classes (2016)
Attack Detection Using Evolutionary Computation (2017)
Kernelization using structural parameters on sparse graph classes (2017)
First order limits of sparse graphs: Plane trees and path-width (2017)
A tighter insertion-based approximation of the crossing number (2017)
A role for palindromic structures in the cis-region of maize Sirevirus LTRs in transposable element evolution and host epigenetic response (2016)
Perfect conformal invisible device with feasible refractive indexes (2016)
Visual defects when extending two-dimensional invisible lenses with circular symmetry into the third dimension (2016)
Ray optics of generalised lenses (2016)
Omnidirectional transformation-optics cloak made from lenses and glenses (2016)
Quantified conjunctive queries on partially ordered sets (2016)
The Complexity Landscape of Decompositional Parameters for ILP (2016)
Using Decomposition-Parameters for QBF: Mind the Prefix! (2016)
Backdoors to Tractable Valued CSP (2016)
Counting Linear Extensions: Parameterizations by Treewidth (2016)
Polynomial-time Construction of Optimal MPI Derived Datatype Trees (2016)
A Single-Exponential Fixed-Parameter Algorithm for Distance-Hereditary Vertex Deletion (2016)
On the Complexity Landscape of Connected f-Factor Problems (2016)
On Existential MSO and its Relation to ETH (2016)
Catalytic decoupling of quantum information (2017)
Online and Compositional Learning of Controllers with Application to Floor Heating (2016)
Toolchain for User-Centered Intelligent Floor Heating Control (2016)
Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization (2016)
Distributed Computation of Fixed Points on Dependency Graphs (2016)
TAPAAL and Reachability Analysis of P/T Nets (2016)
Big Data Quality - Towards an Explanation Model in a Smart City Context (2016)
Developing a Data Quality Research Taxonomy – an organizational perspective (2016)
Incompatible measurements on quantum causal networks (2016)
Word2vec Based System for Recognizing Partial Textual Entailment (2016)
Formal Biochemical Space with Semantics in Kappa and BNGL (2016)
Expected Reachability-Time Games (2016)
Decidability Results for Multi-objective Stochastic Games (2016)
A T-shaped model for rethinking higher education programs (2016)
Rusins Martins Freivalds Remarkable scholar, unique teacher and great man (2016)
Characterizing DAG-depth of Directed Graphs (2016)
Seminator: A Tool for Semi-Determinization of Omega-Automata (2017)
Factors Influencing the Purchase of Security Software for Mobile Devices - Case Study (2017)
ARResT/Interrogate: an interactive immunoprofiler for IG/TR NGS data (2017)
GLASS: assisted and standardized assessment of gene variations from Sanger sequence trace data. (2017)
IT-enabled Digital Service Design Principles - Lessons Learned from Digital Cities (2017)
Adaptace matematických algoritmů pro nevidomé (2014)
Consistency Checking in Requirements Analysis (2017)
Security Protocols XXIV - 24th International Workshop (2017)
Reconsidering Attacker Models in Ad-Hoc Networks (2017)
Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-Affine Dynamical Systems (2017)
Detecting Attractors in Biological Models with Uncertain Parameters (2017)
Parameter Synthesis of Biological Models by Model Checking: A Case Study (2017)
PITHYA: High-Performance Parameter Synthesis for Biological Models (2017)
Precise parameter synthesis for stochastic biochemical systems (2017)
Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation (2017)
Biochemical Space: A Language for Formal Description and Annotation of Complex Biological Processes (2016)
Biochemical Space: A Framework for Formal Description and Annotation of Complex Biological Processes (2017)
člen panelu P202 (2013)
Grantová Agentura ČR, člen oborové subkomise POK 201 pro matematiku a informatiku (2002)
člen vědecké rady Fakulty elektrotechniky a informatiky VŠB-TU Ostrava (2000)
člen vědecké rady Ústavu informatiky ČAV, Praha (2004)
člen Českého národního komitétu IFIP (1998)
member of IFIP Technical Committee TC-2, IFIP (1998)
Analysis of gene expression and protein synthesis related to hypobiosis of Teladorsagia circumcincta (2017)
The Return of Coppersmith's Attack: Practical Factorization of Widely Used RSA Moduli (2017)
Measuring Popularity of Cryptographic Libraries in Internet-Wide Scans (2017)
Symbiotic 4: Beyond Reachability (Competition Contribution) (2017)
Data-centric Dynamic Partial Order Reduction (2018)
A large-scale comparative study of beta testers and regular users (2018)
Circular units of real abelian fields with four ramified primes (2017)
Model Checking Approach to Discrete Bifurcation Analysis (2017)
E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria (2017)
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms (2017)
Synthesis of Optimal Resilient Control Strategies (2017)
Parameterized Extension Complexity of Independent Set and Related Problems (2018)
Parameterized Shifted Combinatorial Optimization (2017)
FO model checking of geometric graphs (2018)
On Colourability of Polygon Visibility Graphs (2018)
On upward straight-line embeddings of oriented paths (2017)
Promise problems solved by quantum and classical finite automata (2017)
Parallel Algorithm for Terminal Components Detection in Parametrised Transition Systems (2017)
Discrete Bifurcation Analysis of Reactive Systems (2017)
E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria (2017)
Biochemical Space: A framework for formal description and annotation of complex biological processes (2017)
E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria (2017)
On Simplification of Formulas with Unconstrained Variables and Quantifiers (2017)
Model Checking of C and C++ with DIVINE 4 (2017)
Using Off-the-Shelf Exception Support Components in C++ Verification (2017)
Optimizing and Caching SMT Queries in SymDIVINE (Competition Contribution) (2017)
Discrete Bifurcation Analysis with Pithya (2017)
From Model Checking to Runtime Verification and Back (2017)
The generalized rank of trace languages (2017)
Biochemical Space: A Language for Formal Description and Annotation of Complex Biological Processes (2015)
Security Protocols XXV - 25th International Workshop, Cambridge, UK, March 20–22, 2017, Revised Selected Papers (2017)
Expert System for Insurance Data Fraud Detection (2017)
GLASS: assisted and standardized assessment of gene variations from Sanger sequence trace data (2017)
GLASS:assisted and standardized assessment of gene variations from Sanger sequence trace data. (2017)
Rapid automatic vehicle manufacturer recognition using Random forest (2017)
Validation and Extension of the Smart City Ontology (2018)
Winning an Unwinnable Game (2017)
WalDis: Mining Discriminative Patterns within Dynamic Graphs (2017)
Divisibility of quantum dynamical maps and collision models (2017)
Two-layer Drawings of Bipartite Graphs (2017)
Why Johnny the Developer Can't Work with Public Key Certificates: An Experimental Study of OpenSSL Usability (2018)
1-out-of-2 oblivious transfer using a flawed bit-string quantum protocol (2017)
Entropy crowdsourcing - protocols for link key updates in wireless sensor networks (2018)
Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games (2018)
A generic framework for checking semantic equivalences between pushdown automata and finite-state automata (2018)
Layered quantum key distribution (2018)
GLASS (2017)
Experimental large-scale review of attractors for detection of potentially unwanted applications (2018)
PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing (2017)
Discrete and Continuous Strategies for Timed-Arc Petri Net Games (2018)
Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS (2018)
Consistent Subset Problem with Two Labels. (2018)
Meta-kernelization with structural parameters (2016)
Model Checking Existential Logic on Partially Ordered Sets (2016)
Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting (2017)
Going Beyond Primal Treewidth for {(M)ILP} (2017)
Solving Integer Linear Programs with a Small Number of Global Variables and Constraints (2017)
On Structural Parameterizations of the Edge Disjoint Paths Problem (2017)
Towards a Polynomial Kernel for Directed Feedback Vertex Set (2017)
Backdoor Treewidth for SAT (2017)
New Width Parameters for Model Counting (2017)
Combining Treewidth and Backdoors for CSP (2017)
Edge detection based on single-pixel imaging (2018)
Time-space complexity advantages for quantum computing (2017)
Symbiotic 5: Boosted Instrumentation (Competition Contribution) (2018)
Knowledge-based System for Assessing Vitality of Family Businesses in the Czech Republic (2017)
On the complexity of the quantified bit-vector arithmetic with binary encoding (2018)
Parametric multi-step scheme for GPU-accelerated graph decomposition into strongly connected components (2017)
Investigating results and performance of search and construction algorithms for word-based LFSRs, \sigma-LFSRs (2018)
The omega-inequality problem for concatenation hierarchies of star-free languages (2018)
Online Enumeration of All Minimal Inductive Validity Cores (2018)
E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria (2016)
BCSgen: Biochemical Space language software tool (2017)
Finding Regressions in Projects under Version Control Systems (2018)
Complex Network Analysis for Knowledge Management and Organizational Intelligence (2020)
Joint Forces for Memory Safety Checking (2018)
Bisimulation Invariant Monadic-Second Order Logic in the Finite (2018)
On clock-aware LTL parameter synthesis of timed automata (2018)
Evolving boolean functions for fast and efficient randomness testing (2018)
Black Ninjas in the Dark: Formal Analysis of Population Protocols (2018)
Solving Patrolling Problems in the Internet Environment (2018)
Visual and Quantitative Comparison of Real and Simulated Biomedical Image Data (2019)
Recursive Online Enumeration of All Minimal Unsatisfiable Subsets (2018)
Adaptive Secrecy Amplification with Radio Channel Key Extraction (2018)
PITHYA (2018)
Simulating the Impact of Cooperation and Management Strategies on Stress and Economic Performance (2019)
Practical Cryptographic Data Integrity Protection with Full Disk Encryption (2018)
Support for authenticated encryption in Linux dm-crypt disk encryption (2017)
Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets (2018)
Fully Automated Attractor Analysis of Cyanobacteria Models (2018)
Symbolic Computation via Program Transformation (2018)
Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers (2018)
Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes? (2018)
Security Protocols XXVI: 26th International Workshop (2018)
Mobile Health Interventions for Physical Activity, Sedentary Behavior, and Sleep in Adults Aged 50+ : A Systematic Literature Review (2019)
Model Checking of C++ Programs Under the x86-TSO Memory Model (2018)
Deciding Parity of Graph Crossing Number (2018)
A Simpler Self-reduction Algorithm for Matroid Path-width (2018)
Structure and generation of crossing-critical graphs (2018)
Reflective Diary for Professional Development of Novice Teachers (2019)
A Distributed Fixed-Point Algorithm for Extended Dependency Graphs (2018)
FO model checking on geometric graphs (2019)
Modeling and Simulating Cooperation in Organizations (2018)
Toward Model Selection by Formal Methods (2020)
Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks (2018)
Simplification of CTL Formulae for Efficient Model Checking of Petri Nets (2018)
Jakými tvory jsme? (2018)
Kyber není kybernetika (2016)
University-Industry Co-operation (2018)
Towards a pseudoequational proof theory (2018)
Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems (2018)
Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems (2018)
P-Rex: Fast Verification of MPLS Networks with Multiple Link Failures (2018)
MCC'2017 - The Seventh Model Checking Contest (2018)
The generalized rank of trace languages (2019)
Comprehensive Modelling Platform (2019)
E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria (2018)
Digital Bifurcation Analysis of TCP Dynamics (2019)
Facetal Abstraction for Non-linear Dynamical Systems Based on delta-decidable SMT (2019)
On Structural Parameterizations of the Bounded-Degree Vertex Deletion Problem (2018)
Small Resolution Proofs for QBF using Dependency Treewidth (2018)
Unary Integer Linear Programming with Structural Restrictions (2018)
A Structural Approach to Activity Selection (2018)
Sum-of-Products with Default Values: Algorithms and Complexity Results (2018)
Parameterized Algorithms for the Matrix Completion Problem (2018)
A single-exponential fixed-parameter algorithm for distance-hereditary vertex deletion (2018)
Meta-kernelization using well-structured modulators (2018)
On the complexity of rainbow coloring problems (2018)
Solving Problems on Graphs of High Rank-Width (2018)
The complexity landscape of decompositional parameters for ILP (2018)
Improving the Success Probability for Shor’s Factorization Algorithm (2018)
Finitely forcible graph limits are universal (2018)
DiVM: Model checking with LLVM and graph memory (2018)
Toward Robust Fully 3D Filopodium Segmentation and Tracking in Time-Lapse Fluorescence Microscopy (2019)
PROLEMus: A Proactive Learning-Based MAC Protocol Against PUEA and SSDF Attacks in Energy Constrained Cognitive Radio Networks (2019)
On Generative Modeling of Cell Shape Using 3D GANs (2019)
A deterministic approach for rapid identification of the critical links in networks (2019)
Extending DIVINE with Symbolic Verification Using SMT (2019)
Joint Forces for Memory Safety Checking Revisited (2020)
Model Checking Approach to the Analysis of Biological Systems (2019)
Difficulty and Complexity of Introductory Programming Problems (2019)
Measuring Students’ Performance on Programming Tasks (2019)
Towards Adaptive Hour of Code (2019)
Blockly Programming Dataset (2019)
Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors (2019)
Optimal-size clique transversals in chordal graphs (2018)
Weak regularity and finitely forcible graph limits (2018)
On the Complexity of Value Iteration (2019)
Barbaric Robustness Monitoring Revisited for STL* in Parasim (2019)
Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs (2018)
Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs (2018)
Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives (2018)
Policy learning in continuous-time Markov decision processes using Gaussian Processes (2017)
Prediction Score for persisting perfusion defects after pulmonary embolism (2020)
Parallel parameter synthesis algorithm for hybrid CTL (2020)
RoFICoM - First Open-Hardware Connector for Metamorphic Robots (2019)
Will You Trust This TLS Certificate? Perceptions of People Working in IT (2019)
String Abstraction for Model Checking of C Programs (2019)
Local Nontermination Detection for Parallel C++ Programs (2019)
Deciding Fast Termination for Probabilistic VASS with Nondeterminism (2019)
ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata (2019)
Reproducible Execution of POSIX Programs with DiOS (2019)
Evaluation of Program Slicing in Software Verification (2019)
Computational Modelling of Metabolic Burden and Substrate Toxicity in Escherichia coli Carrying a Synthetic Metabolic Pathway (2019)
A Simulator for LLVM Bitcode (2019)
On conflict-free chromatic guarding of simple polygons (2019)
Generic Emptiness Check for Fun and Profit (2019)
LTL to Smaller Self-Loop Alternating Automata and Back (2019)
Drug Penetration Analysis in 3D Cell Cultures Using Fiducial-Based Semiautomatic Coregistration of MALDI MSI and Immunofluorescence Images (2019)
Compiling C and C++ Programs for Dynamic White-Box Analysis (2020)
Bidding Games on Markov Decision Processes (2019)
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms (2019)
Modeling and Simulating Communication, Stress, and Productivity in Socio-Economic Structures (2019)
On the achievable average degrees in 2-crossing-critical graphs (2019)
Evolution of SSL/TLS Indicators and Warnings in Web Browsers (2020)
Propaganda web crawler (2019)
Exploration of the Robustness and Generalizability of the Additive Factors Model (2020)
Edge colorings avoiding patterns (2019)
t-Strong cliques and the degree-diameter problem (2019)
Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. (2019)
Software pro simulaci obecných i kritických informačních infrastruktur (2019)
Adversarial Patrolling with Drones (2020)
Flexibilita známá a neznámá (2019)
MUST: Minimal Unsatisfiable Subsets Enumeration Tool (2020)
Image-based Simulations of Tubular Network Formation (2020)
Untangled modes in multimode waveguides (2016)
Accelerating Parameter Synthesis Using Semi-algebraic Constraints (2019)
Improved bounds for centered colorings (2020)
Avoiding Multiple Repetitions in Euclidean Spaces (2020)
Bundling all shortest paths (2020)
Progress towards omnidirectional transformation optics with lenses (2016)
MULTIMODE FIBRES: SEEING THROUGH CHAOS (2016)
Toroidal grid minors and stretch in embedded graphs (2020)
On Degree Properties of Crossing-Critical Families of Graphs (2019)
Parameterized shifted combinatorial optimization (2019)
Shrub-depth: Capturing Height of Dense Graphs (2019)
Exact Crossing Number Parameterized by Vertex Cover (2019)
Bounded degree conjecture holds precisely for c-crossing-critical graphs with c<=12 (2019)
Drawing Bipartite Graphs in Two Layers with Specified Crossings (2019)
Abstract Dependency Graphs and Their Application to Model Checking (2019)
Safe and Time-Optimal Control for Railway Games (2019)
Model Verification Through Dependency Graphs (2019)
Partial Order Reduction for Reachability Games (2019)
Stubborn Versus Structural Reductions for Petri Nets (2019)
Model Checking and Synthesis for Branching Multi-Weighted Logics (2019)
The step Sidorenko property and non-norming edge-transitive graphs (2019)
Infinite-dimensional finitely forcible graphon (2019)
Compactness and finite forcibility of graphons (2019)
MORE NON-BIPARTITE FORCING PAIRS (2019)
CYCLES OF LENGTH THREE AND FOUR IN TOURNAMENTS (2019)
Permutations with fixed pattern densities (2020)
K-cut on paths and some trees (2019)
Analytic representations of large graphs (2019)
Teaching Lab: Training Novice Computer Science Teachers (2020)
Parameterized Complexity of Asynchronous Border Minimization (2019)
Counting Linear Extensions: Parameterizations by Treewidth (2019)
On the Complexity Landscape of Connected f-Factor Problems (2019)
Solving Integer Linear Programs by Exploiting Variable-Constraint Interactions: A Survey (2019)
Solving Integer Quadratic Programming via Explicit and Structural Restrictions (2019)
SAT-Encodings for Treecut Width and Treedepth (2019)
A Join-Based Hybrid Parameter for Constraint Satisfaction (2019)
Group Activity Selection with Few Agent Types (2019)
On Strict (Outer-)Confluent Graphs (2019)
Parameterized Algorithms for Book Embedding Problems (2019)
Integer Programming and Incidence Treedepth (2019)
Measuring what Matters: A Hybrid Approach to Dynamic Programming with Treewidth (2019)
The Parameterized Complexity of Cascading Portfolio Scheduling (2019)
The Power of Cut-Based Parameters for Computing Edge Disjoint Paths (2019)
Data-Informed Parameter Synthesis for Population Markov Chains (2019)
Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes (2018)
Continuous-Time Markov Decisions Based on Partial Exploration (2018)
Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm (2018)
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints (2018)
Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes (2018)
Of Cores: A Partial-Exploration Framework for Markov Decision Processes (2019)
PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games (2019)
Strategy Representation by Decision Trees with Linear Classifiers (2019)
Symbiotic 7: Integration of Predator and More (Competition Contribution) (2020)
Approximate Counting of Minimal Unsatisfiable Subsets (2020)
Rotation Based MSS/MCS Enumeration (2020)
Propagation and self-healing properties of Bessel-Gaussian beam carrying orbital angular momentum in an underwater environment (2019)
Theory of limits of sequences of Latin squares (2019)
Synthesis of quantum images using phase rotation (2019)
Enhanced double random phase encryption of quantum images (2019)
Entangling and disentangling in Grover's search algorithm (2019)
A quantum secret sharing scheme without monitoring signal disturbance (2019)
Security improvements of several basic quantum private query protocols with O(log N) communication complexity (2020)
Symbiotic 6: generating test cases by slicing and symbolic execution (2021)
Regular Tree Algebras (2020)
Bisimulation invariant monadic-second order logic in the finite (2020)
Multimode fibre: a pathway towards deep tissue fluorescence microscopy (2015)
Untangled modes in multimode fibres for flexible microendoscopy (2015)
Efficient Analysis of VASS Termination Complexity (2020)
Replication-Guided Enumeration of Minimal Unsatisfiable Subsets (2020)
Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes (2020)
Parameter Synthesis and Robustness Analysis of Rule-Based Models (2020)
Executable Biochemical Space for Specification and Analysis of Biochemical Systems (2020)
Executable Biochemical Space for Specification and Analysis of Biochemical Systems (2020)
What do forbidden light-ray fields look like? (2014)
About Tests of Collapse Models and Bell Inequalities at Accelerator Facilities (2012)
Frequency spectra of absolute optical instruments (2012)
Will You Trust This TLS Certificate? Perceptions of People Working in IT (Extended Version) (2020)
Isomorphism Problem for Sd-Graphs (2020)
Clique-Width of Point Configurations (2020)
On Embeddability of Unit Disk Graphs onto Straight Lines (2020)
AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks (2020)
DG: Analysis and Slicing of LLVM Bitcode (2020)
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling (2020)
Executable Biochemical Space for Specification and Analysis of Biochemical Systems (2020)
Matrices of optimal tree-depth and a row-invariant parameterized algorithm for integer programming (2020)
Digital Bifurcation Analysis of Internet Congestion Control Protocols (2020)
Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications. (2020)
Beyond binary correctness: Classification of students’ answers in learning systems (2020)
Design and analysis of microworlds and puzzles for block-based programming (2022)
LTL to self-loop alternating automata with generic acceptance and back (2020)
Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions (2020)
Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization (2020)
eBCSgen: A Software Tool for Biochemical Space Language (2020)
Don’t blame the developers: making security usable for IT professionals (2020)
Reproducible execution of POSIX programs with DiOS (2021)
Three-coloring triangle-free graphs on surfaces II. 4-critical graphs in a disk (2018)
Decomposing Graphs into Edges and Triangles (2019)
A bound on the inducibility of cycles (2019)
Three-coloring triangle-free graphs on surfaces III. Graphs of girth five (2020)
Finitely Forcible Graphons with an Almost Arbitrary Structure (2020)
MATCHINGS AND NONRAINBOW COLORINGS (2009)
6-CRITICAL GRAPHS ON THE KLEIN BOTTLE (2009)
OPTIMAL REAL NUMBER GRAPH LABELLINGS OF A SUBFAMILY OF KNESER GRAPHS (2009)
A NEW LOWER BOUND ON THE NUMBER OF PERFECT MATCHINGS IN CUBIC GRAPHS (2009)
Coloring triangle-free graphs on surfaces (2009)
Experimental creation of multi-photon high-dimensional layered quantum states (2020)
DG: A program analysis library (2020)
The Stack: Unplugged Activities for Teaching Computer Science (2021)
Abstracting Strings for Model Checking of C Programs (2020)
Counting Maximal Satisfiable Subsets (2021)
Lactic Acidosis Interferes With Toxicity of Perifosine to Colorectal Cancer Spheroids: Multimodal Imaging Analysis (2020)
Timed Automata Relaxation for Reachability (2021)
Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications (2020)
Qualitative Controller Synthesis for Consumption Markov Decision Processes (2020)
Termination Analysis of Probabilistic Programs with Martingales (2020)
High-Dimensional Pixel Entanglement: Efficient Generation and Certification (2020)
Symbiotic 8: Parallel and Targeted Test Generation (2021)
Semi-device-independent random number generation with flexible assumptions (2021)
Challenges Faced by Teaching Assistants in Computer Science Education Across Europe (2021)
Elusive extremal graphs (2020)
Characterization of quasirandom permutations by a pattern sum (2020)
Cycles of length three and four in tournaments (2020)
Symbolic Coloured SCC Decomposition (2021)
A New Perspective on FO Model Checking of Dense Graph Classes (2020)
Data-Informed Parameter Synthesis for Population Markov Chains (2019)
On Symbolic Execution of Decompiled Programs (2020)
Quantum Key Distribution Overcoming Extreme Noise: Simultaneous Subspace Coding Using High-Dimensional Entanglement (2021)
Choice of mutually unbiased bases and outcome labeling affecting measurement outcome secrecy (2021)
Using Process Mining for Git Log Analysis of Projects in a Software Development Course (2021)
Multiple-pulse phase-matching quantum key distribution (2020)
Complexity of planar signed graph homomorphisms to cycles (2020)
Parameterized complexity of edge-coloured and signed graph homomorphism problems (2019)
Strategy Representation by Decision Trees in Reactive Synthesis (2018)
Metric hull as similarity-aware operator for representing unstructured data (2021)
Better Model, Worse Predictions: The Dangers in Student Model Comparisons (2021)
Device-independent bounds from Cabello's nonlocality argument (2021)
Computing Bottom SCCs Symbolically Using Transition Guided Reduction (2021)
Complexity and Difficulty of Items in Learning Systems (2022)
Fast Computation of Strong Control Dependencies (2021)
Symbiotic 8: Beyond Symbolic Execution (2021)
The Satisfiability Problem for a Quantitative Fragment of PCTL (2021)
Experimental Evaluation of Similarity Measures for Educational Items (2021)
DQBDD: An Efficient BDD-Based DQBF Solver (2021)
Organizing Similarity Spaces using Metric Hulls (2021)
Deciding Polynomial Termination Complexity for VASS Programs (2021)
Regressive Ensemble for Machine Translation Quality Evaluation (2021)
Counting Minimal Unsatisfiable Subsets (2021)
Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games (2021)
Proving non-termination by program reversal (2021)
On Lexicographic Proof Rules for Probabilistic Termination (2021)
Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption (2021)
Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way? (2021)
Computational Complexity of Covering Multigraphs with Semi-Edges: Small Cases (2021)
Clique-Width of Point Configurations (2023)
Twin-Width is Linear in the Poset Width (2021)
Unit Disk Visibility Graphs (2021)
A Short Proof of Euler–Poincaré Formula (2021)
On 13-Crossing-Critical Graphs with Arbitrarily Large Degrees (2021)
Backward Symbolic Execution with Loop Folding (2021)
Lower bound on the size of a quasirandom forcing set of permutations (2022)
CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints (2021)
Quasirandom Latin squares (2022)
“They’re not that hard to mitigate”: What Cryptographic Library Developers Think About Timing Attacks (2022)
Towards Domain Robustness of Neural Language Models (2021)
How Do Users Chain Email Accounts Together? (2021)
Coloring graphs by translates in the circle (2021)
Cyclic coloring of plane graphs with maximum face size 16 and 17 (2021)
Three-coloring triangle-free graphs on surfaces IV. Bounding face sizes of 4-critical graphs (2021)
Three-coloring triangle-free graphs on surfaces V. Coloring planar graphs with distant anomalies (2021)
Packing and covering directed triangles asymptotically (2022)
Random perturbation of sparse graphs (2021)
Majority colorings of sparse digraphs (2021)
Verification of Programs Sensitive to Heap Layout (2022)
LART: Compiled Abstract Execution (Competition Contribution) (2022)
Symbiotic 8 (2021)
Algebraic Language Theory for Eilenberg–Moore Algebras (2021)
ω-Forest Algebras and Temporal Logics (2021)
DIVINE 4.4 (2021)
User Perceptions of Usability and Security of Authentication Methods for Mobile Banking on Smartphones (2019)
Aeon 2021: Bifurcation Decision Trees in Boolean Networks (2021)
DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications (2021)
BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs (2022)
Isomorphism Testing for T-graphs in FPT (2022)
Symbiotic-Witch: A Klee-Based Violation Witness Checker (2022)
Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (2022)
Algorithmic Analysis of Termination and Counter Complexity in Vector Addition Systems with States: A Survey of Recent Results (2021)
Implementation of quantum compression on IBM quantum computers (2022)
Exploring attractor bifurcations in Boolean networks (2022)
Finite-Function-Encoding Quantum States (2022)
Self-testing quantum states via nonmaximal violation in Hardy's test of nonlocality (2022)
Hypergraphs with Minimum Positive Uniform Turán Density (2021)
Strong Modeling Limits of Graphs with Bounded Tree-Width (2021)
Longest Paths in Random Hypergraphs (2021)
Strong chromatic index of K-1,t-free graphs (2020)
Experience with Abrupt Transition to Remote Teaching of Embedded Systems (2022)
DivSIM , an interactive simulator for LLVM bitcode (2022)
SHINE: Resilience via Practical Interoperability of Multi-party Schnorr Signature Schemes (2022)
Characterization of Matrices with Bounded Graver Bases and Depth Parameters and Applications to Integer Programming (2022)
Timed Automata Robustness Analysis via Model Checking (2022)
Matrices of Optimal Tree-Depth and a Row-Invariant Parameterized Algorithm for Integer Programming (2022)
Evaluation of Smart City Models: A Conceptual and Structural View. (2022)
Teaching in multicontextual envirnoment (2022)
eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems (2022)
Minimizing Expected Intrusion Detection Time in Adversarial Patrolling (2022)
General Optimization Framework for Recurrent Reachability Objectives (2022)
Usability Insights from Establishing TLS Connections (2022)
Weighted Model Counting with Twin-Width (2022)
Efficient Isomorphism for Sd-Graphs and T-Graphs (2023)
DiSSECT: Distinguisher of Standard and Simulated Elliptic Curves via Traits (2022)
Temporary and Permanent Control of Partially Specified Boolean Networks (2023)
Code Quality Defects Across Introductory Programming Topics (2022)
Assessing Real-World Applicability of Redesigned Developer Documentation for Certificate Validation Errors (2022)
On-the-fly Adaptation of Patrolling Strategies in Changing Environments (2022)
Twin-Width and Transductions of Proper k-Mixed-Thin Graphs (2022)
MSMetaEnhancer: A Python package for mass spectra metadata annotation (2022)
AEON.py: Python library for attractor analysis in asynchronous Boolean networks (2022)
Bounded degree conjecture holds precisely for c-crossing-critical graphs with c<=12 (2022)
Parameterised Partially-Predrawn Crossing Number (2022)
Graph Product Structure for h-Framed Graphs (2022)
Case Study on Verification-Witness Validators: Where We Are and Where We Go (2022)
Three-coloring triangle-free graphs on surfaces VII. A linear-time algorithm (2022)
No additional tournaments are quasirandom-forcing (2023)
Non-Bipartite K-Common Graphs (2022)
Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge (2022)
Density maximizers of layered permutations (2022)
Inducibility and universality for trees (2022)
Dohledové centrum pro monitorování výrobních informačních systémů (2022)
Tentacle-Based Shape Shifting of Metamorphic Robots Using Fast Inverse Kinematics (2023)
Rule-based Modelling of Biological Systems Using Regulated Rewriting (2023)
Ethics and IT: Experience with a New Course (2022)
Academic Integrity: Broadening Practices, Technologies, and the Role of Students (2022)
Towards Design-Loop Adaptivity: Identifying Items for Revision (2022)
Cycles of a given length in tournaments (2023)
Improving Learning Environments: Avoiding Stupidity Perspective (2022)
Limitations of contract cheating research (2022)
On a colored Turan problem of Diwan and Mubayi (2022)
Support for victims of academic misconduct: an interactive portal and support network (2022)
What is the european network for academic integrity and what can it do for you? (2022)
Use of Technology to Assist in Identifying Potential Plagiarism Cases (2022)
Causes, Consequences and Prevention of Scientific Misconduct (2022)
The Agenda for Academic Integrity (2022)
European Network for Academic IntegritySupport of the Victims of Academic Misconduct (2022)
Akademická integrita a plagiátorství (2022)
Academic Integrity and Artificial Intelligence (2022)
Detekce plagiátorství – aktuální výzvy (2022)
Umělá inteligence a akademická integrita (2023)
Artificial Intelligence and Academic Integrity (2023)
Privacy risks of whole-slide image sharing in digital pathology (2023)
Boolean network sketches: a unifying framework for logical model inference (2023)
How to shoot yourself right with a smartphone? (2023)
xOpat: eXplainable Open Pathology Analysis Tool (2023)
Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties (2023)
Nonlocal Temporal Interferometry for Highly Resilient Free-Space Quantum Communication (2023)
Quantum key distribution rates from semidefinite programming (2023)
Distribution of genuine high-dimensional entanglement over 10.2 km of noisy metropolitan atmosphere (2023)
Inserting Multiple Edges into a Planar Graph (2023)
Twin-width of Planar Graphs is at most 8, and at most 6 when Bipartite Planar (2023)
Stack and Queue Numbers of Graphs Revisited (2023)
Recognizing H-Graphs - Beyond Circular-Arc Graphs (2023)
Shielding in Resource-Constrained Goal POMDPs (2023)
From Spot 2.0 to Spot 2.10: What's New? (2022)
Cryptanalysis and improvement of a semi-quantum private comparison protocol based on Bell states (2021)
ENAI Recommendations on the ethical use of Artificial Intelligence in Education (2023)
Testing of AI Detection Tools (2023)
Ethical Beliefs and Controversies of Computer Science Teaching Assistants (2023)
Testing Boolean Functions Properties (2021)
CICM'21 Systems Entries (2021)
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems (2023)
Mean Payoff Optimization for Systems of Periodic Service and Maintenance (2023)
Enabling Efficient Threshold Signature Computation via Java Card API (2023)
Twin-width of Planar Graphs; a Short Proof (2023)
Minimizing an Uncrossed Collection of Drawings (2023)
Sparse Graphs of Twin-width 2 Have Bounded Tree-width (2023)
An Evaluation of Smart City Models Towards a New Service Design Model (2023)
Asymptotic Complexity Estimates for Probabilistic Programs and their VASS Abstractions (2023)
Phenotype Control of Partially Specified Boolean Networks (2023)
The satisfiability problem for a quantitative fragment of PCTL (2024)
RoFIOS - Flexible Full-Stack Software Solution for Metamorphic Robots (2023)
Fault-Tolerant and System-Wide Communication for Metamorphic Robots (2023)
Optical Cryptanalysis: Recovering Cryptographic Keys from Power LED Light Fluctuations (2023)
Guessing Winning Policies in LTL Synthesis by Semantic Learning (2023)
Interactive Matching Logic Proofs in Coq (2023)
Shedding light on the black box of a neural network used to detect prostate cancer in whole slide images by occlusion-based explainability (2023)
Multi-Contextual Smart City Model for Service Interconnections (2023)
Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving (2023)
Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (2023)
Kratos2: An SMT-Based Model Checker for Imperative Programs (2023)
LART (2022)
Symbiotic 9.1 (2022)
Symbiotic-Witch 2 (2023)
A multimodal smartwatch-based interaction concept for immersive environments (2023)
Quasirandom-Forcing Orientations of Cycles (2023)
Testing of detection tools for AI-generated text (2023)
Can we detect ChatGPT-generated texts in Czech and Slovak languages? (2023)
Tyranie metrik (2020)
Jako člověk : umělá inteligence a problém jejího ovládání (2021)
Acceleration of Molecular Simulations by Parametric Time-Lagged tSNE Metadynamics (2024)
Monte Carlo Tree Search with Function Approximation for Risk-constrained Planning and Reinforcement Learning (2023)
The adoption rate of JavaCard features by certified products and open-source projects (2024)
Optimality problems in Orlicz spaces (2023)
Optimal Sobolev embeddings for the Ornstein-Uhlenbeck operator (2023)
On the Existence of Extremals for Moser-Type Inequalities in Gauss Space (2022)
Sharp exponential inequalities for the Ornstein-Uhlenbeck operator (2021)
Maximal Non-compactness of Sobolev Embeddings (2021)
TPMScan: A wide-scale study of security-relevant properties of TPM 2.0 chips (2024)
Twin-Width and Transductions of Proper k-Mixed-Thin Graphs (2024)
Learning Attack Trees by Genetic Algorithms (2023)
Entrevista com lideranças na promoção da ética em pesquisa e da integridade acadêmica e científica (2023)
Computing Twin-Width Parameterized by the Feedback Edge Number (2024)
The Power-Set Construction for Tree Algebras (2023)
“These results must be false”: A usability evaluation of constant-time analysis tools (2024)
The Landscape of Computational Thinking Problems for Practice and Assessment (2023)
A.D.A.P.T. Software (2023)
On Lexicographic Proof Rules for Probabilistic Termination (2023)
Efficient Strategy Synthesis for MDPs With Resource Constraints (2023)
UNIFORM TURAN DENSITY OF CYCLES (2023)
Toward characterizing locally common graphs (2023)
The dimension of the feasible region of pattern densities (2023)
Forcing Generalized Quasirandom Graphs Efficiently (2023)
Three-coloring triangle-free graphs on surfaces VI. 3-colorability of quadrangulations (2024)
Ramsey upper density of infinite graphs (2023)
Limits of Latin Squares (2023)
Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives (2023)
Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks (2023)
Model Checking for Proving and Improving Fault Tolerance of Satellites (2023)
Algebraically explainable controllers: decision trees and support vector machines join forces (2023)
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks (2023)
Ramsey upper density of infinite graph factors (2023)
Personalized recommendations for learning activities in online environments: a modular rule-based approach (2024)
Tighter Construction of Tight Büchi Automata (2024)
Witch 3: Validation of Violation Witnesses in the Witness Format 2.0 (2024)
Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage (2024)
Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution (2024)
Fizzer: New Gray-Box Fuzzer (2024)
Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes (2024)
Antarstick: Extracting Snow Height From Time-Lapse Photography (2024)
Jak podpořit učení studujících? (2024)
QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification (2024)
BNClassifier: Classifying Boolean Models by Dynamic Properties (2024)
Who Let the Guards Out: Visual Support for Patrolling Games (2024)
What Johnny thinks about using two-factor authentication on GitHub: A survey among open-source developers (2024)
Monitizer: Automating Design and Evaluation of Neural Network Monitors (2024)
Skye: An Expanding PRF based Fast KDF and its Applications (2024)
Catalog of Code Quality Defects in Introductory Programming (2024)
Software Verification Witnesses 2.0 (2024)
The Finite Satisfiability Problem for PCTL is Undecidable (2024)
PERCEPTION OF SMART CITY IDEA IN SMALLER MUNICIPALITIES AND ITS IMPACT ON MULTIDISCIPLINARY EDUCATION (2022)
Application of context-driven methodology for implementing the smart city concept in Czech republic (2024)
MANAGEMENT OF SMART CITY SERVICES FROM THE PERSPECTIVE OF QUADRUPLE HELIX (2022)
Role of T-shape in IT academic research (2024)
ℋ-Clique-Width and a Hereditary Analogue of Product Structure (2024)
Twin-Width Meets Feedback Edges and Vertex Integrity (2024)
Minuska: Towards a Formally Verified Programming Language Framework (2024)
Inspirace z nenásilné komunikace pro lidi na školách (2024)
Twin-width of graphs on surfaces (2024)
Characterization of Matrices with Bounded Graver Bases and Depth Parameters and Applications to Integer Programming (2024)
Tree-Based Reconfiguration of Metamorphic Robots (2024)
Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces (2024)
Interpreting convolutional neural network classifiers applied to laser-induced breakdown optical emission spectra (2024)
T-Shaped Competencies in Academic and IT Service Synergies (2025)
Developing Automatic Methods for Teaching Code Quality in Introductory Programming (2024)
LPGD: A General Framework for Backpropagation through Embedded Optimization Layers (2024)
Backpropagation through combinatorial algorithms: identity with projection works (2023)
Optimizing Rank-based Metrics with Blackbox Differentiation (2020)
Differentiation of Blackbox Combinatorial Solvers (2020)
Deep Graph Matching via Blackbox Differentiation of Combinatorial Solvers (2020)
sec-certs: Examining the security certification practice for better vulnerability mitigation (2024)

Remove all the items

Operations on the selected outcomes

Export and print
List of selected records

Publication Records - Search

Selected publication/outcome records

Operations on the selected outcomes

Other applications