( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A temporal logic programming approach to planning.

, , , , и . J. Comb. Optim., 38 (2): 402-420 (2019)

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)A Knowledge-Based Temporal Planning Approach for Urban Traffic Control., , , , и . IEEE Trans. Intell. Transp. Syst., 22 (3): 1907-1918 (2021)Multi-matching nested relations., , и . Theor. Comput. Sci., (2021)A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties., , , , и . IEEE Trans. Parallel Distributed Syst., 34 (1): 76-91 (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)Tiny WFP: Lightweight and Effective Website Fingerprinting via Wavelet Multi-Resolution Analysis., , и . ACNS (1), том 13905 из Lecture Notes in Computer Science, стр. 237-259. Springer, (2023)An efficient approach for taint analysis of android applications., , и . Comput. Secur., (2021)Bayesian fault detection and isolation using Field Kalman Filter., , , и . EURASIP J. Adv. Signal Process., (2017)A structural transformation from p-π to MSVL., , , и . J. Comb. Optim., 29 (1): 308-329 (2015)