( en | de | ru )

 

Disambiguation of "Silva, Ana Carolina"

Author of the publication

copydeleteadd this publication to your clipboard
Execution Time Program Verification with Tight Bounds.

, , and . PADL, volume 13880 of Lecture Notes in Computer Science, page 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. You can also use the button next to the name to display some publications already assigned to the person.

Ana Carolina Nogueira da Silva

Ana Carolina Nogueira

Hela Silva Carolina Beier

Carolina Ferraz da Silva

Ana Giselle Silva Panez

 

Other publications of authors with the same name

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