• česky
  • english
Přejít na obsah | Přejít na menu

Informační systém výzkumu, experimentálního vývoje a inovací
výzkum, vývoj a inovace podporované z veřejných prostředků ČR

    • Poskytovatelé podpory ve výzkumu, vývoji a inovacích (RPO)
    • Programy výzkumu, vývoje a inovací (RPG)
    • Subjekty ve výzkumu, vývoji a inovacích (RPR)
  • Veřejné soutěže ve výzkumu, vývoji a inovacích (VES)
  • Projekty výzkumu, vývoje a inovací (CEP)
  • Výzkumné záměry (CEZ)
  • Výsledky výzkumu, vývoje a inovací (RIV)

1M0545 - Institut Teoretické Informatiky (2005-2011, MSM/1M)

Údaje o projektu
Identifikační kód1M0545
Důvěrnost údajůS - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
Název v původním jazyceInstitut Teoretické Informatiky
PoskytovatelMSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT)
Program1M - Výzkumná centra (Národní program výzkumu) (2005-2011)
Kategorie VaVAP - Aplikovaný výzkum
Hlavní oborIN - Informatika
Vedlejší oborBA - Obecná matematika
Další vedlejší oborJC - Počítačový hardware a software
Zahájení řešení1.1.2005
Ukončení řešení31.12.2011
Datum posledního uvolnění účelové podpory3.2.2011
Číslo smlouvy14/2010-31
Poslední stav řešeníU - Ukončený projekt, tj. jednoletý nebo víceletý projekt, který skončil v předcházejícím roce, v příslušném roce sběru dat jsou dodány údaje vztahující se k jeho ukončení
Finance projektu
Období2005200620072008200920102011celkem
Výše podpory ze státního rozpočtu19 813 tis. Kč21 807 tis. Kč20 662 tis. Kč21 052 tis. Kč21 338 tis. Kč23 438 tis. Kč23 438 tis. Kč151 548 tis. Kč
Celkové uznané náklady22 037 tis. Kč24 257 tis. Kč23 062 tis. Kč23 452 tis. Kč23 738 tis. Kč26 042 tis. Kč26 042 tis. Kč168 630 tis. Kč
Typskutečně čerpanéskutečně čerpanéskutečně čerpanéskutečně čerpanéskutečně čerpanéskutečně čerpanéskutečně čerpané
Druh soutěžeVS - Veřejná soutěž ve výzkumu a vývoji
Veřejná soutěž ve výzkumu, vývoji a inovacíchSMSM2005001M1 - Veřejná soutěž (MSM/1M)
Cíle řešení v původním jazycePředmětem výzkumu jsou metody, algoritmy a struktury teoretické informatiky a jejich aplikace v informačních technologiiích, např. problematika velkých sítí (WWW), problémy bezpečnosti a spolehlivosti, optimalizace konkrétních úloh. Nosnou ideou centra jpodmínkou dalšího růstu. Z hlediska kvality zainteresovaných výzkumníků a industriálních partnerů jde o unikátní projekt, který spojuje intelektuální kapacitu světově uznávaných vědců s ekonomickou dravostí a silným kapitálovým zajištěním firem, jež zauja priorit pro základní výzkum a výchovu mladých vědců. Centrum propojuje výzkumné skupiny v Praze, Brně a Plzni, které mají v předmětech své výzkumné činnosti dominantní a průkopnické postavení v rámci ČR, a kterým se již dostalo celosvětového uznání. VýPři organizaci činnosti, řízení a rozvoji centra bude využito zkušeností získaných badatelským výzkumným centrem ITI (projekt LN00A056 podporovaný v letech 2000-2004), které se za 5 let své existence stalo důležitým centrem v evropském a světovém měřítku
Klíčová slova v anglickém jazyceinformation technologies, global networks, discrete and random structures, deterministic and random algorithms, computational complexity
Hodnocení výsledkůV - Vynikající výsledky (s mezinárodním významem apod.). Zároveň byly splněny cíle a předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory.
Zhodnocení výsledků řešení českyBylo vybudováno centrum přední mezinárodní úrovně. Spojení špičkového badatelského výzkumu s technologickým výzkumem je unikátní. 49 obhájených Ph.D., 28 sborníků publikovaných zahraničními vydavateli, 981 původních vědeckých prací, významné aplikace (2x poloprovoz, 12x software) podložené bohatým teoretickým výzkumem. Perspektivu zajišťují 4 návazné aplikační projekty a centrum excelence CE-ITI.
Rok dodání údajů do CEP2012
Systémové označení dodávky datCEP12-MSM-1M-U/01:1
Datum dodání záznamu3.7.2012
Účastníci projektu
Počet příjemců1
Počet dalších účastníků projektu4
Příjemce / Organizační jednotka garantující řešeníUniverzita Karlova v Praze / Matematicko-fyzikální fakulta
ŘešitelProf. RNDr. Jaroslav Nešetřil, DrSc. (státní příslušnost: CZ - Česká republika)
Další účastník projektuÚstav informatiky AV ČR, v. v. i.
ŘešitelDoc. RNDr. Jiří Šíma, CSc. (státní příslušnost: CZ - Česká republika)
Další účastník projektuMatematický ústav AV ČR, v. v. i.
ŘešitelRNDr. Pavel Pudlák, DrSc. (státní příslušnost: CZ - Česká republika)
Další účastník projektu / Organizační jednotka garantující řešeníMasarykova univerzita / Fakulta informatiky
ŘešitelDoc. RNDr. Antonín Kučera, Ph.D. (státní příslušnost: CZ - Česká republika)
Další účastník projektu / Organizační jednotka garantující řešeníZápadočeská univerzita v Plzni / Fakulta aplikovaných věd
ŘešitelProf. RNDr. Zdeněk Ryjáček, DrSc. (státní příslušnost: CZ - Česká republika)
Finance účastníků projektu
Poznámka: Finance účastníků projektu jsou sledovány od roku 2007
Výše podpory ze státního rozpočtu
Účastník20072008200920102011
Univerzita Karlova v Praze / Matematicko-fyzikální fakulta10 213 tis. Kč10 335 tis. Kč10 430 tis. Kč11 430 tis. Kč11 430 tis. Kč
Ústav informatiky AV ČR, v. v. i.1 611 tis. Kč1 626 tis. Kč1 626 tis. Kč1 676 tis. Kč1 676 tis. Kč
Matematický ústav AV ČR, v. v. i.1 780 tis. Kč1 780 tis. Kč1 780 tis. Kč1 830 tis. Kč1 830 tis. Kč
Masarykova univerzita / Fakulta informatiky4 090 tis. Kč4 315 tis. Kč4 371 tis. Kč4 871 tis. Kč4 871 tis. Kč
Západočeská univerzita v Plzni / Fakulta aplikovaných věd2 968 tis. Kč2 996 tis. Kč3 131 tis. Kč3 631 tis. Kč3 631 tis. Kč
Celkové uznané náklady
Účastník20072008200920102011
Univerzita Karlova v Praze / Matematicko-fyzikální fakulta11 113 tis. Kč11 235 tis. Kč11 330 tis. Kč12 400 tis. Kč12 400 tis. Kč
Ústav informatiky AV ČR, v. v. i.1 611 tis. Kč1 626 tis. Kč1 626 tis. Kč1 676 tis. Kč1 676 tis. Kč
Matematický ústav AV ČR, v. v. i.1 780 tis. Kč1 780 tis. Kč1 780 tis. Kč1 830 tis. Kč1 830 tis. Kč
Masarykova univerzita / Fakulta informatiky4 790 tis. Kč5 015 tis. Kč5 071 tis. Kč5 641 tis. Kč5 641 tis. Kč
Západočeská univerzita v Plzni / Fakulta aplikovaných věd3 768 tis. Kč3 796 tis. Kč3 931 tis. Kč4 495 tis. Kč4 495 tis. Kč
Výsledky projektu v RIV
Počet výsledků v RIV983
Výsledek druhu JRIV/49777513:23520/12:43914948 - A Dirac theorem for trestles (2012)
Výsledek druhu JRIV/00216208:11320/12:10125699 - A new lower bound based on Gromov's method of selecting heavily covered points (2012)
Výsledek druhu JRIV/49777513:23520/12:43914806 - A short proof of the tree-packing theorem (2012)
Výsledek druhu DRIV/67985807:_____/12:00364426 - A Sufficient Condition for Sets Hitting the Class of Read-Once Branching Programs of Width 3 (2012)
Výsledek druhu JRIV/00216208:11320/12:10125707 - A superlinear bound on the number of perfect matchings in cubic bridgeless graphs (2012)
Výsledek druhu JRIV/00216224:14330/12:00057181 - Almost linear Büchi automata (2012)
Výsledek druhu DRIV/00216208:11320/12:10129396 - Approximate Duality of Multicommodity Multiroute Flows and Cuts: Single Source Case (2012)
Výsledek druhu JRIV/00216224:14310/12:00061383 - Birkhoff's Variety Theorem in Many Sorts (2012)
Výsledek druhu JRIV/49777513:23520/12:43916758 - Classes of graphs with small rank decompositions are chi-bounded (2012)
Výsledek druhu JRIV/49777513:23520/12:43915021 - Closure, clique covering and degree conditions for Hamilton-connectedness in claw-free graphs (2012)
Výsledek druhu JRIV/00216208:11320/12:10125705 - Coloring Eulerian triangulations of the Klein bottle (2012)
Výsledek druhu JRIV/00216208:11320/12:10125746 - Distance three labelings of trees (2012)
Výsledek druhu JRIV/00216208:11320/12:10125712 - Domination number of cubic graphs with large girth (2012)
Výsledek druhu JRIV/49777513:23520/12:43898664 - Hamilton cycles in 5-connected line graphs (2012)
Výsledek druhu JRIV/49777513:23520/12:43915020 - How Many Conjectures Can You Stand? A Survey (2012)
Výsledek druhu JRIV/00216224:14310/12:00057566 - Identity checking problem for transformation monoids (2012)
Výsledek druhu ORIV/00216208:11320/11:10104613 - Introduction (2011)
Výsledek druhu JRIV/00216208:11320/12:10125750 - The k-in-a-Path Problem for Claw-free Graphs (2012)
Výsledek druhu JRIV/00216208:11320/12:10103308 - Long cycles in hypercubes with optimal number of faulty vertices (2012)
Výsledek druhu JRIV/00216208:11320/12:10125686 - Maximum edge-cuts in cubic graphs with large girth and in random cubic graphs (2012)
Výsledek druhu JRIV/49777513:23520/12:43897185 - Packing Chromatic Number of Distance Graphs (2012)
Výsledek druhu JRIV/49777513:23520/12:43915719 - Pairs of heavy subgraphs for hamiltonicity of 2-connected graphs (2012)
Výsledek druhu JRIV/00216208:11320/12:10126183 - Parameterized complexity of generalized domination problems (2012)
Výsledek druhu JRIV/49777513:23520/12:43915007 - Smoothed prolongation multigrid with rapid coarsening and massive smoothing (2012)
Výsledek druhu JRIV/00216208:11320/12:10125704 - Spectrally degenerate graphs: Hereditary case (2012)
Výsledek druhu JRIV/49777513:23520/12:43915215 - Star subdivisions and connected even factors in the square of a graph (2012)
Výsledek druhu JRIV/00216224:14310/12:00061191 - Strongly complete logics for coalgebras (2012)
Výsledek druhu JRIV/00216208:11320/12:10100611 - Testing connectivity of faulty networks in sublinear time (2012)
Výsledek druhu JRIV/49777513:23520/12:43915022 - Thomassen's Conjecture Implies Polynomiality of 1-Hamilton-Connectedness in Line Graphs (2012)
Výsledek druhu DRIV/00216208:11320/12:10125751 - Tight bounds on the maximum size of a set of permutations with bounded VC-dimension (2012)
Výsledek druhu DRIV/00216208:11320/11:10100586 - A Kuratowski-type theorem for planarity of partially embedded graphs (2011)
Výsledek druhu DRIV/00216208:11320/11:10103575 - A Novel Constraint Model for Parallel Planning (2011)
Výsledek druhu JRIV/00216208:11320/11:10104296 - A permanent formula for the Jones polynomial (2011)
Výsledek druhu JRIV/67985840:_____/11:00353276 - A sorting network in bounded arithmetic (2011)
Výsledek druhu DRIV/67985807:_____/11:00360403 - Almost k-Wise Independent Sets Establish Hitting Sets for Width-3 1-Branching Programs (2011)
Výsledek druhu JRIV/00216208:11320/11:10102984 - An equimorphic diversity case (2011)
Výsledek druhu DRIV/00216224:14330/11:00049981 - Approximating the Termination Value of One-Counter MDPs and Stochastic Games (2011)
Výsledek druhu JRIV/00216208:11320/11:10104307 - Augmenting the Edge Connectivity of Planar Straight Line Graphs to Three (2011)
Výsledek druhu DRIV/00216224:14330/11:00056902 - Automated Verification Techniques for Probabilistic Systems (2011)
Výsledek druhu DRIV/67985840:_____/11:00370314 - Better bounds for incremental frequency allocation in bipartite graphs (2011)
Výsledek druhu DRIV/00216208:11320/11:10103589 - Boosting Inductive Logic Programming via Decomposition, Merging, and Refinement (2011)
Výsledek druhu JRIV/00216208:11320/11:10103386 - Branch and Recharge: Exact Algorithms for Generalized Domination (2011)
Výsledek druhu DRIV/00216208:11320/11:10103382 - Can They Cross? And How? (The Hitchhiker''s Guide to the Universe of Geometric Intersection Graphs) (2011)
Výsledek druhu DRIV/00216224:14330/11:00049978 - Clique-width: When Hard Does Not Mean Impossible (2011)
Výsledek druhu JRIV/00216208:11320/11:10104309 - Coding and Counting Arrangements of Pseudolines (2011)
Výsledek druhu JRIV/00216208:11320/11:10101028 - Complexity of the cop and robber guarding game (2011)
Výsledek druhu JRIV/00216208:11320/11:10103571 - Constraint satisfaction for planning and scheduling problems (2011)
Výsledek druhu JRIV/00216208:11320/11:10104614 - Contractors for flows (2011)
Výsledek druhu WRIV/00216208:11320/11:10103564 - COPLAS 2011: Constraint Satisfaction Techniques for Planning and Scheduling Problems (2011)
Výsledek druhu JRIV/00216208:11320/11:10100328 - Cover quasi-uniformities in frames (2011)
Výsledek druhu JRIV/49777513:23520/11:43896448 - Covering a graph by forests and a matching (2011)
Výsledek druhu DRIV/00216224:14330/11:00049812 - Difficulty Rating of Sudoku Puzzles by a Computational Model (2011)
Výsledek druhu JRIV/00216208:11320/11:10104595 - Distinguishing graphs by their left and right homomorphism profiles (2011)
Výsledek druhu DRIV/00216224:14330/11:00054480 - Efficient Analysis of Probabilistic Programs with an Unbounded Counter (2011)
Výsledek druhu JRIV/00216208:11320/11:10099483 - Efficient connectivity testing of hypercubic networks with faults (2011)
Výsledek druhu DRIV/00216224:14330/11:00052855 - Efficient Loop Navigation for Symbolic Execution (2011)
Výsledek druhu JRIV/00216208:11320/11:10099138 - Embedding dualities for set partitions and for relational structures (2011)
Výsledek druhu JRIV/00216208:11320/11:10101104 - Exact algorithms for L(2,1)-labelings of graphs (2011)
Výsledek druhu JRIV/00216208:11320/11:10100269 - Exponentially many perfect matchings in cubic graphs (2011)
Výsledek druhu JRIV/00216208:11320/11:10108251 - Extending Partial Representations of Interval Graphs (2011)
Výsledek druhu JRIV/00216208:11320/11:10108191 - Fast Exact Algorithm for L(2, 1)-Labeling of Graphs (2011)
Výsledek druhu DRIV/67985807:_____/11:00362697 - Filters in Algebras of Fuzzy logics (2011)
Výsledek druhu DRIV/00216224:14330/11:00049932 - Fixed-delay Events in Generalized Semi-Markov Processes Revisited (2011)
Výsledek druhu ORIV/00216208:11320/11:10103569 - FlowOpt: A Set of Tools for Modeling, Optimizing, Analyzing, and Visualizing Production Workflows (2011)
Výsledek druhu ORIV/00216224:14330/11:00054367 - Formal Methods in Systems Biology: Petri Net Approach (2011)
Výsledek druhu JRIV/00216208:11320/11:10100268 - Fractional colorings of cubic graphs with large girth (2011)
Výsledek druhu JRIV/00216208:11320/11:10100273 - Fractional total colourings of graphs of high girth (2011)
Výsledek druhu BRIV/00216208:11320/11:10100335 - Frames and Locales (Topology without points) (2011)
Výsledek druhu JRIV/00216208:11320/11:10103970 - Graphs with two crossings are 5-choosable (2011)
Výsledek druhu JRIV/49777513:23520/11:43899234 - Hamiltonian Cycles in the Square of a Graph (2011)
Výsledek druhu JRIV/49777513:23520/11:43898386 - Hamiltonian index is NP-complete (2011)
Výsledek druhu ORIV/49777513:23520/11:43899254 - Hamiltonovské vlastnosti v mocninách grafů a pakovací barvení grafů (2011)
Výsledek druhu JRIV/00216208:11320/11:10099166 - Hardness of embedding simplicial complexes in R^d (2011)
Výsledek druhu JRIV/67985840:_____/11:00369682 - Higher complexity search problems for bounded arithmetic and a formalized no-gap theorem (2011)
Výsledek druhu JRIV/00216208:11320/11:10100998 - High-Girth Cubic Graphs are Homomorphic to the Clebsch Graph (2011)
Výsledek druhu CRIV/00216208:11320/11:10103583 - History of Constraint Programming (2011)
Výsledek druhu JRIV/00216208:11320/11:10104600 - How many Fs are there in G? (2011)
Výsledek druhu DRIV/00216224:14330/11:00050170 - How Not to Characterize Planar-emulable Graphs (2011)
Výsledek druhu DRIV/00216224:14310/11:00050151 - Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups (2011)
Výsledek druhu JRIV/00216208:11320/11:10104489 - Interleaved adjoints of directed graphs (2011)
Výsledek druhu DRIV/67985807:_____/11:00355068 - JPEG Quantization Tables Forensics: A Statistical Approach (2011)
Výsledek druhu WRIV/00216208:11320/11:10103563 - KEPS 2011: Workshop on Knowledge Engineering for Planning and Scheduling (2011)
Výsledek druhu ORIV/00216208:11320/11:10108511 - Large B_d-free and union-free subfamilies (2011)
Výsledek druhu JRIV/00216208:11320/11:10100274 - Limit behavior of locally consistent constraint satisfaction problems (2011)
Výsledek druhu JRIV/49777513:23520/11:43898383 - Line Graphs of Multigraphs and Hamilton-Connectedness of Claw-Free Graphs (2011)
Výsledek druhu JRIV/00216208:11320/11:10103311 - Linear extension diameter of subposets of Boolean lattice induced by two levels (2011)
Výsledek druhu JRIV/00216208:11320/11:10100316 - Lower bounds for weak epsilon-nets and stair-convexity (2011)
Výsledek druhu DRIV/00216224:14330/11:00049786 - Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata (2011)
Výsledek druhu ORIV/00216208:11320/11:10103567 - Modelling and Solving Scheduling Problems using Constraint Programming (2011)
Výsledek druhu ORIV/00216208:11320/11:10105032 - Několik poznámek o teoretické informatice (2011)
Výsledek druhu JRIV/00216208:11320/11:10101030 - New approach to Petersen coloring (2011)
Výsledek druhu JRIV/00216208:11320/11:10100315 - The number of unit distances is almost linear for most norms (2011)
Výsledek druhu JRIV/49777513:23520/11:43914836 - On 2-Connected Spanning Subgraphs with Bounded Degree in K1,r-Free Graphs (2011)
Výsledek druhu JRIV/00216208:11320/11:10098948 - On a Conjecture of Thomassen Concerning Subgraphs of Large Girth (2011)
Výsledek druhu DRIV/00216208:11320/11:10103584 - On Complexity of Verifying Nested Workflows with Extra Constraints (2011)
Výsledek druhu DRIV/00216208:11320/11:10103572 - On Constraint Models for Parallel Planning: The Novel Transition Scheme (2011)
Výsledek druhu DRIV/00216208:11320/11:10103593 - On Generating Templates for Hypothesis in Inductive Logic Programming (2011)
Výsledek druhu ORIV/00216208:11320/11:10104405 - On k-gons and k-holes in point sets (2011)
Výsledek druhu JRIV/00216208:11320/11:10104609 - On nowhere dense graphs (2011)
Výsledek druhu JRIV/00216208:11320/11:10102990 - On relative universality and Q-universality of finetely generated varieties of Heyting algebras (2011)
Výsledek druhu JRIV/49777513:23520/11:43898387 - On Stability of Hamilton-Connectedness Under the 2-Closure in Claw-Free Graphs (2011)
Výsledek druhu JRIV/49777513:23520/11:43896443 - On the 2-resonance of fullerenes (2011)
Výsledek druhu JRIV/00216208:11320/11:10103380 - On the Complexity of Reconstructing H-Free Graphs from Their Star Systems (2011)
Výsledek druhu DRIV/00216208:11320/11:10100204 - On the Computational Complexity of Degenerate Unit Distance Representations of Graphs (2011)
Výsledek druhu JRIV/00216208:11320/11:10100601 - On the nonexistence of k-reptile tetrahedra (2011)
Výsledek druhu JRIV/00216208:11320/11:10104298 - On the optimality of the Arf invariant formula for graph polynomials (2011)
Výsledek druhu JRIV/67985840:_____/11:00353280 - On theories of bounded arithmetic for NC1 (2011)
Výsledek druhu DRIV/00216208:11320/11:10103577 - Paralelní plánování jako problém splňování podmínek (2011)
Výsledek druhu JRIV/00216208:11320/11:10100632 - Parameterized Complexity of Arc-Weighted Directed Steiner Problems (2011)
Výsledek druhu JRIV/00216208:11320/11:10100400 - Parameterized complexity of coloring problems: Treewidth versus vertex cover (2011)
Výsledek druhu JRIV/00216208:11320/11:10100314 - Parameterized Problems Related to Seidel''s Switching (2011)
Výsledek druhu JRIV/67985840:_____/11:00352607 - The pervasive reach of resource-bounded Kolmogorov complexity in computational complexity theory (2011)
Výsledek druhu JRIV/00216224:14310/11:00050145 - Piecewise Testable Languages via Combinatorics on Words (2011)
Výsledek druhu DRIV/00216224:14330/11:00049976 - Problem Response Theory and its Application for Tutoring (2011)
Výsledek druhu RRIV/00216224:14330/11:00050303 - Problem Solving Tutor (2011)
Výsledek druhu JRIV/00216224:14330/11:00051537 - Qualitative Reachability in Stochastic BPA Games (2011)
Výsledek druhu DRIV/00216224:14330/11:00056901 - Quantitative Multi-Objective Verification for Probabilistic Systems (2011)
Výsledek druhu JRIV/00216208:11320/11:10100329 - Quotients and colimits of kappa-quantales (2011)
Výsledek druhu JRIV/00216208:11320/11:10102945 - Randić index and the diameter of a graph (2011)
Výsledek druhu CRIV/00216224:14330/11:00054481 - Randomness: A Tool for Constructing and Analyzing Computer Programs (2011)
Výsledek druhu JRIV/00216208:11320/11:10102983 - Relative universality and universality obtained by adding constants (2011)
Výsledek druhu ORIV/00216208:11320/11:10108507 - Reverse-free codes and permutations (2011)
Výsledek druhu DRIV/00216224:14310/11:00050146 - Rewriting in Varieties of Idempotent Semigroups (2011)
Výsledek druhu DRIV/00216224:14330/11:00049980 - Runtime Analysis of Probabilistic Programs with Unbounded Recursion (2011)
Výsledek druhu JRIV/67985840:_____/11:00370277 - Semi-online preemptive scheduling: one algorithm for all variants (2011)
Výsledek druhu JRIV/00216208:11320/11:10080461 - Simple realizability of complete abstract topological graphs in P (2011)
Výsledek druhu JRIV/67985840:_____/11:00364309 - Simulating non-prenex cuts in quantified propositional calculus (2011)
Výsledek druhu MRIV/49777513:23520/11:43898780 - Sixth workshop on the Matthews-Sumner conjecture and related problems (2011)
Výsledek druhu ORIV/00216208:11320/11:10105042 - Some examples of universal and generic partial orders (2011)
Výsledek druhu ORIV/00216208:11320/11:10104606 - Special Issue on HOMOMORPHISMS AND LIMITS: Preface (2011)
Výsledek druhu JRIV/00216208:11320/11:10099150 - Strong d-collapsibility (2011)
Výsledek druhu JRIV/00216224:14310/11:00050211 - Subhierarchies of the Second Level in the Straubing-Thrien Hierarchy (2011)
Výsledek druhu DRIV/00216224:14330/11:00049676 - Thread graphs, linear rank-width and their algorithmic applications (2011)
Výsledek druhu DRIV/00216208:11320/11:10104265 - Towards Duality of Multiroute Multicommodity Flows and Cuts: Multilevel Ball Growing (2011)
Výsledek druhu ORIV/00216224:14330/11:00053088 - Towards model checking in systems biology (2011)
Výsledek druhu DRIV/00216208:11320/11:10103581 - Towards Routing for Autonomous Robots: Using Constraint Programming in an Anytime Path Planner (2011)
Výsledek druhu JRIV/00216208:11320/11:10100317 - The t-pebbling number is eventually linear in t (2011)
Výsledek druhu JRIV/00216208:11320/11:10100271 - Triangles in arrangements of points and lines in the plane (2011)
Výsledek druhu CRIV/00216224:14330/11:00051536 - Turn-Based Stochastic Games (2011)
Výsledek druhu ORIV/00216208:11320/11:10103600 - Two Semantics for Step-Parallel Planning: Which One to Choose? (2011)
Výsledek druhu DRIV/00216208:11320/11:10103586 - Two Semantics for Step-Parallel Planning: Which One to Choose? (2011)
Výsledek druhu DRIV/00216224:14330/11:00051963 - Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes (2011)
Výsledek druhu DRIV/67985840:_____/11:00370294 - Two-bounded-space bin packing revisited (2011)
Výsledek druhu JRIV/00216208:11320/11:10100999 - Unexpected behaviour of crossing sequences (2011)
Výsledek druhu JRIV/00216208:11320/11:10102985 - Universality of Categories of Coalgebras (2011)
Výsledek druhu ORIV/00216224:14330/11:00057221 - Using Neighborhood Diversity to Solve Hard Problems (2011)
Výsledek druhu ORIV/00216208:11320/11:10103570 - VisPlan: Interactive Visualisation and Verification of Plans (2011)
Výsledek druhu DRIV/00216208:11320/11:10103580 - Využitie konečných stavových automatov pri modelovaní a riešení plánovacích problémov (2011)
Výsledek druhu DRIV/00216224:14330/11:00049813 - What Determines Difficulty of Transport Puzzles? (2011)
Výsledek druhu ORIV/00216208:11320/11:10103598 - When Planning Should Be Easy: On Solving Relaxed Planning Problems (2011)
Výsledek druhu DRIV/00216208:11320/11:10103596 - Workflow Optimization with FlowOpt, On Modelling, Optimizing, Visualizing, and Analysing Production Workflows (2011)
Výsledek druhu MRIV/00216208:11320/11:10104786 - 10th Workshop on Models and Algorithms for Planning and Scheduling Problems (MAPSP) (2011)
Výsledek druhu WRIV/00216208:11320/11:10103565 - 14th Czech-Japan Seminar on Data Analysis and Decision Making under Uncertainty (2011)
Výsledek druhu JRIV/00216208:11320/10:10081048 - A combinatorial constraint satisfaction problem dichotomy classification conjecture (2010)
Výsledek druhu DRIV/00216224:14330/10:00045630 - A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL (2010)
Výsledek druhu DRIV/00216224:14330/10:00045629 - A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking (2010)
Výsledek druhu JRIV/67985840:_____/10:00352500 - A New Characterization of ACC(0) and Probabilistic CC0 (2010)
Výsledek druhu JRIV/00216208:11320/10:10030349 - A note on antisymmetric flows in graphs (2010)
Výsledek druhu JRIV/49777513:23520/10:00503291 - A note on packing chromatic number of the square lattics (2010)
Výsledek druhu DRIV/00216208:11320/10:10052059 - A Novel Constraint Model for Parallel Planning (2010)
Výsledek druhu JRIV/00216208:11320/10:10072537 - A universal approach to vertex algebras (2010)
Výsledek druhu JRIV/67985840:_____/10:00343145 - Abelian groups and quadratic residues in weak arithmetic (2010)
Výsledek druhu JRIV/67985840:_____/10:00343478 - Admissible Rules of Lukasiewicz Logic (2010)
Výsledek druhu DRIV/00216208:11320/10:10052057 - AI Planning with Time and Resource Constraints (2010)
Výsledek druhu ORIV/00216208:11320/10:10052076 - AI Planning with Time and Resource Constraints (2010)
Výsledek druhu BRIV/00216224:14310/10:00045619 - Algebraic theories (2010)
Výsledek druhu DRIV/00216208:11320/10:10031826 - Algorithms for classes of graphs with bounded expansion (2010)
Výsledek druhu DRIV/00216208:11320/10:10079251 - Almost all H-free graphs have the Erdes-Hajnal property (2010)
Výsledek druhu JRIV/67985840:_____/10:00352511 - Amplifying lower bounds by means of self-reducibility (2010)
Výsledek druhu JRIV/00216208:11320/10:10051751 - An Eberhard-Like Theorem for Pentagons and Heptagons (2010)
Výsledek druhu JRIV/00216208:11320/10:10028938 - An improved linear bound on the number of perfect matchings in cubic graphs (2010)
Výsledek druhu DRIV/00216224:14330/10:00044015 - Analýza obtížnosti logických úloh na základě modelů lidského chování (2010)
Výsledek druhu JRIV/00216208:11320/10:10072523 - Approximate maps, filter monad, and a representation of localic maps (2010)
Výsledek druhu DRIV/67985840:_____/10:00371008 - Approximate throughput maximization in scheduling of parallel jobs on hypercubes (2010)
Výsledek druhu DRIV/00216224:14330/10:00043102 - Approximating the Crossing Number of Graphs Embeddable in Any Orientable Surface (2010)
Výsledek druhu DRIV/00216224:14330/10:00045249 - Audio Similarity Retrieval Engine (2010)
Výsledek druhu JRIV/00216208:11320/10:10028939 - Backbone Colorings of Graphs with Bounded Degree (2010)
Výsledek druhu JRIV/67985840:_____/10:00351058 - Bases of admissible rules of Łukasiewicz (2010)
Výsledek druhu JRIV/00216208:11320/10:10028802 - Brooks' Theorem via Alon-Tarsi Theorem (2010)
Výsledek druhu JRIV/00216224:14330/10:00042682 - Building a Web-scale Image Similarity Search System (2010)
Výsledek druhu DRIV/00216208:11320/10:10052083 - Building Efficient Data Planner for Peta-scale Science (2010)
Výsledek druhu MRIV/00216224:14330/10:00044261 - Česko-Slovenská Konference GRAFY 2010 (2010)
Výsledek druhu JRIV/00216224:14330/10:00045936 - CesTa k ochraně čipových karet (2010)
Výsledek druhu JRIV/00216208:11320/10:10030353 - Characterization results for Steiner triple systems and their application to edge-colorings of cubic graphs (2010)
Výsledek druhu JRIV/00216208:11320/10:10030347 - Circular edge-colorings of cubic graphs with girth six (2010)
Výsledek druhu JRIV/49777513:23520/10:00503401 - Closure and forbidden pairs for 2-factors (2010)
Výsledek druhu JRIV/49777513:23520/10:00503452 - Closure concept for 2-factors in claw-free graphs (2010)
Výsledek druhu JRIV/00216208:11320/10:10028940 - Coloring plane graphs with independent crossings (2010)
Výsledek druhu JRIV/00216208:11320/10:10033392 - Comparing universal covers in polynomial time (2010)
Výsledek druhu JRIV/00216208:11320/10:10038304 - The Complexity of Temporal Constraint Satisfaction Problems (2010)
Výsledek druhu JRIV/00216208:11320/10:10038263 - Complexity of the packing coloring problem of trees (2010)
Výsledek druhu JRIV/00216208:11320/10:10052053 - Constraint Models for Reasoning on Unification in Inductive Logic Programming (2010)
Výsledek druhu JRIV/00216208:11320/10:10052046 - Constraint Satisfaction Techniques in Planning and Scheduling (2010)
Výsledek druhu JRIV/00216208:11320/10:10033303 - Crossing-critical graphs with large maximum degree (2010)
Výsledek druhu DRIV/00216208:11320/10:10052081 - Data Transfer Optimization: Going Beyond Heuristics (2010)
Výsledek druhu JRIV/00216208:11320/10:10031823 - d-collapsibility is NP complete for d greater or equal to 4 (2010)
Výsledek druhu DRIV/00216224:14330/10:00043646 - Decidable Race Condition and Open Coregions in HMSC (2010)
Výsledek druhu DRIV/00216208:11320/10:10052094 - Deciding first-order properties for sparse graphs (2010)
Výsledek druhu DRIV/00216208:11320/10:10030355 - Decomposition Width of Matroids (2010)
Výsledek druhu DRIV/67985840:_____/10:00351064 - Decorated linear order types and the theory of concatenation (2010)
Výsledek druhu DRIV/67985840:_____/10:00352483 - Derandomizing from random strings (2010)
Výsledek druhu JRIV/00216208:11320/10:10052030 - Discovering Implied Constraints in Precedence Graphs with Alternatives (2010)
Výsledek druhu DRIV/00216208:11320/10:10038287 - Distance k-sectors exist (2010)
Výsledek druhu JRIV/00216208:11320/10:10038285 - Distance k-sectors exist (2010)
Výsledek druhu JRIV/00216208:11320/10:10050425 - DNA-inspired information concealing- a survey (2010)
Výsledek druhu JRIV/67985840:_____/10:00352519 - Does the Polynomial Hierarchy Collapse if Onto Functions are Invertible? (2010)
Výsledek druhu JRIV/00216208:11320/10:10072528 - Dualities and Dual Pairs in Heyting Algebras (2010)
Výsledek druhu JRIV/00216208:11320/10:10081043 - Dualities in full homomorphisms (2010)
Výsledek druhu JRIV/49777513:23520/10:00503513 - The edge-closure concept for claw-free graphs and the stability of forbidden subgraphs (2010)
Výsledek druhu CRIV/00216224:14330/10:00043952 - Effective Analysis of Infinite State Stochastic Processes and Games (2010)
Výsledek druhu ARIV/00216208:11320/10:10081278 - Endre Szemeredi (2010)
Výsledek druhu JRIV/49777513:23520/10:43898267 - Equipartite polytopes (2010)
Výsledek druhu DRIV/00216224:14330/10:00047828 - Expected Reachability-Time Games (2010)
Výsledek druhu JRIV/00216208:11320/10:10030351 - Facial colorings using Hall's Theorem (2010)
Výsledek druhu DRIV/00216208:11320/10:10057003 - Faithful Representations of Graphs by Islands in the Extended Grid (2010)
Výsledek druhu JRIV/00216208:11320/10:10105036 - First order properties on nowhere dense structures (2010)
Výsledek druhu DRIV/00216208:11320/10:10052077 - Formulating Template Consistency in Inductive Logic Programming as a Constraint Satisfaction Problem (2010)
Výsledek druhu JRIV/00216208:11320/10:10052044 - From Enterprise Models to Scheduling Models: Bridging the Gap (2010)
Výsledek druhu DRIV/00216208:11320/10:10081085 - From sparse graphs to nowhere dense structures: decompositions, independence, dualities and limits (2010)
Výsledek druhu JRIV/67985807:_____/10:00328436 - Fuzzy Logics with an Additional Involutive Negation (2010)
Výsledek druhu BRIV/00216208:11320/10:10035428 - Geometric Discrepancy : An Illustrated Guide (2010)
Výsledek druhu DRIV/00216208:11320/10:10050464 - Graph Sharing Games: Complexity and Connectivity (2010)
Výsledek druhu JRIV/00216208:11320/10:10028804 - Graphs with bounded tree-width and large odd-girth are almost bipartite (2010)
Výsledek druhu ZRIV/49777513:23520/10:00504671 - Hanka 3D-VVER V1.0 (2010)
Výsledek druhu JRIV/00216224:14310/10:00047228 - Hierarchies of piecewise testable languages (2010)
Výsledek druhu JRIV/00216208:11320/10:10048584 - Inapproximability for metric embeddings into R^d (2010)
Výsledek druhu JRIV/00216208:11320/10:10052028 - Incremental Propagation Rules for a Precedence Graph with Optional Activities and Time Windows (2010)
Výsledek druhu JRIV/00216208:11320/10:10052052 - Integrating Time and Resources into Planning (2010)
Výsledek druhu DRIV/00216208:11320/10:10038266 - The k-in-a-path problem for claw-free graphs (2010)
Výsledek druhu JRIV/00216208:11320/10:10082386 - Large convexly independent subsets of Minkowski sums (2010)
Výsledek druhu JRIV/00216208:11320/10:10028803 - The last fraction of a fractional conjecture (2010)
Výsledek druhu JRIV/00216208:11320/10:10051757 - Length-bounded cuts and flows (2010)
Výsledek druhu JRIV/00216224:14310/10:00047227 - Literally idempotent languages and their varieties - two letter case (2010)
Výsledek druhu JRIV/00216208:11320/10:10052047 - Logic programming for combinatorial problems (2010)
Výsledek druhu JRIV/00216208:11320/10:10030359 - Logspace reduction of directed reachability for bounded genus graphs to the planar case (2010)
Výsledek druhu JRIV/00216208:11320/10:10028941 - Markov bases of binary graph models of K4-minor free graphs (2010)
Výsledek druhu ORIV/00216224:14330/10:00044594 - Mathematical Foundations of Computer Science 2010 (2010)
Výsledek druhu DRIV/00216208:11320/10:10048133 - Minimum and maximum against k lies (2010)
Výsledek druhu JRIV/00216208:11320/10:10081051 - Minors of Boolean functions with respect to clique functions and hypergraph homomorphisms (2010)
Výsledek druhu ORIV/49777513:23520/10:00503222 - Modelování neutronových toků (2010)
Výsledek druhu JRIV/00216224:14310/10:00047226 - New decidable upper bound of the second level in the Straubing-Thérien concatenation hierarchy of star-free languages (2010)
Výsledek druhu JRIV/00216208:11320/10:10052031 - New Trends on Constraint Satisfaction, Planning, and Scheduling: A Survey (2010)
Výsledek druhu JRIV/00216208:11320/10:10030357 - Non-rainbow colorings of 3-, 4- and 5-connected plane graphs (2010)
Výsledek druhu JRIV/00216208:11320/10:10030345 - Non-representability of finite projective planes by convex sets (2010)
Výsledek druhu JRIV/00216208:11320/10:10033305 - On a Rado Type Problem for Homogeneous Second Order Linear Recurrences (2010)
Výsledek druhu JRIV/49777513:23520/10:00503217 - On cycle lengths in claw-free graphs with complete closure (2010)
Výsledek druhu DRIV/00216224:14330/10:00044857 - On Locality-sensitive Indexing in Generic Metric Spaces (2010)
Výsledek druhu JRIV/00216208:11320/10:10081057 - On Ramsey-type positional games (2010)
Výsledek druhu JRIV/00216208:11320/10:10033302 - On recognizing graphs by numbers of homomorphisms (2010)
Výsledek druhu JRIV/00216208:11320/10:10057553 - On Reverse-Free Codes and Permutations (2010)
Výsledek druhu DRIV/00216224:14310/10:00047230 - On Schützenberger products of semirings (2010)
Výsledek druhu JRIV/00216224:14330/10:00043945 - On the Complexity of Checking Semantic Equivalences between Pushdown Processes and Finite-state Processes (2010)
Výsledek druhu DRIV/67985840:_____/10:00351120 - On the complexity of circuit satisfiability (2010)
Výsledek druhu JRIV/00216208:11320/10:10032033 - On the number of graphs with a given endomorphism monoid (2010)
Výsledek druhu DRIV/00216208:11320/10:10050547 - On three parameters of invisibility graphs (2010)
Výsledek druhu JRIV/67985807:_____/10:00342154 - On Witnessed Models in Fuzzy Logic III - Witnessed Gödel Logics (2010)
Výsledek druhu DRIV/00216224:14330/10:00043501 - One-Counter Markov Decision Processes (2010)
Výsledek druhu DRIV/00216224:14330/10:00044742 - One-Counter Stochastic Games (2010)
Výsledek druhu DRIV/67985840:_____/10:00353476 - Online scheduling of parallel jobs on hypercubes : maximizing the throughput (2010)
Výsledek druhu JRIV/00216208:11320/10:10052054 - Optimizing Alternatives in Precedence Networks (2010)
Výsledek druhu DRIV/00216224:14330/10:00045912 - Parallel Partial Order Reduction with Topological Sort Proviso (2010)
Výsledek druhu DRIV/00216208:11320/10:10057006 - Parameterized Complexity of Generalized Domination Problems (2010)
Výsledek druhu JRIV/00216208:11320/10:10081040 - Partitions of graphs into cographs (2010)
Výsledek druhu JRIV/00216208:11320/10:10081055 - Path Homomorphisms, Graph Colorings, and Boolean Matrices (2010)
Výsledek druhu JRIV/00216208:11320/10:10028894 - Pattern hypergraphs (2010)
Výsledek druhu JRIV/49777513:23520/10:00503228 - Perfect matchings with restricted intersection in cubic graphs (2010)
Výsledek druhu DRIV/00216208:11320/10:10051697 - The Planar Slope Number of Planar Partial 3-Trees of Bounded Degree (2010)
Výsledek druhu JRIV/00216208:11320/10:10072517 - Pointfree aspects of the TD axiom of classical topology (2010)
Výsledek druhu ORIV/00216208:11320/10:10052084 - Preference Handling in Nested Temporal Networks with Alternatives (2010)
Výsledek druhu DRIV/00216208:11320/10:10052056 - Preference Handling in Nested Temporal Networks with Alternatives (2010)
Výsledek druhu JRIV/00216208:11320/10:10057000 - Pursuing a fast robber on a graph (2010)
Výsledek druhu DRIV/00216224:14330/10:00044329 - Reachability Games on Extended Vector Addition Systems with States (2010)
Výsledek druhu ORIV/00216224:14330/10:00044595 - Reachability Problems (2010)
Výsledek druhu JRIV/00216208:11320/10:10072478 - Satisfying states of triangulations of a convex n-gon (2010)
Výsledek druhu JRIV/00216224:14330/10:00040530 - Scalable shared memory LTL model checking (2010)
Výsledek druhu JRIV/00216208:11320/10:10028893 - Short cycle covers of cubic graphs and graphs with minimum degree three (2010)
Výsledek druhu JRIV/49777513:23520/10:00503290 - Short cycle covers of graphs with minimum degree three (2010)
Výsledek druhu JRIV/00216208:11320/10:10033299 - Small graph classes and bounded expansion (2010)
Výsledek druhu DRIV/00216208:11320/10:10051769 - Solution of Peter Winkler's Pizza Problem (2010)
Výsledek druhu JRIV/00216208:11320/10:10052035 - Solving Sequential Planning Problems via Constraint Satisfaction (2010)
Výsledek druhu ORIV/00216208:11320/10:10052058 - Solving the Rotation Assignment Problem for Airlines Using Constraint Programming (2010)
Výsledek druhu DRIV/00216208:11320/10:10057585 - Some general results in combinatorial enumeration (2010)
Výsledek druhu JRIV/67985807:_____/10:00343867 - Some (Non)Tautologies of Lukasiewicz and Product Logic (2010)
Výsledek druhu DRIV/00216224:14330/10:00045803 - Space-efficient scheduling of stochastically generated tasks (2010)
Výsledek druhu DRIV/00216208:11320/10:10081084 - Sparse Combinatorial Structures: Classification and Applications (2010)
Výsledek druhu JRIV/00216208:11320/10:10033306 - Spectral radius of finite and infinite planar graphs and of graphs of bounded genus (2010)
Výsledek druhu JRIV/00216208:11320/10:10033314 - Stabbing simplices by points and flats (2010)
Výsledek druhu DRIV/00216224:14330/10:00044676 - Stochastic Real-Time Games with Qualitative Timed Automata Objectives (2010)
Výsledek druhu DRIV/00216208:11320/10:10057007 - Testing Planarity of Partially Embedded Graphs (2010)
Výsledek druhu MRIV/00216208:11320/10:10038269 - Theory and Applications of Models of Computation (2010)
Výsledek druhu JRIV/00216208:11320/10:10052048 - The Third Competition on Knowledge Engineering for Planning and Scheduling (2010)
Výsledek druhu BRIV/00216208:11320/10:10035429 - Thirty three miniatures : (Mathematical and algorithmic applications of linear algebra) (2010)
Výsledek druhu JRIV/67985840:_____/10:00353479 - Three results on frequency assignment in linear cellular networks (2010)
Výsledek druhu JRIV/00216208:11320/10:10030352 - Toughness threshold for the existence of 2-walks in K4-minor free graphs (2010)
Výsledek druhu JRIV/49777513:23520/10:00503298 - Toughness treshold for the existence of 2-walks in K_4-minor-free graphs (2010)
Výsledek druhu DRIV/00216208:11320/10:10052055 - Using Constraint Satisfaction for Learning Hypotheses in Inductive Logic Programming (2010)
Výsledek druhu DRIV/00216208:11320/10:10052060 - Using Finite-State Automata to Model and Solve Planning Problems (2010)
Výsledek druhu JRIV/00216224:14310/10:00044113 - What are sifted colimits? (2010)
Výsledek druhu DRIV/00216208:11320/10:10057142 - What Makes Equitable Connected Partition Easy (2010)
Výsledek druhu DRIV/00216208:11320/10:10072534 - Why some fuzzifications are easier than others (2010)
Výsledek druhu DRIV/00216208:11320/10:10046708 - Zone diagrams in Euclidean spaces and in other normed spaces (2010)
Výsledek druhu MRIV/00216224:14330/10:00044596 - 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010) (2010)
Výsledek druhu JRIV/00216208:11320/10:10051758 - 3-choosability of triangle-free planar graphs with constraints on 4-cycles (2010)
Výsledek druhu WRIV/00216224:14330/10:00044597 - 4th International Workshop on Reachability Problems (2010)
Výsledek druhu JRIV/00216208:11320/09:00207333 - A combinatorial proof of the Removal Lemma for groups (2009)
Výsledek druhu JRIV/00216224:14310/09:00029601 - A counterexample to a conjecture concerning concatenation hierarchies (2009)
Výsledek druhu DRIV/67985840:_____/09:00334971 - A lower bound for scheduling of unit jobs with immediate decision on parallel machines (2009)
Výsledek druhu DRIV/67985840:_____/09:00336102 - A new characterization of ACC(0) and probabilistic CC0 (2009)
Výsledek druhu JRIV/00216208:11320/09:10030348 - A new lower bound on the number of perfect matchings in cubic graphs (2009)
Výsledek druhu JRIV/49777513:23520/09:00501603 - A note on edge-colourings avoiding rainbow K_4 and monochromatic K_m (2009)
Výsledek druhu JRIV/67985840:_____/09:00334962 - A note on scheduling parallel unit jobs on hypercubes (2009)
Výsledek druhu JRIV/00216208:11320/09:00207175 - A step toward the Bermond-Thomassen conjecture about disjoint cycles in digraphs (2009)
Výsledek druhu JRIV/00216208:11320/09:00206882 - A surprising permanence of old motivations (a not-so-rigid story) (2009)
Výsledek druhu JRIV/00216208:11320/09:00206698 - About a Brooks-type theorem for improper colouring (2009)
Výsledek druhu JRIV/00216224:14330/09:00029118 - Addendum to Matroid Tree-Width (2009)
Výsledek druhu JRIV/00216208:11320/09:00206229 - Adjoint functors and tree duality (2009)
Výsledek druhu JRIV/67985840:_____/09:00338975 - Algorithms for testing fault-tolerance of sequenced jobs (2009)
Výsledek druhu JRIV/00216208:11320/09:00207034 - Almost ff-universality implies Q-universality (2009)
Výsledek druhu DRIV/00216224:14330/09:00029631 - Almost Linear Büchi Automata (2009)
Výsledek druhu DRIV/00216224:14330/09:00038053 - An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata (2009)
Výsledek druhu DRIV/67985807:_____/09:00330016 - An experimental comparison of triangulation heuristics on transformed BN2O networks (2009)
Výsledek druhu DRIV/00216224:14330/09:00029117 - Approximating the Crossing Number of Apex Graphs (poster) (2009)
Výsledek druhu RRIV/49777513:23520/09:00503062 - Athena N (2009)
Výsledek druhu DRIV/00216208:11320/09:00206341 - Augmenting the edge connectivity of planar straight line graphs to three (2009)
Výsledek druhu JRIV/00216208:11320/09:00206481 - Backbone Colorings and Generalized Mycielski Graphs (2009)
Výsledek druhu DRIV/00216224:14330/09:00029617 - Better Polynomial Algorithms on Graphs of Bounded Rank-width. (2009)
Výsledek druhu JRIV/00216224:14330/09:00038055 - Beyond Language Equivalence on Visibly Pushdown Automata (2009)
Výsledek druhu JRIV/00216208:11320/09:00206289 - Blocking visibility for points in general position (2009)
Výsledek druhu JRIV/00216208:11320/09:00206408 - Book review: A Second Course in Formal Languages and Automata Theory (2009)
Výsledek druhu JRIV/00216224:14330/09:00043829 - Branching-Time Model-Checking of Probabilistic Pushdown Automata (2009)
Výsledek druhu JRIV/00216208:11320/09:00206808 - The capture time of a graph (2009)
Výsledek druhu JRIV/00216208:11320/09:00206380 - Cayley sum graphs and eigenvalues of (3,6)-fullerenes (2009)
Výsledek druhu DRIV/00216224:14330/09:00028497 - Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete (2009)
Výsledek druhu JRIV/00216208:11320/09:00207166 - Chromatic number for a generalization of Cartesian product graphs (2009)
Výsledek druhu JRIV/67985840:_____/09:00336039 - Circuit complexity of regular languages (2009)
Výsledek druhu JRIV/00216208:11320/09:00207245 - Circular Choosability (2009)
Výsledek druhu JRIV/00216208:11320/09:00206279 - Circular edge-colorings of cubic graphs with girth six (2009)
Výsledek druhu DRIV/00216208:11320/09:00207285 - Clustered Planarity: Clusters with Few Outgoing Edges (2009)
Výsledek druhu DRIV/00216208:11320/09:00206693 - Clustered Planarity: Embedded Clustered Graphs with Two-Component Clusters (Extended Abstract) (2009)
Výsledek druhu JRIV/00216208:11320/09:00207260 - Clustered Planarity: Small Clusters in Cycles and Eulerian Graphs (2009)
Výsledek druhu DRIV/00216208:11320/09:10084100 - Coloring triangle-free graphs on surfaces (2009)
Výsledek druhu JRIV/00216208:11320/09:00206710 - Combinatorial Alexander Duality - a Short and Elementary Proof (2009)
Výsledek druhu JRIV/67985807:_____/09:00310569 - Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic (2009)
Výsledek druhu JRIV/00216224:14310/09:00029605 - Complexity issues of checking identities in finite monoids (2009)
Výsledek druhu DRIV/00216208:11320/09:10031828 - Computability of Width of Submodular Partition Functions (2009)
Výsledek druhu DRIV/00216224:14330/09:00028617 - Computational Analysis of Large-Scale Multi-Affine ODE Models (2009)
Výsledek druhu JRIV/00216208:11320/09:00206709 - Connectivity of matching graph of hypercube (2009)
Výsledek druhu DRIV/00216208:11320/09:00207343 - Constraint Models for Sequential Planning (2009)
Výsledek druhu DRIV/00216224:14330/09:00038704 - Continuous-Time Stochastic Games with Time-Bounded Reachability (2009)
Výsledek druhu JRIV/00216208:11320/09:00206390 - Counting flags in triangle-free digraphs (2009)
Výsledek druhu JRIV/00216208:11320/09:00206493 - Counting homomorphisms in sparse graphs (2009)
Výsledek druhu JRIV/00216208:11320/09:00206233 - Cubic bridgeless graphs have more than a linear number of perfect matchings (2009)
Výsledek druhu JRIV/00216208:11320/09:00206653 - d-collapsibility is NP-complete for d greater or equal to 4 (2009)
Výsledek druhu JRIV/00216208:11320/09:00207115 - Dimension gaps between representability and collapsibility (2009)
Výsledek druhu JRIV/00216208:11320/09:00207028 - Distance constrained labelings of K4-minor free graphs (2009)
Výsledek druhu JRIV/00216208:11320/09:00207029 - Distance constrained labelings of planar graphs with no short cycles (2009)
Výsledek druhu JRIV/67985807:_____/09:00323929 - Distinguished Algebraic Semantics for t-norm Based Fuzzy Logics: Methods and Algebraic Equivalencies (2009)
Výsledek druhu DRIV/00216224:14330/09:00029597 - EMMA: Explicit Model Checking Manager (Tool Presentation) (2009)
Výsledek druhu DRIV/00216208:11320/09:00206398 - Enhancing Constraint Models for Planning Problems (2009)
Výsledek druhu DRIV/00216208:11320/09:00206948 - Enhancing Constraint Models for Planning Problems (2009)
Výsledek druhu JRIV/00216208:11320/09:00206249 - The enumeration of planar graphs via Wick's theorem (2009)
Výsledek druhu JRIV/00216208:11320/09:00207010 - Enumeration of simple complete topological graphs (2009)
Výsledek druhu JRIV/00216208:11320/09:00207158 - European Conference on Combinatorics, Graph Theory and Applications (EURCOMB'09) (2009)
Výsledek druhu ORIV/49777513:23520/09:00501873 - Factors and cycles in graphs (2009)
Výsledek druhu JRIV/00216208:11320/09:00207208 - Fraternal augmentations, arrangeability and linear Ramsey numbers (2009)
Výsledek druhu JRIV/00216208:11320/09:00206312 - Fullerene graphs have exponentially many perfect matchings (2009)
Výsledek druhu DRIV/67985807:_____/09:00318366 - Gradient Learning in Networks of Smoothly Spiking Neurons (2009)
Výsledek druhu JRIV/00216208:11320/09:00206535 - Graph homomorphisms, the Tutte polynomial and 'q-state uniqness' (2009)
Výsledek druhu JRIV/00216208:11320/09:00206625 - Graph labellings with variable weights, a survey (2009)
Výsledek druhu DRIV/00216208:11320/09:00206752 - Hamiltonian Alternating Paths on Bicolored Double-Chains (2009)
Výsledek druhu JRIV/49777513:23520/09:00502808 - Hamiltonicity and pancyclicity of cartesian products of graphs (2009)
Výsledek druhu RRIV/49777513:23520/09:00503128 - Hanka 2D V1.0 (2009)
Výsledek druhu JRIV/00216208:11320/09:00206591 - Homomorphisms and polynomial invariants of graphs (2009)
Výsledek druhu JRIV/00216208:11320/09:00207228 - Hypercube 1-factorizations from extended Hamming codes. (2009)
Výsledek druhu JRIV/00216208:11320/09:00206904 - Identifying and locating-dominating codes in (random) geometric networks (2009)
Výsledek druhu JRIV/00216208:11320/09:00207017 - Improper colouring of unit disk graphs (2009)
Výsledek druhu JRIV/00216208:11320/09:00207286 - Injective colorings of planar graphs with few colors (2009)
Výsledek druhu DRIV/00216208:11320/09:00206803 - Integrating Constraint Models for Sequential and Partial-Order Planning (2009)
Výsledek druhu DRIV/00216224:14330/09:00038049 - Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains (2009)
Výsledek druhu JRIV/00216208:11320/09:00207123 - $k$-chromatic number of graphs on surfaces (2009)
Výsledek druhu JRIV/00216208:11320/09:00206388 - Loebl-Komlós-Sós Conjecture: dense case (2009)
Výsledek druhu JRIV/00216208:11320/09:00207003 - Long cycles in fullerene graphs (2009)
Výsledek druhu JRIV/00216208:11320/09:00207140 - Long paths and cycles in faulty hypercubes: existence, optimality, complexity (2009)
Výsledek druhu JRIV/00216208:11320/09:00206706 - Long paths and cycles in hypercubes with faulty vertices (2009)
Výsledek druhu JRIV/00216208:11320/09:00206366 - Long paths in hypercubes with a quadratic number of faults (2009)
Výsledek druhu DRIV/00216208:11320/09:00206593 - Lower bounds for weak epsilon-nets and stair-convexity (2009)
Výsledek druhu JRIV/00216208:11320/09:00206737 - Matchings and nonrainbow colorings (2009)
Výsledek druhu RRIV/00216224:14330/09:00029975 - M-Index: An Efficient and Scalable Similarity Index (2009)
Výsledek druhu JRIV/49777513:23520/09:00501474 - Minors of simplicial complexes (2009)
Výsledek druhu JRIV/00216208:11320/09:10051557 - Moe - Design of a Modular Grading System (2009)
Výsledek druhu JRIV/00216208:11320/09:10050551 - Monochromatic triangles in two-colored plane (2009)
Výsledek druhu JRIV/49777513:23520/09:00501630 - Nodal methods for a two-dimensional static multigroup diffusion calculation of nuclear reactors with hexagonal assemblies (2009)
Výsledek druhu JRIV/49777513:23520/09:00501592 - On 2-walks in chordal planar graphs (2009)
Výsledek druhu ORIV/00216224:14330/09:00028656 - On Computational Analysis of Large ODE Models (2009)
Výsledek druhu JRIV/00216224:14330/09:00029078 - On Decidability of LTL Model Checking for Process Rewrite Systems (2009)
Výsledek druhu DRIV/00216224:14330/09:00028439 - On Decidability of LTL+Past Model Checking for Process Rewrite Systems (2009)
Výsledek druhu JRIV/00216224:14330/09:00029307 - On Determinism in Modal Transition Systems (2009)
Výsledek druhu JRIV/49777513:23520/09:00502326 - On distance local connectivity and the hamiltonian index (2009)
Výsledek druhu JRIV/00216208:11320/09:00206355 - On edges crossing few other edges in simple topological complete graphs (2009)
Výsledek druhu JRIV/00216208:11320/09:00206643 - On graphs with a given endomorphism monoid (2009)
Výsledek druhu JRIV/00216208:11320/09:00207043 - On the Complexity of Paths Avoiding Forbidden Pairs (2009)
Výsledek druhu JRIV/00216208:11320/09:00206745 - On the computation of the hull number of a graph (2009)
Výsledek druhu DRIV/00216224:14330/09:00039313 - On the memory consumption of probabilistic pushdown automata (2009)
Výsledek druhu JRIV/00216208:11320/09:00206931 - On triconnected and cubic plane graphs on given point sets (2009)
Výsledek druhu JRIV/67985840:_____/09:00334957 - Optimal and online preemptive scheduling on uniformly related machines (2009)
Výsledek druhu JRIV/00216208:11320/09:10031827 - Optimal real number graph labelings of a subfamily of Kneser graphs (2009)
Výsledek druhu JRIV/00216208:11320/09:00206813 - The packing chromatic number of infinite product graphs (2009)
Výsledek druhu DRIV/00216208:11320/09:10057129 - Parameterized Complexity of Arc-Weighted Directed Steiner Problems (2009)
Výsledek druhu DRIV/00216208:11320/09:00207163 - Parameterized Complexity of Coloring Problems: Treewidth versus Vertex Cover (Extended abstract) (2009)
Výsledek druhu JRIV/00216208:11320/09:10082390 - Paths with no small angles (2009)
Výsledek druhu JRIV/00216208:11320/09:00206932 - Perfect matchings extending on subcubes to Hamiltonian cycles of hypercubes (2009)
Výsledek druhu JRIV/67985840:_____/09:00338976 - Fairness-free periodic scheduling with vacations (2009)
Výsledek druhu JRIV/00216208:11320/09:00206292 - Pivoting in linear complementarity: Two polynomial-time cases (2009)
Výsledek druhu JRIV/00216208:11320/09:00206727 - Planar graphs without 3-,7-, and 8-cycles are 3-choosable (2009)
Výsledek druhu DRIV/00216224:14310/09:00029620 - Polynomial Operators on Classes of Regular Languages (2009)
Výsledek druhu JRIV/00216208:11320/09:00207094 - Polynomial-size binary decision diagrams for the Exactly half-d-hyperclique problem reading each input bit twice (2009)
Výsledek druhu JRIV/67985840:_____/09:00334960 - Preemptive Online Scheduling: Optimal Algorithms for All Speeds (2009)
Výsledek druhu JRIV/00216208:11320/09:00206340 - Projective, affine, and abelian colorings of cubic graphs (2009)
Výsledek druhu DRIV/00216224:14330/09:00034252 - Qualitative Reachability in Stochastic BPA Games (2009)
Výsledek druhu DRIV/00216224:14330/09:00029636 - Quantitative Model Checking of Systems with Degradation (2009)
Výsledek druhu RRIV/67985807:_____/09:00336219 - randtoolbox: Toolbox for Pseudo and Quasi Random Number Generation (2009)
Výsledek druhu DRIV/00216224:14330/09:00029567 - Reachability in Stochastic Timed Games (2009)
Výsledek druhu JRIV/00216224:14330/09:00028490 - Reachability is decidable for weakly extended process rewrite systems (2009)
Výsledek druhu DRIV/00216208:11320/09:00206577 - Reconfiguration of the routing in WDM networks with two classes of services (2009)
Výsledek druhu DRIV/00216208:11320/09:00206423 - Reformulating Planning Problems by Eliminating Unpromising Actions (2009)
Výsledek druhu JRIV/00216224:14330/09:00043830 - Regularity in PDA Games Revisited (2009)
Výsledek druhu JRIV/00216208:11320/09:00206350 - Removing degeneracy in LP-type problems revisited (2009)
Výsledek druhu JRIV/00216208:11320/09:00206301 - Representing subdirect product monoids by graphs (2009)
Výsledek druhu DRIV/00216208:11320/09:00206821 - Revisiting Constraint Models for Planning Problems (2009)
Výsledek druhu DRIV/67985840:_____/09:00334967 - Semi-online preemptive scheduling: one algorithm for all variants (2009)
Výsledek druhu ORIV/00216224:14330/09:00047618 - SOFSEM 2009: Theory and Practice of Computer Science (2009)
Výsledek druhu ORIV/00216224:14330/09:00042249 - 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)
Výsledek druhu DRIV/00216208:11320/09:10050463 - Solution of Peter Winkler's Pizza Problem (2009)
Výsledek druhu JRIV/00216208:11320/09:00206634 - Some recollections on early work with Jan Pelant (2009)
Výsledek druhu JRIV/00216208:11320/09:00206834 - Sort and Search: Exact algorithms for generalized domination (2009)
Výsledek druhu JRIV/67985807:_____/09:00323928 - Structural Completeness in Fuzzy Logics (2009)
Výsledek druhu JRIV/00216208:11320/09:00207234 - Tame parts of free summands in coproducts of Priestley spaces (2009)
Výsledek druhu DRIV/67985840:_____/09:00338986 - Three results on frequency assignment in linear cellular networks (2009)
Výsledek druhu CRIV/67985807:_____/09:00321367 - Towards Evaluation Games for Fuzzy Logics. Chapter 6 (2009)
Výsledek druhu JRIV/00216208:11320/09:00207133 - Traversing a Set of Points with a Minimum Number of Turns (2009)
Výsledek druhu DRIV/67985807:_____/09:00327312 - Triangulation Heuristics for BN2O Networks (2009)
Výsledek druhu JRIV/00216208:11320/09:00207248 - The tripartite Ramsey number for trees (2009)
Výsledek druhu JRIV/00216208:11320/09:00206996 - Two-factors in Oriented Graphs with Forbidden Transitions (2009)
Výsledek druhu JRIV/00216208:11320/09:00207266 - Untangling a Planar Graph (2009)
Výsledek druhu DRIV/00216208:11320/09:00207232 - Using Constraint Programming to Plan Efficient Data Movement on the Grid (2009)
Výsledek druhu RRIV/00216224:14330/09:00035592 - VHDL Design Verification Tools (2009)
Výsledek druhu DRIV/67985840:_____/09:00336087 - Winning concurrent reachability games requires doubly-exponential patience (2009)
Výsledek druhu JRIV/00216208:11320/09:00206358 - 6-critical graphs on the Klein bottle (2009)
Výsledek druhu JRIV/00216224:14310/08:00025997 - A convenient category for directed homotopy (2008)
Výsledek druhu JRIV/00216208:11320/08:00101189 - A dualistic approach to bounding the chromatic number of a graph (2008)
Výsledek druhu JRIV/00216208:11320/08:00100922 - A finite presentation of the rational Urysohn space (2008)
Výsledek druhu JRIV/49777513:23520/08:00500739 - A note on the dominating circuit conjecture and subgraphs of essentially 4-edge-connected cubic graphs (2008)
Výsledek druhu JRIV/00216208:11320/08:00100867 - A Priestley Sum of Finite Trees is Acyclic (2008)
Výsledek druhu JRIV/00216208:11320/08:00100748 - AI Planning and Scheduling (2008)
Výsledek druhu DRIV/00216224:14330/08:00025022 - Automata Approach to Graphs of Bounded Rank-width (2008)
Výsledek druhu DRIV/00216224:14330/08:00024304 - Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems (2008)
Výsledek druhu JRIV/00216208:11320/08:00100055 - Block transitivity and degree matrices (2008)
Výsledek druhu RRIV/00216224:14330/08:00027956 - BNFParser2: Online Verification Service (2008)
Výsledek druhu JRIV/00216208:11320/08:00100028 - Book Review: Constraint Processing, Handbook of Constraint Programming (2008)
Výsledek druhu JRIV/00216208:11320/08:00100374 - Bounds for the real number graph labellings and application to labellings of the triangular lattice (2008)
Výsledek druhu JRIV/00216208:11320/08:00100711 - Category Theoretic Aspects Of Chain-Valued Frames: Part I: Categorical Foundations (2008)
Výsledek druhu JRIV/00216208:11320/08:00100388 - Category Theoretic Aspects Of Chain-Valued Frames: Part II: Applications to Lattice-Valued Topology (2008)
Výsledek druhu MRIV/49777513:23520/08:00500656 - Česko-slovenská konference Grafy 2008 (2008)
Výsledek druhu JRIV/00216208:11320/08:00100152 - The chromatic polynomial of fatgraphs and its categorification (2008)
Výsledek druhu JRIV/49777513:23520/08:00500803 - The *-closure for graphs and claw-free graphs (2008)
Výsledek druhu DRIV/00216208:11320/08:00206138 - Clustered Planarity: Small Clusters in Eulerian Graphs (2008)
Výsledek druhu JRIV/00216208:11320/08:00100348 - Coloring even-faced graphs in the torus and the Klein bottle (2008)
Výsledek druhu JRIV/00216208:11320/08:00100940 - Coloring of triangle-free graphs on the double torus (2008)
Výsledek druhu JRIV/00216208:11320/08:00101089 - Coloring squares of planar graphs with girth six (2008)
Výsledek druhu JRIV/00216208:11320/08:00100273 - Colouring, Constraint Satisfaction, and Complexity (2008)
Výsledek druhu DRIV/00216208:11320/08:00206131 - Comparing universal covers in polynomial time (2008)
Výsledek druhu DRIV/00216224:14330/08:00025027 - Complementarity of Error Detection Techniques (2008)
Výsledek druhu JRIV/00216208:11320/08:00100334 - The Complexity of Equality Constraint Languages (2008)
Výsledek druhu DRIV/00216208:11320/08:00206160 - The complexity of several realizability problems for abstract topological graphs (2008)
Výsledek druhu DRIV/00216208:11320/08:00206090 - The Complexity of Temporal Constraint Satisfaction Problems (2008)
Výsledek druhu DRIV/00216208:11320/08:00206155 - Complexity of the Packing Coloring Problem for Trees (2008)
Výsledek druhu CRIV/00216224:14330/08:00024133 - Component-Interaction Automata Approach (CoIn) (2008)
Výsledek druhu DRIV/00216208:11320/08:00206145 - Computational complexity of the distance constrained labeling problem for trees (2008)
Výsledek druhu JRIV/00216208:11320/08:00100114 - Computing D-convex hulls in the plane (2008)
Výsledek druhu CRIV/00216208:11320/08:00101072 - Constraint Processing (2008)
Výsledek druhu JRIV/00216208:11320/08:00100647 - Constraint satisfaction techniques in planning and scheduling: An introduction (2008)
Výsledek druhu JRIV/49777513:23520/08:00500655 - Contractible subgraphs, Thomassen's conjecture and the dominating cycle conjecture for snarks (2008)
Výsledek druhu DRIV/00216224:14330/08:00024825 - Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives (2008)
Výsledek druhu MRIV/00216208:11320/08:00101573 - CP/ICAPS 2008 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (2008)
Výsledek druhu JRIV/49777513:23520/08:00500724 - Cycles intersecting edge-cuts of prescribed sizes (2008)
Výsledek druhu JRIV/00216224:14330/08:00025864 - Deciding probabilistic bisimilarity over infinite-state probabilistic systems (2008)
Výsledek druhu JRIV/49777513:23520/08:00500802 - Degree conditions on induced claws (2008)
Výsledek druhu DRIV/00216224:14330/08:00026776 - Discounted Properties of Probabilistic Pushdown Automata (2008)
Výsledek druhu JRIV/49777513:23520/08:00500725 - Disjoint T-paths in tough graphs (2008)
Výsledek druhu JRIV/00216208:11320/08:00100367 - Diskrétní modely pro přiřazování frekvencí v bezdrátových sítích (2008)
Výsledek druhu DRIV/00216208:11320/08:00206142 - Distance constrained labelings of trees (2008)
Výsledek druhu JRIV/67985807:_____/08:00313643 - Distinguishing Standard SBL-algebras with Involutive Negations by Propositional Formulas (2008)
Výsledek druhu DRIV/00216224:14330/08:00024321 - DiVinE Multi-Core -- A Parallel LTL Model-Checker (2008)
Výsledek druhu DRIV/00216208:11320/08:00100286 - Efficient Scheduling of Data Transfers and Job Allocations (2008)
Výsledek druhu DRIV/00216208:11320/08:00100789 - Enhancing Constraint Models for Planning Problems (2008)
Výsledek druhu JRIV/00216208:11320/08:00101018 - Epimorphisms of metric frames (2008)
Výsledek druhu JRIV/49777513:23520/08:00500726 - Equipartite graphs (2008)
Výsledek druhu MRIV/49777513:23520/08:43898856 - Fifth workshop on the Matthews-Sumner conjecture and related problems (2008)
Výsledek druhu DRIV/00216224:14330/08:00025026 - Fighting State Space Explosion: Review and Evaluation (2008)
Výsledek druhu MRIV/00216208:11320/08:00101571 - FLAIRS-Special Track on Artificial Intelligence Planning and Scheduling (2008)
Výsledek druhu RRIV/00216224:14330/08:00027957 - FlightGear HLA Interface: Proof of Concept (2008)
Výsledek druhu JRIV/00216208:11320/08:00100329 - Forbidden lifts (NP and CSP for combinatorists) (2008)
Výsledek druhu JRIV/49777513:23520/08:00500253 - Forbidden Subgraphs that Imply 2-Factors (2008)
Výsledek druhu DRIV/00216224:14330/08:00024175 - From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks (2008)
Výsledek druhu JRIV/00216208:11320/08:00100946 - Generalizations of Khovanskii's theorems on the growth of sumsets in abelian semigroups (2008)
Výsledek druhu DRIV/00216208:11320/08:00100095 - Generalized domination in degenerate graphs: A complete dichotomy of computational complexity (2008)
Výsledek druhu JRIV/00216208:11320/08:00100754 - Generalized dualities and maximal finite antichains in the homomorphism order of relational structures (2008)
Výsledek druhu JRIV/00216208:11320/08:00100406 - Grad and classes with bounded expansion I. Decompositions (2008)
Výsledek druhu JRIV/00216208:11320/08:00100104 - Grad and classes with bounded expansion II. Algorithmic aspects (2008)
Výsledek druhu JRIV/00216208:11320/08:00101201 - Grad and classes with bounded expansion III. Restricted graph homomorphism dualities (2008)
Výsledek druhu JRIV/00216208:11320/08:00100594 - Graph colouring with no large monochromatic components (2008)
Výsledek druhu JRIV/00216208:11320/08:00101171 - Graphs with full rank 3-color matrix and few 3-colorings (2008)
Výsledek druhu DRIV/00216208:11320/08:00206183 - Guarding art galleries: the extra cost for sculptures is linear (2008)
Výsledek druhu JRIV/00216208:11320/08:00100187 - Hamiltonian threshold for strong products of graphs (2008)
Výsledek druhu JRIV/00216208:11320/08:00100917 - Homomorphisms, Dualities and CSP (2008)
Výsledek druhu JRIV/00216208:11320/08:00101129 - How many points can be reconstructed from k projections? (2008)
Výsledek druhu MRIV/00216208:11320/08:00101572 - ICAPS 2008 - Workshop on Knowledge Engineering for Planning and Scheduling (2008)
Výsledek druhu RRIV/00216224:14330/08:00027961 - IEEE-1516.2 compliant data encoding for CERTI (2008)
Výsledek druhu JRIV/00216208:11320/08:00100701 - Improper colouring of (random) unit disk graphs (2008)
Výsledek druhu JRIV/00216224:14330/08:00024165 - Improved Distributed Algorithms for SCC Decomposition (2008)
Výsledek druhu DRIV/00216208:11320/08:00206173 - Improvement on the decay of crossing numbers (2008)
Výsledek druhu DRIV/00216208:11320/08:00100795 - Inapproximability for metric embeddings into R^d (2008)
Výsledek druhu JRIV/00216208:11320/08:00100356 - Incremental Filtering Algorithms for Precedence and Dependency Constraints (2008)
Výsledek druhu JRIV/00216208:11320/08:00100061 - Induced trees in triangle-free graphs (Article No. R41) (2008)
Výsledek druhu JRIV/00216208:11320/08:00206231 - Intersection graphs of homothetic polygons (2008)
Výsledek druhu JRIV/00216208:11320/08:00207580 - Introduction to the Special Issue on Constraint Satisfaction for Planning and Scheduling of Archives of Control Sciences (2008)
Výsledek druhu ORIV/49777513:23520/07:00501218 - Jednocyklová optimalizace s programem Athena (2007)
Výsledek druhu JRIV/00216208:11320/08:00100873 - Large monochromatic components in two-colored grids (2008)
Výsledek druhu JRIV/00216208:11320/08:00100921 - LC reductions yield isomorphic simplicial complexes (2008)
Výsledek druhu JRIV/00216208:11320/08:00100717 - List colorings with measurable sets (2008)
Výsledek druhu JRIV/00216208:11320/08:00100141 - List-Coloring Squares of Sparse Subcubic Graphs (2008)
Výsledek druhu DRIV/00216224:14330/08:00024320 - Local Quantitative LTL Model Checking (2008)
Výsledek druhu BRIV/00216208:11320/08:00206554 - Locales treated mostly in covariant way (2008)
Výsledek druhu JRIV/00216208:11320/08:00100226 - Locally constrained graph homomorphisms and equitable partitions (2008)
Výsledek druhu JRIV/00216208:11320/08:00100851 - Locally Constrained Graph Homomorphisms - Structure, Complexity, and Applications (2008)
Výsledek druhu JRIV/00216208:11320/08:00100025 - The Loebl-Komlós-Sós conjecture for trees of diameter 5 and for certain caterpillars (Article No. R106) (2008)
Výsledek druhu JRIV/00216208:11320/08:00100927 - Long alternating paths in bicolored point sets (2008)
Výsledek druhu JRIV/00216208:11320/08:00100513 - Lower bounding the boundary of a graph in terms of its maximum or minimum degree (2008)
Výsledek druhu CRIV/00216208:11320/08:00100838 - Many facets of dualities (2008)
Výsledek druhu JRIV/00216208:11320/08:00100649 - The maximum piercing number for some classes of convex sets with (4, 3)-property (Article No. R27) (2008)
Výsledek druhu DRIV/00216224:14330/08:00024313 - Model Checking of Control-User Component-Based Parametrised Systems (2008)
Výsledek druhu DRIV/00216224:14330/08:00024587 - Model Classifications and Automated Verification (2008)
Výsledek druhu DRIV/00216208:11320/08:00100019 - Modelling and Solving Complex Scheduling Problems with Alternative Process Routes (2008)
Výsledek druhu DRIV/00216208:11320/08:00101162 - Moving vertices to make drawings plane (2008)
Výsledek druhu JRIV/49777513:23520/08:00500354 - Neighborhood unions and extremal spanning trees (2008)
Výsledek druhu DRIV/00216208:11320/08:00100209 - Nested Temporal Networks with Alternatives: Recognition and Tractability (2008)
Výsledek druhu JRIV/00216224:14330/08:00025241 - New infinite families of almost-planar crossing-critical graphs (2008)
Výsledek druhu JRIV/00216208:11320/08:00101083 - Non-holonomicity of sequences defined via elementary functions (2008)
Výsledek druhu DRIV/49777513:23520/08:43914921 - Numerical Modeling of Neutron Flux in Hexagonal Geometry (2008)
Výsledek druhu JRIV/00216208:11320/08:00101134 - On Empty Hexagons (2008)
Výsledek druhu JRIV/00216208:11320/08:00206325 - On Forbidden Subdivision Characterization of Graph Classes (2008)
Výsledek druhu JRIV/00216208:11320/08:00100933 - On growth rates of permutations, set partitions, ordered graphs and other objects (Article No. R75) (2008)
Výsledek druhu JRIV/00216208:11320/08:00100197 - On Pattern-Avoiding Partitions (article no. R39) (2008)
Výsledek druhu DRIV/00216208:11320/08:00206158 - On Switching to H-Free Graphs (2008)
Výsledek druhu JRIV/00216208:11320/08:00101057 - On tension-continuous mappings (2008)
Výsledek druhu DRIV/00216208:11320/08:00100662 - On the complexity of reconstructing H-free graphs from their star systems (2008)
Výsledek druhu JRIV/00216208:11320/08:00101003 - On the computational complexity of partial covers of theta graphs (2008)
Výsledek druhu JRIV/00216224:14330/08:00025760 - On the Controller Synthesis for Finite-State Markov Decision Processes (2008)
Výsledek druhu DRIV/00216208:11320/08:00101200 - On tractability of Cops and Robbers game (2008)
Výsledek druhu JRIV/00216208:11320/08:00101042 - On variants of the Johnson-Lindenstrauss lemma (2008)
Výsledek druhu JRIV/00216224:14310/08:00024810 - On varieties of literally idempotent languages (2008)
Výsledek druhu JRIV/00216224:14310/08:00025040 - On varieties of meet automata (2008)
Výsledek druhu JRIV/00216224:14330/08:00024164 - Petri Nets Are Less Expressive Than State-Extended PA (2008)
Výsledek druhu JRIV/00216208:11320/08:00100146 - Planar graphs of odd-girth at least 9 are homomorphic to the Petersen graph (2008)
Výsledek druhu JRIV/00216208:11320/08:00100889 - Priestley configurations and Heyting varieties (2008)
Výsledek druhu CRIV/00216208:11320/08:00100414 - Principles of Constraint Processing (2008)
Výsledek druhu DRIV/00216224:14330/08:00024323 - ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems (2008)
Výsledek druhu JRIV/00216224:14330/08:00025025 - Properties of State Spaces and Their Applications (2008)
Výsledek druhu RRIV/00216224:14330/08:00027960 - PyHLA 0.1: Python Bindings for HLA 1.3 (2008)
Výsledek druhu JRIV/00216208:11320/08:00100751 - Ramsey-type constructions for arrangements of segments (2008)
Výsledek druhu JRIV/00216208:11320/08:00101138 - Randomized Strategies for the Plurality Problem (2008)
Výsledek druhu JRIV/00216208:11320/08:00100533 - Randomly colouring graphs (a combinatorial view) (2008)
Výsledek druhu JRIV/00216224:14330/08:00024683 - Reachability in Recursive Markov Decision Processes (2008)
Výsledek druhu DRIV/00216208:11320/08:00100445 - Reformulating Constraint Models for Classical Planning (2008)
Výsledek druhu DRIV/00216224:14330/08:00026782 - Regularity in PDA Games Revisited (2008)
Výsledek druhu DRIV/00216224:14330/08:00024177 - Revisiting Resistance Speeds Up I/O Efficient LTL Model Checking (2008)
Výsledek druhu JRIV/00216208:11320/08:00100508 - The Saga of Minimum Spanning Trees (2008)
Výsledek druhu DRIV/00216224:14330/08:00026224 - The Satisfiability Problem for Probabilistic CTL (2008)
Výsledek druhu DRIV/00216208:11320/08:00100327 - Search Strategies for Scheduling Problems with Optional Activities (2008)
Výsledek druhu RRIV/00216224:14330/08:00025310 - Sequence Chart Studio 0.1: Basic Verification Algorithms (2008)
Výsledek druhu JRIV/00216224:14330/08:00024166 - Shared Hash Tables in Parallel Model Checking (2008)
Výsledek druhu JRIV/00216208:11320/08:00100298 - Single Source Multiroute Flows and Cuts on Uniform Capacity Networks (2008)
Výsledek druhu JRIV/00216208:11320/08:00100646 - Six-critical graphs on the Klein bottle (2008)
Výsledek druhu DRIV/00216224:14330/08:00024322 - Squeeze All the Power Out of Your Hardware to Verify Your Software! (2008)
Výsledek druhu RRIV/00216224:14330/08:00028001 - Stanse - Static Analysis Framework for C Code (2008)
Výsledek druhu CRIV/00216208:11320/08:00100731 - Structural Properties of Sparse Graphs (2008)
Výsledek druhu JRIV/00216208:11320/08:00100211 - Structural Properties of Sparse Graphs (2008)
Výsledek druhu DRIV/00216208:11320/08:00100903 - Temporal Reasoning in Nested Temporal Networks with Alternatives (2008)
Výsledek druhu DRIV/49777513:23520/08:43914920 - Three-dimensional numerical model of neutron flux in Hex-Z geometry (2008)
Výsledek druhu JRIV/00216208:11320/08:00100186 - Total colouring of plane graphs with maximum degree nine (2008)
Výsledek druhu DRIV/00216208:11320/08:00100202 - Towards getting domain knowledge: Plans analysis through investigation of actions dependencies (2008)
Výsledek druhu JRIV/00216208:11320/08:00100149 - Towards the distribution of the size of a largest planar matching and largest planar subgraph in random bipartite graphs (article no. R135) (2008)
Výsledek druhu DRIV/00216208:11320/08:00206134 - Twelve problems in proof complexity (2008)
Výsledek druhu JRIV/00216208:11320/08:00100875 - Violator spaces: structure and algorithms (2008)
Výsledek druhu ORIV/00216224:14330/08:00044260 - 20 years of Negami's planar cover conjecture (2008)
Výsledek druhu JRIV/00216208:11320/08:00100100 - The 3D Dimer and Ising Problems Revisited (2008)
Výsledek druhu JRIV/00216208:11320/08:00101209 - 3-facial colouring of plane graphs (2008)
Výsledek druhu WRIV/49777513:23520/08:00500657 - 5th workshop on the Matthews-Sumner conjecture (2008)
Výsledek druhu JRIV/49777513:23520/07:00500818 - A note on k-walks in bridgeless graphs (2007)
Výsledek druhu DRIV/67985807:_____/07:00339973 - A Polynomial Time Constructible Hitting Set for Restricted 1-Branching Programs of Width 3 (2007)
Výsledek druhu JRIV/00216208:11320/07:00004962 - A quadratic lower bound for subset sums (2007)
Výsledek druhu JRIV/00216208:11320/07:00005045 - A simple proof for open cups and caps (2007)
Výsledek druhu JRIV/00216208:11320/07:00004355 - Algorithms for Fault-Tolerant Routing in Circuit Switched Networks (2007)
Výsledek druhu JRIV/00216208:11320/07:00004592 - An approximate version of the Loebl-Komlós-Sós conjecture (2007)
Výsledek druhu JRIV/67985840:_____/07:00096406 - An Approximation Scheme for Cake Division with a Linear Number of Cuts (2007)
Výsledek druhu JRIV/67985840:_____/07:00090491 - Approximate counting in bounded arithmetic (2007)
Výsledek druhu JRIV/00216208:11320/07:00004519 - Approximating Reversal Distance for Strings with Bounded Number of Duplicates (2007)
Výsledek druhu DRIV/00216224:14330/07:00020585 - BEEM: Benchmarks for Explicit Model Checkers (2007)
Výsledek druhu JRIV/00216208:11320/07:00004499 - Block transitivity and degree matrices: (Extended abstract) (2007)
Výsledek druhu RRIV/00216224:14330/07:00027972 - BNFParser2: Universal Syntax Verification Utility (2007)
Výsledek druhu DRIV/00216208:11320/07:00206152 - Branch and recharge: Exact algorithms for generalized domination (2007)
Výsledek druhu ORIV/00216224:14330/07:00047829 - Branching-Time Model-Checking of Probabilistic Pushdown Automata (2007)
Výsledek druhu JRIV/00216208:11320/07:00004532 - Characterization of affine Steiner triple systems and Hall triple systems (2007)
Výsledek druhu JRIV/00216208:11320/07:00004685 - Choosability of Graphs with Infinite Sets of Forbidden Differences (2007)
Výsledek druhu JRIV/00216208:11320/07:00004426 - Chromatic polynomial, q-binomial counting and colored Jones function (2007)
Výsledek druhu JRIV/49777513:23520/07:00000097 - The circular chromatic number of graphs of high girth (2007)
Výsledek druhu DRIV/00216224:14330/07:00022579 - Clique-Width and Parity Games (2007)
Výsledek druhu JRIV/00216224:14330/07:00022579 - Clique-Width and Parity Games (2007)
Výsledek druhu JRIV/00216208:11320/07:00004864 - Closure for the property of having a hamiltonian prism (2007)
Výsledek druhu JRIV/00216208:11320/07:00101467 - Colored graphs without colorful cycles (2007)
Výsledek druhu JRIV/00216208:11320/07:00004664 - Coloring circle graphs (2007)
Výsledek druhu DRIV/00216208:11320/07:00206132 - Coloring triangle-free graphs on surfaces (2007)
Výsledek druhu DRIV/00216224:14330/07:00021396 - Combinatorial Generation of Matroid Representations: Theory and Practice (2007)
Výsledek druhu DRIV/00216208:11320/07:00206140 - Combinatorial Proof that Subprojective Constraint Satisfaction Problems are NP-complete (2007)
Výsledek druhu JRIV/00216208:11320/07:00004013 - Complete Congruences on Topologies and Down-set Lattices (2007)
Výsledek druhu DRIV/00216208:11320/07:00206159 - Computational complexity of generalized domination: A complete dichotomy for chordal graphs (2007)
Výsledek druhu DRIV/00216208:11320/07:00206163 - Computing representations of matroids of bounded branch-width (2007)
Výsledek druhu JRIV/00216208:11320/07:00004975 - Constraint Models for Complex State Transitions (2007)
Výsledek druhu MRIV/00216208:11320/07:00005409 - Contemporary trends in theoretical computer science (2007)
Výsledek druhu JRIV/00216208:11320/07:00005000 - Counting Keith numbers (article 07.2.2) (2007)
Výsledek druhu ORIV/00216224:14330/07:00024642 - The crossing number of a projective graph is quadratic in the face-width (2007)
Výsledek druhu JRIV/00216224:14330/07:00020424 - The crossing number of a projective graph is quadratic in the face--width (Extended abstract) (2007)
Výsledek druhu JRIV/00216208:11320/07:00004330 - Cyclic, diagonal and facial colorings - a missing case (2007)
Výsledek druhu JRIV/00216208:11320/07:00004468 - Density of universal classes of series-parallel graphs (2007)
Výsledek druhu JRIV/00216224:14310/07:00022898 - Dichotomies in the Complexity of Solving Systems of Equations over Finite Semigroups (2007)
Výsledek druhu DRIV/00216208:11320/07:00004951 - Discovering Equivalence Classes in Precedence Graphs (2007)
Výsledek druhu JRIV/00216208:11320/07:00004251 - The distance trisector curve (2007)
Výsledek druhu JRIV/00216208:11320/07:00004798 - Dyck paths and pattern-avoiding matchings (2007)
Výsledek druhu JRIV/00216208:11320/07:00004526 - Edge-colorings of cubic graphs with elements of point-transitive Steiner triple systems (2007)
Výsledek druhu JRIV/00216208:11320/07:00004063 - Editorial (2007)
Výsledek druhu DRIV/00216224:14330/07:00019481 - Effective verification of systems with a dynamic number of components (2007)
Výsledek druhu JRIV/00216208:11320/07:00101458 - Empty convex polygons in almost convex sets (2007)
Výsledek druhu JRIV/00216208:11320/07:00004527 - Enumeration of simple complete topological graphs (2007)
Výsledek druhu DRIV/00216208:11320/07:00206178 - Exact algorithms for L(2,1)-labeling of graphs (2007)
Výsledek druhu JRIV/67985807:_____/07:00047082 - Exploiting Tensor Rank-One Decomposition in Probabilistic Inference (2007)
Výsledek druhu JRIV/00216208:11320/07:00004338 - Extensions of the linear bound in the Füredi-Hajnal conjecture (2007)
Výsledek druhu ORIV/00216224:14330/07:00024655 - Finding Branch-decompositions and Rank-decompositions (2007)
Výsledek druhu DRIV/00216208:11320/07:00004439 - Finding the convex hull of a dense set (2007)
Výsledek druhu JRIV/00216208:11320/07:00005050 - Finite duality for some minor closed classes (2007)
Výsledek druhu JRIV/67985807:_____/07:00088778 - Formal Systems of Fuzzy Logic and their Fragments (2007)
Výsledek druhu ARIV/00216224:14330/07:00019613 - Formalisms and Tools for Design and Specification of Network Protocols (2007)
Výsledek druhu JRIV/00216208:11320/07:00004925 - Fraternal augmentations of graphs, coloration and minors (2007)
Výsledek druhu DRIV/00216208:11320/07:00004259 - From Enterprise Models to Scheduling Models: Bridging the Gap (2007)
Výsledek druhu JRIV/00216208:11320/07:00004465 - Gaps and Dualities in Heyting Categories (2007)
Výsledek druhu JRIV/00216208:11320/07:00004119 - Generalizations of Khovanskii's theorem on growth of sumsets in abelian semigroups: (extended abstract) (2007)
Výsledek druhu DRIV/00216208:11320/07:00206174 - Geometric intersection graphs: Do short cycles help? (2007)
Výsledek druhu DRIV/00216224:14310/07:00022890 - The Goldblatt-Thomason theorem for coalgebras (2007)
Výsledek druhu JRIV/00216208:11320/07:00004333 - Graph coloring with no large monochromatic components (2007)
Výsledek druhu JRIV/00216208:11320/07:00004028 - Hamilton cycles in prisms (2007)
Výsledek druhu JRIV/49777513:23520/07:00000112 - Hamiltonian cycles in prisms over graphs (2007)
Výsledek druhu DRIV/00216224:14330/07:00022893 - Height-Deterministic Pushdown Automata (2007)
Výsledek druhu JRIV/00216208:11320/07:00005005 - Homomorphisms and Polynomial Invariants of Graphs (2007)
Výsledek druhu WRIV/00216208:11320/07:00005405 - HOMONOLO'07 - Workshop on graph homomorphisms and related topics (2007)
Výsledek druhu DRIV/00216208:11320/07:00004921 - Homothetic Triangle Contact Representations of Planar Graphs (2007)
Výsledek druhu JRIV/00216208:11320/07:00005004 - How many points can be reconstructed from k projections? (2007)
Výsledek druhu JRIV/00216208:11320/07:00101449 - Ideals in Heyting semilattices and open homomorphisms (2007)
Výsledek druhu JRIV/00216224:14330/07:00019458 - Improved Distributed Algorithms for SCC Decomposition (2007)
Výsledek druhu JRIV/67985840:_____/07:00097689 - Improved online algorithms for buffer management in QoS switches (2007)
Výsledek druhu JRIV/00216208:11320/07:00004011 - Induced trees in triangle-free graphs (2007)
Výsledek druhu JRIV/00216208:11320/07:00004350 - Introduction to the Special Issue on Knowledge Engineering Tools and Techniques for Automated Planning and Scheduling Systems (2007)
Výsledek druhu DRIV/00216224:14330/07:00019426 - I/O Efficient Accepting Cycle Detection (2007)
Výsledek druhu MRIV/49777513:23520/07:43898857 - IWONT 2007 (2007)
Výsledek druhu WRIV/49777513:23520/07:00000014 - IWONT 2007 (2007)
Výsledek druhu JRIV/00216208:11320/07:00004262 - Labeling planar graphs with a condition at distance two (2007)
Výsledek druhu JRIV/00216208:11320/07:00004787 - Labelings of graphs with fixed and variable edge-weights (2007)
Výsledek druhu JRIV/00216208:11320/07:00004976 - Large monochromatic components in two-colored grids (2007)
Výsledek druhu DRIV/00216208:11320/07:00004952 - Linear-Time Ranking of Permutations (2007)
Výsledek druhu DRIV/00216208:11320/07:00004109 - Maximal Infinite-Valued Constraint Languages (2007)
Výsledek druhu JRIV/00216208:11320/07:00005043 - Metric spaces are Ramsey (2007)
Výsledek druhu JRIV/00216208:11320/07:00004178 - Mixed hypergraphs and other coloring problems (2007)
Výsledek druhu DRIV/00216224:14330/07:00019356 - Model Checking Large Finite-State Systems and Beyond (2007)
Výsledek druhu DRIV/00216208:11320/07:00004780 - Modelling Alternatives in Temporal Networks (2007)
Výsledek druhu DRIV/49777513:23520/07:00500106 - Modelové řešení rázu železničního kola na kolejnici (2007)
Výsledek druhu JRIV/00216208:11320/07:00101465 - More on Configurations in Priestley Spaces, and Some New Problems (2007)
Výsledek druhu DRIV/00216208:11320/07:00004342 - Nested Temporal Networks with Alternatives (2007)
Výsledek druhu JRIV/00216208:11320/07:00004866 - Noncrossing Hamiltonian paths in geometric graphs (2007)
Výsledek druhu JRIV/67985807:_____/07:00088772 - Normal Forms for Fuzzy Logics: A Proof-Theoretic Approach (2007)
Výsledek druhu DRIV/00216208:11320/07:00206135 - NP by Means of Lifts and Shadows (2007)
Výsledek druhu JRIV/00216208:11320/07:00004578 - NP for combinatorialists (2007)
Výsledek druhu CRIV/00216208:11320/07:00004361 - Omezující podmínky: od Sudoku po vesmírné aplikace (2007)
Výsledek druhu ORIV/00216224:14330/07:00019467 - On Decidability of LTL+Past Model Checking for Process Rewrite Systems (2007)
Výsledek druhu JRIV/49777513:23520/07:00000121 - On distance local connectivity and vertex distance colouring (2007)
Výsledek druhu DRIV/00216208:11320/07:00004202 - On edge-maps whose inverse preserves flows or tensions (2007)
Výsledek druhu JRIV/00216208:11320/07:00101472 - On embedding triconnected cubic graphs on point sets (2007)
Výsledek druhu JRIV/00216208:11320/07:00004624 - On Finite Maximal Antichains in the Homomorphism Order (2007)
Výsledek druhu JRIV/67985840:_____/07:00085302 - On Independence of Variants of the Weak Pigeonhole Principle (2007)
Výsledek druhu DRIV/00216224:14330/07:00021744 - On Symbolic Verification of Weakly Extended PAD (2007)
Výsledek druhu JRIV/00216224:14330/07:00021744 - On Symbolic Verification of Weakly Extended PAD (2007)
Výsledek druhu JRIV/67985840:_____/07:00096351 - On the complexity of cake cutting (2007)
Výsledek druhu JRIV/00216208:11320/07:00004470 - On the Complexity of the Balanced Vertex Ordering Problem (2007)
Výsledek druhu DRIV/00216224:14330/07:00021694 - On the Crossing Number of Almost Planar Graphs (2007)
Výsledek druhu JRIV/00216224:14330/07:00021694 - On the Crossing Number of Almost Planar Graphs (2007)
Výsledek druhu JRIV/00216208:11320/07:00004868 - On the density of trigraph homomorphisms (2007)
Výsledek druhu JRIV/00216208:11320/07:00004108 - On the maximal order of numbers in the 'factorisatio numerorum' problem (2007)
Výsledek druhu DRIV/67985840:_____/07:00096096 - Online scheduling of equal-length jobs on parallel machines (2007)
Výsledek druhu JRIV/67985840:_____/07:00096123 - Online scheduling of equal-length jobs: Randomization and restarts help (2007)
Výsledek druhu JRIV/00216208:11320/07:00005029 - Open caps and cups in planar point sets (2007)
Výsledek druhu JRIV/00216208:11320/07:00004035 - Packing cones and their negatives in space (2007)
Výsledek druhu DRIV/00216224:14330/07:00019374 - Parallel Algorithms for Finding SCCs in Implicitly Given Graphs (2007)
Výsledek druhu JRIV/00216224:14330/07:00019374 - Parallel Algorithms for Finding SCCs in Implicitly Given Graphs (2007)
Výsledek druhu DRIV/00216224:14330/07:00019460 - Parallel Model Checking and the FMICS-jETI Platform (2007)
Výsledek druhu JRIV/00216208:11320/07:00004268 - Perspectives on Grading Systems (2007)
Výsledek druhu WRIV/00216208:11320/07:00005406 - Prague Midsummer Combinatorial Workshop XIII (2007)
Výsledek druhu JRIV/00216224:14330/07:00020179 - Predicate Abstraction with Under-Approximation Refinement (2007)
Výsledek druhu JRIV/00216208:11320/07:00004728 - Preface (2007)
Výsledek druhu JRIV/00216208:11320/07:00004349 - Probabilistic strategies for the partition and plurality problems (2007)
Výsledek druhu DRIV/00216224:14330/07:00019472 - ProbDiVinE: A Parallel Qualitative LTL Model Checker (2007)
Výsledek druhu JRIV/00216208:11320/07:00004117 - Quadratically many colorful simplices (2007)
Výsledek druhu BRIV/00216224:14330/07:00022892 - Reactive Systems: Modelling, Specification and Verification (2007)
Výsledek druhu JRIV/00216208:11320/07:00004343 - Recepty z programátorské kuchařky Korespondenčního semináře z programování - IV. část (2007)
Výsledek druhu DRIV/00216224:14330/07:00022905 - Regularity in Model Checking PDA Games (2007)
Výsledek druhu DRIV/00216224:14330/07:00019497 - Relaxed Cycle Condition Improves Partial Order Reduction (2007)
Výsledek druhu JRIV/00216208:11320/07:00005020 - Removing degeneracy may require a large dimension increase (2007)
Výsledek druhu JRIV/00216208:11320/07:00004464 - Removing degeneracy may require unbounded dimension increase (2007)
Výsledek druhu JRIV/00216208:11320/07:00004290 - Reversal Distance for Strings with Duplicates: Linear Time Approximation using Hitting Set (Article R50) (2007)
Výsledek druhu DRIV/00216224:14330/07:00019427 - Scalable Multi-core LTL Model-Checking (2007)
Výsledek druhu JRIV/00216224:14330/07:00019427 - Scalable Multi-core LTL Model-Checking (2007)
Výsledek druhu WRIV/00216208:11320/07:00005404 - Second Workshop on Frequency Assignment Problems in Wireless Networks (2007)
Výsledek druhu BRIV/00216208:11320/07:00101461 - Shadows of coherence (2007)
Výsledek druhu JRIV/00216224:14330/07:00019459 - Shared Hash Tables in Parallel Model Checking (2007)
Výsledek druhu JRIV/00216208:11320/07:00004394 - Small diameters of duals (2007)
Výsledek druhu JRIV/00216224:14330/07:00020008 - Some Hard Problems on Matroid Spikes (2007)
Výsledek druhu JRIV/00216208:11320/07:00004832 - Spanning multi-paths in hypercubes (2007)
Výsledek druhu MRIV/00216208:11320/07:00005408 - Spring School on Combinatorics 2007 (2007)
Výsledek druhu DRIV/00216224:14330/07:00022945 - Stochastic Game Logic (2007)
Výsledek druhu DRIV/00216224:14330/07:00022548 - Strategy Synthesis for Markov Decision Processes and Branching-Time Logics (2007)
Výsledek druhu ORIV/00216224:14330/07:00025651 - Strategy Synthesis for Markov Decision Processes and Branching-Time Logics (2007)
Výsledek druhu JRIV/00216224:14330/07:00022548 - Strategy Synthesis for Markov Decision Processes and Branching-Time Logics (2007)
Výsledek druhu JRIV/00216208:11320/07:00004588 - Structural properties of endofunctors of SET (2007)
Výsledek druhu DRIV/00216208:11320/07:00004616 - The Subchromatic Index of Graphs (2007)
Výsledek druhu DRIV/00216208:11320/07:00004510 - Temporal Networks with Alternatives: Complexity and Model (2007)
Výsledek druhu JRIV/49777513:23520/07:00500831 - T-joins intersecting small edge-cuts in graphs (2007)
Výsledek druhu JRIV/49777513:23520/07:00500830 - Tough spiders (2007)
Výsledek druhu DRIV/00216208:11320/07:00004427 - Traversing the cube (2007)
Výsledek druhu DRIV/00216224:14330/07:00020381 - Tutorial: Parallel Model Checking (2007)
Výsledek druhu JRIV/00216224:14330/07:00020381 - Tutorial: Parallel Model Checking (2007)
Výsledek druhu ORIV/49777513:23520/07:00500805 - Uzávěry, faktory a hranoly (2007)
Výsledek druhu DRIV/00216224:14330/07:00019329 - Verifying VHDL Designs with Multiple Clocks in SMV (2007)
Výsledek druhu DRIV/00216224:14310/07:00020432 - What do we know about language equations? (2007)
Výsledek druhu JRIV/00216208:11320/07:00004729 - Zone Diagrams: Existence, Uniqueness and Algorithmic Challenge (2007)
Výsledek druhu MRIV/00216208:11320/07:00005401 - 26th Workshop of the UK Planning and Scheduling Special Interest Group (2007)
Výsledek druhu ORIV/00216224:14330/07:00047919 - 32nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2007) (2007)
Výsledek druhu JRIV/00216224:14330/06:00017031 - A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications (2006)
Výsledek druhu JRIV/00216208:11320/06:00003247 - A general view of approximation (2006)
Výsledek druhu JRIV/00216208:11320/06:00002526 - A non-commutative formula for the colored Jones Function (2006)
Výsledek druhu JRIV/49777513:23520/06:00000515 - A note on interconnecting matchings in graphs (2006)
Výsledek druhu ORIV/00216224:14330/06:00024656 - A note on multicriteria decision making (2006)
Výsledek druhu DRIV/67985840:_____/06:00041413 - A note on semi-online machine covering (2006)
Výsledek druhu JRIV/00216208:11320/06:00002558 - A probabilistic approach to the dichotomy problem (2006)
Výsledek druhu JRIV/00216208:11320/06:00002538 - A Theorem About a Contractible and Light Edge (2006)
Výsledek druhu DRIV/00216224:14330/06:00017022 - Algebraic characterization of the finite power property (2006)
Výsledek druhu JRIV/67985840:_____/06:00076021 - An improved approximation algorithm for the asymmetric TSP with strengthened triangle inequalityd (2006)
Výsledek druhu JRIV/00216208:11320/06:00003222 - Antisymmetric flows in matroids (2006)
Výsledek druhu DRIV/00216224:14330/06:00015346 - Architectural Interoperability Checking in Visual Coordination Networks (2006)
Výsledek druhu ZRIV/49777513:23520/06:00000041 - Athena (2006)
Výsledek druhu JRIV/00216224:14330/06:00016918 - Balanced Signings and the Chromatic Number of Oriented Matroids (2006)
Výsledek druhu JRIV/00216208:11320/06:00005321 - Berge's theorem, fractional Helly, and art galleries (2006)
Výsledek druhu JRIV/00216208:11320/06:00002507 - Bounded-degree graphs have arbitrarily large geometric thickness (2006)
Výsledek druhu CRIV/00216208:11320/06:00005300 - Bounds and extrema for classes of graphs and finite structures (2006)
Výsledek druhu JRIV/00216208:11320/06:00002499 - Channel assignment problem with variable weights (2006)
Výsledek druhu DRIV/67985840:_____/06:00041325 - Circuit Lower Bounds via Ehrenfeucht-Fraisse Games (2006)
Výsledek druhu JRIV/00216208:11320/06:00002931 - The circular chromatic index of flower snarks (2006)
Výsledek druhu DRIV/00216224:14330/06:00015451 - Cluster-Based LTL Model Checking of Large Systems (2006)
Výsledek druhu JRIV/00216224:14330/06:00015451 - Cluster-Based LTL Model Checking of Large Systems (2006)
Výsledek druhu DRIV/67985807:_____/06:00045263 - Coherence of Radial Implicative Fuzzy Systems (2006)
Výsledek druhu JRIV/67985807:_____/06:00045276 - Coherence of Radial Implicative Fuzzy Systems with Nominal Consequents (2006)
Výsledek druhu JRIV/00216208:11320/06:00002658 - Coloring Mixed Hypertrees (2006)
Výsledek druhu JRIV/00216208:11320/06:00003109 - Colorings of Plane Graphs with no Rainbow Faces (2006)
Výsledek druhu JRIV/00216208:11320/06:00005326 - Combinatorics in Logic Programming: Implementations and Applications (2006)
Výsledek druhu DRIV/00216224:14330/06:00017106 - Communication of two stacks and rewriting (2006)
Výsledek druhu DRIV/00216208:11320/06:00206143 - The complexity of Equality Constraint Languages (2006)
Výsledek druhu JRIV/67985807:_____/06:00031764 - Computational Complexity of t-norm based Propositional Fuzzy Logics with Rational Truth Constants (2006)
Výsledek druhu JRIV/00216224:14330/06:00016786 - Computing by commuting (2006)
Výsledek druhu JRIV/00216224:14330/06:00015726 - Computing the Tutte Polynomial on Graphs of Bounded Clique-Width (2006)
Výsledek druhu JRIV/00216208:11320/06:00005324 - Constraint satisfaction with countable homogeneous templates (2006)
Výsledek druhu JRIV/00216208:11320/06:00002654 - Construction of large graphs with no optimal surjective L(2,1)-labelings (2006)
Výsledek druhu JRIV/00216208:11320/06:00002578 - Countable Almost Rigid Heyting Algebras (2006)
Výsledek druhu DRIV/00216208:11320/06:00003210 - The distance trisector curve (2006)
Výsledek druhu JRIV/00216224:14330/06:00015452 - Distributed breadth-first search LTL model checking (2006)
Výsledek druhu DRIV/00216224:14330/06:00015450 - Distributed Qualitative LTL Model Checking of Markov Decision Processes (2006)
Výsledek druhu DRIV/00216224:14330/06:00015443 - DiVinE -- A Tool for Distributed Verification (2006)
Výsledek druhu JRIV/00216224:14330/06:00015443 - DiVinE -- A Tool for Distributed Verification (2006)
Výsledek druhu JRIV/00216208:11320/06:00002539 - Epimorfisms of uniform frames (2006)
Výsledek druhu JRIV/00216224:14330/06:00016828 - Equivalence-Checking on Infinite-State Systems: Techniques and Results (2006)
Výsledek druhu JRIV/00216224:14330/06:00016792 - Equivalence-free exhaustive generation of matroid representations (2006)
Výsledek druhu JRIV/49777513:23520/06:00000139 - Eulerian colorings and Fleischner's Bipartizing Matchings Conjecture (2006)
Výsledek druhu JRIV/00216208:11320/06:00002369 - Eulerian colorings and the Bipartizing matching conjecture of Fleischner (2006)
Výsledek druhu JRIV/00216208:11320/06:00002740 - Extending partial 5-colorings and 6-colorings in planar graphs (2006)
Výsledek druhu JRIV/00216208:11320/06:00002550 - The First Competition on Knowledge Engineering for Planning and Scheduling (2006)
Výsledek druhu DRIV/00216208:11320/06:00206182 - Fixed Parameter Tractability of Independent Set in Segment Intersection Graphs (2006)
Výsledek druhu JRIV/00216208:11320/06:00002344 - Folding (2006)
Výsledek druhu DRIV/00216224:14330/06:00015311 - Formal Verification of a FIFO Component in Design of Network Monitoring Hardware (2006)
Výsledek druhu DRIV/00216224:14330/06:00015972 - Formal Verification of the CRC Algorithm Properties (2006)
Výsledek druhu JRIV/00216208:11320/06:00002934 - Free Binary Decision Diagrams for Computation of EARn (2006)
Výsledek druhu JRIV/67985840:_____/06:00043538 - Frege systems for extensible modal logics (2006)
Výsledek druhu DRIV/00216208:11320/06:00206148 - Generalised Dualities and Finite Maximal Antichains (2006)
Výsledek druhu JRIV/00216208:11320/06:00002616 - Hamiltonian cycles and paths with prescribed set of edges in hypercubes and dense sets (2006)
Výsledek druhu JRIV/00216208:11320/06:00002730 - Homomorphism bounded classes of graphs (2006)
Výsledek druhu JRIV/00216208:11320/06:00005298 - Homomorphism-homogeneous relational structures (2006)
Výsledek druhu JRIV/00216224:14330/06:00015453 - How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors (2006)
Výsledek druhu JRIV/00216208:11320/06:00002854 - Improved Bounds for the Unsplittable Flow Problem (2006)
Výsledek druhu DRIV/67985840:_____/06:00041386 - Incremental Branching Programs ( Extended Abstract ) (2006)
Výsledek druhu DRIV/00216208:11320/06:00002339 - Incremental Filtering Algorithms for Precedence and Dependency Constraints (2006)
Výsledek druhu DRIV/00216208:11320/06:00002911 - Incremental Maintenance of Double Precedence Graphs: A Constraint-Based Approach (2006)
Výsledek druhu DRIV/00216208:11320/06:00002303 - Incremental Propagation of Time Windows on Disjunctive Resources (2006)
Výsledek druhu DRIV/00216208:11320/06:00003137 - Introduction to the Special Issue on the Integration of AI and OR Techniques in CP for Combinatorial Optimization (CPAIOR 2005) (2006)
Výsledek druhu JRIV/00216208:11320/06:00002833 - J. Pelant (18.2.1950-11.4.2005) (2006)
Výsledek druhu JRIV/00216208:11320/06:00002469 - J. Pelant (18.2.1950-11.4.2005) (2006)
Výsledek druhu JRIV/00216208:11320/06:00002756 - Jamming and Geometric Representations of Graphs (2006)
Výsledek druhu JRIV/00216208:11320/06:00003095 - k-sets in four dimensions (2006)
Výsledek druhu JRIV/00216208:11320/06:00003054 - The last excluded case of Dirac's Map-Color Theorem for choosability (2006)
Výsledek druhu DRIV/00216208:11320/06:00002899 - Linear time low tree-width partitions and algorithmic consequences (2006)
Výsledek druhu DRIV/00216208:11320/06:00206128 - Locally injective graph homomorphism: Lists guarantee dichotomy (2006)
Výsledek druhu JRIV/00216224:14330/06:00015564 - Lower and Upper Bounds in Zone-Based Abstractions of Timed Automata (2006)
Výsledek druhu ORIV/00216224:14330/06:00024641 - MACEK - Real Structural Computations with Representable Matroids. (2006)
Výsledek druhu JRIV/00216208:11320/06:00002419 - Matchings Avoiding Partial Patterns and Lattice Paths (2006)
Výsledek druhu JRIV/00216224:14330/06:00016917 - Matroid Tree-Width (2006)
Výsledek druhu DRIV/00216208:11320/06:00003170 - Max-Tolerance graphs as intersection graphs: Cliques, cycles and recognition (2006)
Výsledek druhu JRIV/00216224:14330/06:00016575 - Methods for Quantitative Analysis of Probabilistic Pushdown Automata (2006)
Výsledek druhu JRIV/00216208:11320/06:00002619 - Minimal universal and dense minor closed classes (2006)
Výsledek druhu JRIV/00216208:11320/06:00002566 - The Minimum Independence Number of a Hasse Diagram (2006)
Výsledek druhu JRIV/00216224:14330/06:00016670 - Model Checking Probabilistic Pushdown Automata (2006)
Výsledek druhu DRIV/00216208:11320/06:00002925 - Modelling Alternatives in Temporal Networks (2006)
Výsledek druhu DRIV/00216224:14330/06:00015981 - Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols (2006)
Výsledek druhu DRIV/67985807:_____/06:00088523 - Multicriteria Optimization: Starting Points (2006)
Výsledek druhu JRIV/00216208:11320/06:00005331 - The Mysterious 2-Crown (2006)
Výsledek druhu JRIV/00216208:11320/06:00002803 - The number of unique-sink orientations of the hypercube (2006)
Výsledek druhu JRIV/00216208:11320/06:00005543 - On a new reformulation of Hadwiger's conjecture (2006)
Výsledek druhu DRIV/00216224:14330/06:00015442 - On Combining Partial Order Reduction with Fairness Assumptions (2006)
Výsledek druhu JRIV/00216208:11320/06:00002540 - On completing partial groupoids to semigroups (2006)
Výsledek druhu DRIV/00216224:14330/06:00015417 - On Decidability of LTL Model Checking for Process Rewrite Systems (2006)
Výsledek druhu JRIV/00216224:14330/06:00015417 - On Decidability of LTL Model Checking for Process Rewrite Systems (2006)
Výsledek druhu ARIV/00216224:14330/06:00015439 - On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems (2006)
Výsledek druhu DRIV/00216208:11320/06:00206166 - On edges crossing few other edges in simple topological complete graphs (2006)
Výsledek druhu JRIV/00216208:11320/06:00002302 - On identities concerning the numbers of crossings and nestings of two edges in matchings (2006)
Výsledek druhu JRIV/00216224:14330/06:00015807 - On Matroid Representability and Minor Problems (2006)
Výsledek druhu DRIV/00216224:14330/06:00015807 - On Matroid Representability and Minor Problems (2006)
Výsledek druhu JRIV/67985807:_____/06:00045161 - On Product Logic with Truth-Constants (2006)
Výsledek druhu JRIV/00216208:11320/06:00002618 - On six problems posed by Jarik Nešetřil (2006)
Výsledek druhu DRIV/67985807:_____/06:00339971 - On the NP-Completeness of Some Graph Cluster Measures (2006)
Výsledek druhu JRIV/49777513:23520/06:00000207 - On the pancyclicity lexicographic products (2006)
Výsledek druhu JRIV/00216208:11320/06:00002952 - On the Positive Fraction Erdos--Szekeres Theorem for Convex Sets (2006)
Výsledek druhu JRIV/00216208:11320/06:00002601 - On universality of semigroup varieties (2006)
Výsledek druhu JRIV/67985840:_____/06:00041405 - Online competitive algorithms for maximizing weighted throughput of unit jobs (2006)
Výsledek druhu JRIV/00216208:11320/06:00005317 - On-line conflict-free colorings for intervals (2006)
Výsledek druhu DRIV/00216224:14610/06:00015632 - Packet Filtering for FPGA-Based Routing Accelerator (2006)
Výsledek druhu JRIV/00216208:11320/06:00002863 - Planar graph coloring avoiding monochromatic subgraphs: Trees and paths make it difficult (2006)
Výsledek druhu DRIV/67985840:_____/06:00076019 - Preemptive Online Scheduling: Optimal Algorithms for All Speeds (2006)
Výsledek druhu JRIV/00216208:11320/06:00005322 - Ramsey classes of topological and metric spaces (2006)
Výsledek druhu JRIV/00216208:11320/06:00002728 - RANDOM EDGE can be exponential on abstract cubes (2006)
Výsledek druhu DRIV/00216224:14330/06:00017081 - Reachability in Recursive Markov Decision Processes (2006)
Výsledek druhu JRIV/00216224:14330/06:00017081 - Reachability in Recursive Markov Decision Processes (2006)
Výsledek druhu JRIV/00216224:14330/06:00015292 - Refining Undecidability Border of Weak Bisimilarity (2006)
Výsledek druhu DRIV/00216224:14330/06:00015292 - Refining Undecidability Border of Weak Bisimilarity. (2006)
Výsledek druhu JRIV/67985807:_____/06:00405635 - Residuated Logics based on Strict Triangular Norms with an Involutive Negation (2006)
Výsledek druhu DRIV/00216208:11320/06:00206144 - Reversal Distance for Strings with Duplicates: Linear Time Approximation using Hitting Set (2006)
Výsledek druhu DRIV/00216224:14330/06:00015335 - Routing and Level 2 Addressing in a Hardware Accelerator for Network Applications (2006)
Výsledek druhu DRIV/00216224:14610/06:00015968 - Routing, L2 Addressing, and Packet Filtering in a Hardware Engine (2006)
Výsledek druhu JRIV/00216208:11320/06:00005287 - Segmenting object space by geometric reference structures (2006)
Výsledek druhu JRIV/00216208:11320/06:00005515 - Short Answers to Exponentially Long Questions: Extremal Aspects of Homomorphism Duality (2006)
Výsledek druhu JRIV/00216208:11320/06:00002436 - Some Categorical Aspects of Information Systems (2006)
Výsledek druhu DRIV/00216224:14330/06:00017108 - Stochastic Games with Branching-Time Winning Objectives (2006)
Výsledek druhu JRIV/67985840:_____/06:00044373 - The strength of sharply bounded induction (2006)
Výsledek druhu JRIV/00216208:11320/06:00002391 - Sublocale sets and sublocale lattices (2006)
Výsledek druhu DRIV/00216224:14310/06:00017643 - Systems of Equations over Finite Semigroups and the #CSP Dichotomy Conjecture (2006)
Výsledek druhu JRIV/00216224:14310/06:00017643 - Systems of Equations over Finite Semigroups and the #CSP Dichotomy Conjecture (2006)
Výsledek druhu DRIV/67985807:_____/06:00040730 - Tensor Rank-One Decomposition of Probability Tables (2006)
Výsledek druhu DRIV/00216224:14330/06:00015369 - Test Input Generation for Java Containers using State Matching (2006)
Výsledek druhu BRIV/00216208:11320/06:00002687 - Topics in Discrete Mathematics. Dedicated to Jarik Nešetšil on the Occasion of his 60th Birthday (2006)
Výsledek druhu JRIV/00216208:11320/06:00002211 - Tree-depth, subgraph coloring and homomorphism bounds (2006)
Výsledek druhu JRIV/00216224:14330/06:00016574 - The Tutte Polynomial for Matroids of Bounded Branch-Width (2006)
Výsledek druhu BRIV/00216208:11320/06:00002669 - Understanding and using linear programming (2006)
Výsledek druhu DRIV/49777513:23520/06:00000142 - Unions of perfect matchings in cubic graphs (2006)
Výsledek druhu JRIV/00216208:11320/06:00002742 - Universality of separoids (2006)
Výsledek druhu JRIV/00216208:11320/06:00002812 - Upper Hamiltonian Numbers and Hamiltonian Spectra of Graphs (2006)
Výsledek druhu DRIV/00216208:11320/06:00206169 - Violator spaces: structure and algorithms (2006)
Výsledek druhu ORIV/00216224:14330/06:00015476 - Weakly Extended Process Rewrite Systems (2006)
Výsledek druhu JRIV/00216208:11320/06:00002362 - When is a random graph projective (2006)
Výsledek druhu WRIV/49777513:23520/06:00000002 - XMLPrague 2006 (2006)
Výsledek druhu JRIV/00216208:11320/05:00001155 - A Brooks-type Theorem for the Generalized List T-coloring (2005)
Výsledek druhu CRIV/00216208:11320/05:00001076 - A Flexible Constraint Model for Validating Plans with Durative Actions (2005)
Výsledek druhu JRIV/00216224:14330/05:00012752 - A Parametrized Algorithm for Matroid Branch-Width (2005)
Výsledek druhu JRIV/00216208:11320/05:00001109 - Acyclic edge chromatic number of random d-regular graph is d+1 (2005)
Výsledek druhu CRIV/00216208:11320/05:00000849 - Aesthetics for computers or how to measure a harmony (2005)
Výsledek druhu DRIV/00216208:11320/05:00206165 - Algorithms for comparability of matrices in partial orders imposed by graph homomorphisms (2005)
Výsledek druhu DRIV/00216208:11320/05:00206179 - An asymptotically optimal linear-time algorithm for locally consistent constraint satisfaction problems (2005)
Výsledek druhu DRIV/00216208:11320/05:00001350 - An Improved Algorithm for Maintaining Arc Consistency in Dynamic Constraint Satisfaction Problems (2005)
Výsledek druhu DRIV/00216224:14330/05:00012708 - Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion (2005)
Výsledek druhu DRIV/00216208:11320/05:00206164 - Approximating Reversal Distance for Strings with Bounded Number of Duplicates (2005)
Výsledek druhu DRIV/67985840:_____/05:00041316 - Bounded-depth Circuits: Separating Wires from Gates (2005)
Výsledek druhu DRIV/00216224:14330/05:00012348 - Characteristic Patterns for LTL (2005)
Výsledek druhu JRIV/00216224:14330/05:00012348 - Characteristic Patterns for LTL (2005)
Výsledek druhu JRIV/00216208:11320/05:00001371 - Computing the branchwidth of interval graphs (2005)
Výsledek druhu DRIV/00216224:14330/05:00012779 - Computing the Expected Accumulated Reward and Gain for a Subclass of Infinite Markov Chains (2005)
Výsledek druhu JRIV/00216224:14330/05:00012779 - Computing the Expected Accumulated Reward and Gain for a Subclass of Infinite Markov Chains (2005)
Výsledek druhu JRIV/00216224:14330/05:00012661 - Computing the Tutte Polynomial on Graphs of Bounded Clique-Width (2005)
Výsledek druhu DRIV/00216224:14330/05:00012661 - Computing the Tutte Polynomial on Graphs of Bounded Clique-Width (extended abstract) (2005)
Výsledek druhu JRIV/00216224:14330/05:00012661 - Computing the Tutte Polynomial on Graphs of Bounded Clique-Width (extended abstract) (2005)
Výsledek druhu DRIV/00216224:14330/05:00012728 - Concrete Search with Abstract Matching and Refinement (2005)
Výsledek druhu JRIV/00216208:11320/05:00001632 - Constraint processing (2005)
Výsledek druhu CRIV/00216208:11320/05:00000898 - Constraint Satisfaction for Planning and Scheduling (2005)
Výsledek druhu JRIV/00216208:11320/05:00001377 - Counting set systems by weight (2005)
Výsledek druhu MRIV/00216208:11320/05:00001592 - CP-AI-OR 2005 International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (2005)
Výsledek druhu JRIV/00216208:11320/05:00001042 - Cuts and Bounds (2005)
Výsledek druhu DRIV/00216224:14330/05:00012729 - Deeper Connections between LTL and Alternating Automata (2005)
Výsledek druhu JRIV/00216224:14330/05:00012729 - Deeper Connections between LTL and Alternating Automata (2005)
Výsledek druhu DRIV/00216208:11320/05:00000669 - Desk-mates (Stable Matching) with Privacy of Preferences, and a new Distributed CSP Framework (2005)
Výsledek druhu JRIV/00216208:11320/05:00001633 - Discrepancy after adding a single set (2005)
Výsledek druhu DRIV/00216208:11320/05:00206177 - Distance constrained labelings of graphs of bounded treewidth (2005)
Výsledek druhu DRIV/00216208:11320/05:00000731 - The Erdos-Szekeres theorem: upper bounds and related results (2005)
Výsledek druhu JRIV/49777513:23520/05:00000033 - Exclusive sum labelings of trees (2005)
Výsledek druhu JRIV/00216208:11320/05:00000960 - Expected length of the longest common subsequence for large alphabets (2005)
Výsledek druhu JRIV/00216208:11320/05:00001349 - Finite paths are universal (2005)
Výsledek druhu JRIV/00216208:11320/05:00000992 - Finite presentation of homogeneous graphs, posets and ramsey Classes (2005)
Výsledek druhu JRIV/00216208:11320/05:00001399 - Finitely generated almost universal varieties of 0-lattices (2005)
Výsledek druhu MRIV/00216208:11320/05:00001602 - The First Czech-Catalan Conference in Mathematics (2005)
Výsledek druhu JRIV/00216224:14330/05:00012493 - From Distributed Memory Cycle Detection to Parallel LTL Model Checking (2005)
Výsledek druhu JRIV/00216208:11320/05:00000613 - The Gallai-Edmonds Decomposition for the k-Piece Packing Problem (2005)
Výsledek druhu DRIV/67985807:_____/05:00405294 - Generating Sequential Triangle Strips by using Hopfield Nets (2005)
Výsledek druhu JRIV/00216208:11320/05:00000978 - Geometric Graphs with No Three Disjoint Edges (2005)
Výsledek druhu JRIV/00216208:11320/05:00001163 - The grad of a graph and classes with bounded expansion (2005)
Výsledek druhu JRIV/67985840:_____/05:00041403 - The greedy algorithm for the minimum common string partition problem (2005)
Výsledek druhu WRIV/00216208:11320/05:00001600 - HOMONOLO'05 - Workshop on graph homomorphisms and related topics (2005)
Výsledek druhu JRIV/49777513:23520/05:00000252 - Hourglasses and Hamilton cycles in 4-connected claw-free graphs (2005)
Výsledek druhu JRIV/00216224:14330/05:00012428 - Introductory paper: Parallel and Distributed Model Checking (2005)
Výsledek druhu DRIV/00216208:11320/05:00000691 - Limited Assignments: A New Cutoff Strategy for Incomplete Depth First Search (2005)
Výsledek druhu JRIV/00216208:11320/05:00000924 - Locally consistent constraint satisfaction problems (2005)
Výsledek druhu DRIV/00216208:11320/05:00206175 - Locally consistent constraint satisfaction problems with binary constraints (2005)
Výsledek druhu ARIV/00216224:14330/05:00012608 - MACEK: A software package for real structural computations with representable matroids (2005)
Výsledek druhu DRIV/00216208:11320/05:00206180 - Matrix and graph orders derived from locally constrained graph homomorphisms (2005)
Výsledek druhu JRIV/00216208:11320/05:00000882 - Matroids induced by packing subgraphs (2005)
Výsledek druhu JRIV/00216208:11320/05:00001407 - Minimum Common String Partition Problem: Hardness and Approximations (2005)
Výsledek druhu DRIV/00216208:11320/05:00206137 - Nonexistence of 2-reptile simplices (2005)
Výsledek druhu DRIV/00216208:11320/05:00001124 - O spolupráci matematik (2005)
Výsledek druhu DRIV/49777513:23520/05:00000223 - On 2-walks in chordal planar graphs (2005)
Výsledek druhu DRIV/00216224:14330/05:00012726 - On Sampled Semantics of Timed Systems (2005)
Výsledek druhu JRIV/49777513:23520/05:00000344 - On stability of the hamiltonian index under contractions and closures (2005)
Výsledek druhu DRIV/00216208:11320/05:00206129 - On the Complexity of the Balanced Vertex Ordering Problem (2005)
Výsledek druhu DRIV/00216208:11320/05:00206151 - On the complexity of the G-reconstruction problem (2005)
Výsledek druhu DRIV/00216208:11320/05:00206139 - On the Computational Complexity of the L(2,1)-Labeling Problem for Regular Graphs (2005)
Výsledek druhu DRIV/00216224:14330/05:00012780 - On the Controller Synthesis for Finite-State Markov Decision Processes (2005)
Výsledek druhu JRIV/00216224:14330/05:00012780 - On the Controller Synthesis for Finite-State Markov Decision Processes (2005)
Výsledek druhu DRIV/00216224:14330/05:00012349 - On the Decidability of Temporal Properties of Probabilistic Pushdown Automata (2005)
Výsledek druhu JRIV/67985807:_____/05:00405292 - On the Non-Learnability of a Single Spiking Neuron (2005)
Výsledek druhu DRIV/00216208:11320/05:00001526 - On the pair-crossing number (2005)
Výsledek druhu DRIV/00216208:11320/05:00000723 - On-line conflict-free colorings for intervals (2005)
Výsledek druhu WRIV/00216208:11320/05:00001603 - Prague Midsummer Combinatorial Workshop XII (2005)
Výsledek druhu JRIV/49777513:23520/05:00000030 - The prism over the middle-levels graph is hamiltonian (2005)
Výsledek druhu DRIV/00216224:14330/05:00012515 - Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances (2005)
Výsledek druhu JRIV/00216208:11320/05:00001060 - Rainbow Ramsey Theory (2005)
Výsledek druhu JRIV/00216208:11320/05:00001106 - Ramsey classes and homogeneous structures (2005)
Výsledek druhu JRIV/00216208:11320/05:00003276 - Random Walks and the Colored Jones Function (2005)
Výsledek druhu JRIV/00216208:11320/05:00000996 - The randomized integer convex hull (2005)
Výsledek druhu DRIV/00216224:14330/05:00012714 - Reachability Analysis of Multithreaded Software with Asynchronous Communication (2005)
Výsledek druhu JRIV/00216224:14330/05:00012714 - Reachability Analysis of Multithreaded Software with Asynchronous Communication (2005)
Výsledek druhu DRIV/00216224:14330/05:00012582 - Reachability of Hennessy - Milner properties for weakly extended PRS (2005)
Výsledek druhu JRIV/00216224:14330/05:00012582 - Reachability of Hennessy - Milner properties for weakly extended PRS (2005)
Výsledek druhu JRIV/00216224:14330/05:00012580 - Refining Undecidability Border of Weak Bisimilarity. (2005)
Výsledek druhu ARIV/00216224:14330/05:00012581 - Refining Undecidability Border of Weak Bisimilarity. (full version of INFINITY 2005 paper) (2005)
Výsledek druhu JRIV/00216208:11320/05:00000615 - Short Length Menger's Theorem and Reliable Optical Routing (2005)
Výsledek druhu JRIV/00216224:14330/05:00012554 - The stuttering principle revisited (2005)
Výsledek druhu DRIV/00216208:11320/05:00206150 - Three optimal algorithms for balls of three colors (2005)
Výsledek druhu BRIV/00216208:11320/05:00000774 - Topics in Combinatorial Number Theory (2005)
Výsledek druhu DRIV/00216208:11320/05:00000966 - Towards asymptotic optimality in probabilistic packet marking (2005)
Výsledek druhu DRIV/49777513:23520/05:00000099 - Trestles in Graphs (2005)
Výsledek druhu JRIV/00216208:11320/05:00001363 - Unions of perfect matchings in cubic graphs (2005)
Výsledek druhu JRIV/00216208:11320/05:00000764 - Universal partial orders represented by means of oriented trees and other simple graphs (2005)
Výsledek druhu JRIV/00216208:11320/05:00000950 - Weak alg-universality and Q-universality of semigroup quasivarieties (2005)
Výsledek druhu WRIV/00216208:11320/05:00001601 - Workshop on Extremal Combinatorics (2005)
Výsledek druhu WRIV/00216208:11320/05:00001599 - Workshop on Graph Classes, Width Parameters and Optimization (2005)
Výsledek druhu MRIV/00216208:11320/05:00001598 - XML Prague (2005)
Výsledek druhu MRIV/49777513:23520/05:00000032 - XMLPrague 2005 (2005)
Výsledek druhu WRIV/00216224:14330/05:00012781 - 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005) (2005)
Tuto aplikaci pro Radu pro výzkum, vývoj a inovace provozuje Výpočetní a informační centrum Českého vysokého učení technického v Praze. Vyvíjí InfoScience Praha s.r.o.. Verze aplikace 1.6.15. Datové schéma ISVAV_WEB5_00305. Podpora uživatelů na e-mailové adrese podpora (zavináč) isvav (tečka) cz nebo telefonním čísle 224 234 797 (v pracovních dnech 8-16 hod.).