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

Arithmetic Bit-Level Verification Using Network Flow Model., , and . Haifa Verification Conference, volume 8244 of Lecture Notes in Computer Science, page 327-343. Springer, (2013)Multi-start iterated local search, exact and matheuristic approaches for minimum capacitated dominating set problem., , and . Appl. Soft Comput., (2021)Solving robust bin-packing problems with a branch-and-price approach., , , and . Eur. J. Oper. Res., 297 (3): 831-843 (2022)A component based approach for the design of FMS control and supervision., , , and . SMC, page 3005-3011. IEEE, (2005)Generation of control for conveying systems based on component approach., , , and . SMC, page 1408-1414. IEEE, (2007)An Artificial Bee Colony Algorithm for the 0-1 Multidimensional Knapsack Problem., , and . IC3 (1), volume 94 of Communications in Computer and Information Science, page 141-151. Springer, (2010)Function Extraction from Arithmetic Bit-Level Circuits., , , and . ISVLSI, page 356-361. IEEE Computer Society, (2014)A Hybrid Grouping Genetic Algorithm for Multiprocessor Scheduling., , and . IC3, volume 40 of Communications in Computer and Information Science, page 1-7. Springer, (2009)An online method for robust target tracking using a wireless sensor network., , and . Expert Syst. Appl., (November 2023)Tabu Search for Multiprocessor Scheduling: Application to High Level Synthesis., , and . Asia Pac. J. Oper. Res., 28 (2): 201-212 (2011)