( en | de | ru )

 

Disambiguation of "Polini, Andrea"

Author of the publication

copydeleteadd this publication to your clipboard
Enabling Auditing of Smart Contracts Through Process Mining.

, , , , , and . From Software Engineering to Formal Methods and Tools, and Back, volume 11865 of Lecture Notes in Computer Science, page 467-480. Springer, (2019)

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.

Alessandro Polini

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)
 

Other publications of authors with the same name

XModel-Based Testing of XSLT Applications., , , and . WEBIST (2), page 282-288. INSTICC Press, (2007)(role)CAST: A Framework for On-line Service Testing., , and . WEBIST, page 13-18. SciTePress, (2011)FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development., , , , and . Softw. Syst. Model., 22 (1): 131-158 (February 2023)Testing software components for integration: a survey of issues and techniques., , , and . Softw. Test. Verification Reliab., 17 (2): 95-133 (2007)RESTChain: a Blockchain-based Mediator for REST Interactions in Service Choreographies., , , and . SAC, page 245-248. ACM, (2023)Consistent modelling of hierarchical BPMN collaborations., , , , and . Bus. Process. Manag. J., 28 (2): 442-460 (2022)A formal approach for the analysis of BPMN collaboration models., , , , , and . J. Syst. Softw., (2021)Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review., , , , , and . Business Process Management Workshops, volume 397 of Lecture Notes in Business Information Processing, page 108-121. Springer, (2020)Model-Based Generation of Testbeds for Web Services., , , and . TestCom/FATES, volume 5047 of Lecture Notes in Computer Science, page 266-282. Springer, (2008)A Framework for Component Deployment Testing., and . ICSE, page 221-231. IEEE Computer Society, (2003)