of Nikolai Kosmatov

Conference articles

  1. Blanchard Allan, Nikolai Kosmatov, and Frédéric Loulergue. A CHR-Based Solver for Weak Memory Behaviors. In 7th Workshop on Constraint Solvers in Testing, Verification, and Analysis (CSTVA), 2016.
  2. Nikolai Kosmatov. A constraint solver for sequences and its applications. In Proc. 2006 ACM Symp. on Applied Computing, pages 404-408, 2006. ACM.
  3. Nikolai Kosmatov. Constraint Solving for Sequences in Software Validation and Verification. In INAP '05: Proc. 16th Intl. Conf. Applications of Declarative Programming and Knowledge Management, volume 4369 of LNCS, pages 25-37, 2006. SV.