Publications

Export 2272 results:
2016
Janota, M., W. Klieber, J. Marques-Silva, and E. Clarke, "Solving QBF with counterexample guided refinement", Artificial Intelligence, vol. 234: Elsevier, pp. 1–25, 2016.
Viana, P., T. Chambel, M. V. Bove, S. Strover, and G. Thomas, Special Issue on "Immersive Media Experiences"", MTAPS: Multimedia Tools and Applications, , 2016.
Rufino, J., and I. Gouveia, "Timeliness runtime verification and adaptation in avionic systems", OSPERT 2016, pp. 37, 2016.
Ilahi, L., R. Martinho, S. Ayachi Ghannouchi, D. Domingos, and R. Rijo, "Towards a Business Process Management Governance approach using process model templates and flexibility", Services (SERVICES), 2016 IEEE World Congress on: IEEE, pp. 27–34, 2016.
Rufino, J., "Towards integration of adaptability and non-intrusive runtime verification in avionic systems", ACM SIGBED Review, vol. 13, no. 1: ACM, pp. 60–65, 2016.
Montague, K., J. Guerreiro, H. Nicolau, T. Guerreiro, A. Rodrigues, and D. Gonçalves, "Towards Inviscid Text-Entry for Blind People through Non-Visual Word Prediction Interfaces", CHI Workshop on Inviscid Text-Entry and Beyond, 2016.
Bernardino, C., H. Alexandre Ferreira, and T. Chambel, "Towards Media for Wellbeing", Proceedings of the ACM International Conference on Interactive Experiences for TV and Online Video: ACM, pp. 171–177, 2016.
Gonçalves, T., A. Paula Afonso, A. Ferreira, and A. Rita Vieira, "Trajectory data visualization on mobile devices with animated maps", Proceedings of the 37th Annual Conference of the European Association for Computer Graphics: Short Papers: Eurographics Association, pp. 9–12, 2016.
Barros, M., A. Lamurias, G. Figueiró, M. Antunes, J. Teixeira, A. Pinheiro, and F. M. Couto, "ULISBOA at SemEval-2016 Task 12: Extraction of temporal expressions, clinical events and relations using IBEnt.", SemEval@ NAACL-HLT, pp. 1263–1267, 2016.
Ferreira, P. M., "Unsupervised entropy-based selection of data sets for improved model fitting", Neural Networks (IJCNN), 2016 International Joint Conference on: IEEE, pp. 3330–3337, 2016.
Dragisic, Z., V. Ivanova, P. Lambrix, D. Faria, E. Jiménez-Ruiz, and C. Pesquita, "User validation in ontology alignment", International Semantic Web Conference: Springer, pp. 200–217, 2016.
Lacoste, M., M. Miettinen, N. Neves, F. M. V. Ramos, M. Vukolić, F. Charmet, R. Yaich, K. Oborzynski, G. Vernekar, and P. Sousa, "User-Centric Security and Dependability in the Clouds-of-Clouds", IEEE Cloud Computing, vol. 3, no. 5: IEEE, pp. 64–75, 2016.
Domingos, D., A. Respicio, and R. Martinho, "Using Resource Reliability in BPMN Processes", Procedia Computer Science, vol. 100: Elsevier, pp. 1280–1288, 2016.
Ivanova, V., P. Lambrix, S. Lohmann, and C. Pesquita, "VOILA! 2016: Proceedings of the 2nd International Workshop on Visualization and Interaction for Ontologies and Linked Data, Co-located with ISWC 2016, Kobe, Japan, October 17, 2016", 2nd International Workshop on Visualization and Interaction for Ontologies and Linked Data, Kobe, Japan, October 17: CEUR Workshop Proceedings, 2016.
Gonçalves, T., A. Paula Afonso, and B. Martins, "Why not both?: combining 2D maps and 3D space-time cubes for human trajectory data visualization", Proceedings of the 30th International BCS Human Computer Interaction Conference: Fusion!: BCS Learning & Development Ltd., pp. 22, 2016.
Rodrigues, M. J., M. Falé, A. Lamurias, and F. M. Couto, "WS4A: a biomedical question and answering system based on public web services and ontologies", arXiv preprint arXiv:1609.08492, 2016.
2015
Oliveira, E., N. Ribeiro, and T. Chambel, "Accessing Movies’ Emotional Information", CISTI' 2015, 10th Iberian Conference on Information Systems and Technologies, Aveiro, Portugal, IEEE, 06/2015.
Serra, S., A. Jorge, and T. Chambel, "Acesso Multimodal em Dispositivos Móveis a Vídeo Georeferenciado através da Forma, Velocidade e Tempo", SciTecIN' 2015, Sciences and Technologies of Interaction, Encontro Português de Computação Gráfica e Interacção, Universidade de Coimbra, Portugal, 11/2015.
Lima, R., C. Baquero, and H. Miranda, "Adaptive Broadcast Cancellation Query Mechanism for Unstructured Networks", Proceedings of the 9th International Conference on Next Generation Mobile Applications, Services and Technologies (NGMAST 2015), Cambridge, UK, 2015.
Pombinho, P., M. Beatriz Carmo, and A. Paula Afonso, "Adaptive mobile visualization-the chameleon framework", Computer Science and Information Systems, no. 00, pp. 4–4, 2015.
Marques, D. H., L. Carriço, and T. Guerreiro, "Assessing Inconspicuous Smartphone Authentication for Blind People", arXiv preprint arXiv:1506.00930, 2015.
Duarte, T., D. Domingos, J. Alegria, and P. Serrão, "An Automated System to Search", INFORUM 2015 - Atas do 7º Simpósio Nacional de Informática, Covilhã, Portugal, Universidade da Beira Interior, 2015.
Groza, T.., S.. Köhler, S.. Doelken, N.. Collier, A.. Oellrich, D.. Smedley, F. Couto, G.. Baynam, A.. Zankl, and P.. Robinson, "Automatic concept recognition using the Human Phenotype Ontology}reference and test suite corpora", Database, vol. 2015, pp. 1-13, 2015.
Guerreiro, T., K. Montague, J. Guerreiro, R. Nunes, H. Nicolau, and D. J. V. Gonçalves, "Blind People Interacting with Large Touch Surfaces: Strategies for One-handed and Two-handed Exploration", Proceedings of the 2015 International Conference on Interactive Tabletops &\#38; Surfaces, New York, NY, USA, ACM, 2015.
Gonçalves, T., A. Paula Afonso, and B. Martins, "Cartographic visualization of human trajectory data: overview and analysis", Journal of Location Based Services, vol. 9, pp. 138–166, 2015.
Serrazina, S., C. Santos, H. Machado, C. Pesquita, R. Vicentini, M. Salomé Pais, M. Sebastiana, and R. Costa, "Castanea root transcriptome in response to Phytophthora cinnamomi challenge", Tree Genetics & Genomes, vol. 11, no. 1: Springer Berlin Heidelberg, pp. 1–19, 2015.
Martinho, R., D. Domingos, and J. Varajao, "CF4BPMN: A BPMN Extension for Controlled Flexibility in Business Processes", Procedia Computer Science, vol. 64, pp. 1232–1239, 2015.
Krallinger, M., O. Rabal, F. Leitner, M. Vazquez, D. Salgado, Z. Lu, R. Leaman, Y. Lu, D. Ji, D. M. Lowe, et al., "The CHEMDNER corpus of chemicals and drugs and its annotation principles", J Cheminform, vol. 7, no. Suppl 1, pp. S2, 2015.
Krallinger, M.., O.. Rabal, F.. Leitner, M.. Vazquez, D.. Salgado, Z.. Lu, R.. Leaman, Y.. Lu, D.. Ji, D.. Lowe, et al., "The CHEMDNER corpus of chemicals and drugs and its annotation principles", Journal of Cheminformatics, vol. 7, pp. S2, 1-20, 2015.
Gonçalves, T., A. Paula Afonso, and B. Martins, "Combining and assessing 2D maps and space-time cubes for trajectory data", Proceedings of the 2015 British HCI Conference: ACM, 2015.
Santos, C., F. Martins, and V. T. Vasconcelos, "Deductive Verification of Parallel Programs Using Why3", Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015, Grenoble, France, 4-5th June 2015., 2015.
Silva, J., X. Vilaça, L. Rodrigues, and H. Miranda, "Detecção eficiente de comportamento parasita em sistemas de difusão entre-pares", INFORUM 2015 - Atas do 7º Simpósio Nacional de Informática, Covilhã, Portugal, Universidade da Beira Interior, 2015.
Costa, D., L. Carriço, and C. Duarte, "The Differences in Accessibility of TV and Desktop Web Applications from the Perspective of Automated Evaluation", Procedia Computer Science, vol. 67, pp. 388 - 396, 2015.
Silva, J., X. Vilaça, H. Miranda, and L. Rodrigues, "Efficient Free-Rider Detection Using Symmetric Overlays", Proceedings of the 14th IEEE International Symposium on Network Computing and Applications (NCA'2015), Cambridge, MA, USA, IEEE, 2015.
Oliveira, A., A. Casimiro, and G. Joao Vitor Jesus, Ensuring Reliable Measurements In Remote Aquatic Sensor Networks, , 2015.
Distler, T., C. Bahn, A. Neves Bessani, F. Fischer, and F. Junqueira, "Extensible distributed coordination", Proceedings of the Tenth European Conference on Computer Systems: ACM, pp. 10, 2015.
Onica, R., N. Ferreira Neves, and A. Casimiro, "Fault-Tolerant Precision Time Protocol for Smart Grids", Proceedings of the 7th Simposio de Informatica (INFORUM), Covilha, Portugal, 2015.
Lima, R., C. Baquero, and H. Miranda, "{FBL} - Filtro de Bloom Linear", INFORUM 2015 - Atas do 7º Simpósio Nacional de Informática, Covilhã, Portugal, Universidade da Beira Interior, 2015.
Marques, D. H., A. Rodrigues, C. Duarte, M. Ana Baptista, and L. Carriço, "Finding, helping and understanding people in natural disasters", 10th Session of the Intergovernmental Coordination Group for the Indian Ocean Tsunami Warning and Mitigation System (ICG/IOTWS-X), 2015.
Costa, D., and C. Duarte, "From one to many users and contexts: a classifier for hand and arm gestures", Proceedings of the 20th International Conference on Intelligent User Interfaces: ACM, pp. 115–120, 2015.
Rodrigues, A., K. Montague, H. Nicolau, and T. Guerreiro, "Getting Smartphones to Talkback: Understanding the Smartphone Adoption Process of Blind Users", Proceedings of the 17th International ACM SIGACCESS Conference on Computers &\#38; Accessibility, New York, NY, USA, ACM, 2015.
Bastos, H., L.. Sousa, L.. Clarke, and F. Couto, "GRYFUN: A Web Application for GO Term Annotation Visualization and Analysis in Protein Sets", PLoS ONE, vol. 10, pp. 1-20, 2015.
Cogo, V., A. Bessani, F. Couto, and P. Verissimo, "A High-Throughput Method to Detect Privacy-Sensitive Human Genomic Data", Workshop on Privacy in the Electronic Society (WPES), 2015.
Nicolau, H., K. Montague, T. Guerreiro, A. Rodrigues, and V. L. Hanson, "HoliBraille: Multipoint Vibrotactile Feedback on Mobile Devices", Proceedings of the 12th Web for All Conference, New York, NY, USA, ACM, 2015.
Lamurias, A., M.. Lobo, M.. Antunes, L.. Clarke, and F. Couto, "Identifying chemical entities in patents using brown clustering and semantic similarity", 5th BioCreative Challenge Evaluation, 2015.
Lamurias, A., L.. Clarke, and F. Couto, "IICE: web tool for automatic identification of chemical entities and interactions", European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML-PKDD), Demo Track, 2015.
Chambel, T., P. Viana, M. V. Bove, S. Strover, and G. Thomas, "ImmersiveMe'15: 3rd ACM international workshop on immersive media experiences", ACM MM'15: Proceedings of the 23rd ACM international conference on Multimedia: ACM, New York, USA, pp. 1339-1340, 2015.
Campos, J., and V. T. Vasconcelos, "Imperative objects with dependent types", Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015, 2015.
Ruano, A.E.., S.. Silva, S.. Pesteh, P. M. Ferreira, H.. Duarte, G.. Mestre, H.. Khosravani, and R.. Horta, "Improving a neural networks based HVAC predictive control approach", Intelligent Signal Processing (WISP), 2015 IEEE 9th International Symposium on, May, 2015.
Lamurias, A., J. Ferreira, and F. Couto, "Improving chemical entity recognition through h-index based semantic similarity", Journal of Cheminformatics, vol. 7, pp. S13, 1-20, 2015.
Gonçalves, T., A. Paula Afonso, and B. Martins, "Improving Spatial Awareness for Human Trajectory Visualization in Space-Time Cubes", Human-Computer Interaction–INTERACT 2015: Springer International Publishing, pp. 327–334, 2015.
Mestre, G., A. Ruano, H. Duarte, S. Silva, H. Khosravani, S. Pesteh, P. M. Ferreira, and R. Horta, "An Intelligent Weather Station", Sensors, vol. 15, pp. 31005–31022, 2015.
Nunes, P., G. Ribeiro Morais, E. Palma, F. Silva, M. Cristina Oliveira, V. F. C. Ferreira, F. Mendes, L. Gano, H. Vicente Miranda, T. F. Outeiro, et al., "Isostructural Re (i)/99m Tc (i) tricarbonyl complexes for cancer theranostics", Organic & Biomolecular Chemistry: Royal Society of Chemistry, 2015.
Costa, P., X. Bai, F. M. V. Ramos, and M. Correia, "Medusa: An Efficient Cloud Fault-Tolerant MapReduce", CoRR, pp. abs/1511.07185, 2015.
Cruz, N., and H. Miranda, "MobIPLity: A trace-based mobility scenario generator for mobile applications", EAI Endorsed Transactions on Ubiquitous Environments, vol. 15, 2015.
Ruano, A.E.., G.. Mestre, H.. Duarte, S.. Silva, S.. Pesteh, H.. Khosravani, P. M. Ferreira, and R.. Horta, "A neural-network based intelligent weather station", Intelligent Signal Processing (WISP), 2015 IEEE 9th International Symposium on, May, 2015.
Marques, E. R. B., M. Ribeiro, J. Pinto, J. B. Sousa, and F. Martins, "NVL: a coordination language for unmanned vehicle networks", ACM Symposium on Applied Computing (SAC'15): ACM, 2015.
Fernandes, N., T. Guerreiro, D. H. Marques, and L. Carriço, "Optimus Web: Selective Delivery of Desktop or Mobile Web Pages", Proceedings of the 12th Web for All Conference, New York, NY, USA, ACM, 2015.
Gonçalves, T., A. Rita Vieira, A. Paula Afonso, and A. Ferreira, "PATH - Visualização de Percursos Pessoais com Mapas Animados em Dispositivos Móveis", INForum 2015 – Simpósio de Informática, 2015.
Eduati, F., L. M. Mangravite, T. Wang, H. Tang, C. J. Bare, R. Huang, T. Norman, M. Kellen, M. P. Menden, J. Yang, et al., "Prediction of human population responses to toxic compounds by a collaborative competition", NATURE BIOTECHNOLOGY, vol. 33, pp. 933-U172, SEP, 2015.
Chambel, T., P. Viana, M. V Bove, S. Strover, and G. Thomas, "Proceedings of the 3rd ACM International Workshop on Immersive Media Experiences", ImmersiveMe'15, at ACM Multimedia'2015: ACM, New York, USA, 2015.
Coelho, J., F. Rito, N. Luz, and C. Duarte, "Prototyping TV and Tablet Facebook Interfaces for Older Adults", Human-Computer Interaction -- INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, Springer International Publishing, 2015.
Ruano, A., H. Reza Khosravani, and P. M. Ferreira, "A Randomized Approximation Convex Hull Algorithm for High Dimensions", 2nd IFAC Conference on Embedded Systems, Computer Intelligence and Telematics in Control (CESCIT) 2015, Maribor, Slovenia" issn = "2405-8963, June, 2015.
Leal, A.., B. Martins, and F. Couto, "Recognition and Normalization of Biomedical Entities Based on Ontologies", Bioinformatics Open Days, University of Lisbon, 2015.
Cruz, N., and H. Miranda, "Recurring contact opportunities within groups of devices", Proceedings of the 12th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MOBIQUITOUS 2015): ACM, 2015.
Cruz, N., and H. Miranda, "Recurring contact opportunities within groups of devices", EAI Endorsed Transactions on Ambient Systems, vol. 15, 2015.
Respicio, A., and D. Domingos, "Reliability of BPMN Business Processes", Procedia Computer Science, vol. 64, pp. 643–650, 2015.
Vavala, B., N. Ferreira Neves, and P. Steenkiste, "Securing Passive Replication Through Verification", Proceedings of the 34th Symposium on Reliable Distributed Systems (SRDS), Montreal, Canada, 2015.
Donaldson, A. F., and V. T. Vasconcelos, Selected papers on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014), , 2015.
Machado, C. M., D. Rebholz-Schuhmann, A. T. Freitas, and F. Couto, "The semantic web in translational medicine: current applications and future directions", Briefings in bioinformatics, vol. 16, no. 1: Oxford University Press, pp. 89–103, 2015.
Barata, C., M. Abreu, P. Torres, J. Teixeira, T. Guerreiro, and F. Couto, "Social Impact-Identifying Quotes of Literary Works in Social Networks", Progress in Artificial Intelligence: Springer, pp. 789–795, 2015.
Coelho, J., and C. Duarte, "Socially Networked or Isolated? Differentiating Older Adults and the Role of Tablets and Television", Human-Computer Interaction -- INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, Springer International Publishing, pp. 129–146, 2015.
Ramos, F. M. V., D. Kreutz, and P. Verissimo, "Software-Defined Networking: A Comprehensive Survey", Cutter IT Journal, vol. 28, pp. 6-13, May, 2015.
Kreutz, D., F. M. V. Ramos, P. Verissimo, E. C. Rothenberg, S.. Azodolmolky, and S.. Uhlig, "Software-Defined Networking: A Comprehensive Survey", Proceedings of the IEEE, vol. 103, pp. 14-76, Jan, 2015.
Guerreiro, J., A. Rodrigues, K. Montague, T. Guerreiro, H. Nicolau, and D. Gonçalves, "TabLETS Get Physical: Non-Visual Text Entry on Tablet Devices", Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, New York, NY, USA, ACM, 2015.
Nunes, R., F. Rito, and C. Duarte, "TACTIC: An API for Touch and Tangible Interaction", Proceedings of the Ninth International Conference on Tangible, Embedded, and Embodied Interaction: ACM, pp. 125–132, 2015.
Montague, K., A. Rodrigues, H. Nicolau, and T. Guerreiro, "TinyBlackBox: Supporting Mobile In-The-Wild Studies", Proceedings of the 17th International ACM SIGACCESS Conference on Computers &\#38; Accessibility, New York, NY, USA, ACM, 2015.
Caldeira, R., J. Souza, R. Pinto, and J. Rufino, "A Tool for Real-Time Assessment of IEEE 802.15.4 Networks Through Fault Injection", Proceedings of the 7th Simposio de Informatica (INFORUM), Covilha, Portugal, 2015.
Marques, E. R. B., M. Ribeiro, J. Pinto, J. B. Sousa, and F. Martins, "Towards Programmable Coordination of Unmanned Vehicle Networks", IFAC NGCUV'15 (to appear), 2015.
Clarke, L. A., H. M. Botelho, L. Sousa, A. O. Falcao, and M. D. Amaral, "Transcriptome meta-analysis reveals common differential and global gene expression profiles in cystic fibrosis and other respiratory disorders and identifies CFTR regulators", GENOMICS, vol. 106, pp. 268-277, NOV, 2015.
Nicolau, H., K. Montague, T. Guerreiro, A. Rodrigues, and V. L. Hanson, "Typing Performance of Blind Users: An Analysis of Touch Behaviors, Learning Effect, and In-Situ Usage", Proceedings of the 17th International ACM SIGACCESS Conference on Computers &\#38; Accessibility, New York, NY, USA, ACM, 2015.
Leal, A.., B.. Martins, and F. Couto, "ULisboa: Recognition and Normalization of Medical Concepts", 8th International Workshop on Semantic Evaluation (SemEval), 2015.
Trewin, S., D. H. Marques, and T. Guerreiro, "Usage of Subjective Scales in Accessibility Research", Proceedings of the 17th International ACM SIGACCESS Conference on Computers &\#38; Accessibility, New York, NY, USA, ACM, 2015.
Silva, G., M. Beatriz Carmo, A. Paula Afonso, A. Paula Cláudio, and A. Ferreira, "Visualização de Objetos Off-Screen em Realidade Aumentada Móvel", SciTecIN' 2015, Sciences and Technologies of Interaction, Encontro Português de Computação Gráfica e Interacção, 2015.
Jorge, A., S. Serra, and T. Chambel, "Visualizações Interactivas de Trajectórias em Vídeo no Espaço e no Tempo", SciTecIN' 2015, Sciences and Technologies of Interaction, Encontro Português de Computação Gráfica e Interacção, Universidade de Coimbra, Portugal, 11/2015.
2014
Abdi, S., O. Aciicmez, J. Adikari, J-S. Ahn, F. Angiolini, M. Annavaram, A. M Hasan, T. Arslan, R. A. Ashraf, S. Atalla, et al., "2013 Index IEEE Transactions on Computers Vol. 62", IEEE Transactions on Computers, vol. 63, no. 1, pp. 1, 2014.
Adamo-Villani, N., A. Aizpurua, D. Akoumianakis, V. Athitsos, P. Bamidis, E. Becker, P. Bellavista, M. Betke, G. Bieber, D. Bilal, et al., Acknowledgement to reviewers for 2013, , 2014.
Mostrous, D., and V. T. Vasconcelos, "Affine Sessions", Coordination Models and Languages, 2014.
Faria, D., C. Pesquita, E. Santos, I.. Cruz, and F. Couto, "AgreementMakerLight 2.0: Towards Efficient Large-Scale Ontology Matching", International Semantic Web Conference (ISWC), 2014.
Faria, D., C. Pesquita, E. Santos, I. F. Cruz, and F. Couto, "AgreementMakerLight: A Scalable Automated Ontology Matching System", DILS 2014, pp. 29, 2014.
Faria, D., C. Martins, A.. Nanavaty, A.. Taheriand, C. Pesquita, E. Santos, I.. Cruz, and F. Couto, "AgreementMakerLight results for OAEI 2014", The Ninth International Workshop on Ontology Matching (OM-2013), 2014.
Garcia, M., A. Neves Bessani, I. Gashi, N. Ferreira Neves, and R. Obelheiro, "Analysis of operating system diversity for intrusion tolerance", Software: Practice and Experience, vol. 44, no. 6, pp. 735–770, 2014.
Fernandes, N., N. Kaklanis, K. Votis, D. Tzovaras, and L. Carriço, "An analysis of personalized web accessibility", Proceedings of the 11th Web for All Conference: ACM, pp. 19, 2014.
Johansson, R., J. Kaiser, A. Casimiro, R. Librino, K. Ö. stberg, J. Rufino, and P. Costa, "An architecture pattern enabling safety at lower cost and with higher performance", Embedded Real Time Software and Systems Conference, Toulouse, France, 2014.
Faria, D., C. Pesquita, E. Santos, I. F. Cruz, and F. Couto, "Automatic Background Knowledge Selection for Matching Biomedical Ontologies", PloS one, vol. 9, no. 11: Public Library of Science, pp. e111226, 2014.
Medeiros, I., N. Ferreira Neves, and M. Correia, "Automatic detection and correction of web application vulnerabilities using data mining to predict false positives", Proceedings of the 23rd international conference on World wide web: International World Wide Web Conferences Steering Committee, pp. 63–74, 2014.
Nicolau, H., K. Montague, T. Guerreiro, J. Guerreiro, and V. L. Hanson, "B\#: Chord-based Correction for Multitouch Braille Input", Proceedings of the 32nd Annual SIGCHI Conference on Human Factors in Computing Systems, 2014.
Bartoletti, M., I. Castellani, P-M. Deniélou, M. Dezani-ciancaglini, S. Ghilezan, J. Pantović, J. A. Pérez, P. Thiemann, B. Toninho, and H. Torres Vieira, BETTY WG2 State of the art report, , 2014.
Ancona, D., V. Bono, M. Bravetti, J. Campos, P-M. Deniélou, N. Gesbert, E. Giachino, R. Hu, E. Broch Johnsen, F. Martins, et al., "BETTY WG3–Languages: State of the Art Report", Report of the EU COST Action IC1201–Behavioural Types for Reliable Large-Scale Software Systems. www. behavioural-types. eu/publications/WG3-State-of-the-Art. pdf, 2014.
Pesquita, C., M. Cheatham, D. Faria, J. Barros, E. Santos, and F. Couto, "Building reference alignments for compound matching of multiple ontologies using OBO cross-products", Ontology Matching Workshop at ISWC 2014, 2014.

Pages