( 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

 

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

A Blockchain Implementation of an Attendance Management System., , , , и . SOFL+MSVL, том 11392 из Lecture Notes in Computer Science, стр. 169-182. Springer, (2018)Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution., , , и . IEEE Trans. Reliability, 68 (3): 1101-1116 (2019)How android app developers manage power consumption?: an empirical study by mining power management commits., , , , и . MSR, стр. 37-48. ACM, (2016)Model Checking Multi-agent Systems with APTL., , и . Ad Hoc Sens. Wirel. Networks, 37 (1-4): 35-52 (2017)An Empirical Study on Software Defect Prediction using Function Point Analysis., и . QRS, стр. 167-176. IEEE, (2022)Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing., , , , , , и . SOFL+MSVL, том 13854 из Lecture Notes in Computer Science, стр. 106-116. Springer, (2022)High capacity reversible information hiding algorithm based on asymmetric prediction error histogram., , , и . AIPR, стр. 592-600. ACM, (2022)The Study of Fuzzy Variable Frequency Control System for Constant Pressure., , и . CSIA (1), том 1342 из Advances in Intelligent Systems and Computing, стр. 304-311. Springer, (2021)Financial High-Frequency Time Series Forecasting Based on Sub-Step Grid Search Long Short-Term Memory Network., и . IEEE Access, (2020)Neuron importance based verification of neural networks via divide and conquer., , , , и . Neurocomputing, (января 2024)