Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
Minimal Obstructions for Partial Representations of Interval GraphsKlavík, Pavel ; Saumell, MariaAlgorithms and Computation, 2014, p.401-413 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
2 |
Material Type: Capítulo de Livro
|
Quantifying Information Leakage of Randomized ProtocolsBiondi, Fabrizio ; Legay, Axel ; Malacaria, Pasquale ; Wąsowski, AndrzejTheoretical computer science, 2013, p.68-87 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
3 |
Material Type: Capítulo de Livro
|
On the Number of Connected Sets in Bounded Degree GraphsKratsch, Dieter ; Todinca, IoanGraph-Theoretic Concepts in Computer Science, 2014, Vol.8747, p.336-347 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
4 |
Material Type: Capítulo de Livro
|
Using Models to Model-Check Recursive SchemesSalvati, Sylvain ; Walukiewicz, IgorLogical methods in computer science, 2013, Vol.11, p.189-204 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |