Jaime da Gama Gaspar


AuthID: R-00H-T0S

Publicações Confirmadas: 14



1
TÍTULO: Hardwiring truth in functional interpretations
AUTORES: Dinis, Bruno; Gaspar, Jaime ;
PUBLICAÇÃO: 2023, FONTE: PORTUGALIAE MATHEMATICA, VOLUME: 80, NÚMERO: 1-2
INDEXADO EM: Scopus WOS CrossRef Unpaywall
2
TÍTULO: Transformation of cryptographic primitives: provable security and proof presentation
AUTORES: Jaime Gaspar ;
PUBLICAÇÃO: 2019, FONTE: British Library, EThOS
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
3
TÍTULO: Intuitionistic nonstandard bounded modified realisability and functional interpretation  Full Text
AUTORES: Dinis, B; Gaspar, J ;
PUBLICAÇÃO: 2018, FONTE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 169, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 4 Unpaywall
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
4
TÍTULO: Proof Without Words: Using Trapezoids to Compute Triangular Numbers
AUTORES: Jaime Gaspar ;
PUBLICAÇÃO: 2018, FONTE: Mathematics Magazine, VOLUME: 91, NÚMERO: 3
INDEXADO EM: Scopus CrossRef: 2 Unpaywall
5
TÍTULO: All Triangles at Once
AUTORES: Jaime Gaspar ;
PUBLICAÇÃO: 2015, FONTE: Am. Math. Mon., VOLUME: 122, NÚMERO: 10
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
6
TÍTULO: Nonstandardness and the bounded functional interpretation  Full Text
AUTORES: Ferreira, F; Gaspar, J ;
PUBLICAÇÃO: 2015, FONTE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 166, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
7
TÍTULO: Copies of classical logic in intuitionistic logic
AUTORES: Jaime Gaspar ;
PUBLICAÇÃO: 2014, FONTE: Philosophia Scientiae, VOLUME: 18, NÚMERO: 3
INDEXADO EM: Scopus CrossRef Unpaywall
NO MEU: ORCID | CIÊNCIAVITAE
8
TÍTULO: Non-recursive Polynomial Formula for the Sum of the Powers of the Integers
AUTORES: Jaime Gaspar ;
PUBLICAÇÃO: 2014, FONTE: Am. Math. Mon., VOLUME: 121, NÚMERO: 2
INDEXADO EM: DBLP CrossRef: 1 Unpaywall
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
9
TÍTULO: Short Introduction by Example to Coq and Formalising ZF ⊆ ZFε in Coq PDF
AUTORES: Jaime Gaspar ;
PUBLICAÇÃO: 2014, FONTE: Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014., VOLUME: 1186
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
10
TÍTULO: Simple composition theorems of one-way functions - proofs and presentations
AUTORES: Jaime Gaspar ; Eerke A Boiten;
PUBLICAÇÃO: 2014, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2014
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 1 de 2. Total de resultados: 14.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service