From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Deriving generic bounds for time-series constraints based on regular expressions characteristics., , и . Constraints An Int. J., 23 (1): 44-86 (2018)Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints., , и . CoRR, (2019)Deriving Generic Bounds for Time-Series Constraints Based on Regular Expressions Characteristics., , и . CoRR, (2017)Time-Series Constraints: Improvements and Application in CP and MIP Contexts., , , , , , и . CPAIOR, том 9676 из Lecture Notes in Computer Science, стр. 18-34. Springer, (2016)Functional description of sequence constraints and synthesis of combinatorial objects. (Description fonctionnelle de contraintes sur des séquences et synthèse d'objets combinatoires).. IMT Atlantique, Nancy, France, (2018)Generating Linear Invariants for a Conjunction of Automata Constraints., , и . CP, том 10416 из Lecture Notes in Computer Science, стр. 21-37. Springer, (2017)Invariants for time-series constraints., , и . Constraints An Int. J., 25 (3-4): 71-120 (2020)Global Constraint Catalog, Volume II, Time-Series Constraints., , , , , , , и . CoRR, (2016)Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints., , , , , , и . CP, том 9892 из Lecture Notes in Computer Science, стр. 13-29. Springer, (2016)among Implied Constraints for Two Families of Time-Series Constraints., , и . CP, том 10416 из Lecture Notes in Computer Science, стр. 38-54. Springer, (2017)