( en | de | ru )

 

Disambiguierung von "Bracciali, Andrea"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On Refining Design Patterns for Smart Contracts.

, , , und . Euro-Par Workshops, Volume 11997 von Lecture Notes in Computer Science, Seite 228-239. Springer, (2019)

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 Krause

 

Weitere Publikationen von Autoren mit dem selben Namen

Why High-Performance Modelling and Simulation for Big Data Applications Matters., , , , und . High-Performance Modelling and Simulation for Big Data Applications, Volume 11400 von Lecture Notes in Computer Science, Springer, (2019)An integrated modelling approach for R5-X4 mutation and HAART therapy assessment., , und . Swarm Intelligence, 4 (4): 319-340 (2010)On the Educational Curriculum in Finance and Technology., , , und . INSCI Workshops, Volume 10750 von Lecture Notes in Computer Science, Seite 7-20. Springer, (2017)Randomness invalidates criminal smart contracts., , , , , und . Inf. Sci., (2019)Systematic Component Adaptation., , und . Formal Methods and Component Interaction @ ICALP, Volume 66 von Electronic Notes in Theoretical Computer Science, Seite 97-113. Elsevier, (2002)Formal Models of the Calyx of Held., , , und . Algorithmic Bioprocesses, Seite 331-366. Springer, (2009)Frame consistency: computing with causal explanations., und . NMR, Seite 79-87. (2004)A framework for specifying and verifying the behaviour of open systems., , und . J. Log. Algebraic Methods Program., 63 (2): 215-240 (2005)Decentralization in Open Quorum Systems., , und . CoRR, (2019)StochKit-FF: Efficient Systems Biology on Multicore Architectures., , , , und . Euro-Par Workshops, Volume 6586 von Lecture Notes in Computer Science, Seite 167-175. Springer, (2010)