|
Search the dblp DataBase
Simone André da Costa:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Júlio Henrique Araújo Pereira Machado, Simone André da Costa
Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systems. [Citation Graph (0, 0)][DBLP] EUROCAST, 2003, pp:243-252 [Conf]
- Júlio P. Machado, Márcia R. Notare, Simone André da Costa, Tiarajú Asmuz Diverio, Paulo Blauth Menezes
Hyper-Automation System Applied to Geometry Demonstration Environment. [Citation Graph (0, 0)][DBLP] EUROCAST, 2001, pp:457-468 [Conf]
- Fernando D'Andrea, Paulo Blauth Menezes, Cláudio Naoto Fuzitaki, Júlio Henrique Araújo Pereira Machado, Simone André da Costa
Nautilus, a Diagrammatic Specification and Programming Language. [Citation Graph (0, 0)][DBLP] IASTED PDCS, 2002, pp:381-386 [Conf]
Formal Verification of Graph Grammars using Mathematical Induction. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|