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

On Partial Validation of Logic Programs., and . AMAST, volume 1349 of Lecture Notes in Computer Science, page 365-379. Springer, (1997)Solving Disequations Modulo Some Class of Rewrite Systems., and . RTA, volume 1379 of Lecture Notes in Computer Science, page 121-135. Springer, (1998)SMSG: Profiling-Free Parallelism Modeling for Distributed Training of DNN., , , , and . Int. J. Parallel Program., 51 (2-3): 109-127 (2023)An Hierarchical Labeling Technique for Interactive Computation of Watersheds., , , and . HPCS, page 86-92. IEEE, (2017)Tree Tuple Languages from the Logic Programming Point of View., and . J. Autom. Reason., 37 (4): 323-349 (2006)E-unification by means of tree tuple synchronized grammars., and . Discret. Math. Theor. Comput. Sci., 1 (1): 69-98 (1997)A Scalable Similarity Join Algorithm Based on MapReduce and LSH., , , and . Int. J. Parallel Program., 50 (3-4): 360-380 (2022)HPC & Co strike back: Where are distributed paradigms heading toward?, , and . Concurr. Comput. Pract. Exp., (2018)High-performance computing: to boldly go where no human has gone before., , and . Concurr. Comput. Pract. Exp., 27 (13): 3145-3165 (2015)High level languages for efficient parallel programming.. HPCS, page 541-542. IEEE, (2012)