Luís Fernando Lopes Monteiro


AuthID: R-000-9DS

Confirmed Publications: 11



1
TITLE: Towards bialgebraic semantics for the linear time - Branching time spectrum
AUTHORS: Maldonado, AP; Monteiro, L ; Roggenbach, M;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus CrossRef
2
TITLE: Symbolic Knowledge Extraction from Trained Neural Networks Governed by Lukasiewicz Logics  Full Text
AUTHORS: Carlos Leandro; Helder Pita; Luis Monteiro ;
PUBLISHED: 2011, SOURCE: 1st International Joint Conference on Computational Intelligence in COMPUTATIONAL INTELLIGENCE, VOLUME: 343
INDEXED IN: Scopus WOS CrossRef
3
TITLE: A Coalgebraic Characterization of Behaviours in the Linear Time-Branching Time Spectrum  Full Text
AUTHORS: Luis Monteiro ;
PUBLISHED: 2009, SOURCE: 19th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 5486
INDEXED IN: Scopus WOS CrossRef
4
TITLE: Defining Behaviours by Quasi-finality  Full Text
AUTHORS: Elisabete Freire; Luis Monteiro ;
PUBLISHED: 2009, SOURCE: 12th Brazilian Symposium on Formal Methods in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, VOLUME: 5902
INDEXED IN: Scopus WOS CrossRef
5
TITLE: Entailment-based actions for coordination  Full Text
AUTHORS: Monteiro, L ; Porto, A ;
PUBLISHED: 1998, SOURCE: 1st International Conference on Coordination Languages and Models - Thoeretical Aspects of Coordination Languages in THEORETICAL COMPUTER SCIENCE, VOLUME: 192, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 2
6
TITLE: Verifiable and executable logic specifications of concurrent objects in L-pi  Full Text
AUTHORS: Caires, L ; Monteiro, L ;
PUBLISHED: 1998, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 6
7
TITLE: Towards resource handling in logic programming: The PPL framework and its semantics  Full Text
AUTHORS: Jacquet, JM; Monteiro, L ;
PUBLISHED: 1996, SOURCE: 11th International Conference on Logic Programming in COMPUTER LANGUAGES, VOLUME: 22, ISSUE: 2-3
INDEXED IN: Scopus WOS CrossRef
8
TITLE: HIGHER-ORDER POLYMORPHIC UNIFICATION FOR LOGIC PROGRAMMING
AUTHORS: CAIRES, L ; MONTEIRO, L ;
PUBLISHED: 1994, SOURCE: 11th International Conference on Logic Programming in LOGIC PROGRAMMING: PROCEEDINGS OF THE ELEVENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING
INDEXED IN: WOS DBLP
9
TITLE: EXTENDED HORN CLAUSES - THE FRAMEWORK AND SOME SEMANTICS
AUTHORS: JACQUET, JM; MONTEIRO, L ;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 527
INDEXED IN: WOS
10
TITLE: DELTA-PROLOG - A DISTRIBUTED BACKTRACKING EXTENSION WITH EVENTS
AUTHORS: PEREIRA, LM ; MONTEIRO, L ; CUNHA, J ; APARICIO, JN;
PUBLISHED: 1986, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 225
INDEXED IN: WOS DBLP CrossRef
Page 1 of 2. Total results: 11.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service