( en | de | ru )

 

Disambiguierung von "Masini, Andrea"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Labelled natural deduction for a bundled branching temporal logic.

, , und . J. Log. Comput., 21 (6): 1093-1163 (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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 Hoffmann

 

Weitere Publikationen von Autoren mit dem selben Namen

COSMO-SkyMed Contribution in Oil Spill Monitoring of the Mediterranean Sea., , , , , , , , , und . IGARSS (2), Seite 781-784. IEEE, (2009)Sight enhancement through video fusion in a surveillance system., , , und . ICIAP, Seite 554-559. IEEE Computer Society, (2007)Real-Time target detection in maritime scenarios based on YOLOv3 model., , , und . CoRR, (2020)Proof nets, garbage, and computations., , und . Theor. Comput. Sci., 253 (2): 185-237 (2001)Real-time algorithm for video fusion evaluation: Application to surveillance system based on UAV platform., , , , und . RTSI, Seite 326-333. IEEE, (2015)Confluence Results for a Quantum Lambda Calculus with Measurements., , und . QPL@MFPS, Volume 270 von Electronic Notes in Theoretical Computer Science, Seite 251-261. Elsevier, (2009)Video Sequence Stabilization for Real-Time Remote Sensing Applications., , und . IGARSS, Seite 988-991. IEEE, (2006)Evaluation of Multispectral Image Fusion Methods in Real Time Monitoring Applications., , und . IGARSS, Seite 1816-1819. IEEE, (2006)Parsing MELL proof nets., und . Theor. Comput. Sci., 254 (1-2): 317-335 (2001)Contribution of Cosmo/SkyMed data into PRIMI: A pilot project on marine oil pollution. results after one year of operations., , , , , , , , , und 29 andere Autor(en). IGARSS, Seite 4799-4802. IEEE, (2010)