Folgen
João F. Ferreira
João F. Ferreira
Instituto Superior Técnico (Univ. Lisboa) & INESC-ID
Bestätigte E-Mail-Adresse bei joaoff.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
3082020
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
1192020
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
732017
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
482006
Linear logic programming for narrative generation
C Martens, AG Bosser, JF Ferreira, M Cavazza
Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013
422013
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
312014
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
282021
Visualization of patient behavior from natural language recommendations
J Siddle, A Lindsay, JF Ferreira, J Porteous, J Read, F Charles, ...
Proceedings of the 9th Knowledge Capture Conference, 1-4, 2017
232017
On Euclid’s algorithm and elementary number theory
R Backhouse, JF Ferreira
Science of Computer Programming 76 (3), 160-180, 2011
232011
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
182008
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
172017
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
172014
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
Narrative planning model acquisition from text summaries and descriptions
T Hayton, J Porteous, J Ferreira, A Lindsay
Proceedings of the AAAI Conference on Artificial Intelligence 34 (02), 1709-1716, 2020
152020
Which mathematics for the information society?
JF Ferreira, A Mendes, R Backhouse, LS Barbosa
Teaching Formal Methods: Second International Conference, TFM 2009 …, 2009
152009
Automated narrative planning model extension
J Porteous, JF Ferreira, A Lindsay, M Cavazza
Autonomous Agents and Multi-Agent Systems 35 (2), 19, 2021
142021
Students' feedback on teaching mathematics through the calculational method
JF Ferreira, A Mendes
2009 39th IEEE Frontiers in Education Conference, 1-6, 2009
142009
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
132011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20