Author of the publication

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

Embedding Proof Problems into Query-answering Problems and Problem Solving by Equivalent Transformation., and . KEOD, page 253-260. SciTePress, (2013)Semantic Web Modeling and Programming with XDD., , , and . The Emerging Semantic Web, volume 75 of Frontiers in Artificial Intelligence and Applications, IOS press, (2001)Unfolding Existentially Quantified Sets of Extended Clauses., and . KEOD, page 96-103. SciTePress, (2016)Semantic Query Optimization: Correctness and Control., , and . J. Adv. Comput. Intell. Intell. Informatics, 10 (3): 270-280 (2006)Infinite Computation in the Equivalent Transformation Model., , , and . J. Adv. Comput. Intell. Intell. Informatics, 11 (2): 176-186 (2007)Designing a distributed algorithm for bandwidth allocation with a genetic algorithm., , , and . Syst. Comput. Jpn., 35 (3): 37-45 (2004)Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model., , , and . J. Adv. Comput. Intell. Intell. Informatics, 10 (3): 349-361 (2006)Formalization of the Equivalent Transformation Computation Model., and . J. Adv. Comput. Intell. Intell. Informatics, 10 (3): 245-259 (2006)A Bayesian Optimization Algorithm for De Novo ligand design based docking running over GPU., , , and . IEEE Congress on Evolutionary Computation, page 1-8. IEEE, (2010)A Parallel Genetic Algorithm Based on Linkage Identification., , and . GECCO, volume 2723 of Lecture Notes in Computer Science, page 1222-1233. Springer, (2003)