João F. Ferreira
João F. Ferreira
Instituto Superior Técnico (Univ. Lisboa) & INESC-ID
Dirección de correo verificada de joaoff.com - Página principal
Título
Citado por
Citado por
Año
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
472006
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
372017
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 (4), 381-397, 2014
282014
Linear logic programming for narrative generation
C Martens, AG Bosser, JF Ferreira, M Cavazza
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2013
242013
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
182020
Generative story worlds as linear logic programs
C Martens, JF Ferreira, AG Bosser, M Cavazza
Intelligent Narrative Technologies 7, 51, 2014
182014
Recounting the rationals: twice!
R Backhouse, JF Ferreira
International Conference on Mathematics of Program Construction, 79-91, 2008
172008
On Euclid’s algorithm and elementary number theory
R Backhouse, JF Ferreira
Science of Computer Programming 76 (3), 160-180, 2011
152011
Reasoning about fences and relaxed atomics
M He, V Vafeiadis, S Qin, JF Ferreira
2016 24th Euromicro International Conference on Parallel, Distributed, and …, 2016
142016
Which mathematics for the information society?
JF Ferreira, A Mendes, R Backhouse, LS Barbosa
International Conference on Technical Formal Methods, 39-56, 2009
142009
Students' feedback on teaching mathematics through the calculational method
JF Ferreira, A Mendes
2009 39th IEEE Frontiers in Education Conference, 1-6, 2009
132009
Logic training through algorithmic problem solving
JF Ferreira, A Mendes, A Cunha, C Baquero, P Silva, LS Barbosa, ...
International Congress on Tools for Teaching Logic, 62-69, 2011
122011
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
102017
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
92014
Principles and applications of algorithmic problem solving
JFP Ferreira
University of Nottingham, 2010
92010
CAMILA revival: VDM meets Haskell
J Visser, JNF Oliveira, LS Barbosa, JF Ferreira, A Mendes
University of Newcastle TR series, 2005
92005
Certified Password Quality
JF Ferreira, SA Johnson, A Mendes, PJ Brooke
International Conference on Integrated Formal Methods, 407-421, 2017
82017
Deadline analysis of AUTOSAR OS periodic tasks in the presence of interrupts
Y Huang, JF Ferreira, G He, S Qin, J He
International Conference on Formal Engineering Methods, 165-181, 2013
62013
Visualization of patient behavior from natural language recommendations
J Siddle, A Lindsay, JF Ferreira, J Porteous, J Read, F Charles, ...
Proceedings of the Knowledge Capture Conference, 1-4, 2017
52017
Reqcap: Hierarchical requirements modeling and test generation for industrial control systems
A Almohammad, JF Ferreira, A Mendes, P White
2017 IEEE 25th International Requirements Engineering Conference Workshops …, 2017
52017
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20