Soft component automata: Composition, compilation, logic, and verification Article

T.W.J. Kappé (Tobias), B. Lion (Benjamin), F. Arbab (Farhad) and C. Talcott (Carolyn)

New Methods in Coding Theory: Error-Correcting Codes and the Shannon Capacity Dissertation

S.C. Polak (Sven)

Representation learning for emotion recognition from smartphone keyboard interactions In Proceedings

S. Ghosh (Surjya), S. Goenka (Shivam), N. Ganguly (Niloy), B. Mitra (Bivas) and P. De (Pradipta)

A multivariate framework to study spatio-temporal dependency of electricity load and wind power Article

Khuntia, S.R. (Swasti R.), Rueda, J.L. (Jose L.) and van der Meijden, M.A.M.M. (Mart A.M.M.)

The Likeability-Success Tradeoff: Results of the 2nd Annual Human-Agent Automated Negotiating Agents Competition In Proceedings

J. Mell (Johnathan), J. Gratch (Jonathan), R. Aydoğan (Reyhan), T. Baarslag (Tim) and C.M. Jonker (Catholijn)

Mentoring Students in Social VR Magazine Article

Indexing weighted sequences: Neat and efficient Article

C. Barton (Carl), T. Kociumaka (Tomasz), C. Liu (Chang), S. Pissis (Solon) and J. Radoszewski (Jakub)

Absent words in a sliding window with applications Article

M. Crochemore (Maxime), A. Heliou (Alice), G. Kucherov (Gregory), L. Mouchard (Laurent), S. Pissis (Solon) and Y. Ramusat (Yann)