The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Maribel Fernández: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Maribel Fernández, Ian Mackie
    Interaction Nets and Term Rewriting Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CAAP, 1996, pp:149-164 [Conf]
  2. Maribel Fernández, Jean-Pierre Jouannaud
    Modular Termination of Term Rewriting Systems Revisited. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1994, pp:255-272 [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. Maribel Fernández, Ian Mackie
    Closed Reductions in the lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    CSL, 1999, pp:220-234 [Conf]
  5. Steve Barker, Maribel Fernández
    Term Rewriting for Access Control. [Citation Graph (0, 0)][DBLP]
    DBSec, 2006, pp:179-193 [Conf]
  6. Steffen van Bakel, Franco Barbanera, Maribel Fernández
    Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization. [Citation Graph (0, 0)][DBLP]
    ESOP, 1996, pp:387-403 [Conf]
  7. Maribel Fernández
    Workshop TERMGRAPH 2004. [Citation Graph (0, 0)][DBLP]
    ICGT, 2004, pp:437-438 [Conf]
  8. Maribel Fernández, Ian Mackie
    Call-by-Value lambda-Graph Rewriting Without Rewriting. [Citation Graph (0, 0)][DBLP]
    ICGT, 2002, pp:75-89 [Conf]
  9. Steffen van Bakel, Maribel Fernández
    Strong Normalization of Typeable Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    HOA, 1993, pp:20-39 [Conf]
  10. Steffen van Bakel, Maribel Fernández
    Approximation and Normalization Results for Typeable Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    HOA, 1995, pp:17-36 [Conf]
  11. Franco Barbanera, Maribel Fernández
    Modularity of Termination and Confluence in Combinations of Rewrite Systems with lambda_omega. [Citation Graph (0, 0)][DBLP]
    ICALP, 1993, pp:657-668 [Conf]
  12. Maribel Fernández, Ian Mackie
    A Theory of Operational Equivalence for Interaction Nets. [Citation Graph (0, 0)][DBLP]
    LATIN, 2000, pp:447-456 [Conf]
  13. Franco Barbanera, Maribel Fernández, Herman Geuvers
    Modularity of Strong Normalization and Confluence in the algebraic-lambda-Cube [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:406-415 [Conf]
  14. Maribel Fernández, Ian Mackie
    Coinductive Techniques for Operational Equivalence of Interaction Nets. [Citation Graph (0, 0)][DBLP]
    LICS, 1998, pp:321-332 [Conf]
  15. Maribel Fernández, Paula Severi
    An Operational Approach to Program Extraction in the Calculus of Constructions. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2002, pp:111-125 [Conf]
  16. Hubert Comon, Maribel Fernández
    Negation Elimination in Equational Formulae. [Citation Graph (0, 0)][DBLP]
    MFCS, 1992, pp:191-199 [Conf]
  17. Adriana B. Compagnoni, Maribel Fernández
    On Object Calculus with Algebraic Rewriting. [Citation Graph (0, 0)][DBLP]
    PLILP, 1997, pp:17-31 [Conf]
  18. Maribel Fernández, Ian Mackie
    From Term Rewriting to Generalised Interaction Nets. [Citation Graph (0, 0)][DBLP]
    PLILP, 1996, pp:319-333 [Conf]
  19. Maribel Fernández, Fabien Fleutot
    A historic functional and object-oriented calculus. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:145-156 [Conf]
  20. Maribel Fernández, Murdoch Gabbay
    Nominal rewriting with name generation: abstraction vs. locality. [Citation Graph (0, 0)][DBLP]
    PPDP, 2005, pp:47-58 [Conf]
  21. Maribel Fernández, Murdoch Gabbay, Ian Mackie
    Nominal rewriting systems. [Citation Graph (0, 0)][DBLP]
    PPDP, 2004, pp:108-119 [Conf]
  22. Maribel Fernández, Ian Mackie
    A Calculus for Interaction Nets. [Citation Graph (0, 0)][DBLP]
    PPDP, 1999, pp:170-187 [Conf]
  23. Steffen van Bakel, Maribel Fernández
    (Head-) Normalization of Typeable Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    RTA, 1995, pp:279-293 [Conf]
  24. Maribel Fernández
    AC Complement Problems: Satisfiability and Negation Elimination. [Citation Graph (0, 0)][DBLP]
    RTA, 1993, pp:358-373 [Conf]
  25. François-Régis Sinot, Maribel Fernández, Ian Mackie
    Efficient Reductions with Director Strings. [Citation Graph (0, 0)][DBLP]
    RTA, 2003, pp:46-60 [Conf]
  26. Franco Barbanera, Maribel Fernández
    Combining First and Higher Order Rewrite Systems with Type Assignment Systems. [Citation Graph (0, 0)][DBLP]
    TLCA, 1993, pp:60-74 [Conf]
  27. Steffen van Bakel, Franco Barbanera, Maribel Fernández
    Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and beta-Rule. [Citation Graph (0, 0)][DBLP]
    TYPES, 1999, pp:41-60 [Conf]
  28. Maribel Fernández
    Narrowing Based Procedures for Equational Disunification. [Citation Graph (0, 0)][DBLP]
    Appl. Algebra Eng. Commun. Comput., 1992, v:3, n:, pp:1-26 [Journal]
  29. Maribel Fernández, Ian Mackie, François-Régis Sinot
    Lambda-Calculus with Director Strings. [Citation Graph (0, 0)][DBLP]
    Appl. Algebra Eng. Commun. Comput., 2005, v:15, n:6, pp:393-437 [Journal]
  30. Maribel Fernández, Ian Mackie, Paula Severi, Nora Szasz
    Reduction Strategies for Program Extraction. [Citation Graph (0, 0)][DBLP]
    CLEI Electron. J., 2003, v:6, n:1, pp:- [Journal]
  31. Maribel Fernández
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:5, pp:1-2 [Journal]
  32. Maribel Fernández, Lionel Khalil
    Interaction Nets with McCarthy's amb. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:2, pp:- [Journal]
  33. Maribel Fernández, Ian Mackie
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:135, n:3, pp:1-2 [Journal]
  34. Maribel Fernández, Ian Mackie, François-Régis Sinot
    Interaction Nets vs. the rho-calculus: Introducing Bigraphical Nets. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:154, n:3, pp:19-32 [Journal]
  35. Maribel Fernández, Ralf Lämmel
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:1, pp:1-2 [Journal]
  36. Christophe Calvès, Maribel Fernández
    Implementing Nominal Unification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:1, pp:25-37 [Journal]
  37. Steffen van Bakel, Maribel Fernández
    Normalization Results for Typeable Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1997, v:133, n:2, pp:73-116 [Journal]
  38. Franco Barbanera, Maribel Fernández, Herman Geuvers
    Modularity of Strong Normalization in the Algebraic-lambda-Cube. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1997, v:7, n:6, pp:613-660 [Journal]
  39. Maribel Fernández
    AC Complement Problems: Satisfiability and Negation Elimination. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:22, n:1, pp:49-82 [Journal]
  40. Maribel Fernández
    Negation Elimination in Empty or Permutative Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1998, v:26, n:1, pp:97-133 [Journal]
  41. Maribel Fernández
    Type assignment and termination of interaction nets. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1998, v:8, n:6, pp:593-636 [Journal]
  42. Maribel Fernández, Ian Mackie, François-Régis Sinot
    Closed reduction: explicit substitutions without alpha-conversion. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2005, v:15, n:2, pp:343-381 [Journal]
  43. Maribel Fernández, Lionel Khalil
    Interaction Nets with McCarthy's amb: Properties and Applications. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2003, v:10, n:2, pp:134-162 [Journal]
  44. Steffen van Bakel, Maribel Fernández
    Normalization, approximation, and semantics for combinator systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:290, n:1, pp:975-1019 [Journal]
  45. Franco Barbanera, Maribel Fernández
    Intersection Type Assignment Systems with Higher-Order Algebraic Rewriting. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:170, n:1-2, pp:173-207 [Journal]
  46. Maribel Fernández, Ian Mackie
    Operational equivalence for interaction nets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:1, n:297, pp:157-181 [Journal]
  47. Maribel Fernández, Ian Mackie
    Interaction Nets and Term-Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:190, n:1, pp:3-39 [Journal]
  48. 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]
  49. Clara Bertolissi, Maribel Fernández, Steve Barker
    Dynamic Event-Based Access Control as Term Rewriting. [Citation Graph (0, 0)][DBLP]
    DBSec, 2007, pp:195-210 [Conf]
  50. Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
    Iterator Types. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2007, pp:17-31 [Conf]
  51. Maribel Fernández, Murdoch Gabbay
    Curry-Style Types for Nominal Terms. [Citation Graph (0, 0)][DBLP]
    TYPES, 2006, pp:125-139 [Conf]
  52. Maribel Fernández, Claude Kirchner
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:171, n:4, pp:1-2 [Journal]
  53. 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]
  54. Horatiu Cirstea, Germain Faure, Maribel Fernández, Ian Mackie, François-Régis Sinot
    From Functional Programs to Interaction Nets via the Rewriting Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:10, pp:39-56 [Journal]
  55. Maribel Fernández, Murdoch Gabbay
    Nominal rewriting. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:6, pp:917-965 [Journal]

  56. A rewriting framework for the composition of access control policies. [Citation Graph (, )][DBLP]


  57. Nominal Matching and Alpha-Equivalence. [Citation Graph (, )][DBLP]


  58. Category-Based Authorisation Models: Operational Semantics and Expressive Power. [Citation Graph (, )][DBLP]


  59. Time and Location Based Services with Access Control. [Citation Graph (, )][DBLP]


  60. An algebraic-functional framework for distributed access control. [Citation Graph (, )][DBLP]


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


  62. Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming [Citation Graph (, )][DBLP]


  63. Graph Creation, Visualisation and Transformation [Citation Graph (, )][DBLP]


  64. Labelled Lambda-calculi with Explicit Copy and Erase [Citation Graph (, )][DBLP]


  65. A Higher-Order Calculus for Graph Transformation. [Citation Graph (, )][DBLP]


  66. Action Control by Term Rewriting. [Citation Graph (, )][DBLP]


  67. New Developments in Environment Machines. [Citation Graph (, )][DBLP]


  68. Recursive Functions with Pattern Matching in Interaction Nets. [Citation Graph (, )][DBLP]


Search in 0.015secs, Finished in 0.020secs
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