Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
![]() |
Deterministic Single Exponential Time Algorithms for Connectivity Problems Parameterized by TreewidthBodlaender, Hans L. ; Cygan, Marek ; Kratsch, Stefan ; Nederlof, Jesper Peleg, David ; Freivalds, Rūsiņš ; Kwiatkowska, Marta ; Fomin, Fedor V.Automata, Languages, and Programming, p.196-207 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
2 |
Material Type: Capítulo de Livro
|
![]() |
Time-Efficient Quantum Walks for 3-DistinctnessBelovs, Aleksandrs ; Childs, Andrew M. ; Jeffery, Stacey ; Kothari, Robin ; Magniez, Frédéric Peleg, David ; Freivalds, Rūsiņš ; Kwiatkowska, Marta ; Fomin, Fedor V.Automata, Languages, and Programming, p.105-122 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
3 |
Material Type: Capítulo de Livro
|
![]() |
Coeffects: Unified Static Analysis of Context-DependencePetricek, Tomas ; Orchard, Dominic ; Mycroft, Alan Peleg, David ; Freivalds, Rūsiņš ; Kwiatkowska, Marta ; Fomin, Fedor V.Automata, Languages, and Programming, p.385-397 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
4 |
Material Type: Capítulo de Livro
|
![]() |
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session TypesDeniélou, Pierre-Malo ; Yoshida, Nobuko Peleg, David ; Freivalds, Rūsiņš ; Kwiatkowska, Marta ; Fomin, Fedor V.Automata, Languages, and Programming, p.174-186 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
5 |
Material Type: Capítulo de Livro
|
![]() |
Kernel Bounds for Structural Parameterizations of PathwidthBodlaender, Hans L. ; Jansen, Bart M. P. ; Kratsch, Stefan Kaski, Petteri ; Fomin, Fedor V.Algorithm Theory – SWAT 2012, p.352-363 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
6 |
Material Type: Capítulo de Livro
|
![]() |
A Polynomial-Time Approximation Scheme for the Geometric Unique Coverage Problem on Unit SquaresIto, Takehiro ; Nakano, Shin-Ichi ; Okamoto, Yoshio ; Otachi, Yota ; Uehara, Ryuhei ; Uno, Takeaki ; Uno, Yushi Kaski, Petteri ; Fomin, Fedor V.Algorithm Theory – SWAT 2012, p.24-35 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
7 |
Material Type: Capítulo de Livro
|
![]() |
Constraint Satisfaction Problems Parameterized above or below Tight Bounds: A SurveyGutin, Gregory ; Yeo, Anders Downey, Rod ; Bodlaender, Hans L. ; Marx, Dániel ; Fomin, Fedor V.The Multivariate Algorithmic Revolution and Beyond, p.257-286 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
8 |
Material Type: Capítulo de Livro
|
![]() |
Annotating Simplices with a Homology Basis and Its ApplicationsBusaryev, Oleksiy ; Cabello, Sergio ; Chen, Chao ; Dey, Tamal K. ; Wang, Yusu Kaski, Petteri ; Fomin, Fedor V.Algorithm Theory – SWAT 2012, p.189-200 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
9 |
Material Type: Capítulo de Livro
|
![]() |
Temporal Network Optimization Subject to Connectivity ConstraintsMertzios, George B. ; Michail, Othon ; Chatzigiannakis, Ioannis ; Spirakis, Paul G. Peleg, David ; Freivalds, Rūsiņš ; Kwiatkowska, Marta ; Fomin, Fedor V.Automata, Languages, and Programming, p.657-668 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
10 |
Material Type: Capítulo de Livro
|
![]() |
Sorted Range ReportingNekrich, Yakov ; Navarro, Gonzalo Kaski, Petteri ; Fomin, Fedor V.Algorithm Theory – SWAT 2012, p.271-282 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |