Emergent: a novel data-set for stance classification W Ferreira, A Vlachos NAACL HLT 2016: The 2016 Conference of the North American Chapter of the …, 2016 | 483 | 2016 |
A theory of weak bisimulation for core CML W Ferreira, M Hennessy, A Jeffrey Journal of Functional Programming 8 (5), 447-491, 1998 | 41 | 1998 |
Towards a semantic theory of CML W Ferreira, M Hennessy International Symposium on Mathematical Foundations of Computer Science, 454-466, 1995 | 15 | 1995 |
Incorporating label dependencies in multilabel stance detection W Ferreira, A Vlachos Proceedings of the 2019 Conference on Empirical Methods in Natural Language …, 2019 | 12 | 2019 |
A behavioural theory of first-order CML W Ferreira, M Hennessy Theoretical computer science 216 (1-2), 55-107, 1999 | 8 | 1999 |
Semantic theories for concurrent ML. W Ferreira University of Sussex, 1996 | 7 | 1996 |
Combining the typed λ-calculus with CCS W Ferreira, M Hennessy, ASA Jeffrey | 6 | 2000 |
Where Are the World's Best Analysts? CR Harvey, S Radnor, K Mohammed, W Ferreira Available at SSRN 2337161, 2013 | 1 | 2013 |
On Testing the Observable Actions of Processes W Ferreira REPORT-UNIVERSITY OF SUSSEX COMPUTER SCIENCE, 1997 | | 1997 |
Samson Abramsky JCM Baeten, S Berezin, JA Bergstra, G Berry, L Birkedal, G Boudol, ... | | |