Следене
João F. Ferreira
João F. Ferreira
Instituto Superior Técnico (Univ. Lisboa) & INESC-ID
Потвърден имейл адрес: joaoff.com - Начална страница
Заглавие
Позовавания
Позовавания
Година
Empirical review of automated analysis tools on 47,587 ethereum smart contracts
T Durieux, JF Ferreira, R Abreu, P Cruz
Proceedings of the ACM/IEEE 42nd International conference on software …, 2020
2022020
Smartbugs: A framework to analyze solidity smart contracts
JF Ferreira, P Cruz, T Durieux, R Abreu
Proceedings of the 35th IEEE/ACM international conference on automated …, 2020
642020
JaSkel: A Java skeleton-based framework for structured cluster and grid computing
JF Ferreira, JL Sobral, AJ Proença
Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGRID …, 2006
632006
Framer: Planning models from natural language action descriptions
A Lindsay, J Read, J Ferreira, T Hayton, J Porteous, P Gregory
Proceedings of the International Conference on Automated Planning and …, 2017
592017
Linear logic programming for narrative generation
C Martens, AG Bosser, JF Ferreira, M Cavazza
Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013
392013
Automated verification of the FreeRTOS scheduler in Hip/Sleek
JF Ferreira, C Gherghina, G He, S Qin, WN Chin
International Journal on Software Tools for Technology Transfer 16, 381-397, 2014
372014
Generative story worlds as linear logic programs
C Martens, JF Ferreira, AG Bosser, M Cavazza
Seventh Intelligent Narrative Technologies Workshop, 2014
282014
On Euclid’s algorithm and elementary number theory
R Backhouse, JF Ferreira
Science of Computer Programming 76 (3), 160-180, 2011
202011
Certified password quality: a case study using Coq and Linux pluggable authentication modules
JF Ferreira, SA Johnson, A Mendes, PJ Brooke
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin …, 2017
182017
Recounting the rationals: twice!
R Backhouse, JF Ferreira
Mathematics of Program Construction: 9th International Conference, MPC 2008 …, 2008
172008
Reasoning about fences and relaxed atomics
M He, V Vafeiadis, S Qin, JF Ferreira
2016 24th Euromicro International Conference on Parallel, Distributed, and …, 2016
162016
Storyframer: From input stories to output planning models
T Hayton, J Porteous, J Ferreira, A Lindsay, J Read
Workshop on Knowledge Engineering for Planning and Scheduling (KEPS). The …, 2017
142017
Students' feedback on teaching mathematics through the calculational method
JF Ferreira, A Mendes
2009 39th IEEE Frontiers in Education Conference, 1-6, 2009
132009
Which mathematics for the information society?
JF Ferreira, A Mendes, R Backhouse, LS Barbosa
Teaching Formal Methods: Second International Conference, TFM 2009 …, 2009
132009
Skeptic: Automatic, justified and privacy-preserving password composition policy selection
S Johnson, JF Ferreira, A Mendes, J Cordry
Proceedings of the 15th ACM Asia Conference on Computer and Communications …, 2020
122020
Logic training through algorithmic problem solving
JF Ferreira, A Mendes, A Cunha, C Baquero, P Silva, LS Barbosa, ...
Tools for Teaching Logic: Third International Congress, TICTTL 2011 …, 2011
122011
Extending narrative planning domains with linguistic resources
J Porteous, JF Ferreira, A Lindsay, M Cavazza
Proceedings of the 19th International Conference on Autonomous Agents and …, 2020
112020
Structure editing of handwritten mathematics: Improving the computer support for the calculational method
A Mendes, R Backhouse, JF Ferreira
Proceedings of the Ninth ACM International Conference on Interactive …, 2014
112014
The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks
JF Ferreira, A Mendes
Proceedings of the 2014 conference on Innovation & technology in computer …, 2014
112014
Ecoandroid: An android studio plugin for developing energy-efficient java mobile applications
A Ribeiro, JF Ferreira, A Mendes
2021 IEEE 21st International Conference on Software Quality, Reliability and …, 2021
102021
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20