João Fernando Peixoto Ferreira


AuthID: R-000-J08

Publicações Confirmadas: 22



11
TÍTULO: The algorithmics of solitaire-like games  Full Text
AUTORES: Roland Backhouse; Wei Chen; Joao F Ferreira ;
PUBLICAÇÃO: 2013, FONTE: 10th International Conference on Mathematics of Program Construction in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, NÚMERO: 11
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
12
TÍTULO: A Timed CSP Model for the Time-Triggered Language Giotto
AUTORES: Yanhong H Huang; Yongxin X Zhao; Shengchao C Qin; Guanhua H He; Joao F Ferreira ;
PUBLICAÇÃO: 2012, FONTE: 35th IEEE Software Engineering Workshop (SEW) in PROCEEDINGS OF THE 2012 IEEE 35TH SOFTWARE ENGINEERING WORKSHOP (SEW 2012)
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
13
TÍTULO: Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK
AUTORES: João F Ferreira ; Guanhua He; Shengchao Qin;
PUBLICAÇÃO: 2012, FONTE: IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012 in Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
14
TÍTULO: Logic Training through Algorithmic Problem Solving
AUTORES: Ferreira, JF ; Mendes, A ; Cunha, A ; Baquero, C ; Silva, P ; Barbosa, LS ; Oliveira, JN ;
PUBLICAÇÃO: 2011, FONTE: 3rd International Congress on Tools for Teaching Logic (TICTTL) in TOOLS FOR TEACHING LOGIC, VOLUME: 6680
INDEXADO EM: Scopus WOS DBLP CrossRef: 6 Handle
NO MEU: ORCID | DBLP
15
TÍTULO: On Euclid's algorithm and elementary number theory PDF  Full Text
AUTORES: Roland Backhouse; Joao F Ferreira ;
PUBLICAÇÃO: 2011, FONTE: 9th International Conference on Mathematics of Program Construction in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 76, NÚMERO: 3
INDEXADO EM: Scopus WOS arXiv CrossRef
NO MEU: ORCID
16
TÍTULO: Designing an algorithmic proof of the two-squares theorem
AUTORES: Ferreira, JF ;
PUBLICAÇÃO: 2010, FONTE: 10th International Conference on the Mathematics of Program Construction, MPC 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6120 LNCS
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
17
TÍTULO: The algorithmics of solitaire-like games
AUTORES: Backhouse, R; Chen, W; Ferreira, JF ;
PUBLICAÇÃO: 2010, FONTE: 10th International Conference on the Mathematics of Program Construction, MPC 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6120 LNCS
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
18
TÍTULO: Students' feedback on teaching mathematics through the calculational method
AUTORES: Ferreira, JF ; Mendes, A ;
PUBLICAÇÃO: 2009, FONTE: 39th Annual Frontiers in Education Conference: Imagining and Engineering Future CSET Education, FIE 2009 in Proceedings - Frontiers in Education Conference, FIE
INDEXADO EM: Scopus CrossRef: 4
NO MEU: ORCID
19
TÍTULO: Which Mathematics for the Information Society?
AUTORES: Joao F Ferreira ; Alexandra Mendes ; Roland Backhouse; Luis S Barbosa ;
PUBLICAÇÃO: 2009, FONTE: 2nd International Conference on Teaching Formal Methods in TEACHING FORMAL METHODS, PROCEEDINGS, VOLUME: 5846
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | DBLP
20
TÍTULO: Recounting the rationals: Twice!
AUTORES: Backhouse, R; Ferreira, JF ;
PUBLICAÇÃO: 2008, FONTE: 9th International Conference on Mathematics of Program Construction, MPC 2008 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5133 LNCS
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
Página 2 de 3. Total de resultados: 22.

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

Links Úteis

Ajuda

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