Author of the publication

A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures.

, , and . GCAI, volume 36 of EPiC Series in Computing, page 229-251. EasyChair, (2015)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Model Selection and Stability in Spectral Clustering ., and . KDIR, page 25-34. SciTePress, (2012)Detection of Computer-Generated Papers Using One-Class SVM and Cluster Approaches., and . MLDM (2), volume 10935 of Lecture Notes in Computer Science, page 42-55. Springer, (2018)Patterning of writing style evolution by means of dynamic similarity., , , and . Pattern Recognit., (2018)Robust classifying of prokaryotic genomes., , and . Comput. Biol. Chem., (2012)A linguistic approach to classification of bacterial genomes., , , , and . Pattern Recognit., 43 (3): 1083-1093 (2010)A binomial noised model for cluster validation., , , , and . J. Intell. Fuzzy Syst., 24 (3): 417-427 (2013)Resampling approach for cluster model selection., , , , and . Mach. Learn., 85 (1-2): 209-248 (2011)Detecting Non-Uniform Clusters in Large-Scale Interaction Graphs., , , , and . J. Comput. Biol., 21 (2): 173-183 (2014)Randomized Algorithms in Automatic Control and Data Mining, , and . Intelligent Systems Reference Library Springer, (2015)Multi-agent control of airplane wing stability under the flexural torsion flutter., , , and . CoRR, (2020)