PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Braghin, Chiara"

Author of the publication

copydeleteadd this publication to your clipboard
An Exact Approach for solving the Balanced Minimum Evolution Problem.

, , and . CTW, page 48-51. University of Milan, (2008)

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.

Chiara Lesuis University of Stuttgart

Chiara Stephan University of Stuttgart

Chiara Weiß University of Stuttgart

Chiara Sotis University of Stuttgart

 

Other publications of authors with the same name

Using Semantic Lifting for improving Process Mining: a Data Loss Prevention System case study., , , and . SIMPDA, volume 1027 of CEUR Workshop Proceedings, page 62-73. CEUR-WS.org, (2013)Complexity of Nesting Analysis in Mobile Ambients., , , , and . VMCAI, volume 2575 of Lecture Notes in Computer Science, page 86-101. Springer, (2003)Flow-sensitive Leakage Analysis in Mobile Ambients., and . Electron. Notes Theor. Comput. Sci., 128 (5): 17-25 (2005)Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients., , , , and . Electron. Notes Theor. Comput. Sci., (2004)Automated Verification of Security Policies in Mobile Code., , and . IFM, volume 4591 of Lecture Notes in Computer Science, page 37-53. Springer, (2007)The binary perfect phylogeny with persistent characters., , , and . Theor. Comput. Sci., (2012)A model checking-based approach for security policy verification of mobile systems., , and . Formal Asp. Comput., 23 (5): 627-648 (2011)Towards Blockchain-Based E-Voting Systems., , , , and . BIS (Workshops), volume 373 of Lecture Notes in Business Information Processing, page 274-286. Springer, (2019)Checking Integrity via CoPS and Banana: the E-Commerce Case Study ., and . Electron. Notes Theor. Comput. Sci., (2004)BANANA - A Tool for Boundary Ambients Nesting ANAlysis., , , , , and . TACAS, volume 2619 of Lecture Notes in Computer Science, page 437-441. Springer, (2003)