Article APPLICATION OF GENETIC PROGRAMMING AND MODEL CHECKING FOR FINITE-STATE MACHINE INDUCTION ON THE BASE OF TESTS AND SPECIFICATION
Article MATROIDAL REPRESENTATION FOR THE ADJACENCY GRAPHS FAMILY BUILT ON A SET OF KNOWLEDGE PATTERNS
Article HIERARCHY OF ALGEBRAIC BAYESIAN NETWORK GLOBAL STRUCTURES AS A SYSTEM OF GRAPHS AND HYPERGRAPHS