Instituto de Engenharia de Sistemas e Computadores (INESC ID)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

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!

Update PrePrints

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!

Publications Count: 35

2 Team Members
Filters -> Year: 2026
21
TÍTULO: The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks. teaching algorithmic skills using magic card tricks
AUTORES: João F Ferreira ; Alexandra Mendes ;
PUBLICAÇÃO: 2014, FONTE: 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, PÁGINAS: 75-80
INDEXADO EM: Scopus DBLP CrossRef: 8
22
TÍTULO: Deadline analysis of AUTOSAR OS periodic tasks in the presence of interrupts
AUTORES: Huang, Y; Ferreira, JF ; He, G; Qin, S; He, J;
PUBLICAÇÃO: 2013, FONTE: 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, PÁGINAS: 165-181
INDEXADO EM: Scopus CrossRef
23
TÍTULO: Linear logic programming for narrative generation
AUTORES: Martens, C; Bosser, AG; Ferreira, JF ; Cavazza, M;
PUBLICAÇÃO: 2013, FONTE: 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, PÁGINAS: 427-432
INDEXADO EM: Scopus CrossRef
24
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, PÁGINAS: 2029-2046
INDEXADO EM: Scopus WOS CrossRef
25
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), PÁGINAS: 110-119
INDEXADO EM: Scopus WOS DBLP CrossRef
26
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, PÁGINAS: 51-58
INDEXADO EM: Scopus DBLP CrossRef
27
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, PÁGINAS: 62-69
INDEXADO EM: Scopus WOS DBLP CrossRef: 7 Handle
28
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, PÁGINAS: 160-180
INDEXADO EM: Scopus WOS arXiv CrossRef
29
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, PÁGINAS: 140-156
INDEXADO EM: Scopus CrossRef
30
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, PÁGINAS: 1-18
INDEXADO EM: Scopus CrossRef
31
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: 3
32
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, PÁGINAS: 39-+
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
33
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, PÁGINAS: 79-91
INDEXADO EM: Scopus CrossRef
34
TÍTULO: JaSkel: A Java skeleton-based framework for structured cluster and grid computing
AUTORES: Ferreira, JF ; Sobral, JL ; Proenca, AJ ;
PUBLICAÇÃO: 2006, FONTE: 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, PÁGINAS: 301-304
INDEXADO EM: Scopus WOS DBLP CrossRef
35
TÍTULO: ParC#: Parallel computing with C# in .Net
AUTORES: Ferreira, JF ; Sobral, JL ;
PUBLICAÇÃO: 2005, FONTE: 8th International Conference on Parallel Computing Technologies (PaCT 2005) in PARALLEL COMPUTING TECHNOLOGIES, VOLUME: 3606, PÁGINAS: 239-248
INDEXADO EM: Scopus WOS

Results per Page: 20.
Página 2 de 2. Total de resultados: 35.