( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Labeled Natural Deduction System for a Fragment of CTL*.

, , и . LFCS, том 5407 из Lecture Notes in Computer Science, стр. 338-353. Springer, (2009)

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.

Andrea Witzenrath

Risikofaktoren für abdominelle Komplikationen nach kardiopulmonalem Bypass. Uni Erlangen-Nürnberg, (2009)

Andrea Rottach

Analysis of the cell cycle dependent dynamics of Dnmt1 and Np95 in living cells. Uni München, (2009)

Andrea Hruby

Die MAPKKK Bck1p des Zellwand-Integritätssignalwegs in der Bäckerhefe Saccharomyces cerevisiae. Uni Münster, (2009)

Michaela Andrea Fingas

Resultate nach radikaler Prostatektomie bei Patienten mit einem Prostatakarzinom Gleason 7-10. Uni Marburg, (2009)

Andrea Rupps

 

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

Real-Time target detection in maritime scenarios based on YOLOv3 model., , , и . CoRR, (2020)COSMO-SkyMed Contribution in Oil Spill Monitoring of the Mediterranean Sea., , , , , , , , , и . IGARSS (2), стр. 781-784. IEEE, (2009)Proof nets, garbage, and computations., , и . Theor. Comput. Sci., 253 (2): 185-237 (2001)Confluence Results for a Quantum Lambda Calculus with Measurements., , и . QPL@MFPS, том 270 из Electronic Notes in Theoretical Computer Science, стр. 251-261. Elsevier, (2009)Real-time algorithm for video fusion evaluation: Application to surveillance system based on UAV platform., , , , и . RTSI, стр. 326-333. IEEE, (2015)Sight enhancement through video fusion in a surveillance system., , , и . ICIAP, стр. 554-559. IEEE Computer Society, (2007)Parallelizing A Model Checker., , и . PDPTA, стр. 1118-1128. CSREA Press, (1996)A two-dimensional metric temporal logic., и . CoRR, (2019)Towards A Theory Of Quantum Computability., , и . CoRR, (2015)Video Sequence Stabilization for Real-Time Remote Sensing Applications., , и . IGARSS, стр. 988-991. IEEE, (2006)