Jorge Manuel Neves Coelho

Integrated member

jmn@isep.ipp.pt PhD
Research Interests: Distributed Systems eHealth Applications of Declarative Programming

Jorge Coelho holds a PhD in Computer Science (University of Porto, 2007), a MSc in Informatics – Systems and Networks (University of Porto, 2002) and is graduated in Computer Science (University of Porto, 2000). He is an Assistant Professor at DEI/ISEP/IPP (Polytechnic of Porto). His main research interests include Distributed Systems, eHealth and applications of Declarative Programming Languages. He supervised several thesis on this area and collaborated on several research projects. He has several publications on major conferences and journals.

  • Ferreira, A., Coelho, J. and Nogueira, N. (2018). Wearables with Heart Rate Monitors and Dynamic Workout Plans. 14th International Wireless Communications & Mobile Computing Conference, IWCMC 2018, Limassol, Cyprus, June 25-29, 2018 (pp. 376–381)

  • Alves, T., Coelho, J. and Nogueira, L. (2018). Content Generation for Massively Multiplayer Online Games with Genetic Algorithms. Applied Computational Intelligence and Mathematical Methods (pp. 37–49)

  • Alves, T. and Coelho, J. (2016). A Framework for Massively Multiplayer Online Game Content Generation. 30th IEEE International Conference on Advanced Information Networking and Applications, AINA 2016, Crans-Montana, Switzerland, 23-25 March, 2016 (pp. 834–841)

  • Nogueira, L. and Coelho, J. (2015). User-centric cloud intermediation services. Studies in Computational Intelligence, 570, pp. 147-153

  • Nogueira, L. and Coelho, J. (2015). Passive Fault-Tolerance Management in Component-Based Embedded Systems. Computing and Informatics, 34 (1), pp. 23–44

  • Nogueira, L. and Coelho, J. (2014). User-Centric Cloud Intermediation Services. Intelligent Distributed Computing VIII - Proceedings of the 8th International Symposium on Intelligent Distributed Computing, IDC 2014, Madrid, Spain, September 3-5, 2014 (pp. 147–153)

  • Nogueira, L. and Coelho, J. (2014). Service-wide adaptations in distributed embedded component-based systems. Studies in Computational Intelligence, 511, pp. 141-150

  • Nogueira, L. and Coelho, J. (2013). Service-Wide Adaptations in Distributed Embedded Component-Based Systems. Intelligent Distributed Computing VII - Proceedings of the 7th International Symposium on Intelligent Distributed Computing, IDC 2013, Prague, Czech Republic, September 2013 (pp. 141–150)

  • Alexandre, L. and Coelho, J. (2012). A High Level Approach to Web Content Verification. Advances in Computer Science, Engineering & Applications (pp. 755-764)

  • Nogueira, L., Pinho, L. M. and Coelho, J. (2012). A feedback-based decentralised coordination model for distributed open real-time systems. Journal of Systems and Software, 85 (9), pp. 2145–2159

  • Alexandre, L. and Coelho, J. (2011). XCentric-based Visual Approach to Web Content Verification. 9ª XML: Aplicações e Tecnologias Associadas

  • Coelho, J. and Florido, M. (2011). Semantic Verification in an Open Collaboration Scenario. Future Information Technology (pp. 44-53)

  • Alexandre, L. and Coelho, J. (2011). Filtering XML content for publication and presentation on the web. Sixth IEEE International Conference on Digital Information Management, ICDIM 2011, Melbourne, Australia, September 26-28, 2011 (pp. 85–89)

  • Nogueira, L., Pinho, L. M. and Coelho, J. (2010). Flexible and Dynamic Replication Control for Interdependent Distributed Real-Time Embedded Systems. Distributed, Parallel and Biologically Inspired Systems - 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings (pp. 66–77)

  • Coelho, J., Dundua, B., Florido, M. and Kutsia, T. (2010). A Rule-Based Approach to XML Processing and Web Reasoning. RR (pp. 164–172)

  • Nogueira, L., Pinho, L. M. and Coelho, J. (2009). Coordinated Runtime Adaptations in Cooperative Open Real-Time Systems. Proceedings IEEE CSE’09, 12th IEEE International Conference on Computational Science and Engineering, August 29-31, 2009, Vancouver, BC, Canada (pp. 285–294)

  • Coelho, J., Florido, M. and Kutsia, T. (2009). Collaborative Schema Construction using Regular Sequence Types. IRI (pp. 290–295)

  • Coelho, J. and Florido, M. (2008). XCentric: Constraint based XML Processing. Proceedings of XML: Applications and Associated Technologies (XATA 2008) (pp. 64)

  • Coelho, J., Florido, M. and Kutsia, T. (2008). Sequence Disunification and one Application to Collaborative Schema Construction. Days in Logic

  • Coelho, J. and Pinho, L.. (2008). Functional Languages: Hume. ARTIST Survey of Programming Languages Edited by Alan Burns. 2008. r̆lhttp://www-users.cs.york.ac.uk/~burns/papers/Hume_v2.pdf

  • Coelho, J. and Pinho, L.. (2008). Functional Languages: Erlang. ARTIST Survey of Programming Languages Edited by Alan Burns. 2008. r̆lhttp://www-users.cs.york.ac.uk/~burns/papers/Erlang_v2.pdf

  • Coelho, J. (2007). XML Processing in Logic Programming. (Doctoral dissertation, Faculty of Sciences, University of Porto)

  • Coelho, J. and Florido, M. (2007). XCentric: logic programming for XML processing. WIDM (pp. 1–8)

  • Coelho, J. and Florido, M. (2007). XCentric: A Logic-Programming Language for XML Processing. PLAN-X (pp. 93–94)

  • Coelho, J. and Florido, M. (2007). Type-Based Static and Dynamic Website Verification. ICIW (pp. 32)

  • Coelho, J., Florido, M. and Kutsia, T. (2007). Sequence Disunification and Its Application in Collaborative Schema Construction. WISE Workshops (pp. 91–102)

  • Coelho, J. and Florido, M. (2006). VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content. APWeb Workshops (pp. 148–156)

  • Coelho, J. and Florido, M. (2006). Unification with flexible arity symbols: a typed approach. UNIF06: 20th International Workshop on Unification, pp. 74

  • Coelho, J. and Florido, M. (2005). XML PRocessing in Logic Programming. XATA2005, XML: Aplicações e Tecnologias Associadas (Vila Verde, Braga, 10 e 11 de Fevereiro de 2005)

  • Coelho, J. and Florido, M. (2004). CLP(Flex): Constraint Logic Programming Applied to XML Processing. CoopIS/DOA/ODBASE (2) (pp. 1098–1112)

  • Coelho, J. and Florido, M. (2003). Type-Based XML Processing in Logic Programming. PADL (pp. 273–285)

  • Coelho, J. (2002). Processamento de XML em Programação em Lógica. (Master’s Thesis, Faculdade de Ciências da Universidade do Porto)

Elven

This member hasn't supervisions

Information not available