Publications

Export 2069 results:
2014
Dragisic, Z., Eckert K., Euzenat J., Faria D., Ferrara A., Granada R., et al. (2014).  Results of theOntology Alignment Evaluation Initiative 2014. International Workshop on Ontology Matching. 61–104.
Bessani, A. Neves, Mendes R., Oliveira T., Neves N. Ferreira, Correia M., Pasin M., et al. (2014).  SCFS: a shared cloud-backed file system. Usenix ATC.
Verissimo, P. (2014).  Security Made, Not Perfect, But Automatic. Security Protocols XVIII. 217–223.
Verissimo, P. (2014).  Security Made, Not Perfect, But Automatic (Transcript of Discussion). Security Protocols XVIII. 224–232.
Ruano, A. E., Madureira G., Barros O., Khosravani HR., M Ruano G., & Ferreira P. M. (2014).  Seismic detection using support vector machines. Neurocomputing. 135, 273–283.
Hijón-Neira, R., Velázquez-Iturbide Á., Pizarro-Romero C., & Carriço L. (2014).  Serious games for motivating into programming. Frontiers in Education Conference (FIE), 2014 IEEE. 1–8.
Oliveira, T., Mendes R., & Bessani A. Neves (2014).  Sharing Files Using Cloud Storage Services. Euro-Par 2014: Parallel Processing Workshops. 13–25.
Botelho, F., Bessani A. Neves, Ramos F. M. V., & Ferreira P. (2014).  SMaRtLight: A Practical Fault-Tolerant SDN Controller. arXiv preprint arXiv:1407.6062.
Bessani, A. Neves, Sousa J., & Alchieri E. E. P. (2014).  State machine replication for the masses with BFT-SMaRt. Dependable Systems and Networks (DSN), 2014 44th Annual IEEE/IFIP International Conference on. 355–362.
Lopes, J., & Neves N. Ferreira (2014).  Stopping a Rapid Tornado with a Puff. Security and Privacy (SP), 2014 IEEE Symposium on. 509–523.
Borges, J. G., Garcia-Gonzalo J., Marques S., Valdebenito V. A., McDill M. E., & Falcao A. O. (2014).  Strategic Management Scheduling. The Management of Industrial Forest Plantations. 171–238.
Cruz-Filipe, L., Lanese I., Martins F., Ravara A., & Vasconcelos V. T. (2014).  The stream-based service-centred calculus: a foundation for service-oriented programming. Formal Aspects of Computing. 26, 865–918.
Teixeira, A. L., & Falcao A. O. (2014).  Structural similarity based kriging for quantitative structure activity and property relationship modeling. Journal of chemical information and modeling. 54, 1833–1849.
Duarte, C., Carriço L., Guerreiro T., Almeida C., Nobre S., & Campos A. Margarida (2014).  Supporting autism therapists: co-designing interventions. CHI'14 Extended Abstracts on Human Factors in Computing Systems. 1213–1218.
Rodrigues, A., & Guerreiro T. (2014).  SWAT: Mobile System-Wide Assistive Technologies. 28th British Computer Society Human Computer Interaction Conference.
Carmo, M. Beatriz, Afonso A. Paula, Ferreira A., Claudio A., & Montez E. (2014).  Symbol adaptation assessment in outdoor augmented reality. GRAPP: 9th international joint conference on Computer vision, imaging and computer graphics theory and applications. 387–396.
Asif, M. (2014).  System medicine approach to improve diagnosis and prognosis in Autism Spectrum Disorders (ASD), based on extensive genomic, biochemical and clinical data.
Bessani, A. Neves, Cutillo L. A., Ramunno G., Schirmer N., & Smiraglia P. (2014).  The TClouds Platform: From the Concept to the Implementation of Benchmark Scenarios. ACM SIGOPS Operating Systems Review. 48, 13–22.
Lima, D., Miranda H., & Ta\"ıani F. (2014).  Towards a new model for cyber foraging. The 13th Workshop on Adaptive and Reflective Middleware (ARM 2014), in conjunction with ACM/IFIP/USENIX ACM International Middleware Conference 2014, Bordeaux, France.
Faria, D., Jiménez-Ruiz E., Pesquita C., Santos E., & Couto F. (2014).  Towards annotating potential incoherences in BioPortal mappings. International Semantic Web Conference.
Kreutz, D., Bessani A. Neves, Feitosa E., & Cunha H. (2014).  Towards Secure and Dependable Authentication and Authorization Infrastructures. Dependable Computing (PRDC), 2014 IEEE 20th Pacific Rim International Symposium on. 43–52.
Pesquita, C., Faria D., Santos E., Neefs J-M., & Couto F. (2014).  Towards visualizing the alignment of large biomedical ontologies. Data Integration in the Life Sciences (DILS).
Vasconcelos, V. T., Martins F., Marques E. R. B., López H. A., Santos C., & Yoshida N. (2014).  Type-based verification of message-passing parallel programs.
Padovani, L., Vasconcelos V. T., & Vieira H. Torres (2014).  Typing liveness in multiparty communicating systems. Coordination Models and Languages. 147–162.
Leal, A., Gonçalves D., Martins B., & Couto F. (2014).  ULisboa: Identification and Classification of Medical Concepts. SemEval 2014. 711.

Pages