Luís Monteiro

Publication Activity (10 Years)

Years Active: 1981-2022
Publications (10 Years): 7

Top Topics

Spatial Data Infrastructures

Geographic Locations

Top Venues

CENTERIS/ProjMAN/HCist

GISTAM (Selected Papers)

Publications

Luís Monteiro, José Rufino, Andrey Romanenko, Florbela P. Fernandes
An Improved Multi-Threaded Implementation of the MCSFilter Optimization Algorithm. OL2A (2022)
Luís Monteiro, Pedro Cabral
The Use of Volunteered Geographic Information to Explore Informal Trail Networks in Protected Areas. GISTAM (Selected Papers) (2022)
Luís Monteiro, Pedro Cabral
Assessing Informal Trails Impacts and Fragmentation Effects on Protected Areas using Volunteered Geographic Information. GISTAM (2022)
Filipa Couto, Maria de Lurdes Almeida, Maria dos Anjos Dixe, Jaime Ribeiro, Mónica Braúna, Nuno Gomes, João Caroço, Luís Monteiro, Ricardo Martinho, Rui Rijo, João Apóstolo
Digi&Mind: Development and validation of a multi-domain digital cognitive stimulation program for older adults with cognitive decline. CENTERIS/ProjMAN/HCist (2019)
Carlos Leandro, Luís Monteiro
Multi-diagrams of relations between fuzzy sets: weighted limits, colimits and commutativity. CoRR (2016)
Carlos Leandro, Luís Monteiro
Patterns on data described by vague limits, vague colimits and vague commutativity. CoRR (2016)
Carlos Leandro, Helder Pita, Luís Monteiro
The Actias system: supervised multi-strategy learning paradigm using categorical logic. CoRR (2016)
Artemisa Rocha Dores, Fernando Barbosa, Luís Monteiro, Mafalda Reis, Carlos M. Coelho, Eduardo Ribeiro, Miguel Leitão, Irene Palmares Carvalho, Liliana de Sousa, Alexandre Castro-Caldas
Amygdala Activation in Response to 2D and 3D Emotion-Inducing Stimuli. PsychNology J. 12 (1-2) (2014)
Ana Paula Maldonado, Luís Monteiro, Markus Roggenbach
Towards Bialgebraic Semantics for the Linear Time - Branching Time Spectrum. WADT (2010)
Elisabete Freire, Luís Monteiro
Defining Behaviours by Quasi-finality. SBMF (2009)
Luís Monteiro
A Coalgebraic Characterization of Behaviours in the Linear Time - Branching Time Spectrum. WADT (2008)
Luís Monteiro
A Noninterleaving Model of Concurrency Based on Transition Systems with Spatial Structure. CMCS (2004)
Luís Monteiro
Observation systems. CMCS (2000)
Luís Caires, Luís Monteiro
. ESOP (1998)
Luís Monteiro, António Porto
Entailment-Based Actions for Coordination. Theor. Comput. Sci. 192 (2) (1998)
Luís Monteiro
Semantic domains based on sets with families of equivalences. CMCS (1998)
Luís Caires, Luís Monteiro
Proof Net Semantics of Proof Search Computation. ALP/HOA (1997)
Luís Monteiro, Stuart Macdonald
From efficiency to flexibility: the strategic use of information in the airline industry. J. Strateg. Inf. Syst. 5 (3) (1996)
J. Baptista, Luís Monteiro
Handling Calls to Missing Predicates. APPIA-GULP-PRODE (1996)
Vasco Pedro, Luís Monteiro
Modules and Specifications. APPIA-GULP-PRODE (1996)
Vasco Pedro, Luís Monteiro
Modules and Specifications. JELIA (1996)
Jean-Marie Jacquet, Luís Monteiro
Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics. Comput. Lang. 22 (2/3) (1996)
Vasco Pedro, Luís Monteiro
An Approach to Verification in Contextual Logic Programming. ILPS (1995)
Aida Vitória, Margarida Mamede, Luís Monteiro
The Retrieval Problem in a Concept Language with Number Restrictions. EPIA (1995)
Luís Caires, Luís Monteiro
Higher-Order Polymorphic Unification for Logic Programming. ICLP (1994)
Jean-Marie Jacquet, Luís Monteiro
PP-clauses: A Means for Handling Resources. ICLP (1994)
Jean-Marie Jacquet, Luís Monteiro
Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics. JELIA (1994)
Jean-Marie Jacquet, Luís Monteiro
Towards Resource Handling in Logic Programming: the PPL Framework and its Semantics. ICLP Workshop: Process-Based Parallel Logic Programming (1994)
Margarida Mamede, Luís Monteiro
Towards Complete Answers in Concept Languages. EPIA (1993)
Jean-Marie Jacquet, Luís Monteiro
Communicating Clauses: Towards Synchronous Communication in Contextual Logic Programming. JICSLP (1992)
Margarida Mamede, Luís Monteiro
A Contraint Logic Programming Scheme for Taxonomic Reasoning. JICSLP (1992)
Luís Monteiro, António Porto
Syntactic and Semantic Inheritance in Logic Programming. Declarative Programming (1991)
Jean-Marie Jacquet, Luís Monteiro
Extended Horn Clauses: The Framework and Some Semantics. CONCUR (1991)
Margarida Mamede, Luís Monteiro
A Constraint-Based Language for Querying Taxonomic Systems. EPIA (1991)
Jean-Marie Jacquet, Luís Monteiro
Comparative Semantics for a Parallel Contextual Logic Programming Language. NACLP (1990)
Luís Monteiro, António Porto
A Transformational View of Inheritance in Logic Programming. ICLP (1990)
Luís Monteiro, António Porto
Contextual Logic Programming. ICLP (1989)
Luís Moniz Pereira, Luís Monteiro, José C. Cunha, Joaquim Nunes Aparício
Delta Prolog: A Distributed Backtracking Extension with Events. ICLP (1986)
Luís Monteiro, Fernando C. N. Pereira
A Sheaf-Theoretic Model of Concurrency LICS (1986)
Luís Monteiro
A Horn Clause-like Logic for Specifying Concurrency. ICLP (1982)
Luís Monteiro
An Extension to Horn Clause Logic Allowing the Definition of Concurrent Processes. ICFPC (1981)