Isa Vialard

18 papers A* 2B 4Journal 11
YearRankTypeTitle / Venue / Authors
2026 B conf
Deciding the Value of Two-Clock Almost Non-Zeno Weighted Timed Games.
CSL
Isa Vialard
2026 A* conf
Temporal Properties of Conditional Independence in Dynamic Bayesian Networks.
AAAI
Rajab Aghamov, Christel Baier, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala, Isa Vialard
2026 B conf
The Value Problem for Weighted Timed Games with Two Clocks is Undecidable.
FoSSaCS
Quentin Guilmant, Joël Ouaknine, Isa Vialard
2025 A* conf
A Tropical Approach to the Compositional Piecewise Complexity of Words and Compressed Words.
ICALP
Philippe Schnoebelen, Julien Veron, Isa Vialard
2025 J jnl
Deciding the Value of Two-Clock Almost Non-Zeno Weighted Timed Games.
CoRR
Isa Vialard
2025 J jnl
On maximal order type of the lexicographic product.
Log. J. IGPL
Isa Vialard
2025 J jnl
On the Width of the Cartesian Product of Ordinals.
Order
Isa Vialard
2025 J jnl
On the piecewise complexity of words.
Acta Informatica
Philippe Schnoebelen, Isa Vialard
2025 J jnl
Temporal Properties of Conditional Independence in Dynamic Bayesian Networks.
CoRR
Rajab Aghamov, Christel Baier, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala, Isa Vialard
2025 J jnl
The Value Problem for Weighted Timed Games with Two Clocks is Undecidable.
CoRR
Quentin Guilmant, Joël Ouaknine, Isa Vialard
2024 — —
Measuring well quasi-orders and complexity of verification. (Mesure des beaux pré-ordres et complexité de la vérification).
Isa Vialard
2024 B conf
On the Piecewise Complexity of Words and Periodic Words.
SOFSEM
M. Praveen, Philippe Schnoebelen, Julien Veron, Isa Vialard
2024 J jnl
On the piecewise complexity of words.
CoRR
Philippe Schnoebelen, Isa Vialard
2023 J jnl
Measuring well quasi-ordered finitary powersets.
CoRR
Sergio Abriola, Simon Halfon, Aliaume Lopez, Sylvain Schmitz, Philippe Schnoebelen, Isa Vialard
2023 J jnl
On the piecewise complexity of words and periodic words.
CoRR
M. Praveen, Philippe Schnoebelen, Isa Vialard, Julien Veron
2023 B conf
Ordinal Measures of the Set of Finite Multisets.
MFCS
Isa Vialard
2023 J jnl
Ordinal measures of the set of finite multisets.
CoRR
Isa Vialard
2022 J jnl
On the cartesian product of well-orderings.
CoRR
Isa Vialard