Knowledge-Based Systems for power system control centers: validation and verification? - Zita A. Vale; Carlos Ramos 001; Jorge Santos 001; M. Fernanda Fernandes; Couto Rosado; Albino Marques (EUROVAV, 1998)

Validation and Verification of Knowlege-Based Systems for Power Systzem Control Centres. - Jorge Santos 001; Carlos Ramos 001; Zita A. Vale; Albino Marques (EUROVAV, 1999)

VERITAS - A Verification Tool for Real-Time Applications in Power System Control Centers. - Jorge Santos 001; Luíz Faria; Carlos Ramos 001; Zita A. Vale; Albino Marques (FLAIRS, 1999)

An Expert System for Intelligent Information Processing in Portuguese Power System Control Centers. - Zita A. Vale; Carlos Ramos 001; Luíz Faria; Jorge Santos 001; Nuno Malheiro; António Silva 001; Albino Marques (ICEIS, 1999)

VERITAS - An Application for Knowledge Verification. - Jorge Santos 001; Carlos Ramos 001; Zita A. Vale; Albino Marques (ICTAI, 1999)

Enabling Client-Server Explanation Facilities in a Real-Time Expert-System. - Nuno Malheiro; Zita A. Vale; Carlos Ramos 001; Jorge Santos 001; Albino Marques (IEA/AIE, 1999)

Verification of Knowledge Based-Systems for Power System Control Centres. - Jorge Santos 001; Luíz Faria; Carlos Ramos 001; Zita A. Vale; Albino Marques (IEA/AIE, 1999)

On the Verification of an Expert System: Practical Issues. - Jorge Santos 001; Zita A. Vale; Carlos Ramos 001 (IEA/AIE, 2002)

Engineering a complex ontology with time. - Jorge Santos 001; Steffen Staab (IJCAI, 2003)

FONTE: factorizing ONTology engineering complexity. - Jorge Santos 001; Steffen Staab (K-CAP, 2003)

The verification of temporal knowledge based systems - a case-study on power-systems. - Jorge Santos 001; Zita A. Vale; Carlos Ramos 001; Carlos Serôdio (ICINCO-ICSO, 2007)

FONTE - A Protégé Plugin for Engineering Complex Ontologies by Assembling Modular Ontologies of Space, Time and Domain Concepts. - Jorge Santos 001; Luís Braga; Anthony G. Cohn 001 (ICEIS (2), 2010)

FONTE: A Protégé Plug-in for Engineering Complex Ontologies. - Jorge Santos 001; Luís Braga; Anthony G. Cohn 001 (ICEIS, 2010)

Engineering Time in an Ontology for Power Systems through the Assembling of Modular Ontologies. - Jorge Santos 001; Luís Braga; Anthony G. Cohn 001 (ICINCO (1), 2010)