Foundations of session types and behavioural contracts. ACM Computing Surveys (CSUR). 49, 3.(2016).
From Data Islands to Sharing Data in the Cloud: the Evolution of Data Integration in Biological Data Repositories. Revista ComInG-Communications and Innovations Gazette. 1, 01–11.(2016).
Functional coherence metrics in protein families. Journal of biomedical semantics. 7, 41.(2016).
Hacking the DBMS to Prevent Injection Attacks. Proceedings of the Sixth ACM Conference on Data and Application Security and Privacy. 295–306.(2016).
How Far in the Future will We Start From?: Interacting with the Stakeholders of a Nation-wide Patient Portal. Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems. 899–909.(2016).
IDENTIFICATION OF PROTEIN FACTORS THAT REGULATE CFTR EXIT FROM THE ENDOPLASMIC RETICULUM. PEDIATRIC PULMONOLOGY. 51, 205–205.(2016).
The IMBPC HVAC system: A complete MBPC solution for existing HVAC systems. Energy and Buildings. 120, 145–158.(2016).
On incremental core-guided maxsat solving. International Conference on Principles and Practice of Constraint Programming. 473–482.(2016).
Indoor Navigation Systems for Reduced Mobility Users: The w4all Case Study. Procedia Computer Science. 100, 1200–1207.(2016).
Interactive and Immersive Media Experiences. Proceedings of the 22nd Brazilian Symposium on Multimedia and the Web. 1–1.(2016).
Interface to support caregivers in daily record and information visualization of patients with dementia. Proceedings of the 15th Brazilian Symposium on Human Factors in Computer Systems. 13.(2016).
Introduction to SSIV 2016. Dependable Systems and Networks Workshop, 2016 46th Annual IEEE/IFIP International Conference on. 161–161.(2016).
JITeR: Just-in-time application-layer routing. Computer Networks. 104, 122–136.(2016).
Knowledge Connectivity Requirements for Solving Byzantine Consensus with Unknown Participants. IEEE Transactions on Dependable and Secure Computing.(2016).
Knowledge Representation and Management: a linked data perspective. IMIA Yearbook. 178–183.(2016).
A Large-Scale Characterization of User Behaviour in Cable TV. arXiv preprint arXiv:1609.02453.(2016).
Linearity, session types and the Pi calculus. Mathematical Structures in Computer Science. 26, 206–237.(2016).
(Literally) Above the clouds: Virtualizing the network over multiple clouds. NetSoft Conference and Workshops (NetSoft), 2016 IEEE. 112–115.(2016).
A literature survey on older adults' use of social network services and social applications. Computers in Human Behavior. 58, 187 - 205.(2016).
Maximal falsifiability. AI Communications. 29, 351–370.(2016).
MCS extraction with sublinear oracle queries. International Conference on Theory and Applications of Satisfiability Testing. 342–360.(2016).
Medusa: An efficient cloud fault-tolerant mapreduce. Cluster, Cloud and Grid Computing (CCGrid), 2016 16th IEEE/ACM International Symposium on. 443–452.(2016).
MISO: An intermediate language to express parallel and dependable programs. arXiv preprint arXiv:1608.06171.(2016).
A Mobile Recommendation System Supporting Group Collaborative Decision Making. Procedia Computer Science. 96, 560–567.(2016).