Get started
Author

Isa Vialard

Measuring well quasi-ordered finitary powersets
2023 · Abriola, Sergio, Halfon, Simon, et al. · arXiv (Cornell University) · 6
PDF
On the Piecewise Complexity of Words and Periodic Words
2024 · M. Praveen, Ph. Schnoebelen, et al. · Lecture notes in computer science · 5
PDF
Deciding the Value of Two-Clock Almost Non-Zeno Weighted Timed Games
2025 · Vialard, Isa · arXiv (Cornell University) · 3
PDF
The Value Problem for Weighted Timed Games with Two Clocks is Undecidable
2026 · Quentin Guilmant, Joël Ouaknine, et al. · Lecture notes in computer science · 1
On the piecewise complexity of words
2025 · Philippe Schnoebelen, Isa Vialard · Acta Informatica · 1
PDF
On the Width of the Cartesian Product of Ordinals
2024 · Isa Vialard · Order · 1
PDF
Approximating the Value of Time-Bounded Weighted Timed Games
2026 · Vialard, Isa, Ouaknine, Joël · arXiv (Cornell University)
PDF
Temporal Properties of Conditional Independence in Dynamic Bayesian Networks
2026 · Rajab Aghamov, Christel Baier, et al. · Proceedings of the AAAI Conference on Artificial Intelligence
PDF
Temporal Properties of Conditional Independence in Dynamic Bayesian Networks
2026 · Association for Artificial Intelligence 2026, Aghamov, Rajab, et al. · Underline Science Inc.
Population Protocols over Ordered Agents
2026 · Blondin, Michael, Cadilhac, Michaël, et al. · arXiv (Cornell University)
PDF
Temporal Properties of Conditional Independence in Dynamic Bayesian Networks
2025 · Aghamov, Rajab, Baier, Christel, et al. · arXiv (Cornell University)
PDF
On maximal order type of the lexicographic product
2025 · Isa Vialard · Logic Journal of IGPL
A Tropical Approach to the Compositional Piecewise Complexity of Words and Compressed Words
2025 · Schnoebelen, Philippe, Veron, J., et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
PDF
Measuring well quasi-orders and complexity of verification
2024 · Isa Vialard · theses.fr (ABES)
PDF
Ordinal Measures of the Set of Finite Multisets
2023 · Vialard, Isa · arXiv (Cornell University)
PDF
Works count: 18
Citation count: 19
H-index: 3
I10-index:
Year
Topic
Type