dblp.uni-trier.dewww.uni-trier.de

Maribel Fernández Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
66EESteve Barker, Clara Bertolissi, Maribel Fernández: Action Control by Term Rewriting. Electr. Notes Theor. Comput. Sci. 234: 19-36 (2009)
65EEMaribel Fernández, Nikolaos Siafakas: New Developments in Environment Machines. Electr. Notes Theor. Comput. Sci. 237: 57-73 (2009)
64EEMaribel Fernández: Rewriting Corner. J. Log. Comput. 19(2): 261 (2009)
2008
63EEClara Bertolissi, Maribel Fernández: A rewriting framework for the composition of access control policies. PPDP 2008: 217-225
62EEChristophe Calvès, Maribel Fernández: Nominal Matching and Alpha-Equivalence. WoLLIC 2008: 111-122
61EEChris Fox, Maribel Fernández, Shalom Lappin: Lambda Calculus, Type Theory, and Natural Language II. J. Log. Comput. 18(2): 203 (2008)
60EEHoratiu Cirstea, Maribel Fernández: Rewriting calculi, higher-order reductions and patterns: introduction. Mathematical Structures in Computer Science 18(3): 427-429 (2008)
59EEChristophe Calvès, Maribel Fernández: A polynomial nominal unification algorithm. Theor. Comput. Sci. 403(2-3): 285-306 (2008)
2007
58EEClara Bertolissi, Maribel Fernández, Steve Barker: Dynamic Event-Based Access Control as Term Rewriting. DBSec 2007: 195-210
57EESandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Iterator Types. FoSSaCS 2007: 17-31
56EESandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Linear Recursive Functions. Rewriting, Computation and Proof 2007: 182-195
55EEMaribel Fernández, Claude Kirchner: Preface. Electr. Notes Theor. Comput. Sci. 171(4): 1-2 (2007)
54EEMaribel Fernández, Ralf Lämmel: Preface. Electr. Notes Theor. Comput. Sci. 174(1): 1-2 (2007)
53EEHoratiu 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)
52EESandra 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)
51EEChristophe Calvès, Maribel Fernández: Implementing Nominal Unification. Electr. Notes Theor. Comput. Sci. 176(1): 25-37 (2007)
50EEMaribel Fernández, Ian Mackie, Jorge Sousa Pinto: A Higher-Order Calculus for Graph Transformation. Electr. Notes Theor. Comput. Sci. 72(1): 45-58 (2007)
49EEMaribel Fernández, Murdoch Gabbay: Nominal rewriting. Inf. Comput. 205(6): 917-965 (2007)
48EEMaribel Fernández, Ian Mackie: More developments in computational models: introduction. Mathematical Structures in Computer Science 17(4): 585-586 (2007)
2006
47EESandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: The Power of Linear Functions. CSL 2006: 119-134
46EESteve Barker, Maribel Fernández: Term Rewriting for Access Control. DBSec 2006: 179-193
45EEMaribel Fernández, Fabien Fleutot: A historic functional and object-oriented calculus. PPDP 2006: 145-156
44EEMaribel Fernández, Murdoch Gabbay: Curry-Style Types for Nominal Terms. TYPES 2006: 125-139
43EEMaribel Fernández, Ian Mackie: Preface. Electr. Notes Theor. Comput. Sci. 135(3): 1-2 (2006)
42EEMaribel 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)
41EEMaribel Fernández, Ian Mackie: Developments in computational models: introduction. Mathematical Structures in Computer Science 16(4): 553-555 (2006)
2005
40EEMaribel Fernández, Murdoch Gabbay: Nominal rewriting with name generation: abstraction vs. locality. PPDP 2005: 47-58
39EEMaribel Fernández, Ian Mackie, François-Régis Sinot: Lambda-Calculus with Director Strings. Appl. Algebra Eng. Commun. Comput. 15(6): 393-437 (2005)
38EEMaribel Fernández: Preface. Electr. Notes Theor. Comput. Sci. 127(5): 1-2 (2005)
37EEMaribel 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
36EEMaribel Fernández: Workshop TERMGRAPH 2004. ICGT 2004: 437-438
35EEMaribel Fernández, Murdoch Gabbay, Ian Mackie: Nominal rewriting systems. PPDP 2004: 108-119
2003
34EEFrançois-Régis Sinot, Maribel Fernández, Ian Mackie: Efficient Reductions with Director Strings. RTA 2003: 46-60
33EEMaribel 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)
30EEMaribel Fernández, Ian Mackie: Operational equivalence for interaction nets. Theor. Comput. Sci. 297(1-3): 157-181 (2003)
2002
29EEMaribel Fernández, Ian Mackie: Call-by-Value lambda-Graph Rewriting Without Rewriting. ICGT 2002: 75-89
28EEMaribel Fernández, Paula Severi: An Operational Approach to Program Extraction in the Calculus of Constructions. LOPSTR 2002: 111-125
27EEMaribel 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
25EEMaribel 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
23EESteffen 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)
19EEMaribel Fernández, Ian Mackie: Interaction Nets and Term-Rewriting Systems. Theor. Comput. Sci. 190(1): 3-39 (1998)
1997
18EEAdriana 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
15EEMaribel Fernández, Ian Mackie: Interaction Nets and Term Rewriting Systems (Extended Abstract). CAAP 1996: 149-164
14EESteffen van Bakel, Franco Barbanera, Maribel Fernández: Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization. ESOP 1996: 387-403
13EEMaribel 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)
11EEFranco 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
9EESteffen 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
5EEFranco Barbanera, Maribel Fernández: Modularity of Termination and Confluence in Combinations of Rewrite Systems with lambda_omega. ICALP 1993: 657-668
4EEMaribel 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
2EEHubert 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)

Coauthor Index

1Sandra Alves [47] [52] [56] [57]
2Steffen van Bakel [6] [9] [10] [14] [17] [23] [31]
3Franco Barbanera [3] [5] [7] [11] [14] [16] [23]
4Steve Barker [46] [58] [66]
5Clara Bertolissi [58] [63] [66]
6Christophe Calvès [51] [59] [62]
7Horatiu Cirstea [53] [60]
8Hubert Comon-Lundh (Hubert Comon) [2]
9Adriana B. Compagnoni [18]
10Germain Faure [53]
11Fabien Fleutot [45]
12Mário Florido [47] [52] [56] [57]
13Chris Fox [61]
14Murdoch James Gabbay (Murdoch Gabbay) [35] [40] [44] [49]
15Herman Geuvers [7] [16]
16Jean-Pierre Jouannaud [8]
17Lionel Khalil [27] [32]
18Claude Kirchner [55]
19Ralf Lämmel (Ralf Laemmel, Ralf Lammel) [54]
20Shalom Lappin [61]
21Ian Mackie [13] [15] [19] [22] [24] [25] [26] [29] [30] [33] [34] [35] [37] [39] [41] [42] [43] [47] [48] [50] [52] [53] [56] [57]
22Jorge Sousa Pinto [50]
23Paula Severi [28] [33]
24Nikolaos Siafakas [65]
25François-Régis Sinot [34] [37] [39] [42] [53]
26Nora Szasz [33]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)