PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Cavalcanti, Ana"

Author of the publication

copydeleteadd this publication to your clipboard
Pointers and Records in the Unifying Theories of Programming.

, , and . UTP, volume 4010 of Lecture Notes in Computer Science, page 200-216. Springer, (2006)

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.

Mahathi Anand University of Stuttgart

Viraatt Sai Anasuri University of Stuttgart

Ana Cutuk University of Stuttgart

Ana Baric University of Stuttgart

Ana-Maria Okuka

 

Other publications of authors with the same name

A Tutorial Introduction to Designs in Unifying Theories of Programming., and . IFM, volume 2999 of Lecture Notes in Computer Science, page 40-66. Springer, (2004)Algebraic Compilation of Safety-Critical Java Bytecode., and . IFM, volume 10510 of Lecture Notes in Computer Science, page 161-176. Springer, (2017)Java in the Safety-Critical Domain., , , , and . SETSS, volume 10215 of Lecture Notes in Computer Science, page 110-150. (2016)Object-Orientation in the UTP., , and . UTP, volume 4010 of Lecture Notes in Computer Science, page 18-37. Springer, (2006)A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming., and . UTP, volume 5713 of Lecture Notes in Computer Science, page 42-61. Springer, (2008)SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java., and . Refine@FM, volume 209 of EPTCS, page 71-86. (2015)Automatic property checking of robotic applications., , , , and . IROS, page 3869-3876. IEEE, (2017)From CSP-OZ to Java with Processes., and . IPDPS, IEEE Computer Society, (2002)The Safety-Critical Java Memory Model: A Formal Account., , and . FM, volume 6664 of Lecture Notes in Computer Science, page 246-261. Springer, (2011)Cyber Rally: An experience of democratic use of the internet., , , , , , , and . HCI (2), page 402-406. Lawrence Erlbaum, (1999)