Luís Monteiro

44 papers A* 2A 1B 10Misc 3Journal 7Unranked 20

Year	Rank	Type	Title / Venue / Authors
2022	—	`conf`	An Improved Multi-Threaded Implementation of the MCSFilter Optimization Algorithm. OL2A Luís Monteiro, José Rufino, Andrey Romanenko, Florbela P. Fernandes
2022	—	`conf`	Assessing Informal Trails Impacts and Fragmentation Effects on Protected Areas using Volunteered Geographic Information. GISTAM Luís Monteiro, Pedro Cabral
2022	—	`conf`	The Use of Volunteered Geographic Information to Explore Informal Trail Networks in Protected Areas. GISTAM (Selected Papers) Luís Monteiro, Pedro Cabral
2019	—	`conf`	Digi&Mind: Development and validation of a multi-domain digital cognitive stimulation program for older adults with cognitive decline. CENTERIS/ProjMAN/HCist 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
2016	J	`jnl`	Multi-diagrams of relations between fuzzy sets: weighted limits, colimits and commutativity. CoRR Carlos Leandro, Luís Monteiro
2016	J	`jnl`	Patterns on data described by vague limits, vague colimits and vague commutativity. CoRR Carlos Leandro, Luís Monteiro
2016	J	`jnl`	The Actias system: supervised multi-strategy learning paradigm using categorical logic. CoRR Carlos Leandro, Helder Pita, Luís Monteiro
2014	J	`jnl`	Amygdala Activation in Response to 2D and 3D Emotion-Inducing Stimuli. PsychNology J. 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
2010	—	`conf`	Towards Bialgebraic Semantics for the Linear Time - Branching Time Spectrum. WADT Ana Paula Maldonado, Luís Monteiro, Markus Roggenbach
2009	—	`conf`	Defining Behaviours by Quasi-finality. SBMF Elisabete Freire, Luís Monteiro
2008	—	`conf`	A Coalgebraic Characterization of Behaviours in the Linear Time - Branching Time Spectrum. WADT Luís Monteiro
2005	A*	`ed.`	Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings ICALP Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung
2004	—	`conf`	A Noninterleaving Model of Concurrency Based on Transition Systems with Spatial Structure. CMCS Luís Monteiro
2000	—	`conf`	Observation systems. CMCS Luís Monteiro
1998	J	`jnl`	Entailment-Based Actions for Coordination. Theor. Comput. Sci. Luís Monteiro, António Porto
1998	—	`conf`	Semantic domains based on sets with families of equivalences. CMCS Luís Monteiro
1998	A	`conf`	Verifiable and Executable Logic Specifications of Concurrent Objects in L ESOP Luís Caires, Luís Monteiro
1997	—	`conf`	Proof Net Semantics of Proof Search Computation. ALP/HOA Luís Caires, Luís Monteiro
1996	J	`jnl`	From efficiency to flexibility: the strategic use of information in the airline industry. J. Strateg. Inf. Syst. Luís Monteiro, Stuart Macdonald
1996	—	`conf`	Handling Calls to Missing Predicates. APPIA-GULP-PRODE J. Baptista, Luís Monteiro
1996	—	`conf`	Modules and Specifications. APPIA-GULP-PRODE Vasco Pedro, Luís Monteiro
1996	B	`conf`	Modules and Specifications. JELIA Vasco Pedro, Luís Monteiro
1996	J	`jnl`	Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics. Comput. Lang. Jean-Marie Jacquet, Luís Monteiro
1995	—	`conf`	An Approach to Verification in Contextual Logic Programming. ILPS Vasco Pedro, Luís Monteiro
1995	Misc	`conf`	The Retrieval Problem in a Concept Language with Number Restrictions. EPIA Aida Vitória, Margarida Mamede, Luís Monteiro
1994	B	`conf`	Higher-Order Polymorphic Unification for Logic Programming. ICLP Luís Caires, Luís Monteiro
1994	B	`conf`	PP-clauses: A Means for Handling Resources. ICLP Jean-Marie Jacquet, Luís Monteiro
1994	B	`conf`	Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics. JELIA Jean-Marie Jacquet, Luís Monteiro
1994	—	`conf`	Towards Resource Handling in Logic Programming: the PPL Framework and its Semantics. ICLP Workshop: Process-Based Parallel Logic Programming Jean-Marie Jacquet, Luís Monteiro
1993	Misc	`conf`	Towards Complete Answers in Concept Languages. EPIA Margarida Mamede, Luís Monteiro
1992	—	`conf`	A Contraint Logic Programming Scheme for Taxonomic Reasoning. JICSLP Margarida Mamede, Luís Monteiro
1992	—	`conf`	Communicating Clauses: Towards Synchronous Communication in Contextual Logic Programming. JICSLP Jean-Marie Jacquet, Luís Monteiro
1991	Misc	`conf`	A Constraint-Based Language for Querying Taxonomic Systems. EPIA Margarida Mamede, Luís Monteiro
1991	B	`conf`	Extended Horn Clauses: The Framework and Some Semantics. CONCUR Jean-Marie Jacquet, Luís Monteiro
1991	—	`conf`	Syntactic and Semantic Inheritance in Logic Programming. Declarative Programming Luís Monteiro, António Porto
1990	B	`conf`	A Transformational View of Inheritance in Logic Programming. ICLP Luís Monteiro, António Porto
1990	—	`conf`	Comparative Semantics for a Parallel Contextual Logic Programming Language. NACLP Jean-Marie Jacquet, Luís Monteiro
1989	B	`conf`	Contextual Logic Programming. ICLP Luís Monteiro, António Porto
1986	A*	`conf`	A Sheaf-Theoretic Model of Concurrency LICS Luís Monteiro, Fernando C. N. Pereira
1986	B	`conf`	Delta Prolog: A Distributed Backtracking Extension with Events. ICLP Luís Moniz Pereira, Luís Monteiro, José C. Cunha, Joaquim Nunes Aparício
1984	—	`ch.`	A Proposal for Distributed Programming in Logic. Implementations of Prolog Luís Monteiro
1983	B	`ed.`	Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings. Luís Moniz Pereira, António Porto, Luís Monteiro, Miguel Figueiras
1982	B	`conf`	A Horn Clause-like Logic for Specifying Concurrency. ICLP Luís Monteiro
1981	—	`conf`	An Extension to Horn Clause Logic Allowing the Definition of Concurrent Processes. ICFPC Luís Monteiro