Login / Signup
Mário Basto
ORCID
Publication Activity (10 Years)
Years Active: 2006-2017
Publications (10 Years): 1
Top Topics
Metamodel
Formal Verification
Iterative Methods
Benchmark Datasets
Top Venues
IECON
Appl. Math. Comput.
</>
Publications
</>
Rui Abrantes
,
Mário Basto
,
João Varajão
,
Luís Magalhães
,
Pedro Ribeiro
,
Luis César Freitas
Rule ontology for automatic design verification application to PCB manufacturing and assembly.
IECON
(2017)
Mário Basto
,
Luís P. Basto
,
Viriato Semião
,
Francisco L. Calheiros
Contrasts in the basins of attraction of structurally identical iterative root finding methods.
Appl. Math. Comput.
219 (15) (2013)
Mário Basto
,
Viriato Semião
,
Francisco L. Calheiros
Dynamics and synchronization of numerical solutions of the Burgers equation.
J. Comput. Appl. Math.
231 (2) (2009)
Mário Basto
,
Viriato Semião
,
Francisco L. Calheiros
A new iterative method to compute nonlinear equations.
Appl. Math. Comput.
173 (1) (2006)