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