MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Jorge Coelho" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

7 documents found, showing 1 through 7.

ATOM

Type-Based Static and Dynamic Website Verification
by Jorge Coelho — Proceedings of the Second International Conference on Internet and Web Applications and Services. ICIW 2007; 00:32
…Type-based Static and Dynamic Website Verification Jorge Coelho Instituto Superior de Engenharia…
Cited by 1 (0 self) – Add To MetaCart

Type-based {XML} Processing in Logic Programming
by Jorge Coelho, Mário Florido — 2003 — In PADL 2003
…Type-based XML Processing in Logic Programming Jorge Coelho 1 and Mário Florido 2 1 Instituto…
Cited by 13 (2 self) – Add To MetaCart

XCentric: A logic programming language for Xml
by Jorge Coelho, Mário Florido — 2005 — In PLAN-X
…XCentric: A logic-programming language for XML Processing Jorge Coelho 1 and Mário Florido 2 1…
Cited by 3 (2 self) – Add To MetaCart

Unification with flexible arity symbols: a typed approach
by Jorge Coelho, Mário Florido — 2006 — In Informal proceedings of the 20th International Workshop on Unification (UNIF’06
…Unification with Flexible Arity Symbols: a Typed Approach Jorge Coelho 1 and Mário Florido 2 1…
Cited by 3 (3 self) – Add To MetaCart

CLP(Flex): Constraint Logic Programming Applied to XML Processing
by Jorge Coelho, Jorge Coelho, Mario Florido, Mário Florido — 2004 — On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE. Proc. of Confederated Int. Conferences, volume 3291 of LNCS
…CLP(Flex): Constraint Logic Programming Applied to XML Processing Jorge Coelho and Mário Florido…
Cited by 16 (8 self) – Add To MetaCart

K-Means And Som, A Concurrent Validation Scheme For Data
by Mining Mauricio Sperandio, Mauricio Sperandio, Jorge Coelho — in Intelligent Engineering Systems Through Artificial Neural Network
…K-MEANS AND SOM, A CONCURRENT VALIDATION SCHEME FOR DATA MINING MAURICIO SPERANDIO JORGE COELHO…
Cited by 1 (1 self) – Add To MetaCart

Supervisão de Controladores
by Ecnica De Lisboa, Supervisao De Controladores, Paulo Jorge, Paulo Jorge Coelho Ramalho Oliveira, Maio De, Joao Jose, Santos Sentieiro, A Margarida — 1991
… Jorge Coelho Ramalho Oliveira Licenciado em Engenharia Electrotecnica e de Computadores Lisboa, Maio de…
Add To MetaCart

Showing 1 through 7.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB