
Maribel Fernández
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
- [j52]Jesús Domínguez, Maribel Fernández:
Nominal syntax with atom substitutions. J. Comput. Syst. Sci. 119: 34-59 (2021) - [c97]Mauricio Ayala-Rincón
, Maribel Fernández
, Daniele Nantes-Sobrinho
, Deivid Vale
:
Nominal Equational Problems. FoSSaCS 2021: 22-41 - [e10]Maribel Fernández:
Logic-Based Program Synthesis and Transformation - 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings. Lecture Notes in Computer Science 12561, Springer 2021, ISBN 978-3-030-68445-7 [contents] - 2020
- [j51]Mauricio Ayala-Rincón
, Maribel Fernández
, Daniele Nantes-Sobrinho:
On Nominal Syntax and Permutation Fixed Points. Log. Methods Comput. Sci. 16(1) (2020) - [c96]Clara Bertolissi, Maribel Fernández
, Bhavani M. Thuraisingham:
Admin-CBAC: An Administration Model for Category-Based Access Control. CODASPY 2020: 73-84 - [c95]Maribel Fernández
, Ian Mackie:
A Reversible Operational Semantics for Imperative Programming Languages. ICFEM 2020: 91-106 - [c94]Sandra Alves, Maribel Fernández, Miguel Ramos
:
EVL: A Typed Higher-order Functional Language for Events. LSFA 2020: 3-23 - [c93]Maribel Fernández
, János Varga:
Finding Candidate Keys and 3NF via Strategic Port Graph Rewriting. PPDP 2020: 10:1-10:14 - [c92]Maribel Fernández
, Alex Franch Tapia, Jenjira Jaimunk
, Manuel Martinez Chamorro, Bhavani M. Thuraisingham:
A Data Access Model for Privacy-Preserving Cloud-IoT Architectures. SACMAT 2020: 191-202 - [e9]Maribel Fernández, Anca Muscholl:
28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain. LIPIcs 152, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-132-0 [contents]
2010 – 2019
- 2019
- [j50]Iliano Cervesato, Maribel Fernández
:
Preface to the Special Issue on Linearity. J. Autom. Reason. 63(4): 809-811 (2019) - [j49]Maribel Fernández
, Hélène Kirchner, Bruno Pinaud
:
Strategic port graph rewriting: an interactive modelling framework. Math. Struct. Comput. Sci. 29(5): 615-662 (2019) - [j48]Mauricio Ayala-Rincón
, Washington de Carvalho Segundo, Maribel Fernández
, Daniele Nantes-Sobrinho
, Ana Cristina Rocha Oliveira:
A formalisation of nominal α-equivalence with A, C, and AC function symbols. Theor. Comput. Sci. 781: 3-23 (2019) - [c91]Maribel Fernández
, Ian Mackie, Bhavani M. Thuraisingham:
Specification and Analysis of ABAC Policies via the Category-based Metamodel. CODASPY 2019: 173-184 - [c90]Jesús Domínguez, Maribel Fernández
:
Nominal Syntax with Atom Substitutions: Matching, Unification, Rewriting. FCT 2019: 64-79 - [c89]Maribel Fernández
, Jenjira Jaimunk
, Bhavani M. Thuraisingham:
Privacy-Preserving Architecture for Cloud-IoT Platforms. ICWS 2019: 11-19 - [c88]Mauricio Ayala-Rincón
, Maribel Fernández
, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho
:
A Certified Functional Nominal C-Unification Algorithm. LOPSTR 2019: 123-138 - [c87]Maribel Fernández
, Bruno Pinaud
, János Varga
:
A Port Graph Rewriting Approach to Relational Database Modelling. LOPSTR 2019: 211-227 - [c86]Mauricio Ayala-Rincón
, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale:
On Solving Nominal Disunification Constraints. LSFA 2019: 3-22 - [e8]Maribel Fernández, Ian Mackie:
Proceedings Tenth International Workshop on Computing with Terms and Graphs, TERMGRAPH@FSCD 2018, Oxford, UK, 7th July 2018. EPTCS 288, 2019 [contents] - [e7]Thomas Ehrhard, Maribel Fernández, Valeria de Paiva, Lorenzo Tortora de Falco:
Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018. EPTCS 292, 2019 [contents] - [i3]Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
:
On Nominal Syntax and Permutation Fixed Points. CoRR abs/1902.08345 (2019) - 2018
- [j47]Maribel Fernández
, Hélène Kirchner, Bruno Pinaud
, Jason Vallet:
Labelled graph strategic rewriting for social networks. J. Log. Algebraic Methods Program. 96: 12-40 (2018) - [j46]Mauricio Ayala-Rincón
, Maribel Fernández
, Ana Cristina Rocha Oliveira, Daniel Lima Ventura
:
Nominal essential intersection types. Theor. Comput. Sci. 737: 62-80 (2018) - [j45]Elliot Fairweather, Maribel Fernández
:
Typed Nominal Rewriting. ACM Trans. Comput. Log. 19(1): 6:1-6:46 (2018) - [c85]Maribel Fernández
, Jenjira Jaimunk
, Bhavani M. Thuraisingham:
Graph-Based Data-Collection Policies for the Internet of Things. ICSS 2018: 9-16 - [c84]Mauricio Ayala-Rincón
, Maribel Fernández, Daniele Nantes-Sobrinho
:
Fixed-Point Constraints for Nominal Equational Unification. FSCD 2018: 7:1-7:16 - [c83]Bhavani M. Thuraisingham, Murat Kantarcioglu, Elisa Bertino, Jonathan Z. Bakdash, Maribel Fernández
:
Towards a Privacy-Aware Qunatified Self Data Management Framework. SACMAT 2018: 173-184 - [c82]Mauricio Ayala-Rincón
, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho
:
A Formalisation of Nominal C-Matching through Unification with Protected Variables. LSFA 2018: 47-65 - 2017
- [j44]Mauricio Ayala-Rincón
, Maribel Fernández
, Daniele Nantes-Sobrinho
:
Intruder deduction problem for locally stable theories with normal forms and inverses. Theor. Comput. Sci. 672: 64-100 (2017) - [j43]Sandra Alves
, Maribel Fernández
:
A graph-based framework for the analysis of access control policies. Theor. Comput. Sci. 685: 3-22 (2017) - [c81]Bruno Pinaud, Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Jason Vallet:
PORGY : a Visual Analytics Platform for System Modelling and Analysis Based on Graph Rewriting. EGC 2017: 473-476 - [c80]Mauricio Ayala-Rincón
, Washington de Carvalho Segundo
, Maribel Fernández, Daniele Nantes-Sobrinho
:
On Solving Nominal Fixpoint Equations. FroCoS 2017: 209-226 - [c79]Mauricio Ayala-Rincón
, Washington de Carvalho Segundo
, Maribel Fernández
, Daniele Nantes-Sobrinho
:
Nominal C-Unification. LOPSTR 2017: 235-251 - [c78]Nneka Chinelo Ene, Maribel Fernández, Bruno Pinaud
:
Attributed Hierarchical Port Graphs and Applications. WPTE@FSCD 2017: 2-19 - [c77]Maribel Fernández
, Hélène Kirchner, Bruno Pinaud:
Labelled Port Graph - A Formal Structure for Models and Computations. LSFA 2017: 3-21 - [e6]Iliano Cervesato, Maribel Fernández:
Proceedings Fourth International Workshop on Linearity, LINEARITY 2016, Porto, Portugal, 25 June 2016. EPTCS 238, 2017 [contents] - [i2]Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho:
Nominal C-Unification. CoRR abs/1709.05384 (2017) - 2016
- [c76]Maribel Fernández
, Murat Kantarcioglu, Bhavani M. Thuraisingham:
A Framework for Secure Data Collection and Management for Internet of Things. ICSS 2016: 30-37 - [c75]Mauricio Ayala-Rincón
, Maribel Fernández
, Daniele Nantes-Sobrinho
:
Nominal Narrowing. FSCD 2016: 11:1-11:17 - [c74]Maribel Fernández
, Hélène Kirchner, Bruno Pinaud
, Jason Vallet:
Labelled Graph Rewriting Meets Social Networks. WRLA 2016: 1-25 - [c73]Mauricio Ayala-Rincón
, Washington de Carvalho Segundo
, Maribel Fernández
, Daniele Nantes-Sobrinho
:
A Formalisation of Nominal α-equivalence with A and AC Function Symbols. LSFA 2016: 21-38 - 2015
- [j42]Jesús Domínguez
, Maribel Fernández:
From nominal to higher-order rewriting and back again. Log. Methods Comput. Sci. 11(4) (2015) - [j41]Fahad Alarifi, Maribel Fernández:
Towards Privacy-Preserving Web Metering Via User-Centric Hardware. EAI Endorsed Trans. Security Safety 2(4): e4 (2015) - [c72]Sandra Alves
, Sabine Broda
, Maribel Fernández:
A Typed Language for Events. LOPSTR 2015: 107-123 - [c71]Abeer S. Al-Humaimeedy, Maribel Fernández:
Enhancing the specification and verification techniques of multiparty sessions in SOC. PPDP 2015: 19-30 - [c70]Elliot Fairweather, Maribel Fernández
, Nora Szasz
, Alvaro Tasistro:
Dependent Types for Nominal Terms with Atom Substitutions. TLCA 2015: 180-195 - [c69]Mauricio Ayala-Rincón
, Maribel Fernández
, Murdoch James Gabbay
, Ana Cristina Rocha Oliveira:
Checking Overlaps of Nominal Rewriting Rules. LSFA 2015: 39-56 - [c68]Mauricio Ayala-Rincón
, Maribel Fernández
, Ana Cristina Rocha Oliveira:
Completeness in PVS of a Nominal Unification Algorithm. LSFA 2015: 57-74 - [c67]Ernesto Copello, Alvaro Tasistro, Nora Szasz
, Ana Bove, Maribel Fernández:
Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory. LSFA 2015: 109-124 - [e5]Maribel Fernández:
26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland. LIPIcs 36, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-85-9 [contents] - 2014
- [b3]Maribel Fernández:
Programming Languages and Operational Semantics - A Concise Overview. Undergraduate Topics in Computer Science, Springer 2014, ISBN 978-1-4471-6367-1, pp. 3-206 - [j40]Clara Bertolissi, Maribel Fernández
:
A metamodel of access control for distributed environments: Applications and properties. Inf. Comput. 238: 187-207 (2014) - [j39]Sandra Alves
, Maribel Fernández
, Mário Florido
, Ian Mackie:
Linearity: A Roadmap. J. Log. Comput. 24(3): 513-529 (2014) - [j38]Maribel Fernández
, Nikolaos Siafakas:
Labelled calculi of resources. J. Log. Comput. 24(3): 591-613 (2014) - [c66]Maribel Fernández, Hélène Kirchner, Ian Mackie, Bruno Pinaud
:
Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY. CiE 2014: 183-193 - [c65]Sandra Alves
, Anatoli Degtyarev, Maribel Fernández:
Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics. LOPSTR 2014: 148-163 - [c64]Jesús Domínguez, Maribel Fernández:
Relating Nominal and Higher-Order Rewriting. MFCS (1) 2014: 244-255 - [c63]Fahad Alarifi, Maribel Fernández:
Towards Privacy-Preserving Web Metering via User-Centric Hardware. SecureComm (2) 2014: 329-340 - [c62]Asad Ali, Maribel Fernández:
Hybrid Enforcement of Category-Based Access Control. STM 2014: 178-182 - [c61]Maribel Fernández
, Hélène Kirchner, Bruno Pinaud
:
Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework. GRAPHITE 2014: 15-29 - [c60]Asad Ali
, Maribel Fernández:
Static Enforcement of Role-Based Access Control. WWV 2014: 36-50 - [c59]Abeer S. Al-Humaimeedy, Maribel Fernández:
Enabling Synchronous and Asynchronous Communications in CSP for SOC. LSFA 2014: 69-88 - [c58]Sandra Alves
, Maribel Fernández:
A Framework for the Analysis of Access Control Policies with Emergency Management. LSFA 2014: 89-105 - [e4]Maribel Fernández, Marcelo Finger:
Proceedings of the 8th Workshop on Logical and Semantic Frameworks, LSFA 2013, São Paulo, Brazil, September 2-3, 2013. Electronic Notes in Theoretical Computer Science 305, Elsevier 2014 [contents] - 2013
- [c57]Maribel Fernández, Jeffrey Terrell:
Assembling the Proofs of Ordered Model Transformations. FESCA 2013: 63-77 - [c56]Maribel Fernández, Ian Mackie, Matthew Walker:
Bigraphical Nets. TERMGRAPH 2013: 74-81 - [c55]Maribel Fernández, Marcelo Finger:
Preface. LSFA 2013: 1-3 - 2012
- [j37]Maribel Fernández
, Christian Urban:
Preface: Theory and Applications of Abstraction, Substitution and Naming. J. Autom. Reason. 49(2): 111-114 (2012) - [c54]Maribel Fernández
, Albert Rubio:
Nominal Completion for Rewrite Systems with Binders. ICALP (2) 2012: 201-213 - [c53]Abeer S. Al-Humaimeedy, Maribel Fernández:
General dynamic recovery for compensating CSP. DCM 2012: 3-16 - [c52]Maribel Fernández, Sébastien Maulat:
Higher-order port-graph rewriting. LINEARITY 2012: 25-37 - [c51]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
- [c50]Elliot Fairweather, Maribel Fernández, Murdoch James Gabbay
:
Principal Types for Nominal Theories. FCT 2011: 160-172 - [c49]Maribel Fernández, Hélène Kirchner, Olivier Namet:
A Strategy Language for Graph Rewriting. LOPSTR 2011: 173-188 - [c48]Sandra Alves
, Maribel Fernández, Mário Florido
, Ian Mackie:
Linearity and recursion in a typed Lambda-calculus. PPDP 2011: 173-182 - [c47]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 - [c46]Sandra Alves
, Maribel Fernández, Ian Mackie:
A new graphical calculus of proofs. TERMGRAPH 2011: 69-84 - 2010
- [j36]Christophe Calvès, Maribel Fernández:
Matching and alpha-equivalence check for nominal terms. J. Comput. Syst. Sci. 76(5): 283-301 (2010) - [j35]Sandra Alves
, Maribel Fernández, Mário Florido
, Ian Mackie:
Linearity and iterator types for Gödel's System. High. Order Symb. Comput. 23(1): 1-27 (2010) - [j34]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) - [c45]Clara Bertolissi, Maribel Fernández:
Category-Based Authorisation Models: Operational Semantics and Expressive Power. ESSoS 2010: 140-156 - [c44]Christophe Calvès, Maribel Fernández:
The First-Order Nominal Link. LOPSTR 2010: 234-248 - [c43]Clara Bertolissi, Maribel Fernández:
Rewrite Specifications of Access Control Policies in Distributed Environments. STM 2010: 51-67 - [c42]Maribel Fernández, Olivier Namet:
Strategic programming on graph rewriting systems. IWS 2010: 1-20 - [c41]Maribel Fernández, Murdoch James Gabbay
:
Closed nominal rewriting and efficiently computable nominal algebra equality. LFMTP 2010: 37-51 - [e3]Temur 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, ISBN 978-1-4503-0132-9 [contents] - [e2]Maribel Fernández:
Proceedings 24th International Workshop on Unification, UNIF 2010, Edinburgh, United Kingdom, 14th July 2010. EPTCS 42, 2010 [contents] - [i1]Sandra Alves, Maribel Fernández, Mário Florido
, Ian Mackie:
Linear Recursion. CoRR abs/1001.3368 (2010)
2000 – 2009
- 2009
- [b2]Maribel Fernández:
Models of Computation - An Introduction to Computability Theory. Undergraduate Topics in Computer Science, Springer 2009, ISBN 978-1-84882-433-1, pp. I-XI, 1-184 - [j33]Steve Barker, Clara Bertolissi, Maribel Fernández:
Action Control by Term Rewriting. Electron. Notes Theor. Comput. Sci. 234: 19-36 (2009) - [j32]Maribel Fernández, Nikolaos Siafakas:
New Developments in Environment Machines. Electron. Notes Theor. Comput. Sci. 237: 57-73 (2009) - [j31]Maribel Fernández, Ian Mackie, Shinya Sato, Matthew Walker:
Recursive Functions with Pattern Matching in Interaction Nets. Electron. Notes Theor. Comput. Sci. 253(4): 55-71 (2009) - [j30]Clara Bertolissi, Maribel Fernández:
Distributed event-based access control. Int. J. Inf. Comput. Secur. 3(3/4): 306-320 (2009) - [j29]Maribel Fernández:
Rewriting Corner. J. Log. Comput. 19(2): 261 (2009) - [c40]Maribel Fernández, Olivier Namet:
Graph Creation, Visualisation and Transformation. RULE 2009: 1-11 - [c39]Maribel Fernández, Nikolaos Siafakas:
Labelled Lambda-calculi with Explicit Copy and Erase. LINEARITY 2009: 49-64 - [e1]Maribel Fernández:
Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2009, Brasilia, Brazil, 28th June 2009. EPTCS 15, 2009 [contents] - 2008
- [j28]Chris Fox, Maribel Fernández, Shalom Lappin:
Lambda Calculus, Type Theory, and Natural Language II. J. Log. Comput. 18(2): 203 (2008) - [j27]Horatiu Cirstea, Maribel Fernández
:
Rewriting calculi, higher-order reductions and patterns: introduction. Math. Struct. Comput. Sci. 18(3): 427-429 (2008) - [j26]Christophe Calvès, Maribel Fernández
:
A polynomial nominal unification algorithm. Theor. Comput. Sci. 403(2-3): 285-306 (2008) - [c38]Clara Bertolissi, Maribel Fernández:
An algebraic-functional framework for distributed access control. CRiSIS 2008: 1-8 - [c37]Clara Bertolissi, Maribel Fernández:
Time and Location Based Services with Access Control. NTMS 2008: 1-6 - [c36]Clara Bertolissi, Maribel Fernández:
A rewriting framework for the composition of access control policies. PPDP 2008: 217-225 - [c35]Christophe Calvès, Maribel Fernández:
Nominal Matching and Alpha-Equivalence. WoLLIC 2008: 111-122 - 2007
- [j25]Maribel Fernández, Ian Mackie, Jorge Sousa Pinto
:
A Higher-Order Calculus for Graph Transformation. Electron. Notes Theor. Comput. Sci. 72(1): 45-58 (2007) - [j24]Maribel Fernández, Claude Kirchner:
Preface. Electron. Notes Theor. Comput. Sci. 171(4): 1-2 (2007) - [j23]Maribel Fernández, Ralf Lämmel
:
Preface. Electron. Notes Theor. Comput. Sci. 174(1): 1-2 (2007) - [j22]Horatiu Cirstea, Germain Faure, Maribel Fernández, Ian Mackie, François-Régis Sinot:
From Functional Programs to Interaction Nets via the Rewriting Calculus. Electron. Notes Theor. Comput. Sci. 174(10): 39-56 (2007) - [j21]Sandra Alves
, Maribel Fernández, Mário Florido
, Ian Mackie:
The Power of Closed Reduction Strategies. Electron. Notes Theor. Comput. Sci. 174(10): 57-74 (2007) - [j20]Christophe Calvès, Maribel Fernández:
Implementing Nominal Unification. Electron. Notes Theor. Comput. Sci. 176(1): 25-37 (2007) - [j19]Maribel Fernández, Murdoch Gabbay
:
Nominal rewriting. Inf. Comput. 205(6): 917-965 (2007) - [j18]Maribel Fernández, Ian Mackie:
More developments in computational models: introduction. Math. Struct. Comput. Sci. 17(4): 585-586 (2007) - [c34]Sandra Alves
, Maribel Fernández, Mário Florido
, Ian Mackie:
Linear Recursive Functions. Rewriting, Computation and Proof 2007: 182-195 - [c33]Clara Bertolissi, Maribel Fernández, Steve Barker:
Dynamic Event-Based Access Control as Term Rewriting. DBSec 2007: 195-210 - [c32]Sandra Alves, Maribel Fernández, Mário Florido
, Ian Mackie:
Iterator Types. FoSSaCS 2007: 17-31 - 2006
- [j17]Maribel Fernández, Ian Mackie:
Preface. Electron. Notes Theor. Comput. Sci. 135(3): 1-2 (2006) - [j16]Maribel Fernández, Ian Mackie:
Developments in computational models: introduction. Math. Struct. Comput. Sci. 16(4): 553-555 (2006) - [c31]Sandra Alves
, Maribel Fernández, Mário Florido
, Ian Mackie:
The Power of Linear Functions. CSL 2006: 119-134 - [c30]Steve Barker, Maribel Fernández:
Term Rewriting for Access Control. DBSec 2006: 179-193 - [c29]Maribel Fernández, Fabien Fleutot:
A historic functional and object-oriented calculus. PPDP 2006: 145-156 - [c28]Maribel Fernández, Murdoch Gabbay:
Curry-Style Types for Nominal Terms. TYPES 2006: 125-139 - 2005
- [j15]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) - [j14]Maribel Fernández:
Preface. Electron. Notes Theor. Comput. Sci. 127(5): 1-2 (2005) - [j13]Maribel Fernández, Ian Mackie, François-Régis Sinot:
Closed reduction: explicit substitutions without alpha-conversion. Math. Struct. Comput. Sci. 15(2): 343-381 (2005) - [c27]Maribel Fernández, Murdoch Gabbay:
Nominal rewriting with name generation: abstraction vs. locality. PPDP 2005: 47-58 - [c26]Maribel Fernández, Ian Mackie, François-Régis Sinot:
Interaction Nets vs. the rho-calculus: Introducing Bigraphical Nets. EXPRESS 2005: 19-32 - 2004
- [b1]Maribel Fernández:
Programming Languages and Operational Semantics. Texts in computing 1, College Publications 2004, ISBN 978-0-9543006-3-0, pp. I-VI, 1-142 - [c25]Maribel Fernández:
Workshop TERMGRAPH 2004. ICGT 2004: 437-438 - [c24]Maribel Fernández, Murdoch Gabbay, Ian Mackie:
Nominal rewriting systems. PPDP 2004: 108-119 - 2003
- [j12]Maribel Fernández, Ian Mackie, Paula Severi, Nora Szasz:
Reduction Strategies for Program Extraction. CLEI Electron. J. 6(1) (2003) - [j11]Maribel Fernández, Lionel Khalil:
Interaction Nets with McCarthy's amb: Properties and Applications. Nord. J. Comput. 10(2): 134-162 (2003) - [j10]Steffen van Bakel
, Maribel Fernández:
Normalization, approximation, and semantics for combinator systems. Theor. Comput. Sci. 290(1): 975-1019 (2003) - [j9]Maribel Fernández, Ian Mackie:
Operational equivalence for interaction nets. Theor. Comput. Sci. 297(1-3): 157-181 (2003) - [c23]François-Régis Sinot, Maribel Fernández, Ian Mackie:
Efficient Reductions with Director Strings. RTA 2003: 46-60 - 2002
- [c22]Maribel Fernández, Ian Mackie:
Call-by-Value lambda-Graph Rewriting Without Rewriting. ICGT 2002: 75-89 - [c21]