E-LIB Suche - Ergebnisse für: Gajarsky, J

1

A New Perspective on FO Model Checking of Dense Graph Class..:

, In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science,

Gajarský, J. ; Hliněný, P. ; Obdržálek, J... - p. 176-184 , 2016

Link: https://dl.acm.org/doi/1..

2

DNA Quadruplex Structure with a Unique Cation Dependency:

Gajarsky, Martin ; Stadlbauer, Petr ; Sponer, Jiri...
Angewandte Chemie International Edition. 63 (2024) 7 - p. , 2024

Link: https://doi.org/10.1002/..

3

DNA Quadruplex Structure with a Unique Cation Dependency:

Gajarsky, Martin ; Stadlbauer, Petr ; Sponer, Jiri...
Angewandte Chemie. 136 (2024) 7 - p. , 2024

Link: https://doi.org/10.1002/..

4

Corrigendum to "Twin-width and generalized coloring numbers..:

Dreier, Jan ; Gajarský, Jakub ; Jiang, Yiting..
Discrete Mathematics. 347 (2024) 1 - p. 113750 , 2024

Link: https://doi.org/10.1016/..

5

Elementary first-order model checking for sparse graphs:

, In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science,

Gajarský, Jakub ; Pilipczuk, Michał ; Sokołowski, Marek.. - p. 1-14 , 2024

Link: https://dl.acm.org/doi/1..

6

DNA i-motif formation at neutral pH is driven by kinetic pa..:

Školáková, Petra ; Gajarský, Martin ; Palacký, Jan...
Nucleic Acids Research. 51 (2023) 6 - p. 2950-2962 , 2023

Link: https://doi.org/10.1093/..

7

Treelike Decompositions for Transductions of Sparse Graphs:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,

Dreier, Jan ; Gajarský, Jakub ; Kiefer, Sandra.. - p. 1-14 , 2022

Link: https://dl.acm.org/doi/1..

8

Model Checking on Interpretations of Classes of Bounded Loc..:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,

Bonnet, Édouard ; Dreier, Jan ; Gajarský, Jakub... - p. 1-13 , 2022

Link: https://dl.acm.org/doi/1..

9

Twin-width and generalized coloring numbers:

Dreier, Jan ; Gajarský, Jakub ; Jiang, Yiting..
Discrete Mathematics. 345 (2022) 3 - p. 112746 , 2022

Link: https://doi.org/10.1016/..

10

Stable graphs of bounded twin-width:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,

Gajarský, Jakub ; Pilipczuk, Michał ; Toruńczyk, Szymon - p. 1-12 , 2022

Link: https://dl.acm.org/doi/1..

11

G‐Quadruplex Formation by DNA Sequences Deficient in Guanin..:

Kejnovská, Iva ; Stadlbauer, Petr ; Trantírek, Lukáš...
Chemistry – A European Journal. 27 (2021) 47 - p. 12115-12125 , 2021

Link: https://doi.org/10.1002/..

12

Insight into formation propensity of pseudocircular DNA G-h..:

Živković, Martina Lenarčič ; Gajarský, Martin ; Beková, Kateřina...
Nucleic Acids Research. 49 (2021) 4 - p. 2317-2332 , 2021

Link: https://doi.org/10.1093/..

13

First-Order Interpretations of Bounded Expansion Classes:

Gajarský, Jakub ; Kreutzer, Stephan ; NešETřil, Jaroslav...
ACM Transactions on Computational Logic (TOCL). 21 (2020) 4 - p. 1-41 , 2020

Link: https://dl.acm.org/doi/1..

14

A New Perspective on FO Model Checking of Dense Graph Class..:

Gajarský, Jakub ; Hliněný, Petr ; Obdržálek, Jan..
ACM Transactions on Computational Logic (TOCL). 21 (2020) 4 - p. 1-23 , 2020

Link: https://dl.acm.org/doi/1..

15

Role of folding kinetics of secondary structures in telomer..:

Jurikova, Katarina ; Gajarsky, Martin ; Hajikazemi, Mona...
Journal of Biological Chemistry. 295 (2020) 27 - p. 8958-8971 , 2020

Link: https://doi.org/10.1074/..