Isa Vialard

According to our database, Isa Vialard authored at least 12 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

The Value Problem for Weighted Timed Games with Two Clocks is Undecidable.

Quentin Guilmant, Joël Ouaknine, Isa Vialard

Proceedings of the Foundations of Software Science and Computation Structures, 2026

Deciding the Value of Two-Clock Almost Non-Zeno Weighted Timed Games.

Isa Vialard

Proceedings of the 34th EACSL Annual Conference on Computer Science Logic, 2026

Temporal Properties of Conditional Independence in Dynamic Bayesian Networks.

Rajab Aghamov, Christel Baier, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala, Isa Vialard

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

On the Width of the Cartesian Product of Ordinals.

Isa Vialard

Order, April, 2025

On the piecewise complexity of words.

Philippe Schnoebelen, Isa Vialard

Acta Informatica, March, 2025

On maximal order type of the lexicographic product.

Isa Vialard

Log. J. IGPL, 2025

A Tropical Approach to the Compositional Piecewise Complexity of Words and Compressed Words.

Philippe Schnoebelen, Julien Veron, Isa Vialard

Proceedings of the 52nd International Colloquium on Automata, Languages, and Programming, 2025

2024

Measuring well quasi-orders and complexity of verification. (Mesure des beaux pré-ordres et complexité de la vérification).

Isa Vialard

PhD thesis, 2024

On the Piecewise Complexity of Words and Periodic Words.

M. Praveen, Philippe Schnoebelen, Julien Veron, Isa Vialard

Proceedings of the SOFSEM 2024: Theory and Practice of Computer Science, 2024

2023

Measuring well quasi-ordered finitary powersets.

Sergio Abriola, Simon Halfon, Aliaume Lopez, Sylvain Schmitz, Philippe Schnoebelen, Isa Vialard

CoRR, 2023

Ordinal Measures of the Set of Finite Multisets.

Isa Vialard

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

2022

On the cartesian product of well-orderings.

Isa Vialard

CoRR, 2022