Publications

Export 2271 results:
2016
Faria, D., Pesquita C., Balasubramani B. S., Martins C., Cardoso J., Curado H., et al. (2016).  OAEI 2016 results of AML.. OM@ ISWC. 138–145.
Bakhshandeh, M., Pesquita C., & Borbinha J. (2016).  An Ontological Matching Approach for Enterprise Architecture Model Analysis. International Conference on Business Information Systems. 315–326.
Cardoso, J., Bakhshandeh M., Faria D., Pesquita C., & Borbinha J. (2016).  Ontology-Based Approach for Heterogeneity Analysis of EA Models. International Conference on Business Process Management. 131–142.
Rodolfo, I., Correia N., Duarte C., Louro C., & Almeida R. (2016).  Perspectives on user experience for a nation-wide senior telehealth program. Proceedings of the 30th International BCS Human Computer Interaction Conference: Fusion!. 46.
Dias, R., Gonçalves D., & Fonseca M. J. (2016).  PlaylistCreator: An Assisted Approach for Playlist Creation. Proceedings of the 2016 ACM on Multimedia Conference. 711–713.
Carmo, M. Beatriz, Afonso A. Paula, Ferreira A., Cláudio A. Paula, & Silva G. (2016).  PoI Awareness, Relevance and Aggregation for Augmented Reality. Information Visualisation (IV), 2016 20th International Conference. 300–305.
Ignatiev, A., Morgado A., & Marques-Silva J. (2016).  Propositional Abduction with Implicit Hitting Sets. arXiv preprint arXiv:1604.08229.
Ruano, A., Pesteh S., Silva S., Duarte H., Mestre G., Ferreira PM., et al. (2016).  PVM-based intelligent predictive control of HVAC systems. IFAC-PapersOnLine. 49, 371–376.
Ruano, A., Pesteh S., Silva S., Duarte H., Mestre G., Ferreira P. M., et al. (2016).  PVM-based intelligent predictive control of HVAC systems. 4th IFAC International Conference on Intelligent Control and Automation Sciences - ICONS'2016.
Ignatiev, A., Janota M., & Marques-Silva J. (2016).  Quantified maximum satisfiability. Constraints. 21, 277–302.
Janota, M., & Marques-Silva J. (2016).  On the query complexity of selecting minimal sets for monotone predicates. Artificial Intelligence. 233, 73–83.
Jeichande, D. Ussene, & Miranda H. (2016).  Redundant firewalls for web applications.
Respicio, A., Martinho R., & Domingos D. (2016).  Reliability of AAL Systems Modeled as BPMN Business Processes. International Conference on Enterprise Information Systems. 535–550.
Domingos, D., Respicio A., & Martinho R. (2016).  Reliability of IoT-Aware BPMN Healthcare Processes. Internet of Things and Advanced Application in Healthcare. 214.
Albrecht, S. V., Bouchard B., Brownstein J. S., Buckeridge D. L., Caragea C., Carter K. M., et al. (2016).  Reports of the 2016 AAAI workshop program. AI Magazine. 37, 99–108.
Achichi, M., Cheatham M., Dragisic Z., Euzenat J., Faria D., Ferrara A., et al. (2016).  Results of the ontology alignment evaluation initiative 2016. CEUR workshop proceedings. 1766, 73–129.
Lopes, L., & Martins F. (2016).  A safe-by-design programming language for wireless sensor networks. Journal of Systems Architecture. 63, 16–32.
Costa, R., & Ramos F. (2016).  An SDN-based approach to enhance BGP security. arXiv preprint arXiv:1602.06924.
Ferrolho, L., Alaluna M., Neves N., & Ramos F. (2016).  Secure and dependable virtual network embedding. arXiv preprint arXiv:1602.02268.
Vavala, B., Neves N., & Steenkiste P. (2016).  Secure Identification of Actively Executed Code on a Generic Trusted Component. Dependable Systems and Networks (DSN), 2016 46th Annual IEEE/IFIP International Conference on. 419–430.
Ruano, AE., Ferreira PM., Duarte H., Silva S., & Ruano MG. (2016).  Self-Powered Wireless Sensor Network Designed for Energy Saving in HVAC Systems. Proceedings of the International Conference on Wireless Networks (ICWN). 36.
Garcia, M., Neves N., & Bessani A. (2016).  Sieveq: A layered bft protection system for critical services. IEEE Transactions on Dependable and Secure Computing.
Ilahi, L., Martinho R., Ghannouchi S. Ayachi, Domingos D., & Rijo R. (2016).  Similarity Based Approach for Comparing Home Healthcare Processes Models in Portugal. Procedia Computer Science. 100, 1250–1259.
Marques, D. H., Muslukhov I., Guerreiro T., Carriço L., & Beznosov K. (2016).  Snooping on Mobile Phones: Prevalence and Trends. Twelfth Symposium on Usable Privacy and Security (SOUPS 2016).
Janota, M., Klieber W., Marques-Silva J., & Clarke E. (2016).  Solving QBF with counterexample guided refinement. Artificial Intelligence. 234, 1–25.

Pages