skip to main content
Idioma:
Mostrar Somente
Refinado por: assunto: Mathematics remover autor: Dvořák, Zdeněk remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
3‐Coloring Triangle‐Free Planar Graphs with a Precolored 8‐Cycle
3‐Coloring Triangle‐Free Planar Graphs with a Precolored 8‐Cycle
Material Type:
Web Resource 		Adicionar ao Meu Espaço

3‐Coloring Triangle‐Free Planar Graphs with a Precolored 8‐Cycle

dvořák, zdeněk ; Lidicky, Bernard

Iowa State University Digital Repository 2015

Sem texto completo

Citações Citado por
2
4-Critical Graphs on Surfaces Without Contractible $(\le\!4)$-Cycles
4-Critical Graphs on Surfaces Without Contractible $(\le\!4)$-Cycles
Material Type:
Artigo 		Adicionar ao Meu Espaço

4-Critical Graphs on Surfaces Without Contractible $(\le\!4)$-Cycles

Dvoráak, Zdeneák ; Lidicky, Bernard

SIAM journal on discrete mathematics, 2014-01, Vol.28 (1), p.521-552 [Periódico revisado por pares]

Philadelphia: Society for Industrial and Applied Mathematics

Sem texto completo

Citações Citado por
3
A 4-choosable graph that is not (8:2)-choosable
A 4-choosable graph that is not (8:2)-choosable
Material Type:
Artigo 		Adicionar ao Meu Espaço

A 4-choosable graph that is not (8:2)-choosable

Dvořák, Zdeněk ; Hu, Xiaolan ; Sereni, Jean-Sébastien

Advances in Combinatorics (Online), 2019, Vol.1 [Periódico revisado por pares]

Alliance of Diamond Open Access Journals

Texto completo disponível

Citações Citado por
4
A New Concept in Advice Complexity of Job Shop Scheduling
A New Concept in Advice Complexity of Job Shop Scheduling
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A New Concept in Advice Complexity of Job Shop Scheduling

Hlinný, Petr ; Dvoák, Zdenk ; Jaros, Jií ; Kofro, Jan ; Koenek, Jan ; Matula, Petr ; Pala, Karel

Mathematical and Engineering Methods in Computer Science, 2014, Vol.8934, p.147-158 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
5
A note on antisymmetric flows in graphs
A note on antisymmetric flows in graphs
Material Type:
Artigo 		Adicionar ao Meu Espaço

A note on antisymmetric flows in graphs

Dvořák, Zdeněk ; Kaiser, Tomáš ; Král’, Daniel ; Sereni, Jean-Sébastien

European journal of combinatorics, 2010, Vol.31 (1), p.320-324 [Periódico revisado por pares]

Elsevier Ltd

Texto completo disponível

Citações Citado por
6
An algorithm for cyclic edge connectivity of cubic graphs: (Extended abstract)
An algorithm for cyclic edge connectivity of cubic graphs: (Extended abstract)
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

An algorithm for cyclic edge connectivity of cubic graphs: (Extended abstract)

DVORAK, Zdenek ; KARA, Jan ; KRAL, Daniel ; PANGRAC, Ondrej

Lecture notes in computer science, 2004, p.236-247 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
7
Automating Software Analysis at Large Scale
Automating Software Analysis at Large Scale
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Automating Software Analysis at Large Scale

Hlinný, Petr ; Dvoák, Zdenk ; Jaros, Jií ; Kofro, Jan ; Koenek, Jan ; Matula, Petr ; Pala, Karel

Mathematical and Engineering Methods in Computer Science, 2014, Vol.8934, p.30-39 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
8
Bent Functions Synthesis on Intel Xeon Phi Coprocessor
Bent Functions Synthesis on Intel Xeon Phi Coprocessor
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Bent Functions Synthesis on Intel Xeon Phi Coprocessor

Hlinný, Petr ; Dvoák, Zdenk ; Jaros, Jií ; Kofro, Jan ; Koenek, Jan ; Matula, Petr ; Pala, Karel

Mathematical and Engineering Methods in Computer Science, 2014, Vol.8934, p.88-99 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
9
Context-Switch-Directed Verification in DIVINE
Context-Switch-Directed Verification in DIVINE
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Context-Switch-Directed Verification in DIVINE

Hlinný, Petr ; Dvoák, Zdenk ; Jaros, Jií ; Kofro, Jan ; Koenek, Jan ; Matula, Petr ; Pala, Karel

Mathematical and Engineering Methods in Computer Science, 2014, Vol.8934, p.135-146 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
10
Correspondence coloring and its application to list-coloring planar graphs without cycles of lengths 4 to 8
Correspondence coloring and its application to list-coloring planar graphs without cycles of lengths 4 to 8
Material Type:
Artigo 		Adicionar ao Meu Espaço

Correspondence coloring and its application to list-coloring planar graphs without cycles of lengths 4 to 8

Dvořák, Zdeněk ; Postle, Luke

Journal of combinatorial theory. Series B, 2018-03, Vol.129, p.38-54 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (28)
  2. Revistas revisadas por pares (29)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (15)
  2. Book Chapters  (12)
  3. Anais de Congresso  (3)
  4. Web Resources  (1)
  5. Livros  (1)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2005  (2)
  2. 2005Até2008  (3)
  3. 2009Até2010  (6)
  4. 2011Até2015  (27)
  5. Após 2015  (5)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.