Zobrazeno 1 - 10
of 141
pro vyhledávání: '"Barroso, Pedro"'
Xavier Leroy and Sandrine Blazy in 2007 conducted a formal verification, using the Coq proof assistant, of a memory model for low-level imperative languages such as C. Considering their formalization was performed essentially in first-order logic, on
Externí odkaz:
http://arxiv.org/abs/2212.02425
Autor:
Barroso, Pedro, Maio, Paulo
Publikováno v:
In Journal of Empirical Finance September 2024 78
Autor:
Caetano Filho, Francisco F., Paulino, Lais R.F., Bezerra, Vitória S., Azevedo, Venância A.N., Barroso, Pedro A.A., Costa, Francisco C., Amorim, Geovany G., Silva, José R.V.
Publikováno v:
In Animal Reproduction Science July 2024 266
We present an approach to obtain formally verified implementations of classical Computational Logic algorithms. We choose the Why3 platform because it allows to implement functions in a style very close to the mathematical definitions, as well as it
Externí odkaz:
http://arxiv.org/abs/2003.05081
Autor:
Barroso, Pedro1 (AUTHOR) pedro.barroso@ucp.pt, Edelen, Roger M.2 (AUTHOR) edelenr@vt.edu, Karehnke, Paul3 (AUTHOR) pkarehnke@escp.eu
Publikováno v:
Journal of Financial & Quantitative Analysis. Jun2022, Vol. 57 Issue 4, p1313-1342. 30p.
Autor:
Barroso, Pedro1 (AUTHOR) pedro.barroso@ucp.pt, Saxena, Konark2 (AUTHOR)
Publikováno v:
Review of Financial Studies. Mar2022, Vol. 35 Issue 3, p1222-1278. 57p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Azevedo, Venância A.N., Barroso, Pedro A.A., Vasconcelos, Erlândia M., Costa, Francisco C., Assis, Ernando I.T., Silva, Bianca R., Paulino, Laís R.M., Silva, Anderson W.B., Donato, Mariana M.A., Peixoto, Cristina A., Silva, José R.V., Souza, Ana L.P.
Publikováno v:
In Animal Reproduction Science December 2022 247
Autor:
Barroso, Pedro, Detzel, Andrew
Publikováno v:
In Journal of Financial Economics June 2021 140(3):744-767
Publikováno v:
In Journal of Financial Economics February 2021 139(2):428-451