- Liliana Alexandre and Jorge Coelho, Filtering XML Content for Publication and Presentation on the Web. Sixth IEEE International Conference on Digital Information Management, The University of Melbourne,Australia. IEEE 2011
- Liliana Alexandre and Jorge Coelho, XCentric-based Visual Approach to Web Content Verification, 9ª XML: Aplicações e Tecnologias Associadas, Escola Superior de Estudos Industriais e de Gestão, Vila do Conde, 1 e 2 de Julho 2011; 71-82
- Jorge Coelho and Mário Florido. Semantic Verification in an Open Collaboration Scenario. Future Information Technology 2011. Communications in Computer and Information Science 185, Springer Verlag 2011
- Jorge Coelho, Besik Dundua, Mário Florido and Temur
Kutsia. A Rule-Based Approcah to XML Processing and Web Reasoning. Web
reasoning and Rule Systems (RR 2010). Lecture Notes in Computer
Science, Springer Verlag.
- Luis Nogueira, Luis Miguel Pinho and Jorge Coelho. Flexible
and Dynamic Replication Control for Interdependent Distributed
Real-Time Embedded Systems. DIPES/BICC 2010, IFIP AICT 329, pp. 63-74
@IFIP International Federation for Information Processing 2010.
- Luis Nogueira, Luis Miguel Pinho and
Jorge Coelho.
Coordinated Runtime Adaptations in Cooperative Open Real-Time Systems.
7th IEEE/IFIP International Conference on Embedded and Ubiqutious
Computing (EUC-09)
- Jorge Coelho, Mário Florido and Temur Kutsia.
Collaborative Schema Construction using Regular Sequence Types. IEEE
International Conference on Information Reuse and Integration, IRI 2009
- Jorge Coelho and Mário Florido. XCentric: Constraint
based XML Processing Actas da 6ª Conferência Nacional de
XML: Aplicações e Tecnologias Associadas (XATA 2008),
Évora, Portugal, 13 e 14 de Fevereiro de 2008
- Jorge Coelho and Mário Florido. Sequence
Disunification and one Application to Collaborative Schema
Construction. Days in Logic 2008, Instituto Superior Técnico,
Lisboa, Portugal, 16 a 18 de Janeiro de 2008
- Jorge Coelho and Mario Florido. XCentric: Logic Programming
for XML Processing. 9th ACM International Workshop on Web Information
and Data Management. ACM Press, 2007.
- Jorge Coelho, Mário Florido and Temur Kutsia.
Sequence Disunification and its Application in Collaborative Schema
Construction. WISE 2007 Workshops. Lecture Notes in Computer Science
4832, Springer Verlag 2007.
- Jorge Coelho and Mário Florido. Type-based Static
and Dynamic Website Verification. Proceedings of the 2nd International
Conference on Internet and Web Applications and Services (ICIW'07),
IEEE Computer Society Press, 2007. pdf
- Jorge Coelho and Mário Florido. XCentric: A Logic
Programming Language for XML Processing (Software Demo). ACM SIGPLAN
Workshop on Programming Language Technologies for XML (PLAN-X 2007),
Nice, France, January 20, 2007. pdf
- Jorge Coelho and Mário Florido. Unification with
Flexible Arity Symbols: a Typed Approach. 20th International Workshop
on Unification, Seattle, USA, August 11, 2006. pdf
- Jorge Coelho and Mário Florido. VeriFlog:
Constratint Logic Programming Applied to Verification of Website
Content. Advanced Web and Network Technologies, and Applications,
Lecture Notes in Computer Science 3842, January 2006, (LNCS
3842) © Springer-Verlag. ISBN 3-540-31158-0. pdf
- Jorge Coelho and Mário Florido. XML Processing and
Logic Programming. XML Applications and Associated Technologies (XATA
2005), Braga, Portugal, 2005, pp 240-252, ISBN 972-99166-1-6. pdf
- Jorge Coelho and Mário Florido. CLP(Flex):
Constraint Logic Programming Applied to XML Processing. On The Move
to Meaningful Internet Systems - ODBASE, October 2004, (LNCS
3291) © Springer-Verlag. ISBN:
3-540-23662-7 pdf
- J. Coelho and M. Florido. Type-based XML Processing in Logic Programming. Proceedings of the Fifth
International Symposium on Practical Aspects of
Declarative Languages (PADL'03), New
Orleans, USA January 2003, Springer Verlag (LNCS
2562), © Springer-Verlag. ISBN
3-540-00389-4 pdf
- Jorge Coelho and Luís Pinho. Functional Languages:
Hume. ARTIST Survey of Programming Languages Edited by Alan Burns.
2008. http://www-users.cs.york.ac.uk/~burns/papers/Hume_v2.pdf
pdf
- Jorge Coelho and Luís Pinho. Functional Languages:
Erlang. ARTIST Survey of Programming Languages Edited by Alan Burns.
2008. http://www-users.cs.york.ac.uk/~burns/papers/Erlang_v2.pdf pdf
|