Daniel A. Quiroz

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 16

Top Topics

Reachability Analysis

Computation Tree Logic

Multivalued Dependencies

Symbolic Model Checking

Top Venues

Publications

Bogdan Alecu, Vadim V. Lozin, Daniel A. Quiroz, Roman Rabinovich, Igor Razgon, Viktor Zamaraev
The Treewidth and Pathwidth of Graph Unions. SIAM J. Discret. Math. 38 (1) (2024)
Andrea Jiménez, Daniel A. Quiroz, Christopher Thraves Caro
Totally odd immersions in line graphs. Discret. Math. 347 (4) (2024)
Andrea Jiménez, Kolja Knauer, Carla Negri Lintzmayer, Martín Matamala, Juan Pablo Peña, Daniel A. Quiroz, Maycon Sambinelli, Yoshiko Wakabayashi, Weiqiang Yu, José Zamora
Boundedness for proper conflict-free and odd colorings. CoRR (2023)
Pedro P. Cortés, Pankaj Kumar, Benjamin Moore, Patrice Ossona de Mendez, Daniel A. Quiroz
Subchromatic numbers of powers of graphs with excluded minors. CoRR (2023)
Andrea Jiménez, Jessica McDonald, Reza Naserasr, Kathryn Nurse, Daniel A. Quiroz
Balanced-chromatic number and Hadwiger-like conjectures. CoRR (2023)
Bogdan Alecu, Vadim V. Lozin, Daniel A. Quiroz, Roman Rabinovich, Igor Razgon, Viktor Zamaraev
The treewidth and pathwidth of graph unions. CoRR (2022)
Matías Pavez-Signé, Daniel A. Quiroz, Nicolás Sanhueza-Matamala
Universal arrays. Discret. Math. 344 (12) (2021)
Daniel A. Quiroz
Clique immersions in graphs of independence number two with certain forbidden subgraphs. Discret. Math. 344 (6) (2021)
Daniel A. Quiroz
Complete immersions in graphs with independence number two and small forbidden subgraphs. LAGOS (2021)
Kord Eickmeyer, Jan van den Heuvel, Ken-ichi Kawarabayashi, Stephan Kreutzer, Patrice Ossona de Mendez, Michal Pilipczuk, Daniel A. Quiroz, Roman Rabinovich, Sebastian Siebertz
Model-Checking on Ordered Structures. ACM Trans. Comput. Log. 21 (2) (2020)
Daniel A. Quiroz
Colouring exact distance graphs of chordal graphs. Discret. Math. 343 (5) (2020)
Sebastián Bustamante, Daniel A. Quiroz, Maya Stein, José Zamora
Large Immersions in Graphs with Independence Number 3 and 4. LAGOS (2019)
Jan van den Heuvel, Hal A. Kierstead, Daniel A. Quiroz
Chromatic numbers of exact distance graphs. J. Comb. Theory, Ser. B 134 (2019)
Kord Eickmeyer, Jan van den Heuvel, Ken-ichi Kawarabayashi, Stephan Kreutzer, Patrice Ossona de Mendez, Michal Pilipczuk, Daniel A. Quiroz, Roman Rabinovich, Sebastian Siebertz
Model-Checking on Ordered Structures. CoRR (2018)
Jan van den Heuvel, Stephan Kreutzer, Michal Pilipczuk, Daniel A. Quiroz, Roman Rabinovich, Sebastian Siebertz
Model-checking for successor-invariant first-order formulas on graph classes of bounded expansion. LICS (2017)
Jan van den Heuvel, Stephan Kreutzer, Michal Pilipczuk, Daniel A. Quiroz, Roman Rabinovich, Sebastian Siebertz
Model-Checking for Successor-Invariant First-Order Formulas on Graph Classes of Bounded Expansion. CoRR (2017)