João Fernando Ferreira

Publication Activity (10 Years)

Years Active: 2005-2020
Publications (10 Years): 4

Top Topics

Logical Representation

Interactive Storytelling

Defeasible Logic

Top Venues

FLAIRS Conference

Publications

Thomas Hayton, Julie Porteous, João Fernando Ferreira, Alan Lindsay
Narrative Planning Model Acquisition from Text Summaries and Descriptions. AAAI (2020)
Mengda He, Shengchao Qin, João Fernando Ferreira
Towards a Program Logic for C11 Release-Sequences. TASE (2018)
Ali Almohammad, João Fernando Ferreira, Alexandra Mendes, Phil White
ReqCap: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems. RE Workshops (2017)
Cindy Even, Anne-Gwenn Bosser, João Fernando Ferreira, Cédric Buche, Florian Stéphan, Marc Cavazza, Christine L. Lisetti
Supporting Social Skills Rehabilitation with Virtual Storytelling. FLAIRS Conference (2016)
Alexandra Mendes, Roland Carl Backhouse, João Fernando Ferreira
Structure Editing of Handwritten Mathematics: Improving the Computer Support for the Calculational Method. ITS (2014)
João Fernando Ferreira, João Luís Sobral, Alberto José Proença
JaSkel: A Java Skeleton-Based Framework for Structured Cluster and Grid Computing. CCGRID (2006)
João Fernando Ferreira, João Luís Sobral
ParC#: Parallel Computing with C# in .Net. PaCT (2005)