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.

 

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

Exploiting symmetry when verifying transistor-level circuits by symbolic trajectory evaluation., и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 18 (7): 918-935 (1999)Quaternary classification of emotions based on electroencephalogram signals using hybrid deep learning model., , и . J. Ambient Intell. Humaniz. Comput., 14 (3): 2429-2441 (марта 2023)Formal Verification of PowerPC Arrays Using Symbolic Trajectory Evaluation., , , и . DAC, стр. 649-654. ACM Press, (1996)Optimizing Memory Allocation in a Serverless Architecture through Function Scheduling., и . CCGridW, стр. 275-277. IEEE, (2023)Strain Relaxation and Light Management in Tin–Lead Perovskite Solar Cells to Achieve High Efficiencies, , , , , , , , , и 4 other автор(ы). ACS Energy Letters, 4 (8): 1991--1998 (июля 2019)Extraction of finite state machines from transistor netlists by symbolic simulation., , , , , и . ICCD, стр. 596-601. IEEE Computer Society, (1995)Machine learning and systems for the next frontier in formal verification.. FMCAD, стр. 4. IEEE, (2016)Exploiting Symmetry When Verifying Transitor-Level Circuits by Symbolic Trajectory Evaluation., и . CAV, том 1254 из Lecture Notes in Computer Science, стр. 244-255. Springer, (1997)Here, There, Anywhere: Profiling-Driven Services to Tame the Heterogeneity of Edge Applications., , , , и . SMDS, стр. 61-71. IEEE, (2021)Privacy-Preserving Location-Based Services: A DQN Algorithmic Perspective., , , и . AINA (4), том 202 из Lecture Notes on Data Engineering and Communications Technologies, стр. 384-399. Springer, (2024)