The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mário Florido: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jorge Coelho, Mário Florido
    VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content. [Citation Graph (0, 0)][DBLP]
    APWeb Workshops, 2006, pp:148-156 [Conf]
  2. Jorge Coelho, Mário Florido
    CLP(Flex): Constraint Logic Programming Applied to XML Processing. [Citation Graph (0, 0)][DBLP]
    CoopIS/DOA/ODBASE (2), 2004, pp:1098-1112 [Conf]
  3. Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
    The Power of Linear Functions. [Citation Graph (0, 0)][DBLP]
    CSL, 2006, pp:119-134 [Conf]
  4. Sandra Alves, Mário Florido
    Linearization by Program Transformation. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2003, pp:160-175 [Conf]
  5. Jorge Coelho, Mário Florido
    Type-Based XML Processing in Logic Programming. [Citation Graph (0, 0)][DBLP]
    PADL, 2003, pp:273-285 [Conf]
  6. Jorge Coelho, Mário Florido
    XCentric: A Logic-Programming Language for XML Processing. [Citation Graph (0, 0)][DBLP]
    PLAN-X, 2007, pp:93-94 [Conf]
  7. Sandra Alves, Mário Florido
    Type Inference using Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:64, n:, pp:- [Journal]
  8. Mário Florido, Luís Damas
    Linearization of the lambda-calculus and its relation with intersection type systems. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2004, v:14, n:5, pp:519-546 [Journal]
  9. Sandra Alves, Mário Florido
    Weak linearization of the lambda calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:342, n:1, pp:79-103 [Journal]
  10. Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
    Linear Recursive Functions. [Citation Graph (0, 0)][DBLP]
    Rewriting, Computation and Proof, 2007, pp:182-195 [Conf]
  11. Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
    Iterator Types. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2007, pp:17-31 [Conf]
  12. Hugo R. Simões, Kevin Hammond, Mário Florido, Pedro B. Vasconcelos
    Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs. [Citation Graph (0, 0)][DBLP]
    TYPES, 2006, pp:221-236 [Conf]
  13. Jorge Coelho, Mário Florido, Temur Kutsia
    Sequence Disunification and Its Application in Collaborative Schema Construction. [Citation Graph (0, 0)][DBLP]
    WISE Workshops, 2007, pp:91-102 [Conf]
  14. Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
    The Power of Closed Reduction Strategies. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:10, pp:57-74 [Journal]

  15. Collaborative Schema Construction using Regular Sequence Types. [Citation Graph (, )][DBLP]


  16. XCentric: logic programming for XML processing. [Citation Graph (, )][DBLP]


  17. A Rule-Based Approach to XML Processing and Web Reasoning. [Citation Graph (, )][DBLP]


  18. Type-Based Static and Dynamic Website Verification. [Citation Graph (, )][DBLP]


  19. Linear Recursion [Citation Graph (, )][DBLP]


  20. Proceedings First International Workshop on Linearity [Citation Graph (, )][DBLP]


  21. Minimality in a Linear Calculus with Iteration. [Citation Graph (, )][DBLP]


Search in 0.016secs, Finished in 0.017secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002