Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Maribel Fernández
2010 – today
- 2013
[c52]Maribel Fernández, Jeffrey Terrell: Assembling the Proofs of Ordered Model Transformations. FESCA 2013: 63-77- [c51]
- 2012
- [j38]Maribel Fernández, Christian Urban: Preface: Theory and Applications of Abstraction, Substitution and Naming. J. Autom. Reasoning 49(2): 111-114 (2012)
- [c50]Maribel Fernández, Albert Rubio: Nominal Completion for Rewrite Systems with Binders. ICALP (2) 2012: 201-213
- [c49]
- [c48]Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes Sobrinho: Elementary Deduction Problem for Locally Stable Theories with Normal Forms. LSFA 2012: 45-60
- 2011
- [c47]Elliot Fairweather, Maribel Fernández, Murdoch James Gabbay: Principal Types for Nominal Theories. FCT 2011: 160-172
- [c46]Maribel Fernández, Hélène Kirchner, Olivier Namet: A Strategy Language for Graph Rewriting. LOPSTR 2011: 173-188
- [c45]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Linearity and recursion in a typed Lambda-calculus. PPDP 2011: 173-182
- [c44]Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Olivier Namet, Bruno Pinaud: PORGY: Strategy-Driven Interactive Transformation of Graphs. TERMGRAPH 2011: 54-68
- [c43]Sandra Alves, Maribel Fernández, Ian Mackie: A new graphical calculus of proofs. TERMGRAPH 2011: 69-84
- 2010
- [j37]Christophe Calvès, Maribel Fernández: Matching and alpha-equivalence check for nominal terms. J. Comput. Syst. Sci. 76(5): 283-301 (2010)
- [j36]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Linearity and iterator types for Gödel's System. Higher-Order and Symbolic Computation 23(1): 1-27 (2010)
- [j35]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Gödel's system tau revisited. Theor. Comput. Sci. 411(11-13): 1484-1500 (2010)
- [c42]Clara Bertolissi, Maribel Fernández: Category-Based Authorisation Models: Operational Semantics and Expressive Power. ESSoS 2010: 140-156
- [c41]
- [c40]Clara Bertolissi, Maribel Fernández: Rewrite Specifications of Access Control Policies in Distributed Environments. STM 2010: 51-67
- [c39]
- [c38]Maribel Fernández, Murdoch James Gabbay: Closed nominal rewriting and efficiently computable nominal algebra equality. LFMTP 2010: 37-51
- [e2]Temur Kutsia, Wolfgang Schreiner, Maribel Fernández (Eds.): Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria. ACM 2010, ISBN 978-1-4503-0132-9
- [i1]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Linear Recursion. CoRR abs/1001.3368 (2010)
2000 – 2009
- 2009
- [j34]Steve Barker, Clara Bertolissi, Maribel Fernández: Action Control by Term Rewriting. Electr. Notes Theor. Comput. Sci. 234: 19-36 (2009)
- [j33]Maribel Fernández, Nikolaos Siafakas: New Developments in Environment Machines. Electr. Notes Theor. Comput. Sci. 237: 57-73 (2009)
- [j32]Maribel Fernández, Ian Mackie, Shinya Sato, Matthew Walker: Recursive Functions with Pattern Matching in Interaction Nets. Electr. Notes Theor. Comput. Sci. 253(4): 55-71 (2009)
- [j31]
- [c37]
- [c36]Maribel Fernández, Nikolaos Siafakas: Labelled Lambda-calculi with Explicit Copy and Erase. LINEARITY 2009: 49-64
- [e1]
- 2008
- [j30]Chris Fox, Maribel Fernández, Shalom Lappin: Lambda Calculus, Type Theory, and Natural Language II. J. Log. Comput. 18(2): 203 (2008)
- [j29]Horatiu Cirstea, Maribel Fernández: Rewriting calculi, higher-order reductions and patterns: introduction. Mathematical Structures in Computer Science 18(3): 427-429 (2008)
- [j28]Christophe Calvès, Maribel Fernández: A polynomial nominal unification algorithm. Theor. Comput. Sci. 403(2-3): 285-306 (2008)
- [c35]Clara Bertolissi, Maribel Fernández: An algebraic-functional framework for distributed access control. CRiSIS 2008: 1-8
- [c34]Clara Bertolissi, Maribel Fernández: Time and Location Based Services with Access Control. NTMS 2008: 1-6
- [c33]Clara Bertolissi, Maribel Fernández: A rewriting framework for the composition of access control policies. PPDP 2008: 217-225
- [c32]
- 2007
- [j27]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)
- [j26]
- [j25]
- [j24]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)
- [j23]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)
- [j22]Christophe Calvès, Maribel Fernández: Implementing Nominal Unification. Electr. Notes Theor. Comput. Sci. 176(1): 25-37 (2007)
- [j21]
- [j20]Maribel Fernández, Ian Mackie: More developments in computational models: introduction. Mathematical Structures in Computer Science 17(4): 585-586 (2007)
- [c31]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Linear Recursive Functions. Rewriting, Computation and Proof 2007: 182-195
- [c30]Clara Bertolissi, Maribel Fernández, Steve Barker: Dynamic Event-Based Access Control as Term Rewriting. DBSec 2007: 195-210
- [c29]
- 2006
- [j19]
- [j18]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)
- [j17]Maribel Fernández, Ian Mackie: Developments in computational models: introduction. Mathematical Structures in Computer Science 16(4): 553-555 (2006)
- [c28]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: The Power of Linear Functions. CSL 2006: 119-134
- [c27]
- [c26]Maribel Fernández, Fabien Fleutot: A historic functional and object-oriented calculus. PPDP 2006: 145-156
- [c25]
- 2005
- [j16]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)
- [j15]
- [j14]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)
- [c24]Maribel Fernández, Murdoch Gabbay: Nominal rewriting with name generation: abstraction vs. locality. PPDP 2005: 47-58
- 2004
- [c23]
- [c22]
- 2003
- [j13]Maribel Fernández, Ian Mackie, Paula Severi, Nora Szasz: Reduction Strategies for Program Extraction. CLEI Electron. J. 6(1) (2003)
- [j12]Maribel Fernández, Lionel Khalil: Interaction Nets with McCarthy's amb: Properties and Applications. Nord. J. Comput. 10(2): 134-162 (2003)
- [j11]Steffen van Bakel, Maribel Fernández: Normalization, approximation, and semantics for combinator systems. Theor. Comput. Sci. 290(1): 975-1019 (2003)
- [j10]Maribel Fernández, Ian Mackie: Operational equivalence for interaction nets. Theor. Comput. Sci. 297(1-3): 157-181 (2003)
- [c21]François-Régis Sinot, Maribel Fernández, Ian Mackie: Efficient Reductions with Director Strings. RTA 2003: 46-60
- 2002
- [j9]Maribel Fernández, Lionel Khalil: Interaction Nets with McCarthy's amb. Electr. Notes Theor. Comput. Sci. 68(2): 51-68 (2002)
- [c20]Maribel Fernández, Ian Mackie: Call-by-Value lambda-Graph Rewriting Without Rewriting. ICGT 2002: 75-89
- [c19]Maribel Fernández, Paula Severi: An Operational Approach to Program Extraction in the Calculus of Constructions. LOPSTR 2002: 111-125
- 2000
- [c18]Maribel Fernández, Ian Mackie: A Theory of Operational Equivalence for Interaction Nets. LATIN 2000: 447-456
1990 – 1999
- 1999
- [c17]
- [c16]
- [c15]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
- [j8]Maribel Fernández: Negation Elimination in Empty or Permutative Theories. J. Symb. Comput. 26(1): 97-133 (1998)
- [j7]Maribel Fernández: Type assignment and termination of interaction nets. Mathematical Structures in Computer Science 8(6): 593-636 (1998)
- [j6]Maribel Fernández, Ian Mackie: Interaction Nets and Term-Rewriting Systems. Theor. Comput. Sci. 190(1): 3-39 (1998)
- [c14]Maribel Fernández, Ian Mackie: Coinductive Techniques for Operational Equivalence of Interaction Nets. LICS 1998: 321-332
- 1997
- [j5]Steffen van Bakel, Maribel Fernández: Normalization Results for Typeable Rewrite Systems. Inf. Comput. 133(2): 73-116 (1997)
- [j4]Franco Barbanera, Maribel Fernández, Herman Geuvers: Modularity of Strong Normalization in the Algebraic-lambda-Cube. J. Funct. Program. 7(6): 613-660 (1997)
- [c13]Adriana B. Compagnoni, Maribel Fernández: On Object Calculus with Algebraic Rewriting. PLILP 1997: 17-31
- 1996
- [j3]Maribel Fernández: AC Complement Problems: Satisfiability and Negation Elimination. J. Symb. Comput. 22(1): 49-82 (1996)
- [j2]Franco Barbanera, Maribel Fernández: Intersection Type Assignment Systems with Higher-Order Algebraic Rewriting. Theor. Comput. Sci. 170(1-2): 173-207 (1996)
- [c12]Maribel Fernández, Ian Mackie: Interaction Nets and Term Rewriting Systems (Extended Abstract). CAAP 1996: 149-164
- [c11]Steffen van Bakel, Franco Barbanera, Maribel Fernández: Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization. ESOP 1996: 387-403
- [c10]Maribel Fernández, Ian Mackie: From Term Rewriting to Generalised Interaction Nets. PLILP 1996: 319-333
- 1995
- [c9]Steffen van Bakel, Maribel Fernández: Approximation and Normalization Results for Typeable Term Rewriting Systems. HOA 1995: 17-36
- [c8]Steffen van Bakel, Maribel Fernández: (Head-) Normalization of Typeable Rewrite Systems. RTA 1995: 279-293
- 1994
- [c7]Maribel Fernández, Jean-Pierre Jouannaud: Modular Termination of Term Rewriting Systems Revisited. COMPASS/ADT 1994: 255-272
- [c6]Franco Barbanera, Maribel Fernández, Herman Geuvers: Modularity of Strong Normalization and Confluence in the algebraic-lambda-Cube. LICS 1994: 406-415
- 1993
- [c5]Steffen van Bakel, Maribel Fernández: Strong Normalization of Typeable Rewrite Systems. HOA 1993: 20-39
- [c4]Franco Barbanera, Maribel Fernández: Modularity of Termination and Confluence in Combinations of Rewrite Systems with lambda_omega. ICALP 1993: 657-668
- [c3]Maribel Fernández: AC Complement Problems: Satisfiability and Negation Elimination. RTA 1993: 358-373
- [c2]Franco Barbanera, Maribel Fernández: Combining First and Higher Order Rewrite Systems with Type Assignment Systems. TLCA 1993: 60-74
- 1992
- [j1]Maribel Fernández: Narrowing Based Procedures for Equational Disunification. Appl. Algebra Eng. Commun. Comput. 3: 1-26 (1992)
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:02 CEST by the dblp team