( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Execution Time Program Verification with Tight Bounds.

, , и . PADL, том 13880 из Lecture Notes in Computer Science, стр. 56-72. Springer, (2023)

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.

Ana Carolina Nogueira da Silva

Ana Carolina Nogueira

Hela Silva Carolina Beier

Carolina Ferraz da Silva

Ana Giselle Silva Panez

 

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

Execution Time Program Verification With Tight Bounds., , и . CoRR, (2022)Execution Time Program Verification with Tight Bounds., , и . PADL, том 13880 из Lecture Notes in Computer Science, стр. 56-72. Springer, (2023)A Bio-inspired Model Reliably Predicts the Collision of Approaching Objects under Different Light Conditions., и . SAB, том 7426 из Lecture Notes in Computer Science, стр. 85-95. Springer, (2012)Prediction of attitudes towards human-centred cognitive vehicles aware of their users' routines and preferences., , , , , и . RTSI, стр. 194-199. IEEE, (2021)A Data Recording Mobile Application to Create Datasets of Vehicle Users' Routines., , , , , и . ICARSC, стр. 167-172. IEEE, (2022)gwfish: A simulation software to evaluate parameter-estimation capabilities of gravitational-wave detector networks., , , , , , , , и . Astron. Comput., (января 2023)High-throughput phenotyping to detect anthocyanins, chlorophylls, and carotenoids in red lettuce germplasm., , , , , и . Int. J. Appl. Earth Obs. Geoinformation, (2021)Polysome-seq as a Measure of Translational Profile from Deoxyhypusine Synthase Mutant in Saccharomyces cerevisiae., , , , , и . BSB, том 12558 из Lecture Notes in Computer Science, стр. 168-179. Springer, (2020)A Comparative Study of Bayes Net, Naive Bayes and Averaged One-Dependence Estimators for Osteoporosis Analysis., , , , , , , , , и . MedInfo, том 216 из Studies in Health Technology and Informatics, стр. 1075. IOS Press, (2015)Image phenotyping of inbred red lettuce lines with genetic diversity regarding carotenoid levels., , , , , и . Int. J. Appl. Earth Obs. Geoinformation, (2019)