default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMaribel Fernández
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c123]Anna Bamberger
, Maribel Fernández:
Automated Generation and Update of Structured ABAC Policies. SAT-CPS@CODASPY 2024: 31-40- [c122]Maribel Fernández, Jean Goubault-Larrecq, Delia Kesner:
The Ackermann Award 2023. CSL 2024: 1:1-1:4 - [c121]Clara Bertolissi, Maribel Fernández, Bhavani Thuraisingham:
An Axiomatic Category-Based Access Control Model for Smart Homes. LOPSTR 2024: 131-148 - [c120]Maribel Fernández, Ian Mackie:
Hierarchical Higher-Order Port-Graphs: A Rewriting-Based Modelling Language. PPDP 2024: 8:1-8:14 - [i6]Ali K. Caires-Santos, Maribel Fernández, Daniele Nantes-Sobrinho:
Strong Nominal Semantics for Fixed-Point Constraints. CoRR abs/2407.14253 (2024) - 2023
- [j43]Maribel Fernández, Jenjira Jaimunk, Bhavani Thuraisingham:
A Privacy-Preserving Architecture and Data-Sharing Model for Cloud-IoT Applications. IEEE Trans. Dependable Secur. Comput. 20(4): 3495-3507 (2023) - [c119]Maribel Fernández:
Nominal Techniques for Software Specification and Verification (Invited Talk). FSCD 2023: 1:1-1:4 - [c118]Maribel Fernández:
Unification Modulo Equational Theories in Languages with Binding Operators (Invited Talk). LOPSTR 2023: 3-6 - [c117]Anna Bamberger, Maribel Fernández:
From Static to Dynamic Access Control Policies via Attribute-Based Category Mining. LOPSTR 2023: 188-197 - [c116]Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, Daniele Nantes-Sobrinho:
Nominal AC-Matching. CICM 2023: 53-68 - [c115]Maribel Fernández:
The Category-Based Approach to Access Control, Obligations and Privacy. SACMAT 2023: 1-2 - [e17]Mohamed Shehab, Maribel Fernández, Ninghui Li:
Proceedings of the Thirteenth ACM Conference on Data and Application Security and Privacy, CODASPY 2023, Charlotte, NC, USA, April 24-26, 2023. ACM 2023 [contents] - [e16]Maribel Fernández, Christopher M. Poskitt:
Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings. Lecture Notes in Computer Science 13961, Springer 2023, ISBN 978-3-031-36708-3 [contents] - 2022
- [c114]Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes Sobrinho:
A Certified Algorithm for AC-Unification. FSCD 2022: 8:1-8:21 - [c113]James Cheney, Maribel Fernández:
Nominal Matching Logic. PPDP 2022: 5:1-5:15 - [c112]Clara Bertolissi, Maribel Fernández:
Modular Composition of Access Control Policies: A Framework to Build Multi-Site Multi-Level Combinations. SACMAT 2022: 7-18 - [e15]Anupam Joshi, Maribel Fernández, Rakesh M. Verma:
CODASPY '22: Twelveth ACM Conference on Data and Application Security and Privacy, Baltimore, MD, USA, April 24 - 27, 2022. ACM 2022, ISBN 978-1-4503-9220-4 [contents] - [i5]James Cheney, Maribel Fernández:
Nominal Matching Logic. CoRR abs/2207.14139 (2022) - 2021
- [j42]Jesús Domínguez, Maribel Fernández:
Nominal syntax with atom substitutions. J. Comput. Syst. Sci. 119: 34-59 (2021) - [j41]Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho:
Formalising nominal C-unification generalised with protected variables. Math. Struct. Comput. Sci. 31(3): 286-311 (2021) - [c111]Clara Bertolissi, Maribel Fernández, Bhavani Thuraisingham:
Graph-Based Specification of Admin-CBAC Policies. CODASPY 2021: 173-184 - [c110]Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale:
Nominal Equational Problems. FoSSaCS 2021: 22-41 - [e14]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] - [i4]Sandra Alves, Maribel Fernández, Miguel Ramos:
EVL: a typed functional language for event processing. CoRR abs/2109.08960 (2021) - 2020
- [j40]Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho:
On Nominal Syntax and Permutation Fixed Points. Log. Methods Comput. Sci. 16(1) (2020) - [c109]Clara Bertolissi, Maribel Fernández, Bhavani Thuraisingham:
Admin-CBAC: An Administration Model for Category-Based Access Control. CODASPY 2020: 73-84 - [c108]Maribel Fernández, Ian Mackie:
A Reversible Operational Semantics for Imperative Programming Languages. ICFEM 2020: 91-106 - [c107]Sandra Alves, Maribel Fernández, Miguel Ramos:
EVL: A Typed Higher-order Functional Language for Events. LSFA 2020: 3-23 - [c106]Maribel Fernández, János Varga:
Finding Candidate Keys and 3NF via Strategic Port Graph Rewriting. PPDP 2020: 10:1-10:14 - [c105]Maribel Fernández, Alex Franch Tapia, Jenjira Jaimunk, Manuel Martinez Chamorro, Bhavani Thuraisingham:
A Data Access Model for Privacy-Preserving Cloud-IoT Architectures. SACMAT 2020: 191-202 - [c104]Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale:
An Investigation into General Nominal Equational Problems (Work in progress). UNIF 2020: 3:1-3:8 - [e13]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
- [j39]Iliano Cervesato, Maribel Fernández:
Preface to the Special Issue on Linearity. J. Autom. Reason. 63(4): 809-811 (2019) - [j38]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) - [j37]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) - [c103]Maribel Fernández, Ian Mackie, Bhavani Thuraisingham:
Specification and Analysis of ABAC Policies via the Category-based Metamodel. CODASPY 2019: 173-184 - [c102]Jesús Domínguez, Maribel Fernández:
Nominal Syntax with Atom Substitutions: Matching, Unification, Rewriting. FCT 2019: 64-79 - [c101]Maribel Fernández, Jenjira Jaimunk, Bhavani Thuraisingham:
Privacy-Preserving Architecture for Cloud-IoT Platforms. ICWS 2019: 11-19 - [c100]Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho:
A Certified Functional Nominal C-Unification Algorithm. LOPSTR 2019: 123-138 - [c99]Maribel Fernández, Bruno Pinaud, János Varga:
A Port Graph Rewriting Approach to Relational Database Modelling. LOPSTR 2019: 211-227 - [c98]Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale:
On Solving Nominal Disunification Constraints. LSFA 2019: 3-22 - [e12]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] - [e11]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
- [j36]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) - [j35]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) - [j34]Elliot Fairweather, Maribel Fernández:
Typed Nominal Rewriting. ACM Trans. Comput. Log. 19(1): 6:1-6:46 (2018) - [c97]Maribel Fernández, Jenjira Jaimunk, Bhavani Thuraisingham:
Graph-Based Data-Collection Policies for the Internet of Things. ICSS 2018: 9-16 - [c96]Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho:
Fixed-Point Constraints for Nominal Equational Unification. FSCD 2018: 7:1-7:16 - [c95]Bhavani Thuraisingham, Murat Kantarcioglu, Elisa Bertino, Jonathan Z. Bakdash, Maribel Fernández:
Towards a Privacy-Aware Qunatified Self Data Management Framework. SACMAT 2018: 173-184 - [c94]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
- [j33]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) - [j32]Sandra Alves, Maribel Fernández:
A graph-based framework for the analysis of access control policies. Theor. Comput. Sci. 685: 3-22 (2017) - [c93]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 - [c92]Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho:
On Solving Nominal Fixpoint Equations. FroCoS 2017: 209-226 - [c91]Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho:
Nominal C-Unification. LOPSTR 2017: 235-251 - [c90]Nneka Chinelo Ene, Maribel Fernández, Bruno Pinaud:
Attributed Hierarchical Port Graphs and Applications. WPTE@FSCD 2017: 2-19 - [c89]Maribel Fernández, Hélène Kirchner, Bruno Pinaud:
Labelled Port Graph - A Formal Structure for Models and Computations. LSFA 2017: 3-21 - [e10]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
- [c88]Maribel Fernández, Murat Kantarcioglu, Bhavani Thuraisingham:
A Framework for Secure Data Collection and Management for Internet of Things. ICSS 2016: 30-37 - [c87]Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho:
Nominal Narrowing. FSCD 2016: 11:1-11:17 - [c86]Maribel Fernández, Hélène Kirchner, Bruno Pinaud, Jason Vallet:
Labelled Graph Rewriting Meets Social Networks. WRLA 2016: 1-25 - [c85]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
- [j31]Jesús Domínguez, Maribel Fernández:
From nominal to higher-order rewriting and back again. Log. Methods Comput. Sci. 11(4) (2015) - [j30]Fahad Alarifi, Maribel Fernández:
Towards Privacy-Preserving Web Metering Via User-Centric Hardware. EAI Endorsed Trans. Security Safety 2(4): e4 (2015) - [c84]Sandra Alves, Sabine Broda, Maribel Fernández:
A Typed Language for Events. LOPSTR 2015: 107-123 - [c83]Abeer S. Al-Humaimeedy, Maribel Fernández:
Enhancing the specification and verification techniques of multiparty sessions in SOC. PPDP 2015: 19-30 - [c82]Elliot Fairweather, Maribel Fernández, Nora Szasz, Alvaro Tasistro:
Dependent Types for Nominal Terms with Atom Substitutions. TLCA 2015: 180-195 - [c81]Mauricio Ayala-Rincón, Maribel Fernández, Murdoch James Gabbay, Ana Cristina Rocha Oliveira:
Checking Overlaps of Nominal Rewriting Rules. LSFA 2015: 39-56 - [c80]Mauricio Ayala-Rincón, Maribel Fernández, Ana Cristina Rocha Oliveira:
Completeness in PVS of a Nominal Unification Algorithm. LSFA 2015: 57-74 - [c79]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 - [e9]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 - [j29]Clara Bertolissi, Maribel Fernández:
A metamodel of access control for distributed environments: Applications and properties. Inf. Comput. 238: 187-207 (2014) - [j28]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
Linearity: A Roadmap. J. Log. Comput. 24(3): 513-529 (2014) - [j27]Maribel Fernández, Nikolaos Siafakas:
Labelled calculi of resources. J. Log. Comput. 24(3): 591-613 (2014) - [c78]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 - [c77]Sandra Alves, Anatoli Degtyarev, Maribel Fernández:
Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics. LOPSTR 2014: 148-163 - [c76]Jesús Domínguez, Maribel Fernández:
Relating Nominal and Higher-Order Rewriting. MFCS (1) 2014: 244-255 - [c75]Fahad Alarifi, Maribel Fernández:
Towards Privacy-Preserving Web Metering via User-Centric Hardware. SecureComm (2) 2014: 329-340 - [c74]Asad Ali, Maribel Fernández:
Hybrid Enforcement of Category-Based Access Control. STM 2014: 178-182 - [c73]Maribel Fernández, Hélène Kirchner, Bruno Pinaud:
Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework. GRAPHITE 2014: 15-29 - [c72]Asad Ali, Maribel Fernández:
Static Enforcement of Role-Based Access Control. WWV 2014: 36-50 - [c71]Abeer S. Al-Humaimeedy, Maribel Fernández:
Enabling Synchronous and Asynchronous Communications in CSP for SOC. LSFA 2014: 69-88 - [c70]Sandra Alves, Maribel Fernández:
A Framework for the Analysis of Access Control Policies with Emergency Management. LSFA 2014: 89-105 - [e8]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
- [c69]Maribel Fernández, Jeffrey Terrell:
Assembling the Proofs of Ordered Model Transformations. FESCA 2013: 63-77 - [c68]Maribel Fernández, Ian Mackie, Matthew Walker:
Bigraphical Nets. TERMGRAPH 2013: 74-81 - [c67]Maribel Fernández, Marcelo Finger:
Preface. LSFA 2013: 1-3 - 2012
- [j26]Maribel Fernández, Christian Urban:
Preface: Theory and Applications of Abstraction, Substitution and Naming. J. Autom. Reason. 49(2): 111-114 (2012) - [c66]Maribel Fernández, Albert Rubio:
Nominal Completion for Rewrite Systems with Binders. ICALP (2) 2012: 201-213 - [c65]Abeer S. Al-Humaimeedy, Maribel Fernández:
General dynamic recovery for compensating CSP. DCM 2012: 3-16 - [c64]Maribel Fernández, Sébastien Maulat:
Higher-order port-graph rewriting. LINEARITY 2012: 25-37 - [c63]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
- [c62]Elliot Fairweather, Maribel Fernández, Murdoch James Gabbay:
Principal Types for Nominal Theories. FCT 2011: 160-172 - [c61]Maribel Fernández, Hélène Kirchner, Olivier Namet:
A Strategy Language for Graph Rewriting. LOPSTR 2011: 173-188 - [c60]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
Linearity and recursion in a typed Lambda-calculus. PPDP 2011: 173-182 - [c59]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 - [c58]Sandra Alves, Maribel Fernández, Ian Mackie:
A new graphical calculus of proofs. TERMGRAPH 2011: 69-84 - 2010
- [j25]Christophe Calvès, Maribel Fernández:
Matching and alpha-equivalence check for nominal terms. J. Comput. Syst. Sci. 76(5): 283-301 (2010) - [j24]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) - [j23]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) - [c57]Clara Bertolissi, Maribel Fernández:
Category-Based Authorisation Models: Operational Semantics and Expressive Power. ESSoS 2010: 140-156 - [c56]Christophe Calvès, Maribel Fernández:
The First-Order Nominal Link. LOPSTR 2010: 234-248 - [c55]Clara Bertolissi, Maribel Fernández:
Rewrite Specifications of Access Control Policies in Distributed Environments. STM 2010: 51-67 - [c54]Maribel Fernández, Olivier Namet:
Strategic programming on graph rewriting systems. IWS 2010: 1-20 - [c53]Maribel Fernández, Murdoch James Gabbay:
Closed nominal rewriting and efficiently computable nominal algebra equality. LFMTP 2010: 37-51 - [e7]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] - [e6]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 - [j22]Clara Bertolissi, Maribel Fernández:
Distributed event-based access control. Int. J. Inf. Comput. Secur. 3(3/4): 306-320 (2009) - [j21]Maribel Fernández:
Rewriting Corner. J. Log. Comput. 19(2): 261 (2009) - [c52]Maribel Fernández, Olivier Namet:
Graph Creation, Visualisation and Transformation. RULE 2009: 1-11 - [c51]Maribel Fernández, Nikolaos Siafakas:
Labelled Lambda-calculi with Explicit Copy and Erase. LINEARITY 2009: 49-64 - [c50]Maribel Fernández, Ian Mackie, Shinya Sato, Matthew Walker:
Recursive Functions with Pattern Matching in Interaction Nets. TERMGRAPH@ETAPS 2009: 55-71 - [e5]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
- [j20]Chris Fox, Maribel Fernández, Shalom Lappin:
Lambda Calculus, Type Theory, and Natural Language II. J. Log. Comput. 18(2): 203 (2008) - [j19]Horatiu Cirstea, Maribel Fernández:
Rewriting calculi, higher-order reductions and patterns: introduction. Math. Struct. Comput. Sci. 18(3): 427-429 (2008) - [j18]Christophe Calvès, Maribel Fernández:
A polynomial nominal unification algorithm. Theor. Comput. Sci. 403(2-3): 285-306 (2008) - [c49]Clara Bertolissi, Maribel Fernández:
An algebraic-functional framework for distributed access control. CRiSIS 2008: 1-8 - [c48]Clara Bertolissi, Maribel Fernández:
Time and Location Based Services with Access Control. NTMS 2008: 1-6 - [c47]Clara Bertolissi, Maribel Fernández:
A rewriting framework for the composition of access control policies. PPDP 2008: 217-225 - [c46]Christophe Calvès, Maribel Fernández:
Nominal Matching and Alpha-Equivalence. WoLLIC 2008: 111-122 - [c45]Steve Barker, Clara Bertolissi, Maribel Fernández:
Action Control by Term Rewriting. SecReT@LICS/CSF 2008: 19-36 - [c44]Maribel Fernández, Nikolaos Siafakas:
New Developments in Environment Machines. WRS@RTA 2008: 57-73 - 2007
- [j17]Maribel Fernández, Murdoch Gabbay:
Nominal rewriting. Inf. Comput. 205(6): 917-965 (2007) - [j16]Maribel Fernández, Ian Mackie:
More developments in computational models: introduction. Math. Struct. Comput. Sci. 17(4): 585-586 (2007) - [c43]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
Linear Recursive Functions. Rewriting, Computation and Proof 2007: 182-195 - [c42]Clara Bertolissi, Maribel Fernández, Steve Barker:
Dynamic Event-Based Access Control as Term Rewriting. DBSec 2007: 195-210 - [c41]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
Iterator Types. FoSSaCS 2007: 17-31 - [e4]Maribel Fernández, Claude Kirchner:
Proceedings of the First International Workshop on Security and Rewriting Techniques, SecReT@ICALP 2006, Venice, Italy, July 15, 2006. Electronic Notes in Theoretical Computer Science 171(4), Elsevier 2007 [contents] - [e3]Maribel Fernández, Ralf Lämmel:
Proceedings of the 7th International Workshop on Rule Based Programming, RULE@FLoC 2006, Seattle, WA, USA, August 11, 2006. Electronic Notes in Theoretical Computer Science 174(1), Elsevier 2007 [contents] - 2006
- [j15]Maribel Fernández, Ian Mackie:
Developments in computational models: introduction. Math. Struct. Comput. Sci. 16(4): 553-555 (2006) - [c40]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
The Power of Linear Functions. CSL 2006: 119-134 - [c39]Steve Barker, Maribel Fernández:
Term Rewriting for Access Control. DBSec 2006: 179-193 - [c38]Maribel Fernández, Fabien Fleutot:
A historic functional and object-oriented calculus. PPDP 2006: 145-156 - [c37]Maribel Fernández, Murdoch Gabbay:
Curry-Style Types for Nominal Terms. TYPES 2006: 125-139 - [c36]Maribel Fernández, Claude Kirchner:
Preface. SecReT@ICALP 2006: 1-2 - [c35]Maribel Fernández, Ralf Lämmel:
Preface. RULE@FLoC 2006: 1-2 - [c34]Christophe Calvès, Maribel Fernández:
Implementing Nominal Unification. TERMGRAPH@ETAPS 2006: 25-37 - [c33]Horatiu Cirstea, Germain Faure, Maribel Fernández, Ian Mackie, François-Régis Sinot:
From Functional Programs to Interaction Nets via the Rewriting Calculus. WRS@FLoC 2006: 39-56 - [c32]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
The Power of Closed Reduction Strategies. WRS@FLoC 2006: 57-74 - [e2]Maribel Fernández, Ian Mackie:
Proceedings of the First International Workshop on Developments in Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005. Electronic Notes in Theoretical Computer Science 135(3), Elsevier 2006 [contents] - 2005
- [j14]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) - [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) - [c31]Maribel Fernández, Murdoch Gabbay:
Nominal rewriting with name generation: abstraction vs. locality. PPDP 2005: 47-58 - [c30]Maribel Fernández, Ian Mackie:
Preface. DCM@ICALP 2005: 1-2 - [c29]Maribel Fernández, Ian Mackie, François-Régis Sinot:
Interaction Nets vs. the rho-calculus: Introducing Bigraphical Nets. EXPRESS 2005: 19-32 - [e1]Maribel Fernández:
Proceedings of the 2nd International Workshop on Term Graph Rewriting, TERMGRAPH 2004, Rome, Italy, October 2, 2004. Electronic Notes in Theoretical Computer Science 127(5), Elsevier 2005 [contents] - 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 - [c28]Maribel Fernández:
Workshop TERMGRAPH 2004. ICGT 2004: 437-438 - [c27]Maribel Fernández, Murdoch Gabbay, Ian Mackie:
Nominal rewriting systems. PPDP 2004: 108-119 - [c26]Maribel Fernández:
Preface. TERMGRAPH 2004: 1-2 - 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) - [c25]François-Régis Sinot, Maribel Fernández, Ian Mackie:
Efficient Reductions with Director Strings. RTA 2003: 46-60 - 2002
- [c24]Maribel Fernández, Ian Mackie:
Call-by-Value lambda-Graph Rewriting Without Rewriting. ICGT 2002: 75-89 - [c23]Maribel Fernández, Paula Severi:
An Operational Approach to Program Extraction in the Calculus of Constructions. LOPSTR 2002: 111-125 - [c22]Maribel Fernández, Ian Mackie, Jorge Sousa Pinto:
A Higher-Order Calculus for Graph Transformation. TERMGRAPH 2002: 45-58 - [c21]Maribel Fernández, Lionel Khalil:
Interaction Nets with McCarthy's amb. EXPRESS 2002: 51-68 - 2001
- [c20]Maribel Fernández, Ian Mackie, Jorge Sousa Pinto:
Combining interaction nets with externally defined programs. APPIA-GULP-PRODE 2001: 297-312 - 2000
- [c19]Maribel Fernández, Ian Mackie:
A Theory of Operational Equivalence for Interaction Nets. LATIN 2000: 447-456
1990 – 1999
- 1999
- [c18]Maribel Fernández, Ian Mackie:
Closed Reductions in the lambda-Calculus. CSL 1999: 220-234 - [c17]Maribel Fernández, Ian Mackie:
A Calculus for Interaction Nets. PPDP 1999: 170-187 - [c16]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. Math. Struct. Comput. Sci. 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) - [c15]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) - [c14]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) - [c13]Maribel Fernández, Ian Mackie:
Interaction Nets and Term Rewriting Systems (Extended Abstract). CAAP 1996: 149-164 - [c12]Steffen van Bakel, Franco Barbanera, Maribel Fernández:
Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization. ESOP 1996: 387-403 - [c11]Maribel Fernández, Ian Mackie:
From Term Rewriting to Generalised Interaction Nets. PLILP 1996: 319-333 - 1995
- [c10]Steffen van Bakel, Maribel Fernández:
Approximation and Normalization Results for Typeable Term Rewriting Systems. HOA 1995: 17-36 - [c9]Steffen van Bakel, Maribel Fernández:
(Head-) Normalization of Typeable Rewrite Systems. RTA 1995: 279-293 - [c8]Steffen van Bakel, Maribel Fernández:
Normalization Properties of Typeable Term Rewriting Systems (Abstract). UNIF 1995: 9 - 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]Hubert Comon, Maribel Fernández:
Negation Elimination in Equational Formulae. MFCS 1992: 191-199
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
