João Fernando Peixoto Ferreira


AuthID: R-000-J08

Confirmed Publications: 35



21
TITLE: The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks. teaching algorithmic skills using magic card tricks
AUTHORS: João F Ferreira ; Alexandra Mendes ;
PUBLISHED: 2014, SOURCE: 2014 Innovation and Technology in Computer Science Education Conference, ITICSE 2014 in Innovation and Technology in Computer Science Education Conference 2014, ITiCSE '14, Uppsala, Sweden, June 23-25, 2014
INDEXED IN: Scopus DBLP CrossRef: 8
IN MY: DBLP
22
TITLE: Deadline analysis of AUTOSAR OS periodic tasks in the presence of interrupts
AUTHORS: Huang, Y; Ferreira, JF ; He, G; Qin, S; He, J;
PUBLISHED: 2013, SOURCE: 15th International Conference on Formal Engineering Methods, ICFEM 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8144 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
23
TITLE: Linear logic programming for narrative generation
AUTHORS: Martens, C; Bosser, AG; Ferreira, JF ; Cavazza, M;
PUBLISHED: 2013, SOURCE: 12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8148 LNAI
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
24
TITLE: The algorithmics of solitaire-like games  Full Text
AUTHORS: Roland Backhouse; Wei Chen; Joao F Ferreira ;
PUBLISHED: 2013, SOURCE: 10th International Conference on Mathematics of Program Construction in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 11
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
25
TITLE: A Timed CSP Model for the Time-Triggered Language Giotto
AUTHORS: Yanhong H Huang; Yongxin X Zhao; Shengchao C Qin; Guanhua H He; Joao F Ferreira ;
PUBLISHED: 2012, SOURCE: 35th IEEE Software Engineering Workshop (SEW) in PROCEEDINGS OF THE 2012 IEEE 35TH SOFTWARE ENGINEERING WORKSHOP (SEW 2012)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
26
TITLE: Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK
AUTHORS: João F Ferreira ; Guanhua He; Shengchao Qin;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
27
TITLE: Logic Training through Algorithmic Problem Solving
AUTHORS: Ferreira, JF ; Mendes, A ; Cunha, A ; Baquero, C ; Silva, P ; Barbosa, LS ; Oliveira, JN ;
PUBLISHED: 2011, SOURCE: 3rd International Congress on Tools for Teaching Logic (TICTTL) in TOOLS FOR TEACHING LOGIC, VOLUME: 6680
INDEXED IN: Scopus WOS DBLP CrossRef: 7 Handle
IN MY: ORCID | DBLP | CIÊNCIAVITAE
28
TITLE: On Euclid's algorithm and elementary number theory PDF  Full Text
AUTHORS: Roland Backhouse; Joao F Ferreira ;
PUBLISHED: 2011, SOURCE: 9th International Conference on Mathematics of Program Construction in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 76, ISSUE: 3
INDEXED IN: Scopus WOS arXiv CrossRef
IN MY: ORCID | CIÊNCIAVITAE
29
TITLE: Designing an algorithmic proof of the two-squares theorem
AUTHORS: Ferreira, JF ;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
30
TITLE: The algorithmics of solitaire-like games
AUTHORS: Backhouse, R; Chen, W; Ferreira, JF ;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
Page 3 of 4. Total results: 35.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service