Jose Manuel Cunha Leal Molarinho Carmo


AuthID: R-000-8HQ

Publicações Confirmadas: 20



11
TÍTULO: A modal action logic based framework for organization specification and analysis  Full Text
AUTORES: Santos, F ; Carmo, J ;
PUBLICAÇÃO: 1996, FONTE: European Workshop on Logics in Artificial Intelligence (JELIA 96) in LOGICS IN ARTIFICIAL INTELLIGENCE, VOLUME: 1126
INDEXADO EM: WOS
NO MEU: ORCID | CIÊNCIAVITAE
12
TÍTULO: Deontic database constraints, violation and recovery
AUTORES: Carmo, J ; Jones, AJI;
PUBLICAÇÃO: 1996, FONTE: Studia Logica, VOLUME: 57, NÚMERO: 1
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
13
TÍTULO: Indirect action, influence and responsibility
AUTORES: Santos, F ; Carmo, J ;
PUBLICAÇÃO: 1996, FONTE: 3rd International Workshop on Deontic Logic in Computer Science in DEONTIC LOGIC, AGENCY AND NORMATIVE SYSTEMS
INDEXADO EM: WOS
NO MEU: ORCID | CIÊNCIAVITAE
14
TÍTULO: Third international workshop on deontic logic in computer science
AUTORES: Brown, MA; Carno, J ;
PUBLICAÇÃO: 1996, FONTE: KNOWLEDGE ENGINEERING REVIEW, VOLUME: 11, NÚMERO: 3
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
15
TÍTULO: Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL
AUTORES: ALBERTO ZANARDO; JOSÉ CARMO ;
PUBLICAÇÃO: 1993, FONTE: Journal of Logic and Computation - J Logic Computation, VOLUME: 3, NÚMERO: 3
INDEXADO EM: CrossRef: 11
NO MEU: ORCID | CIÊNCIAVITAE
16
TÍTULO: Ockhamist computational logic: Past-sensitive necessitation in CTL
AUTORES: Zanardo, A; Carmo, J ;
PUBLICAÇÃO: 1993, FONTE: Journal of Logic and Computation, VOLUME: 3, NÚMERO: 3
INDEXADO EM: Scopus
17
TÍTULO: FORMAL TECHNIQUES FOR SYSTEMS SPECIFICATION AND VERIFICATION  Full Text
AUTORES: CARMO, J ; SERNADAS, A ;
PUBLICAÇÃO: 1991, FONTE: INFORMATION SYSTEMS, VOLUME: 16, NÚMERO: 3
INDEXADO EM: Scopus WOS
18
TÍTULO: Formal techniques for systems specification and verification  Full Text
AUTORES: José Carmo ; Amílcar Sernadas;
PUBLICAÇÃO: 1991, FONTE: Information Systems, VOLUME: 16, NÚMERO: 3
INDEXADO EM: CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
19
TÍTULO: Branching versus linear logics yet again
AUTORES: Carmo, J ; Sernadas, A ;
PUBLICAÇÃO: 1990, FONTE: Formal Aspects of Computing, VOLUME: 2, NÚMERO: 1
INDEXADO EM: Scopus CrossRef: 3
NO MEU: ORCID | CIÊNCIAVITAE
20
TÍTULO: INFOLOG BRANCHING LOGIC OF EVENTS.
AUTORES: Jose Carmo ;
PUBLICAÇÃO: 1985, FONTE: Information Systems: Theoretical and Formal Aspects.
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
Página 2 de 2. Total de resultados: 20.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service