( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Satisfiability of Linear Time Mu-Calculus on Finite Traces.

, , , и . COCOON, том 9797 из Lecture Notes in Computer Science, стр. 611-622. Springer, (2016)

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.

Tian Tian

Irene Congehl

Martha Congehl

Salvador Congost Zimmermann

Lina Cong

 

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

Model Checking μ C/OS-III Multi-task System with TMSVL., , , , и . ICFEM, том 9407 из Lecture Notes in Computer Science, стр. 187-200. Springer, (2015)Tiny WFP: Lightweight and Effective Website Fingerprinting via Wavelet Multi-Resolution Analysis., , и . ACNS (1), том 13905 из Lecture Notes in Computer Science, стр. 237-259. Springer, (2023)Automatic Identification of Crash-inducing Smart Contracts., , , , , и . SANER, стр. 108-119. IEEE, (2023)RTPDroid: Detecting Implicitly Malicious Behaviors Under Runtime Permission Model., , , и . QRS, стр. 121. IEEE, (2020)A Dynamic Parameter Adaptive Path Planning Algorithm., , , и . COCOA (2), том 14462 из Lecture Notes in Computer Science, стр. 227-239. Springer, (2023)Binary Classifier for Fault Detection Based on KDE and PCA., и . MMAR, стр. 821-825. IEEE, (2018)Reducing Extension Edges of Concurrent Programs for Reachability Analysis., , , и . COCOA, том 11346 из Lecture Notes in Computer Science, стр. 386-401. Springer, (2018)Preventing Catastrophic Overfitting in Fast Adversarial Training: A Bi-level Optimization Perspective., , , и . CoRR, (2024)Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We?, , , , , , , , и . ACM Trans. Knowl. Discov. Data, 18 (7): 168 (августа 2024)CFStra: Enhancing Configurable Program Analysis Through LLM-Driven Strategy Selection Based on Code Features., , , , и . TASE, том 14777 из Lecture Notes in Computer Science, стр. 374-391. Springer, (2024)