Luís Fernando Lopes Monteiro


AuthID: R-000-9DS

Publicações Confirmadas: 11



1
TÍTULO: Towards bialgebraic semantics for the linear time - Branching time spectrum
AUTORES: Maldonado, AP; Monteiro, L ; Roggenbach, M;
PUBLICAÇÃO: 2012, FONTE: 20th International Workshop on Algebraic Development Techniques, WADT 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7137 LNCS
INDEXADO EM: Scopus CrossRef
2
TÍTULO: Symbolic Knowledge Extraction from Trained Neural Networks Governed by Lukasiewicz Logics  Full Text
AUTORES: Carlos Leandro; Helder Pita; Luis Monteiro ;
PUBLICAÇÃO: 2011, FONTE: 1st International Joint Conference on Computational Intelligence in COMPUTATIONAL INTELLIGENCE, VOLUME: 343
INDEXADO EM: Scopus WOS CrossRef
3
TÍTULO: A Coalgebraic Characterization of Behaviours in the Linear Time-Branching Time Spectrum  Full Text
AUTORES: Luis Monteiro ;
PUBLICAÇÃO: 2009, FONTE: 19th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 5486
INDEXADO EM: Scopus WOS CrossRef
4
TÍTULO: Defining Behaviours by Quasi-finality  Full Text
AUTORES: Elisabete Freire; Luis Monteiro ;
PUBLICAÇÃO: 2009, FONTE: 12th Brazilian Symposium on Formal Methods in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, VOLUME: 5902
INDEXADO EM: Scopus WOS CrossRef
5
TÍTULO: Entailment-based actions for coordination  Full Text
AUTORES: Monteiro, L ; Porto, A ;
PUBLICAÇÃO: 1998, FONTE: 1st International Conference on Coordination Languages and Models - Thoeretical Aspects of Coordination Languages in THEORETICAL COMPUTER SCIENCE, VOLUME: 192, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
6
TÍTULO: Verifiable and executable logic specifications of concurrent objects in L-pi  Full Text
AUTORES: Caires, L ; Monteiro, L ;
PUBLICAÇÃO: 1998, FONTE: 7th European Symposium on Programming (ESOP'98) at the Joint European Conferences on Theory and Practice of Software (ETAPS'98) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 1381
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
7
TÍTULO: Towards resource handling in logic programming: The PPL framework and its semantics  Full Text
AUTORES: Jacquet, JM; Monteiro, L ;
PUBLICAÇÃO: 1996, FONTE: 11th International Conference on Logic Programming in COMPUTER LANGUAGES, VOLUME: 22, NÚMERO: 2-3
INDEXADO EM: Scopus WOS CrossRef
8
TÍTULO: HIGHER-ORDER POLYMORPHIC UNIFICATION FOR LOGIC PROGRAMMING
AUTORES: CAIRES, L ; MONTEIRO, L ;
PUBLICAÇÃO: 1994, FONTE: 11th International Conference on Logic Programming in LOGIC PROGRAMMING: PROCEEDINGS OF THE ELEVENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING
INDEXADO EM: WOS DBLP
9
TÍTULO: EXTENDED HORN CLAUSES - THE FRAMEWORK AND SOME SEMANTICS
AUTORES: JACQUET, JM; MONTEIRO, L ;
PUBLICAÇÃO: 1991, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 527
INDEXADO EM: WOS
10
TÍTULO: DELTA-PROLOG - A DISTRIBUTED BACKTRACKING EXTENSION WITH EVENTS
AUTORES: PEREIRA, LM ; MONTEIRO, L ; CUNHA, J ; APARICIO, JN;
PUBLICAÇÃO: 1986, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 225
INDEXADO EM: WOS DBLP CrossRef
Página 1 de 2. Total de resultados: 11.

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

Links Úteis

Ajuda

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