Export 2068 results:
Franco, J., & Vasconcelos V. T. (2014).  A concurrent programming language with refined session types. Software Engineering and Formal Methods. 15–28.
Bessani, A. Neves, & Correia M. (2014).  Consistency Anchor Formalization and Correctness Proofs.
Miguel, C., & Bessani A. Neves (2014).  Consistency Anchor Formalization and Correctness Proofs.
Marques, E. R. B., Martins F., & Simões M. (2014).  Cooperari A tool for cooperative testing of multithreaded Java programs. Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools. 200–206.
Marques, E. R. B., Martins F., & Simões M. (2014).  Cooperari: A Tool for Cooperative Testing of Multithreaded Java Programs. PPPJ'14: 2014 International Conference on Principles and Practices of Programming on the Java Platform.
Steup, C., Brade T., Souza J. L. R., Rufino J., Caldeira R., & Berger C. (2014).  D3. 5–Final Report on middleware and the evaluation environment.
Duarte, L., Ribeiro P., Guerreiro T., & Carriço L. (2014).  Defining a Design Space for Persuasive Cooperative Interactions in Mobile Exertion Applications. Collaboration and Technology. 105–112.
Botelho, F., Bessani A. Neves, Ramos F. M. V., & Ferreira P. (2014).  On the design of practical fault-tolerant SDN controllers. Proc. of the 3rd European Workshop on Software Defined Networks–EWSDN. 14,
Rodolfo, I., Laranjo L., Correia N., & Duarte C. (2014).  Design strategy for a national integrated personal health record. Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational. 411–420.
Gomes, G., Duarte C., Coelho J., & Matos E. (2014).  Designing a Facebook Interface for Senior Users. The Scientific World Journal. 2014,
Silva, L., Couto F., Manso H.., & Vicente A.. (2014).  Development of a semantic model for Cerebrovascular Accident (CVA) Patients. Bioinformatics Open Days, University of Braga.
Marques, D., Guerreiro T., & Carriço L. (2014).  Duress Unlock: Using Covert Signals to Restrict Access to Mobile Devices.
Ghilezan, S., Jakšić S., Pantović J., Pérez J. A., & Vieira H. Torres (2014).  Dynamic Role Authorization in Multiparty Conversations. arXiv preprint arXiv:1408.5977.
Timenetsky, KT., de Freitas FM., Santos RDS., de Lacerda DH., Verissimo P., Carnieli-Cazati D., et al. (2014).  IS EARLY MOBILITY BEING DONE IN THE CLINIC AI PRACTICE?. INTENSIVE CARE MEDICINE. 40, S26–S26.
Lanese, I., Lluch-Lafuente A., Sokolova A., & Vieira H. Torres (2014).  (edited by) Proceedings 7th Interaction and Concurrency Experience, ICE 2014 (Berlin, Germany, 6th June 2014). Electronic Proceedings in Theoretical Computer Science. 166,
Ferrnandes, J., Arrais J. P., Azevedo NF., Balsa-Canto E., Banga J. R., Barbosa P., et al. (2014).  ElGokhy, Sherin M. 31 Estévez, Carlos 9 Fdez-Riverola, Florentino 49, 269 Ferreira, João 253. Julio Sáez-Rodr{íguez Miguel P. Rocha Florentino Fdez-Riverola. 293.
Pesquita, C., Ferreira J., Couto F., & Silva M. J. (2014).  The epidemiology ontology: an ontology for the semantic annotation of epidemiological resources. Journal of biomedical semantics. 5, 4.
Gouyon, F., Sturm B. L., Oliveira J. Lobato, Hespanhol N., & Langlois T. (2014).  On evaluation in music autotagging research. IEEE Transactions on Audio, Speech and Language Processing.
Vial, E., & Casimiro A. (2014).  Evaluation of Safety Rules in a Safety Kernel-Based Architecture. Computer Safety, Reliability, and Security. 27–35.
Gouyon, F., Sturm B. L., Oliveira J. Lobato, Hespanhol N., & Langlois T. (2014).  On Evaluation Validity in Music Autotagging. arXiv preprint arXiv:1410.0001.
Cruz, N., Miranda H., & Ribeiro P. (2014).  The evolution of user mobility on the eduroam network. Pervasive Computing and Communications Workshops (PERCOM Workshops), 2014 IEEE International Conference on. 249–253.
Leitão, N., Leitão J.., & Couto F. (2014).  Expansão do Espaço de Procura em Mapeamento Genómico de Alto Rendimento. INForum - Simp{ó}sio de Inform{á}tica.
Mendes, T.., Rodrigues B.., Moitinho A.., Gomes M.., Couto F., Guerreiro T., et al. (2014).  Exploração Visual Online de Bases de Dados Astronómicas. INForum - Simpósio de Informática.
Sturm, B. L., Bardeli R., Langlois T., & Emiya V. (2014).  Formalizing the problem of music description. Int. Symposium on Music Information Retrieval (ISMIR).
Martins, J., Carilho J., Schnell O., Duarte C., Couto F., Carriço L., et al. (2014).  Friendsourcing the unmet needs of people with dementia. Proceedings of the 11th Web for All Conference. 35.