×

zbMATH — the first resource for mathematics

Silva, Leila

Compute Distance To:
Author ID: silva.leila Recent zbMATH articles by "Silva, Leila"
Published as: Silva, Leila; Silva, L.
Documents Indexed: 10 Publications since 2001, including 1 Book

Publications by Year

Citations contained in zbMATH Open

5 Publications have been cited 10 times in 6 Documents Cited by Year
Using CafeOBJ to mechanise refactoring proofs and application. Zbl 1279.68113
Carvalho Júnior, Antonio; Silva, Leila; Cornélio, Márcio
3
2007
A constructive approach to hardware/software partitioning. Zbl 1073.68540
Silva, Leila; Sampaio, Augusto; Barros, Edna
2
2004
Refactoring and representation independence for class hierarchies. Zbl 1278.68145
Naumann, David A.; Sampaio, Augusto; Silva, Leila
2
2012
Bifurcations of 2-periodic nonautonomous stunted tent systems. Zbl 1370.37097
Silva, L.; Rocha, J. Leonel; Silva, M. T.
2
2017
A unified renormalization scheme for two-piecewise monotonous maps of the interval. Zbl 1056.37047
Silva, L.; Sousa Ramos, J.
1
2003
Bifurcations of 2-periodic nonautonomous stunted tent systems. Zbl 1370.37097
Silva, L.; Rocha, J. Leonel; Silva, M. T.
2
2017
Refactoring and representation independence for class hierarchies. Zbl 1278.68145
Naumann, David A.; Sampaio, Augusto; Silva, Leila
2
2012
Using CafeOBJ to mechanise refactoring proofs and application. Zbl 1279.68113
Carvalho Júnior, Antonio; Silva, Leila; Cornélio, Márcio
3
2007
A constructive approach to hardware/software partitioning. Zbl 1073.68540
Silva, Leila; Sampaio, Augusto; Barros, Edna
2
2004
A unified renormalization scheme for two-piecewise monotonous maps of the interval. Zbl 1056.37047
Silva, L.; Sousa Ramos, J.
1
2003

Citations by Year