Publications

Export 2364 results:
2016
Cámara, J., A. Lopes, D. Garlan, and B. Schmerl, "Adaptation impact and environment models for architecture-based self-adaptive systems", Science of Computer Programming, vol. 127: Elsevier, pp. 50–75, 2016.
Chambel, T., R. Kaiser, O. Niamut, W. Tsang Ooi, and J. A. Redi, "AltMM 2016: 1st International Workshop on Multimedia Alternate Realities", Proceedings of the 2016 ACM on Multimedia Conference: ACM, pp. 1481–1482, 2016.
Chambel, T., R. Kaiser, O. Niamut, WT. Ooi, and JA. Redi, "AltMM 2016: First ACM International Workshop on Multimedia Alternate Realities welcome", 1st ACM International Workshop on Multimedia Alternate Realities, AltMM 2016. 16 October 2016, vii: Association for Computing Machinery, Inc, 2016.
Carmo, M. Beatriz, A. Paula Cláudio, A. Ferreira, A. Paula Afonso, P. Redweik, C. Catita, M. Centeno Brito, S. Silva, and C. Meireles, "Augmented reality for support decision on solar radiation harnessing", Computação Gráfica e Interação (EPCGI), 2016 23° Encontro Português de: IEEE, pp. 1–8, 2016.
Fonseca, A., B. Cabral, J. Rafael, and I. Correia, "Automatic parallelization: Executing sequential programs on a task-based parallel runtime", International Journal of Parallel Programming, vol. 44, no. 6: Springer, pp. 1337–1358, 2016.
M Arif, F., C. Mencía, A. Ignatiev, N. Manthey, R. Peñaloza, and J. Marques-Silva, "BEACON: An Efficient SAT-Based Tool for Debugging {\mathcal {EL}}{^+} Ontologies", International Conference on Theory and Applications of Satisfiability Testing: Springer, pp. 521–530, 2016.
Ancona, D., V. Bono, M. Bravetti, J. Campos, G. Castagna, P-M. Deniélou, S. J. Gay, N. Gesbert, E. Giachino, R. Hu, et al., "Behavioral types in programming languages", Foundations and Trends® in Programming Languages, vol. 3, no. 2-3: Now Publishers, Inc., pp. 95–230, 2016.
Henriques, R., and S. C. Madeira, "BiC2PAM: constraint-guided biclustering for biological data analysis with domain knowledge", Algorithms for Molecular Biology, vol. 11, no. 1: BioMed Central, pp. 23, 2016.
Henriques, R., and S. C. Madeira, "BicNET: Flexible module discovery in large-scale biological networks using biclustering", Algorithms for Molecular Biology, vol. 11, no. 1: BioMed Central, pp. 14, 2016.
Wang, F., G. Luo, C. Weng, A. Khan, P. Mitra, and C. Yu, Biomedical Data Management and Graph Online Querying, : Springer, 2016.
Ramos, F. M. V., J. Crowcroft, and I. H. White, "Blending photons with electrons to reduce the energy footprint of IPTV networks", IFIP Networking Conference (IFIP Networking) and Workshops, 2016: IEEE, pp. 288–296, 2016.
Aniceto, M., J. Moura Pires, N. Datia, and A. Paula Afonso, "Browsing Multidimensional Visual Entities", Information Visualisation (IV), 2016 20th International Conference: IEEE, pp. 146–151, 2016.
Khosravani, H. R., M. Del Mar Castilla, M. Berenguel, A. E. Ruano, and P. M. Ferreira, "A Comparison of Energy Consumption Prediction Models Based on Neural Networks of a Bioclimatic Building", Energies, vol. 9, pp. 57, 2016.
Mantas, A., and F. Ramos, "Consistent and fault-tolerant SDN with unmodified switches", arXiv preprint arXiv:1602.04211, 2016.
Thiemann, P., and V. T. Vasconcelos, "Context-free session types", Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming: ACM, pp. 462–475, 2016.
Domingos, D., R. Martinho, and J. Varajao, "Controlled Flexibility in Healthcare Processes: A BPMN-Extension Approach", Encyclopedia of E-Health and Telemedicine: IGI Global, pp. 521–535, 2016.
Fonseca, A., and B. Cabral, "Controlling the granularity of automatic parallel programs", Journal of Computational Science, vol. 17: Elsevier, pp. 620–629, 2016.
Khosravani, H.R.., A.E.. Ruano, and P. M. Ferreira, "A convex hull-based data selection method for data driven models", Applied Soft Computing, vol. 47, pp. 515 - 533, 2016.
Sieberts, S. K., F. Zhu, J. García-García, E. Stahl, A. Pratap, G. Pandey, D. Pappas, D. Aguilar, B. Anton, J. Bonet, et al., "Crowdsourced assessment of common genetic contribution to predicting anti-TNF treatment response in rheumatoid arthritis", Nature communications, vol. 7: Nature Publishing Group, pp. 12460, 2016.
Medeiros, I., N. Neves, and M. Correia, "DEKANT: a static analysis tool that learns to detect web application vulnerabilities", Proceedings of the 25th International Symposium on Software Testing and Analysis: ACM, pp. 1–11, 2016.
Botelho, F., T. A. Ribeiro, P. Ferreira, F. M. V. Ramos, and A. Bessani, "Design and Implementation of a Consistent Data Store for a Distributed SDN Control Plane", Dependable Computing Conference (EDCC), 2016 12th European: IEEE, pp. 169–180, 2016.
Murthy, K., S. Raj Paul, K. S. Meel, T. Cogumbreiro, J. Mellor-Crummey, and V. T. Vasconcelos, "Design and Verification of Distributed Phasers", European Conference on Parallel Processing: Springer, pp. 405–418, 2016.
Duarte, L., and L. Carriço, "Designing for geo-referenced in-situ therapeutic scenarios", Information Systems Frontiers, vol. 18, no. 1: Springer, pp. 103–123, 2016.
Medeiros, I., N. Neves, and M. Correia, "Detecting and removing web application vulnerabilities with static analysis and data mining", IEEE Transactions on Reliability, vol. 65, no. 1: IEEE, pp. 54–69, 2016.
Medeiros, I. Vitória d, Detection of vulnerabilities and automatic protection for web applications, , 2016.
Duarte, C., I. Matos, J. Vicente, A. Salvado, C. M. Duarte, and L. Carriço, "Development technologies impact in web accessibility", Proceedings of the 13th Web for All Conference: ACM, pp. 6, 2016.
Antunes, L., H. Buhrman, A. Matos, A. Souto, and A. Teixeira, "Distinguishing two probability ensembles with one sample from each ensemble", Theory of Computing Systems, vol. 59, no. 3: Springer, pp. 517–531, 2016.
Rodrigues, A., H. Nicolau, K. Montague, L. Carriço, and T. Guerreiro, "Effect of Target Size on Non-visual Text-entry", Proceedings of the 18th International Conference on Human-Computer Interaction with Mobile Devices and Services, New York, NY, USA, ACM, 2016.
Alchieri, E., A. Bessani, F. Greve, and J. Fraga, "Efficient and Modular Consensus-Free Reconfiguration for Fault-Tolerant Storage", arXiv preprint arXiv:1607.05344, 2016.
Marques-Silva, J., A. Ignatiev, C. Mencía, and R. Peñaloza, "Efficient reasoning for inconsistent horn formulae", European Conference on Logics in Artificial Intelligence: Springer, pp. 336–352, 2016.
Gouveia, I., and J. Rufino, "Enforcing Safety and Security Through Non-Intrusive Runtime Verification", the 1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems, pp. 19, 2016.
Medeiros, I., N. Neves, and M. Correia, "Equipping WAP with weapons to detect vulnerabilities", Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016.
Medeiros, I., N. Neves, and M. Correia, "Equipping WAP with WEAPONS to Detect Vulnerabilities: Practical Experience Report", Dependable Systems and Networks (DSN), 2016 46th Annual IEEE/IFIP International Conference on: IEEE, pp. 630–637, 2016.
Canato, S., J. Santos, A. Carvalho, M. Amaral, R. Matthiesen, A. Falcao, and C. Farinha, "ER quality control protein network in CF to modulate F508del-CFTR rescued", FEBS JOURNAL, vol. 283: WILEY-BLACKWELL 111 RIVER ST, HOBOKEN 07030-5774, NJ USA, pp. 138–138, 2016.
Martinho, R., D. Domingos, and A. Respicio, "Evaluating the reliability of ambient-assisted living business processes", Proceedings of the 18th International Conference on Enterprise Information Systems: SCITEPRESS-Science and Technology Publications, Lda, pp. 528–536, 2016.
Fonseca, A., and B. Cabral, "Evaluation of runtime cut-off approaches for parallel programs", International Conference on Vector and Parallel Processing: Springer, pp. 121–134, 2016.
Fonseca, A., and B. Cabral, "Evaluation of runtime cut-off approaches for parallel programs", Proceedings of the 12th International Meeting on High Performance Computing for Computational Science (VECPAR 2016). Springer, 2016.
Lamurias, A., M. J. Rodrigues, L. A. Clarke, and F. M. Couto, "Extraction of Regulatory Events using Kernel-based Classifiers and Distant Supervision", ACL 2016, pp. 88, 2016.
Ignatiev, A., A. Previti, and J. Marques-Silva, "On Finding Minimum Satisfying Assignments", International Conference on Principles and Practice of Constraint Programming: Springer, pp. 287–297, 2016.
Gonçalves, D., M. Costa, and F. M. Couto, "A Flexible Recommendation System for Cable TV", arXiv preprint arXiv:1609.02451, 2016.
Hüttel, H., I. Lanese, V. T. Vasconcelos, L. Caires, M. Carbone, P-M. Deniélou, D. Mostrous, L. Padovani, A. Ravara, E. Tuosto, et al., "Foundations of session types and behavioural contracts", ACM Computing Surveys (CSUR), vol. 49, no. 1: ACM, pp. 3, 2016.
Cogo, V. Vielmo, and A. Neves Bessani, "From Data Islands to Sharing Data in the Cloud: the Evolution of Data Integration in Biological Data Repositories", Revista ComInG-Communications and Innovations Gazette, vol. 1, no. 1, pp. 01–11, 2016.
Bastos, H. P., L. Sousa, L. A. Clarke, and F. M. Couto, "Functional coherence metrics in protein families", Journal of biomedical semantics, vol. 7, no. 1: BioMed Central, pp. 41, 2016.
Thomas, G., S. Strover, VM. Bove, T. Chambel, and P. Viana, Guest Editorial: Immersive Media Experiences, , 2016.
Medeiros, I., M. Beatriz, N. Neves, and M. Correia, "Hacking the DBMS to Prevent Injection Attacks", Proceedings of the Sixth ACM Conference on Data and Application Security and Privacy: ACM, pp. 295–306, 2016.
Rodolfo, I., N. Correia, M. Sousa, P. Sá, and C. Duarte, "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: ACM, pp. 899–909, 2016.
Canato, S., JD. Santos, AS. Carvalho, MD. Amaral, R. Matthiesen, A. Falcao, and CM. Farinha, "IDENTIFICATION OF PROTEIN FACTORS THAT REGULATE CFTR EXIT FROM THE ENDOPLASMIC RETICULUM", PEDIATRIC PULMONOLOGY, vol. 51: WILEY-BLACKWELL 111 RIVER ST, HOBOKEN 07030-5774, NJ USA, pp. 205–205, 2016.
Ruano, A. E., S. Pesteh, S. Silva, H. Duarte, G. Mestre, P. M. Ferreira, H. R. Khosravani, and R. Horta, "The IMBPC HVAC system: A complete MBPC solution for existing HVAC systems", Energy and Buildings, vol. 120: Elsevier, pp. 145–158, 2016.
Si, X., X. Zhang, V. Manquinho, M. Janota, A. Ignatiev, and M. Naik, "On incremental core-guided maxsat solving", International Conference on Principles and Practice of Constraint Programming: Springer, pp. 473–482, 2016.
Cardoso, P., D. Domingos, and A. Paula Cláudio, "Indoor Navigation Systems for Reduced Mobility Users: The w4all Case Study", Procedia Computer Science, vol. 100: Elsevier, pp. 1200–1207, 2016.
Chambel, T., "Interactive and Immersive Media Experiences", Proceedings of the 22nd Brazilian Symposium on Multimedia and the Web: ACM, pp. 1–1, 2016.
Cruz, W. Marreiro, S. Isotani, L. Carriço, and T. Guerreiro, "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: ACM, pp. 13, 2016.
Bessani, A., N. F. Neves, P. Veríssimo, W. Dantas, A. Fonseca, R. Silva, P. Luz, and M. Correia, "JITeR: Just-in-time application-layer routing", Computer Networks, vol. 104: Elsevier, pp. 122–136, 2016.
Alchieri, E. Adilio Pel, A. Bessani, F. Greve, and J. da Silva Fraga, "Knowledge Connectivity Requirements for Solving Byzantine Consensus with Unknown Participants", IEEE Transactions on Dependable and Secure Computing: IEEE, 2016.
Barros, M., F. M. Couto, and , "Knowledge Representation and Management: a linked data perspective", IMIA Yearbook: Schattauer Publishers, pp. 178–183, 2016.
Gonçalves, D., M. Costa, and F. M. Couto, "A Large-Scale Characterization of User Behaviour in Cable TV", arXiv preprint arXiv:1609.02453, 2016.
Giunti, M., and V. Thudichum Vasconcelos, "Linearity, session types and the Pi calculus", Mathematical Structures in Computer Science, vol. 26, no. 2: Cambridge University Press, pp. 206–237, 2016.
Alaluna, M., F. M. V. Ramos, and N. Neves, "(Literally) Above the clouds: Virtualizing the network over multiple clouds", NetSoft Conference and Workshops (NetSoft), 2016 IEEE: IEEE, pp. 112–115, 2016.
Coelho, J., and C. Duarte, "A literature survey on older adults' use of social network services and social applications", Computers in Human Behavior, vol. 58, pp. 187 - 205, 2016.
Ignatiev, A., A. Morgado, J. Planes, and J. Marques-Silva, "Maximal falsifiability", AI Communications, vol. 29, no. 2: IOS Press, pp. 351–370, 2016.
Mencía, C., A. Ignatiev, A. Previti, and J. Marques-Silva, "MCS extraction with sublinear oracle queries", International Conference on Theory and Applications of Satisfiability Testing: Springer, pp. 342–360, 2016.
Costa, P. A. R. S., X. Bai, F. M. V. Ramos, and M. Correia, "Medusa: An efficient cloud fault-tolerant mapreduce", Cluster, Cloud and Grid Computing (CCGrid), 2016 16th IEEE/ACM International Symposium on: IEEE, pp. 443–452, 2016.
Fonseca, A., and R. Barbosa, "MISO: An intermediate language to express parallel and dependable programs", arXiv preprint arXiv:1608.06171, 2016.
Marques, G., A. Respicio, and A. Paula Afonso, "A Mobile Recommendation System Supporting Group Collaborative Decision Making", Procedia Computer Science, vol. 96: Elsevier, pp. 560–567, 2016.
Leão, C., P. Barbosa, A. Usié, I. Chaves, A. Amaro, A. Botelho, C. Pinto, J. Inácio, K. Stevenson, and AM. Ramos, Molecular characterization of a rare pigmented Mycobacterium avium subsp. paratuberculosis Type C strain, , 2016.
Faria, D., C. Pesquita, B. S. Balasubramani, C. Martins, J. Cardoso, H. Curado, F. M. Couto, and I. F. Cruz, "OAEI 2016 results of AML.", OM@ ISWC, pp. 138–145, 2016.
Bakhshandeh, M., C. Pesquita, and J. Borbinha, "An Ontological Matching Approach for Enterprise Architecture Model Analysis", International Conference on Business Information Systems: Springer, pp. 315–326, 2016.
Cardoso, J., M. Bakhshandeh, D. Faria, C. Pesquita, and J. Borbinha, "Ontology-Based Approach for Heterogeneity Analysis of EA Models", International Conference on Business Process Management: Springer, pp. 131–142, 2016.
Lima, D., H. Miranda, and F. Taïani, "Partial Replication Policies for Dynamic Distributed Transactional Memory in Edge Clouds", Proceedings of The 1st Workshop on Middleware for Edge Clouds & Cloudlets, Colocated with ACM/IFIP/USENIX Middleware 2016, Trento, Italy, ACM, 2016.
Rodolfo, I., N. Correia, C. Duarte, C. Louro, and R. Almeida, "Perspectives on user experience for a nation-wide senior telehealth program", Proceedings of the 30th International BCS Human Computer Interaction Conference: Fusion!: BCS Learning & Development Ltd., pp. 46, 2016.
Dias, R., D. Gonçalves, and M. J. Fonseca, "PlaylistCreator: An Assisted Approach for Playlist Creation", Proceedings of the 2016 ACM on Multimedia Conference: ACM, pp. 711–713, 2016.
Carmo, M. Beatriz, A. Paula Afonso, A. Ferreira, A. Paula Cláudio, and G. Silva, "PoI Awareness, Relevance and Aggregation for Augmented Reality", Information Visualisation (IV), 2016 20th International Conference: IEEE, pp. 300–305, 2016.
Mordido, A., and C. Caleiro, Probabilistic Logic over Equations and Domain Restrictions, : PhD Thesis, IST, Universidade de Lisboa, 2016.
Ignatiev, A., A. Morgado, and J. Marques-Silva, "Propositional Abduction with Implicit Hitting Sets", arXiv preprint arXiv:1604.08229, 2016.
Ruano, A., S. Pesteh, S. Silva, H. Duarte, G. Mestre, P. M. Ferreira, H. Reza Khosravani, and R. Horta, "PVM-based intelligent predictive control of HVAC systems", 4th IFAC International Conference on Intelligent Control and Automation Sciences - ICONS'2016, Reims, France, IFAC, June, 2016.
Ruano, A., S. Pesteh, S. Silva, H. Duarte, G. Mestre, PM. Ferreira, H. Khosravani, and R. Horta, "PVM-based intelligent predictive control of HVAC systems", IFAC-PapersOnLine, vol. 49, no. 5: Elsevier, pp. 371–376, 2016.
Ignatiev, A., M. Janota, and J. Marques-Silva, "Quantified maximum satisfiability", Constraints, vol. 21, no. 2: Springer, pp. 277–302, 2016.
Janota, M., and J. Marques-Silva, "On the query complexity of selecting minimal sets for monotone predicates", Artificial Intelligence, vol. 233: Elsevier, pp. 73–83, 2016.
Jeichande, D. Ussene, and H. Miranda, Redundant firewalls for web applications, , 2016.
Respicio, A., R. Martinho, and D. Domingos, "Reliability of AAL Systems Modeled as BPMN Business Processes", International Conference on Enterprise Information Systems: Springer, pp. 535–550, 2016.
Domingos, D., A. Respicio, and R. Martinho, "Reliability of IoT-Aware BPMN Healthcare Processes", Internet of Things and Advanced Application in Healthcare: IGI Global, pp. 214, 2016.
Albrecht, S. V., B. Bouchard, J. S. Brownstein, D. L. Buckeridge, C. Caragea, K. M. Carter, A. Darwiche, B. Fortuna, Y. Francillette, S. Gaboury, et al., "Reports of the 2016 AAAI workshop program", AI Magazine, vol. 37, no. 3: AI Access Foundation, pp. 99–108, 2016.
Achichi, M., M. Cheatham, Z. Dragisic, J. Euzenat, D. Faria, A. Ferrara, G. Flouris, I. Fundulaki, I. Harrow, V. Ivanova, et al., "Results of the ontology alignment evaluation initiative 2016", CEUR workshop proceedings, vol. 1766: RWTH, pp. 73–129, 2016.
Lopes, L., and F. Martins, "A safe-by-design programming language for wireless sensor networks", Journal of Systems Architecture, vol. 63: Elsevier, pp. 16–32, 2016.
Costa, R., and F. Ramos, "An SDN-based approach to enhance BGP security", arXiv preprint arXiv:1602.06924, 2016.
Ferrolho, L., M. Alaluna, N. Neves, and F. Ramos, "Secure and dependable virtual network embedding", arXiv preprint arXiv:1602.02268, 2016.
Vavala, B., N. Neves, and P. Steenkiste, "Secure Identification of Actively Executed Code on a Generic Trusted Component", Dependable Systems and Networks (DSN), 2016 46th Annual IEEE/IFIP International Conference on: IEEE, pp. 419–430, 2016.
Ruano, AE., PM. Ferreira, H. Duarte, S. Silva, and MG. Ruano, "Self-Powered Wireless Sensor Network Designed for Energy Saving in HVAC Systems", Proceedings of the International Conference on Wireless Networks (ICWN): The Steering Committee of The World Congress in Computer Science, Computer Engineering and Applied Computing (WorldComp), pp. 36, 2016.
Garcia, M., N. Neves, and A. Bessani, "Sieveq: A layered bft protection system for critical services", IEEE Transactions on Dependable and Secure Computing: IEEE, 2016.
Ilahi, L., R. Martinho, S. Ayachi Ghannouchi, D. Domingos, and R. Rijo, "Similarity Based Approach for Comparing Home Healthcare Processes Models in Portugal", Procedia Computer Science, vol. 100: Elsevier, pp. 1250–1259, 2016.
Marques, D. H., I. Muslukhov, T. Guerreiro, L. Carriço, and K. Beznosov, "Snooping on Mobile Phones: Prevalence and Trends", Twelfth Symposium on Usable Privacy and Security (SOUPS 2016), Denver, CO, USENIX Association, 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.

Pages