Ant\'onio Ravara

Identifiers

No identifiers captured yet.

Papers (7)

1. Automatic Code and Test Generation of Smart Contracts from Coordination Models cs.PL · 2026 · author #3
2. Visualiza\c{c}\~ao e anima\c{c}\~ao de aut\'omatos em Ocsigen Framework cs.FL · 2019 · author #3
3. Uma an\'alise comparativa de ferramentas de an\'alise est\'atica para dete\c{c}\~ao de erros de mem\'oria cs.SE · 2018 · author #3
4. Revisiting concurrent separation logic cs.LO · 2017 · author #2
5. A Revision of the Mool Language cs.PL · 2016 · author #2
6. The While language cs.PL · 2016 · author #2
7. Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation cs.DC · 2012 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Cl\'audio Vasconcelos 2 shared papers
• Artur Miguel Dias 1 shared papers
• Elvis Konjoh Selabi 1 shared papers
• Emilio Tuosto 1 shared papers
• Jo\~ao Louren\c{c}o 1 shared papers
• Maurizio Murgia 1 shared papers
• Natallia Kokash 1 shared papers
• Patr\'icia Monteiro 1 shared papers
• Pedro Soares 1 shared papers
• Rita Macedo 1 shared papers
• Sim\~ao Melo de Sousa 1 shared papers