( en | de | ru )

 

Disambiguation of "Pinto, Luís"

Author of the publication

copydeleteadd this publication to your clipboard
Bank strategic asset allocation under a unified risk measure.

, , and . Expert Syst. Appl., (2021)

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.

Werner Luis

Luís Damas

Luís Paquete

Pia Luislampe

Mathieu Luisier

 

Other publications of authors with the same name

Uniform Proofs and Natural Deduction., and . ICLP Workshop: Proof-Theoretical Extensions on Logic Programming, (1994)A calculus of multiary sequent terms., and . ACM Trans. Comput. Log., 12 (3): 22:1-22:41 (2011)Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search., , and . Math. Struct. Comput. Sci., 29 (8): 1092-1124 (2019)Type-based termination of recursive definitions., , , , and . Math. Struct. Comput. Sci., 14 (1): 97-141 (2004)Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents., and . TABLEAUX, volume 5607 of Lecture Notes in Computer Science, page 295-309. Springer, (2009)Numerical solution of a time-space fractional Fokker Planck equation with variable force field and diffusion., and . Commun. Nonlinear Sci. Numer. Simul., (2017)A novel evaluation framework for recommender systems in big data environments., and . Expert Syst. Appl., (November 2023)Decidability of Several Concepts of Finiteness for Simple Types., , and . Fundam. Informaticae, 170 (1-3): 111-138 (2019)Automated retina identification based on multiscale elastic registration., , , , , , and . Comput. Biol. Medicine, (2016)Aging Effect on Iontophoretic Transdermal Drug Delivery., , and . SIAM J. Appl. Math., 80 (4): 1882-1907 (2020)