Publications

Export 2272 results:
2014
Pesquita, C., D. Faria, E. Santos, J-M. Neefs, and F. Couto, "Towards visualizing the alignment of large biomedical ontologies", Data Integration in the Life Sciences (DILS), 2014.
Vasconcelos, V. T., F. Martins, E. R. B. Marques, H. A. López, C. Santos, and N. Yoshida, Type-based verification of message-passing parallel programs, , 2014.
Padovani, L., V. T. Vasconcelos, and H. Torres Vieira, "Typing liveness in multiparty communicating systems", Coordination Models and Languages: Springer Berlin Heidelberg, pp. 147–162, 2014.
Leal, A., D. Gonçalves, B. Martins, and F. Couto, "ULisboa: Identification and Classification of Medical Concepts", SemEval 2014, pp. 711, 2014.
Asif, M., I.. Conceição, C.. Café, J.. Almeida, S.. Mouga, G.. Oliveira, F. Couto, and A.. Vicente, "Use of machine learning approaches to explore genetic and phenotypic associations for Autism Spectrum Disorder", 18th Meeting of The Portuguese Society of Human Genetics (SPGH), 2014.
Dias, R., R. Cunha, and M. J. Fonseca, "A User-centered Music Recommendation Approach for Daily Activities", CBRecSys 2014, pp. 26, 2014.
Norman, R., and F. Couto, "Using Google Scholar to predict self citation: A case study in Health Economics", arXiv preprint arXiv:1406.5241, 2014.
Casimiro, A., O. Morales Ponce, T. Petig, and E. M. Schiller, "Vehicular Coordination via a Safety Kernel in the Gulliver Test-Bed", Distributed Computing Systems Workshops (ICDCSW), 2014 IEEE 34th International Conference on: IEEE, pp. 167–176, 2014.
Moitinho, A.., T.. Mendes, B.. Rodrigues, M.. Gomes, A.. Krone-Martins, and F. Couto, "VEJA - Visual Exploration Just Anywhere", International Astronomical Union Symposium (IAUS), 2014.
Carmo, M. Beatriz, A. Claudio, A. Ferreira, A. Paula Afonso, P. Redweik, C. Catita, M. Brito, and J. Pedrosa, "Visualization of solar radiation data in augmented reality", ISMAR: Proceedings of the 17th international symposium on Mixed and augmented reality: IEEE, pp. 255–256, 2014.
Jorge, A., and T. Chambel, "Visualizations in Time for a New Look at the Movies", International Journal of Creative Interfaces and Computer Graphics (IJCICG), vol. 5, no. 2: IGI Global, pp. 40–61, 2014.
Gonçalves, T., A. Paula Afonso, and B. Martins, "Visualizing Human Trajectories: Comparing Space-Time Cubes and Static Maps", Proceedings of the 28th International BCS Human Computer Interaction Conference on HCI 2014-Sand, Sea and Sky-Holiday HCI: BCS, pp. 207–212, 2014.
Duarte, C., L. Carriço, D. Costa, D. Costa, A. O. Falcao, and L. Tavares, "Welcoming gesture recognition into autism therapy", CHI'14 Extended Abstracts on Human Factors in Computing Systems: ACM, pp. 1267–1272, 2014.
Marques, D. H., L. Carriço, T. Guerreiro, A. De Luca, P. Maes, I. Muslukhov, I. Oakley, and E. von Zezschwitz, "Workshop on inconspicuous interaction", CHI'14 Extended Abstracts on Human Factors in Computing Systems: ACM, pp. 91–94, 2014.
Marques, D. H., L. Carriço, T. Guerreiro, A. De Luca, P. Maes, I. Muslukhov, I. Oakley, and E. von Zezschwitz, Workshop on lnconspicuous Interaction, , 2014.
2013
Biswas, P., P. Langdon, C. Duarte, J. Coelho, T. Guerreiro, and C. Jung, "An accessible, adaptive and multimodal digital TV framework and corresponding development tool", Science and Information Conference (SAI), 2013: IEEE, pp. 28–37, 2013.
Oliveira, E., P. Martins, and T. Chambel, "Accessing movies based on emotional impact", Multimedia systems, vol. 19, no. 6: Springer Berlin Heidelberg, pp. 559–576, 2013.
Faria, D., C. Pesquita, E. Santos, M. Palmonari, I. F. Cruz, and F. Couto, "The agreementmakerlight ontology matching system", On the Move to Meaningful Internet Systems: OTM 2013 Conferences: Springer Berlin Heidelberg, pp. 527–541, 2013.
Faria, D., C. Pesquita, E. Santos, I. F. Cruz, and F. Couto, "AgreementMakerLight Results for OAEI 2013", Ontology Matching, pp. 101, 2013.
Faria, D., C. Pesquita, E. Santos, I. F. Cruz, and F. Couto, "AgreementMakerLight results for OAEI 2013.", OM, pp. 101–108, 2013.
Souza, J. L. R., and J. Rufino, "Analysing and reducing network inaccessibility in IEEE 802.15. 4 wireless communications", Local Computer Networks (LCN), 2013 IEEE 38th Conference on: IEEE, pp. 532–540, 2013.
Bastos, H., L. A. Clarke, and F. Couto, "Annotation extension through protein family annotation coherence metrics", Frontiers in genetics, vol. 4: Frontiers Media SA, 2013.
de Lemos, R., C. Ghezzi, A. Lopes, and , Assurances for Self-adaptive Systems: Principles, Models, and Techniques, : Springer Publishing Company, Incorporated, 2013.
Nicolau, H., K. Montague, J. Guerreiro, D. H. Marques, T. Guerreiro, C. Stewart, and VL. Hanson, "Augmenting Braille Input through MultiTouch Feedback", Proc. of UIST 2013 - the 26th ACM Symposium on User Interface Software and Technology, 2013.
Teixeira, A. L., J. P. Leal, and A. O. Falcao, "Automated Identification and Classification of Stereochemistry: Chirality and Double Bond Stereoisomerism", arXiv preprint arXiv:1303.1724, 2013.
Leal, J. P., A. O. Falcao, and A. L. Teixeira, Automated Identification and Classification of Stereochemistry: Chirality and Double Bond Stereoisomerism, , 2013.
Couto, F., D. Faria, B. Tavares, P. Gonçalves, and P. Verissimo, "Benchmarking some Portuguese S&T system research units", arXiv preprint arXiv:1302.0420, 2013.
Couto, F., D. Faria, B. Tavares, P. Gonçalves, and P. Verissimo, "Benchmarking some Portuguese S&T system research units: 2nd Edition", arXiv preprint arXiv:1302.0420, 2013.
Lima, R., C. Baquero, and H. Miranda, "Broadcast cancellation in search mechanisms", Proceedings of the 28th Annual ACM Symposium on Applied Computing: ACM, pp. 548–553, 2013.
Duarte, C., D. Costa, P. Feiteira, and D. Costa, "Building an Adaptive Multimodal Framework for Resource Constrained Systems", A Multimodal End-2-End Approach to Accessible Computing: Springer London, pp. 155–173, 2013.
Moniz, H., N. Ferreira Neves, and M. Correia, "Byzantine fault-tolerant consensus in wireless ad hoc networks", Mobile Computing, IEEE Transactions on, vol. 12, no. 12: IEEE, pp. 2441–2454, 2013.
Duarte, L., and L. Carriço, "The cake can be a lie: placebos as persuasive videogame elements", CHI'13 Extended Abstracts on Human Factors in Computing Systems: ACM, pp. 1113–1118, 2013.
Rufino, J., and J. L. R. Souza, Characterization of Network Inaccessibility in IEEE 802.15. 4 Wireless Networks, , 2013.
Lamurias, A., T. Grego, and F. Couto, "Chemical compound and drug name recognition using CRFs and semantic similarity based on ChEBI", BioCreative Challenge Evaluation Workshop, vol. 2, pp. 75, 2013.
Couto, F., "CIDS country rankings: comparing documents and citations of USA, UK and China top researchers", arXiv preprint arXiv:1310.5597, 2013.
Gonçalves, T., A. Paula Afonso, M. Beatriz Carmo, and P. Pombinho, "Comparison of off-screen visualization techniques with representation of relevance on mobile devices", Proceedings of the 27th International BCS Human Computer Interaction Conference: British Computer Society, pp. 9, 2013.
L Lourenço, M., J. Costa Seco, and F. Martins, "Concurrent typed intermediate language", Proceedings of the 28th Annual ACM Symposium on Applied Computing: ACM, pp. 1587–1588, 2013.
Chambel, T., T. Langlois, P. Martins, N. Gil, N. Silva, and E. Duarte, "Content-based search overviews and exploratory browsing of movies with MovieClouds", International Journal of Advanced Media and Communication, vol. 5, no. 1: Inderscience Publishers, pp. 58–79, 2013.
Cogumbreiro, T., F. Martins, and V. T. Vasconcelos, "Coordinating phased activities while maintaining progress", Coordination Models and Languages: Springer Berlin Heidelberg, pp. 31–44, 2013.
Casimiro, A., D2. 5-Definition of failure modes and failure semantics, , 2013.
Rufino, J., J. Souza, E. Michael Schiller, L. Marques, A. Guerreiro, R. Caldeira, and D. Skarin, D3. 2–Final Report on Network Characteristics and Coordination Techniques, , 2013.
Steup, C., T. Brade, J. Rufino, J. L. R. Souza, R. Caldeira, and A. Guerreiro, D3. 3–Working prototype of adaptive middleware, , 2013.
Rufino, J., D4. 2–First Report on Safety Kernel Definition, , 2013.
Bundy, A., D. Hutter, C. B. Jones, S. J Moore, P. Feiler, J. Hugues, O. Sokolsky, R. Kapitza, M. Schunter, M. Shapiro, et al., Dagstuhl Reports, Vol. 2, Issue 7 ISSN 2192-5283, , 2013.
Bessani, A. Neves, M. Correia, B. Quaresma, F. André, and P. Sousa, "DepSky: dependable and secure storage in a cloud-of-clouds", ACM Transactions on Storage (TOS), vol. 9, no. 4: ACM, pp. 12, 2013.
Brun, Y., R. Desmarais, K. Geihs, M. Litoiu, A. Lopes, M. Shaw, and M. Smit, "A design space for self-adaptive systems", Software Engineering for Self-adaptive Systems II: Springer Berlin Heidelberg, pp. 33–50, 2013.
Coelho, J., T. Guerreiro, and C. Duarte, "Designing TV Interaction for the Elderly–A Case Study of the Design for All Approach", A Multimodal End-2-End Approach to Accessible Computing: Springer London, pp. 49–69, 2013.
Fernandes, F., L. Duarte, and L. Carriço, "DETACH: authoring digital therapeutic artefacts", Proceedings of the 7th International Conference on Pervasive Computing Technologies for Healthcare: ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), pp. 268–269, 2013.
Done, W. Have You, E-biobanking, , 2013.
Bessani, A. Neves, M. Santos, J. Felix, N. Ferreira Neves, and M. Correia, "On the Efficiency of Durable State Machine Replication.", USENIX Annual Technical Conference, pp. 169–180, 2013.
Veronese, G. Santos, M. Correia, A. Neves Bessani, C. L Lung, and P. Verissimo, "Efficient byzantine fault-tolerance", Computers, IEEE Transactions on, vol. 62, no. 1: IEEE, pp. 16–30, 2013.
Antunes, P., D. Simões, L. Carriço, and J. A. Pino, "An end-user approach to business process modeling", Journal of Network and Computer Applications, vol. 36, no. 6: Academic Press, pp. 1466–1479, 2013.
Gomes, J. M. A., T. Chambel, and T. Langlois, "Engaging Users in Audio Labelling as a Movie Browsing Game with a Purpose", Advances in Computer Entertainment: Springer International Publishing, pp. 296–307, 2013.
Grego, T., and F. Couto, "Enhancement of chemical entity identification in text using semantic similarity validation", PloS one, vol. 8, no. 5: Public Library of Science, pp. e62984, 2013.
Machado, C. M., A. T. Freitas, and F. Couto, "Enrichment analysis applied to disease prognosis.", J. Biomedical Semantics, vol. 4, pp. 21, 2013.
Martins, N. Dias, C. Santos, E. R. B. Marques, F. Martins, and V. T. Vasconcelos, "Especificação e Verificação de Protocolos para Programas MPI", INFORUM, 2013.
Fernandes, N., D. Costa, C. Duarte, and L. Carriço, "Evaluating the Accessibility of Adaptive TV based Web applications", A Multimodal End-2-End Approach to Accessible Computing: Springer London, pp. 177–194, 2013.
Martins, R., R. Gandhi, P. Narasimhan, S. Pertet, A. Casimiro, D. Kreutz, and P. Verissimo, "Experiences with fault-injection in a Byzantine fault-tolerant protocol", Middleware 2013: Springer Berlin Heidelberg, pp. 41–61, 2013.
Ferreira, J., J. Hastings, and F. Couto, "Exploiting disjointness axioms to improve semantic similarity measures", Bioinformatics, vol. 29, no. 21: Oxford University Press, pp. 2781–2787, 2013.
Cabrita, C. L., A. E. Ruano, P. M. Ferreira, and L. T. Kóczy, "Exploiting the Functional Training Approach in Takagi-Sugeno Neuro-fuzzy Systems", Soft Computing Applications, Balas, Valentina Emilia and Fodor, János and Várkonyi-Kóczy, Annamária R. and Dombi, Joszef and Jain, Lakhmi C., vol. 195, no. Advances in Intelligent Systems and Computing: Springer Berlin Heidelberg, pp. 543–559, 2013.
Jorge, A., and T. Chambel, "Exploring movies through interactive visualizations", Proceedings of the 27th International BCS Human Computer Interaction Conference: British Computer Society, pp. 50, 2013.
Costa, P., M. Pasin, A. Neves Bessani, and M. Correia, "Fac. de Cienc., Univ. de Lisboa, Lisbon, Portugal", Dependable and Secure Computing, IEEE Transactions on, vol. 10, no. 5: IEEE, pp. 301–313, 2013.
Mariano, P., F. M. V. Ramos, and H. Torres Vieira, FCUL Rally Pro 2013, , 2013.
Botelho, F., F. M. V. Ramos, D. Kreutz, and A. Neves Bessani, "On the feasibility of a consistent and fault-tolerant data store for SDNs", Software Defined Networks (EWSDN), 2013 Second European Workshop on: IEEE, pp. 38–43, 2013.
Rodrigues, I., L. Duarte, and T. Guerreiro, Ferramentas Contextuais para Pessoas Cegas, , 2013.
Marques, L., and A. Casimiro, "Fighting Uncertainty in Highly Dynamic Wireless Sensor Networks with Probabilistic Models", Reliable Distributed Systems (SRDS), 2013 IEEE 32nd International Symposium on: IEEE, pp. 31–40, 2013.
Marques, E. R. B., "Fine-grained patches for Java software upgrades", HotSWUp'13: USENIX, 2013.
Cogo, V. Vielmo, A. Nogueira, J. Sousa, M. Pasin, H. P. Reiser, and A. Neves Bessani, "FITCH: Supporting Adaptive Replicated Services in the Cloud", Distributed Applications and Interoperable Systems: Springer Berlin Heidelberg, pp. 15–28, 2013.
Domingos, D., R. Martinho, and C. Cândido, "Flexibility in cross-organizational ws-bpel business processes", Procedia Technology, vol. 9: Elsevier, pp. 584–595, 2013.
Fernandes, F., L. Duarte, and L. Carriço, "Flow Specification Patterns of End-User Programmers: lessons learnt from a health mobile application authoring environment design", Human-Computer Interaction–INTERACT 2013: Springer Berlin Heidelberg, pp. 748–755, 2013.
Ferreira, P. M., I. D. Cuambe, A. E. Ruano, and R. Pestana, "Forecasting the Portuguese Electricity Consumption using Least-Squares Support Vector Machines", ICONS'2013, 3rd IFAC Int. Conference on Intelligent Control and Automation Science: IFAC, pp. 406–411, 2013.
Gomes, J., F. Silva, and T. Chambel, "Genetic Soundtracks: Creative Matching of Audio to Video", arXiv preprint arXiv:1304.2671, 2013.
Zamite, J., D. Domingos, M. J. Silva, and C. Santos, "Group-based discretionary access control for epidemiological resources", Procedia Technology, vol. 9: Elsevier, pp. 1149–1158, 2013.
Cruz, N., and H. Miranda, "A Hybrid Trust and Trade Service for Mobile Collaborative Computing", Next Generation Mobile Apps, Services and Technologies (NGMAST), 2013 Seventh International Conference on: IEEE, pp. 1–6, 2013.
Ramalho, J., and T. Chambel, "Immersive 360 mobile video with an emotional perspective", Proceedings of the 2013 ACM international workshop on Immersive media experiences: ACM, pp. 35–40, 2013.
Chambel, T., M. V Bove, S. Strover, P. Viana, and G. Thomas, "Immersive media experiences: immersiveme 2013 workshop at ACM multimedia", Proceedings of the 21st ACM international conference on Multimedia: ACM, pp. 1095–1096, 2013.
Costa, D., and C. Duarte, "Improving Interaction with TV-Based Applications through Adaptive Multimodal Fission", Emerging Research and Trends in Interactivity and the Human-Computer Interface: IGI Global, pp. 54, 2013.
Guerreiro, A., J. L. R. Souza, and J. Rufino, "Improving ns-2 network simulator for ieee 802.15. 4 standard operation", 5th Simpósio de Informática (INFORUM), 2013.
Hijón-Neira, R., Á. Velázquez-Iturbide, C. Pizarro-Romero, and L. Carriço, "Improving Students Learning Programming Skills with ProGames–Programming through Games System", Human-Computer Interaction–INTERACT 2013: Springer Berlin Heidelberg, pp. 579–586, 2013.
Carmo, M. Beatriz, A. Claudio, A. Ferreira, A. Paula Afonso, and R. Simplicio, "Improving symbol salience in augmented reality", GRAPP: 8th international joint conference on Computer vision, imaging and computer graphics theory and applications, pp. 367–372, 2013.
Mendonca, M., and N. Ferreira Neves, "Intercept: Profiling Windows Network Device Drivers", Dependable Computing: Springer Berlin Heidelberg, pp. 61–75, 2013.
Fiadeiro, J. Luiz, and A. Lopes, "An interface theory for service-oriented design", Theor. Comput. Sci., vol. 503, pp. 1–30, 2013.
Garcia, M., N. Ferreira Neves, and A. Neves Bessani, "An intrusion-tolerant firewall design for protecting SIEM systems", 2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W): IEEE, pp. 1–7, 2013.
Carriço, L., L. Duarte, and I. Sá, "In-Vivo Therapy Procedures: Design Process of a Geo-Referenced System", Collaboration and Technology: Springer Berlin Heidelberg, pp. 257–273, 2013.
Leite, F. Fernando V., N. Guimarães, and P. Antunes, Judicial Dialogue-Graphic Narrative Perspective (Computing Environments and ICT Law/Con. ict Res-olution in Virtual Locations), , 2013.
Casimiro, A., KARY N, , 2013.
Casimiro, A., J. Kaiser, E. M. Schiller, P. Costa( GMV), J. Parizi, R. Johansson, and R. Librino, "The karyon project: Predictable and safe coordination in cooperative vehicular systems", Dependable Systems and Networks Workshop (DSN-W), 2013 43rd Annual IEEE/IFIP Conference on: IEEE, pp. 1–12, 2013.
Grego, T., F. Pinto, and F. Couto, "LASIGE: using conditional random fields and chebi ontology", Proceedings of SemEval, pp. 660–666, 2013.
Giunti, M., and V. T. Vasconcelos, "Linearity, session types and the pi calculus", Mathematical Structures in Computer Science: Cambridge University Press, pp. 1–32, 2013.
Pinto, J.., P.S.. Dias, R.. Martins, J.. Fortuna, E. R. B. Marques, and J.. Sousa, "The LSTS Toolchain for Networked Vehicle Systems", IEEE/MTS Oceans'13: IEEE, 2013.
Alves, J., A. Casimiro, and L. Marques, "Middleware support for adaptive real-time applications in wireless sensor networks", Dependable Computing: Springer Berlin Heidelberg, pp. 16–23, 2013.
Ramos, F. M. V., "Mitigating IPTV zapping delay", Communications Magazine, IEEE, vol. 51, no. 8: IEEE, pp. 128–133, 2013.
Cruz, N., H. Miranda, and P. Ribeiro, "A mobilidade dos utilizadores da eduroam ao longo dos anos", Atas do 5o Simpósio de Informática (INForum 2013), Évora, Portugal, Universidade de Évora, 2013.
Fiadeiro, J. Luiz, and A. Lopes, "A model for dynamic reconfiguration in service-oriented architectures", Software & Systems Modeling, vol. 12, no. 2: Springer-Verlag, pp. 349–367, 2013.
Lima, D., D. Domingos, H. Miranda, and C. Fontana, "Modelos de Publicação/Subscrição na Internet of Things", Atas do 5o Simpósio de Informática (INForum 2013), Évora, Portugal, Universidade de Évora, 2013.
Biswas, P., C. Duarte, P. Langdon, L. Almeida, and C. Jung, A Multimodal End-2-End Approach to Accessible Computing, : Springer, 2013.
Ferreira, P. M., J. M. Gomes, I. A. C. Martins, and A. E. Ruano, "A Neural Network Based Intelligent Predictive Sensor for Cloudiness, Solar Radiation and Air Temperature", Sensors, vol. 13, no. 7: Multidisciplinary Digital Publishing Institute, pp. 9547–9548, 2013.
Correia, J. Vitor, L. Romão, S. Rosado Ganhão, M. Couceiro da Costa, A. Santos Guerreiro, D. Pereira Henriques, S. Garcia, C. Albuquerque, M. Beatriz Carmo, A. Paula Cláudio, et al., "A New Extended Perspective System for Architectural Drawings", Global Design and Local Materialization: Springer Berlin Heidelberg, pp. 63–75, 2013.
Couto, F., and S. H Pinto, "The next generation of similarity measures that fully explore the semantics in biomedical ontologies", Journal of bioinformatics and computational biology, vol. 11, no. 05: The Authors, 2013.
Teixeira, A. L., and A. O. Falcao, "Noncontiguous atom matching structural similarity function", Journal of chemical information and modeling, vol. 53, no. 10: American Chemical Society, pp. 2511–2524, 2013.

Pages