Instituto de Engenharia de Sistemas e Computadores (INESC ID)
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 35
2 Team MembersFilters -> Year: 2026
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, PAGES: 75-80
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, PAGES: 75-80
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, PAGES: 165-181
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, PAGES: 165-181
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef23
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, PAGES: 427-432
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, PAGES: 427-432
INDEXED IN: Scopus CrossRef
Scopus CrossRef24
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, PAGES: 2029-2046
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, PAGES: 2029-2046
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), PAGES: 110-119
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), PAGES: 110-119
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, PAGES: 51-58
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, PAGES: 51-58
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, PAGES: 62-69
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, PAGES: 62-69
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, PAGES: 160-180
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, PAGES: 160-180
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, PAGES: 140-156
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, PAGES: 140-156
INDEXED IN: Scopus CrossRef
Scopus CrossRef30
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, PAGES: 1-18
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, PAGES: 1-18
INDEXED IN: Scopus CrossRef
Scopus CrossRef31
TITLE: Students' feedback on teaching mathematics through the calculational method
AUTHORS: Ferreira, JF ; Mendes, A ;
PUBLISHED: 2009, SOURCE: 39th Annual Frontiers in Education Conference: Imagining and Engineering Future CSET Education, FIE 2009 in Proceedings - Frontiers in Education Conference, FIE
AUTHORS: Ferreira, JF ; Mendes, A ;
PUBLISHED: 2009, SOURCE: 39th Annual Frontiers in Education Conference: Imagining and Engineering Future CSET Education, FIE 2009 in Proceedings - Frontiers in Education Conference, FIE
32
TITLE: Which Mathematics for the Information Society?
AUTHORS: Joao F Ferreira ; Alexandra Mendes ; Roland Backhouse; Luis S Barbosa ;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Teaching Formal Methods in TEACHING FORMAL METHODS, PROCEEDINGS, VOLUME: 5846, PAGES: 39-+
AUTHORS: Joao F Ferreira ; Alexandra Mendes ; Roland Backhouse; Luis S Barbosa ;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Teaching Formal Methods in TEACHING FORMAL METHODS, PROCEEDINGS, VOLUME: 5846, PAGES: 39-+
33
TITLE: Recounting the rationals: Twice!
AUTHORS: Backhouse, R; Ferreira, JF ;
PUBLISHED: 2008, SOURCE: 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, PAGES: 79-91
AUTHORS: Backhouse, R; Ferreira, JF ;
PUBLISHED: 2008, SOURCE: 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, PAGES: 79-91
INDEXED IN: Scopus CrossRef
Scopus CrossRef34
TITLE: JaSkel: A Java skeleton-based framework for structured cluster and grid computing
AUTHORS: Ferreira, JF ; Sobral, JL ; Proenca, AJ ;
PUBLISHED: 2006, SOURCE: 6th IEEE International Symposium on Cluster Computing and the Grid (CCGRID 2006) in Sixth IEEE International Symposium on Cluster Computing and the Grid: SPANNING THE WORLD AND BEYOND, PAGES: 301-304
AUTHORS: Ferreira, JF ; Sobral, JL ; Proenca, AJ ;
PUBLISHED: 2006, SOURCE: 6th IEEE International Symposium on Cluster Computing and the Grid (CCGRID 2006) in Sixth IEEE International Symposium on Cluster Computing and the Grid: SPANNING THE WORLD AND BEYOND, PAGES: 301-304
35
TITLE: ParC#: Parallel computing with C# in .Net
AUTHORS: Ferreira, JF ; Sobral, JL ;
PUBLISHED: 2005, SOURCE: 8th International Conference on Parallel Computing Technologies (PaCT 2005) in PARALLEL COMPUTING TECHNOLOGIES, VOLUME: 3606, PAGES: 239-248
AUTHORS: Ferreira, JF ; Sobral, JL ;
PUBLISHED: 2005, SOURCE: 8th International Conference on Parallel Computing Technologies (PaCT 2005) in PARALLEL COMPUTING TECHNOLOGIES, VOLUME: 3606, PAGES: 239-248
INDEXED IN: Scopus 
WOS
Scopus WOS