The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Luís Monteiro: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Luís Monteiro, António Porto
    Contextual Logic Programming. [Citation Graph (2, 0)][DBLP]
    ICLP, 1989, pp:284-299 [Conf]
  2. Luís Monteiro, António Porto
    A Transformational View of Inheritance in Logic Programming. [Citation Graph (1, 0)][DBLP]
    ICLP, 1990, pp:481-494 [Conf]
  3. J. Baptista, Luís Monteiro
    Handling Calls to Missing Predicates. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:511-522 [Conf]
  4. Vasco Pedro, Luís Monteiro
    Modules and Specifications. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:499-510 [Conf]
  5. Luís Caires, Luís Monteiro
    Proof Net Semantics of Proof Search Computation. [Citation Graph (0, 0)][DBLP]
    ALP/HOA, 1997, pp:194-208 [Conf]
  6. Jean-Marie Jacquet, Luís Monteiro
    Extended Horn Clauses: The Framework and Some Semantics. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1991, pp:281-297 [Conf]
  7. Margarida Mamede, Luís Monteiro
    A Constraint-Based Language for Querying Taxonomic Systems. [Citation Graph (0, 0)][DBLP]
    EPIA, 1991, pp:60-75 [Conf]
  8. Margarida Mamede, Luís Monteiro
    Towards Complete Answers in Concept Languages. [Citation Graph (0, 0)][DBLP]
    EPIA, 1993, pp:121-135 [Conf]
  9. Aida Vitória, Margarida Mamede, Luís Monteiro
    The Retrieval Problem in a Concept Language with Number Restrictions. [Citation Graph (0, 0)][DBLP]
    EPIA, 1995, pp:69-82 [Conf]
  10. Luís Caires, Luís Monteiro
    Verifiable and Executable Logic Specifications of Concurrent Objects in Lpi. [Citation Graph (0, 0)][DBLP]
    ESOP, 1998, pp:42-56 [Conf]
  11. Luís Monteiro
    An Extension to Horn Clause Logic Allowing the Definition of Concurrent Processes. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:401-407 [Conf]
  12. Luís Caires, Luís Monteiro
    Higher-Order Polymorphic Unification for Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:419-433 [Conf]
  13. Jean-Marie Jacquet, Luís Monteiro
    Communicating Clauses: Towards Synchronous Communication in Contextual Logic Programming. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1992, pp:98-112 [Conf]
  14. Jean-Marie Jacquet, Luís Monteiro
    PP-clauses: A Means for Handling Resources. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:743- [Conf]
  15. Jean-Marie Jacquet, Luís Monteiro
    Towards Resource Handling in Logic Programming: the PPL Framework and its Semantics. [Citation Graph (0, 0)][DBLP]
    ICLP Workshop: Process-Based Parallel Logic Programming, 1994, pp:38-53 [Conf]
  16. Margarida Mamede, Luís Monteiro
    A Contraint Logic Programming Scheme for Taxonomic Reasoning. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1992, pp:255-269 [Conf]
  17. Luís Monteiro
    A Horn Clause-like Logic for Specifying Concurrency. [Citation Graph (0, 0)][DBLP]
    ICLP, 1982, pp:1-8 [Conf]
  18. Luís Moniz Pereira, Luís Monteiro, José C. Cunha, Joaquim Nunes Aparício
    Delta Prolog: A Distributed Backtracking Extension with Events. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:69-83 [Conf]
  19. Jean-Marie Jacquet, Luís Monteiro
    Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics. [Citation Graph (0, 0)][DBLP]
    JELIA, 1994, pp:379-399 [Conf]
  20. Vasco Pedro, Luís Monteiro
    Modules and Specifications. [Citation Graph (0, 0)][DBLP]
    JELIA, 1996, pp:284-300 [Conf]
  21. Luís Monteiro, Fernando C. N. Pereira
    A Sheaf-Theoretic Model of Concurrency [Citation Graph (0, 0)][DBLP]
    LICS, 1986, pp:66-76 [Conf]
  22. Luís Monteiro, António Porto
    Syntactic and Semantic Inheritance in Logic Programming. [Citation Graph (0, 0)][DBLP]
    Declarative Programming, 1991, pp:163-173 [Conf]
  23. Jean-Marie Jacquet, Luís Monteiro
    Comparative Semantics for a Parallel Contextual Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:195-214 [Conf]
  24. Vasco Pedro, Luís Monteiro
    An Approach to Verification in Contextual Logic Programming. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:634- [Conf]
  25. Jean-Marie Jacquet, Luís Monteiro
    Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1996, v:22, n:2/3, pp:51-77 [Journal]
  26. Luís Monteiro
    Observation systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:33, n:, pp:- [Journal]
  27. Luís Monteiro
    A Noninterleaving Model of Concurrency Based on Transition Systems with Spatial Structure. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:106, n:, pp:261-277 [Journal]
  28. Luís Monteiro
    Semantic domains based on sets with families of equivalences. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:11, n:, pp:- [Journal]
  29. Luís Monteiro, António Porto
    Entailment-Based Actions for Coordination. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:192, n:2, pp:259-286 [Journal]

  30. A Coalgebraic Characterization of Behaviours in the Linear Time - Branching Time Spectrum. [Citation Graph (, )][DBLP]


  31. Defining Behaviours by Quasi-finality. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.153secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002