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

Maribel Fernández Coauthor index pubzone.org

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

DBLP keys2011
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElliot Fairweather, Maribel Fernández, Murdoch James Gabbay: Principal Types for Nominal Theories. FCT 2011: 160-172
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Linearity and recursion in a typed Lambda-calculus. PPDP 2011: 173-182
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOana 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
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandra Alves, Maribel Fernández, Ian Mackie: A new graphical calculus of proofs TERMGRAPH 2011: 69-84
2010
82no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTemur Kutsia, Wolfgang Schreiner, Maribel Fernández: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria ACM 2010
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClara Bertolissi, Maribel Fernández: Category-Based Authorisation Models: Operational Semantics and Expressive Power. ESSoS 2010: 140-156
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Olivier Namet: Strategic programming on graph rewriting systems IWS 2010: 1-20
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Murdoch James Gabbay: Closed nominal rewriting and efficiently computable nominal algebra equality LFMTP 2010: 37-51
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristophe Calvès, Maribel Fernández: The First-Order Nominal Link. LOPSTR 2010: 234-248
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClara Bertolissi, Maribel Fernández: Rewrite Specifications of Access Control Policies in Distributed Environments. STM 2010: 51-67
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Linear Recursion CoRR abs/1001.3368: (2010)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandra 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)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristophe Calvès, Maribel Fernández: Matching and alpha-equivalence check for nominal terms. J. Comput. Syst. Sci. 76(5): 283-301 (2010)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Gödel's system tau revisited. Theor. Comput. Sci. 411(11-13): 1484-1500 (2010)
2009
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández: Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming WRS 2009
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Nikolaos Siafakas: Labelled Lambda-calculi with Explicit Copy and Erase LINEARITY 2009: 49-64
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Olivier Namet: Graph Creation, Visualisation and Transformation RULE 2009: 1-11
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve Barker, Clara Bertolissi, Maribel Fernández: Action Control by Term Rewriting. Electr. Notes Theor. Comput. Sci. 234: 19-36 (2009)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Nikolaos Siafakas: New Developments in Environment Machines. Electr. Notes Theor. Comput. Sci. 237: 57-73 (2009)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel 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)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández: Rewriting Corner. J. Log. Comput. 19(2): 261 (2009)
2008
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClara Bertolissi, Maribel Fernández: An algebraic-functional framework for distributed access control. CRiSIS 2008: 1-8
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClara Bertolissi, Maribel Fernández: Time and Location Based Services with Access Control. NTMS 2008: 1-6
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClara Bertolissi, Maribel Fernández: A rewriting framework for the composition of access control policies. PPDP 2008: 217-225
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristophe Calvès, Maribel Fernández: Nominal Matching and Alpha-Equivalence. WoLLIC 2008: 111-122
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris Fox, Maribel Fernández, Shalom Lappin: Lambda Calculus, Type Theory, and Natural Language II. J. Log. Comput. 18(2): 203 (2008)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoratiu Cirstea, Maribel Fernández: Rewriting calculi, higher-order reductions and patterns: introduction. Mathematical Structures in Computer Science 18(3): 427-429 (2008)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristophe Calvès, Maribel Fernández: A polynomial nominal unification algorithm. Theor. Comput. Sci. 403(2-3): 285-306 (2008)
2007
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClara Bertolissi, Maribel Fernández, Steve Barker: Dynamic Event-Based Access Control as Term Rewriting. DBSec 2007: 195-210
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Iterator Types. FoSSaCS 2007: 17-31
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Linear Recursive Functions. Rewriting, Computation and Proof 2007: 182-195
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Claude Kirchner: Preface. Electr. Notes Theor. Comput. Sci. 171(4): 1-2 (2007)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Ralf Lämmel: Preface. Electr. Notes Theor. Comput. Sci. 174(1): 1-2 (2007)
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoratiu 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)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandra 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)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristophe Calvès, Maribel Fernández: Implementing Nominal Unification. Electr. Notes Theor. Comput. Sci. 176(1): 25-37 (2007)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Ian Mackie, Jorge Sousa Pinto: A Higher-Order Calculus for Graph Transformation. Electr. Notes Theor. Comput. Sci. 72(1): 45-58 (2007)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Murdoch Gabbay: Nominal rewriting. Inf. Comput. 205(6): 917-965 (2007)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Ian Mackie: More developments in computational models: introduction. Mathematical Structures in Computer Science 17(4): 585-586 (2007)
2006
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: The Power of Linear Functions. CSL 2006: 119-134
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve Barker, Maribel Fernández: Term Rewriting for Access Control. DBSec 2006: 179-193
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Fabien Fleutot: A historic functional and object-oriented calculus. PPDP 2006: 145-156
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Murdoch Gabbay: Curry-Style Types for Nominal Terms. TYPES 2006: 125-139
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Ian Mackie: Preface. Electr. Notes Theor. Comput. Sci. 135(3): 1-2 (2006)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel 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)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Ian Mackie: Developments in computational models: introduction. Mathematical Structures in Computer Science 16(4): 553-555 (2006)
2005
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Murdoch Gabbay: Nominal rewriting with name generation: abstraction vs. locality. PPDP 2005: 47-58
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Ian Mackie, François-Régis Sinot: Lambda-Calculus with Director Strings. Appl. Algebra Eng. Commun. Comput. 15(6): 393-437 (2005)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández: Preface. Electr. Notes Theor. Comput. Sci. 127(5): 1-2 (2005)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel 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
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández: Workshop TERMGRAPH 2004. ICGT 2004: 437-438
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Murdoch Gabbay, Ian Mackie: Nominal rewriting systems. PPDP 2004: 108-119
2003
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois-Régis Sinot, Maribel Fernández, Ian Mackie: Efficient Reductions with Director Strings. RTA 2003: 46-60
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Ian Mackie, Paula Severi, Nora Szasz: Reduction Strategies for Program Extraction. CLEI Electron. J. 6(1): (2003)
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Lionel Khalil: Interaction Nets with McCarthy's amb: Properties and Applications. Nord. J. Comput. 10(2): 134-162 (2003)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen van Bakel, Maribel Fernández: Normalization, approximation, and semantics for combinator systems. Theor. Comput. Sci. 290(1): 975-1019 (2003)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Ian Mackie: Operational equivalence for interaction nets. Theor. Comput. Sci. 297(1-3): 157-181 (2003)
2002
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Ian Mackie: Call-by-Value lambda-Graph Rewriting Without Rewriting. ICGT 2002: 75-89
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Paula Severi: An Operational Approach to Program Extraction in the Calculus of Constructions. LOPSTR 2002: 111-125
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Lionel Khalil: Interaction Nets with McCarthy's amb. Electr. Notes Theor. Comput. Sci. 68(2): 51-68 (2002)
2000
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Ian Mackie: A Theory of Operational Equivalence for Interaction Nets. LATIN 2000: 447-456
1999
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Ian Mackie: Closed Reductions in the lambda-Calculus. CSL 1999: 220-234
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Ian Mackie: A Calculus for Interaction Nets. PPDP 1999: 170-187
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen van Bakel, Franco Barbanera, Maribel Fernández: Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and beta-Rule. TYPES 1999: 41-60
1998
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Ian Mackie: Coinductive Techniques for Operational Equivalence of Interaction Nets. LICS 1998: 321-332
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández: Negation Elimination in Empty or Permutative Theories. J. Symb. Comput. 26(1): 97-133 (1998)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández: Type assignment and termination of interaction nets. Mathematical Structures in Computer Science 8(6): 593-636 (1998)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Ian Mackie: Interaction Nets and Term-Rewriting Systems. Theor. Comput. Sci. 190(1): 3-39 (1998)
1997
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdriana B. Compagnoni, Maribel Fernández: On Object Calculus with Algebraic Rewriting. PLILP 1997: 17-31
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen van Bakel, Maribel Fernández: Normalization Results for Typeable Rewrite Systems. Inf. Comput. 133(2): 73-116 (1997)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranco Barbanera, Maribel Fernández, Herman Geuvers: Modularity of Strong Normalization in the Algebraic-lambda-Cube. J. Funct. Program. 7(6): 613-660 (1997)
1996
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Ian Mackie: Interaction Nets and Term Rewriting Systems (Extended Abstract). CAAP 1996: 149-164
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen van Bakel, Franco Barbanera, Maribel Fernández: Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization. ESOP 1996: 387-403
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Ian Mackie: From Term Rewriting to Generalised Interaction Nets. PLILP 1996: 319-333
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández: AC Complement Problems: Satisfiability and Negation Elimination. J. Symb. Comput. 22(1): 49-82 (1996)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranco Barbanera, Maribel Fernández: Intersection Type Assignment Systems with Higher-Order Algebraic Rewriting. Theor. Comput. Sci. 170(1-2): 173-207 (1996)
1995
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen van Bakel, Maribel Fernández: Approximation and Normalization Results for Typeable Term Rewriting Systems. HOA 1995: 17-36
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen van Bakel, Maribel Fernández: (Head-) Normalization of Typeable Rewrite Systems. RTA 1995: 279-293
1994
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández, Jean-Pierre Jouannaud: Modular Termination of Term Rewriting Systems Revisited. COMPASS/ADT 1994: 255-272
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranco Barbanera, Maribel Fernández, Herman Geuvers: Modularity of Strong Normalization and Confluence in the algebraic-lambda-Cube LICS 1994: 406-415
1993
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen van Bakel, Maribel Fernández: Strong Normalization of Typeable Rewrite Systems. HOA 1993: 20-39
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranco Barbanera, Maribel Fernández: Modularity of Termination and Confluence in Combinations of Rewrite Systems with lambda_omega. ICALP 1993: 657-668
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel Fernández: AC Complement Problems: Satisfiability and Negation Elimination. RTA 1993: 358-373
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranco Barbanera, Maribel Fernández: Combining First and Higher Order Rewrite Systems with Type Assignment Systems. TLCA 1993: 60-74
1992
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHubert Comon, Maribel Fernández: Negation Elimination in Equational Formulae. MFCS 1992: 191-199
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaribel 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] [73] [75] [76] [83] [85]
2Oana Andrei [84]
3Steffen van Bakel [6] [9] [10] [14] [17] [23] [31]
4Franco Barbanera [3] [5] [7] [11] [14] [16] [23]
5Steve Barker [46] [58] [69]
6Clara Bertolissi [58] [63] [64] [65] [69] [77] [81]
7Christophe Calvès [51] [59] [62] [74] [78]
8Horatiu Cirstea [53] [60]
9Hubert Comon-Lundh (Hubert Comon) [2]
10Adriana B. Compagnoni [18]
11Elliot Fairweather [86]
12Germain Faure [53]
13Fabien Fleutot [45]
14Mário Florido [47] [52] [56] [57] [73] [75] [76] [85]
15Chris Fox [61]
16Murdoch James Gabbay (Murdoch Gabbay) [35] [40] [44] [49] [79] [86]
17Herman Geuvers [7] [16]
18Jean-Pierre Jouannaud [8]
19Lionel Khalil [27] [32]
20Claude Kirchner [55]
21Hélène Kirchner [84]
22Temur Kutsia [82]
23Ralf Lämmel (Ralf Laemmel, Ralf Lammel) [54]
24Shalom Lappin [61]
25Ian 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] [67] [73] [75] [76] [83] [85]
26Guy Melançon [84]
27Olivier Namet [70] [80] [84]
28Bruno Pinaud [84]
29Jorge Sousa Pinto [50]
30Shinya Sato [67]
31Wolfgang Schreiner [82]
32Paula Severi [28] [33]
33Nikolaos Siafakas [68] [71]
34François-Régis Sinot [34] [37] [39] [42] [53]
35Nora Szasz [33]
36Matthew Walker [67]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page