prof. RNDr. Petr Hliněný, Ph.D.
profesor – Katedra teorie programování
kancelář: C418
Botanická 554/68a
602 00 Brno
telefon: | 549 49 3775 |
---|---|
e‑mail: |
sociální a akademické sítě: |
---|
Počet publikací: 184
2020
-
A New Perspective on FO Model Checking of Dense Graph Classes
ACM Transactions on Computational Logic, rok: 2020, ročník: 21, vydání: 4, DOI
-
Clique-Width of Point Configurations
Graph-Theoretic Concepts in Computer Science, WG 2020, rok: 2020
-
Isomorphism Problem for Sd-Graphs
45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), rok: 2020
-
Toroidal grid minors and stretch in embedded graphs
JOURNAL OF COMBINATORIAL THEORY SERIES B, rok: 2020, ročník: 140, vydání: 1, DOI
2019
-
A deterministic approach for rapid identification of the critical links in networks
PLOS ONE, rok: 2019, ročník: 14, vydání: 7, DOI
-
Bounded degree conjecture holds precisely for c-crossing-critical graphs with c<=12
35th International Symposium on Computational Geometry, SoCG 2019, rok: 2019
-
Exact Crossing Number Parameterized by Vertex Cover
GD 2019: Graph Drawing and Network Visualization, rok: 2019
-
FO model checking on geometric graphs
Computational geometry, rok: 2019, ročník: 78, vydání: 1, DOI
-
On conflict-free chromatic guarding of simple polygons
13th Annual International Conference on Combinatorial Optimization and Applications (COCOA'19), rok: 2019
-
On Degree Properties of Crossing-Critical Families of Graphs
Electronic Journal of Combinatorics, rok: 2019, ročník: 26, vydání: 1, DOI