Data | Título | Autor(es) | Tipo | Acesso |
2012 | Automated verification of the freeRTOS scheduler in HIP/SLEEK | Ferreira, João Fernando; Guanhua He; Shengchao Qin | Artigo em ata de conferência | Acesso aberto |
2005 | Camila revival: VDM meets haskell | Visser, Joost; Oliveira, José Nuno Fonseca; Barbosa, L. S., et al. | Artigo em ata de conferência | Acesso aberto |
Mai-2006 | JaSkel: a java skeleton-based framework for structured cluster and grid computing | Ferreira, João Fernando; Sobral, João Luís Ferreira; Proença, Alberto José | Artigo em ata de conferência | Acesso aberto |
2011 | Logic training through algorithmic problem solving | Ferreira, João Fernando; Mendes, Alexandra; Cunha, Alcino, et al. | Artigo em ata de conferência | Acesso aberto |
2011 | On Euclid's algorithm and elementary number theory | Ferreira, João Fernando; Backhouse, Roland | Artigo | Acesso aberto |
2005 | Parc#: parallel computing with c# in .net | Ferreira, João Fernando; Sobral, João Luís Ferreira | Artigo em ata de conferência | Acesso aberto |
2014 | Structure editing of handwritten mathematics: improving the computer support for the calculational method | Mendes, Alexandra; Backhouse, Roland; Ferreira, João Fernando | Artigo em ata de conferência | Acesso aberto |
2013 | The algorithmics of solitaire-like games | Backhouse, Roland; Chen, Wei; Ferreira, João Fernando | Artigo | Acesso aberto |
2014 | The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks | Ferreira, João Fernando; Mendes, Alexandra | Artigo em ata de conferência | Acesso aberto |
2009 | Which mathematics for the Information Society? | Ferreira, João Fernando; Mendes, Alexandra; Backhouse, Roland, et al. | Artigo em ata de conferência | Acesso aberto |