From post

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.

 

Другие публикации лиц с тем же именем

Automated assumption generation for compositional verification., , и . Formal Methods Syst. Des., 32 (3): 285-301 (2008)Energy Plus Maximum Bound Preserving Runge-Kutta Methods for the Allen-Cahn Equation., , и . J. Sci. Comput., 92 (3): 97 (2022)Considering Circuit Observability Don't Cares in CNF Satisfiability., , и . DATE, стр. 1108-1113. IEEE Computer Society, (2005)Using Genetic Algorithms To Solve The Yard Allocation Problem., , и . GECCO, стр. 1049-1056. Morgan Kaufmann, (2002)Unconditionally energy decreasing high-order Implicit-Explicit Runge-Kutta methods for phase-field models with the Lipschitz nonlinearity., , и . CoRR, (2022)On Solving the Partial MAX-SAT Problem., и . SAT, том 4121 из Lecture Notes in Computer Science, стр. 252-265. Springer, (2006)Port yard storage optimization., , , и . IEEE Trans Autom. Sci. Eng., 1 (1): 26-37 (2004)Equivalent Formulations of the Oxygen Depletion Problem, Other Implicit Moving Boundary Value Problems, and Implications for Numerical Approximation., , и . SIAM J. Appl. Math., 83 (1): 52-78 (февраля 2023)Shortest path problem with cache dependent path lengths., , , и . IEEE Congress on Evolutionary Computation, стр. 2756-2761. IEEE, (2003)Two-Dimensional acking For Irregular Shaped Objects., , , и . HICSS, стр. 86. IEEE Computer Society, (2003)