( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Action-Based Model Checking: Logic, Automata, and Reduction.

, и . CAV (2), том 12225 из Lecture Notes in Computer Science, стр. 77-100. Springer, (2020)

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.

Yan Yan

Shanshan Yan

Americanization in China: an analysis of General Motors and its strategies in China. Uni Mainz, (2009)

Yan Xu

Untersuchungen zur Verleimung von Holz und Holzspanplatten mit UF-Leimharzen und PMDI. TU Braunschweig, (2009)

Yan Xu

Yan Zeng

 

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

Action-Based Model Checking: Logic, Automata, and Reduction., и . CAV (2), том 12225 из Lecture Notes in Computer Science, стр. 77-100. Springer, (2020)Self-Supervised EEG Representation Learning with Contrastive Predictive Coding for Post-Stroke Patients., , , , , , , , , и 1 other автор(ы). Int. J. Neural Syst., 33 (12): 2350066:1-2350066:16 (декабря 2023)The Impact of Different Filters on the Gravity Field Recovery Based on the GOCE Gradient Data., , , , и . Remote. Sens., 15 (20): 5034 (октября 2023)Influence of the Low-Frequency Error of the Residual Orbit on Recovering Time-Variable Gravity Field from the Satellite-To-Satellite Tracking Mission., , , , , , , и . Remote. Sens., 13 (6): 1118 (2021)Multilevel Laser-Induced Pain Measurement with Wasserstein Generative Adversarial Network - Gradient Penalty Model., , , , , , , , , и 6 other автор(ы). Int. J. Neural Syst., 34 (1): 2350067:1-2350067:20 (января 2024)A Light Vehicle License-Plate-Recognition System Based on Hybrid Edge-Cloud Computing., , , , , , , , , и 4 other автор(ы). Sensors, 23 (21): 8913 (ноября 2023)Synergizing Spatial Optimization with Large Language Models for Open-Domain Urban Itinerary Planning., , , , , , , , , и . CoRR, (2024)Deep Convolution Generative Adversarial Network-Based Electroencephalogram Data Augmentation for Post-Stroke Rehabilitation with Motor Imagery., , , , , , , , , и 2 other автор(ы). Int. J. Neural Syst., 32 (9): 2250039:1-2250039:15 (2022)Comparing GRACE-FO KBR and LRI Ranging Data with Focus on Carrier Frequency Variations., , , , , , и . Remote. Sens., 14 (17): 4335 (2022)