Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Maribel Fernández
@inproceedings{DBLP:conf/csl/FernandezGK24,
author = {Maribel Fern{\'{a}}ndez and
Jean Goubault{-}Larrecq and
Delia Kesner},
editor = {Aniello Murano and
Alexandra Silva},
title = {The Ackermann Award 2023},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {1:1--1:4},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.1},
doi = {10.4230/LIPICS.CSL.2024.1},
timestamp = {Wed, 07 Feb 2024 14:22:56 +0100},
biburl = {https://dblp.org/rec/conf/csl/FernandezGK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/FernandezJT23,
author = {Maribel Fern{\'{a}}ndez and
Jenjira Jaimunk and
Bhavani Thuraisingham},
title = {A Privacy-Preserving Architecture and Data-Sharing Model for Cloud-IoT
Applications},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {20},
number = {4},
pages = {3495--3507},
year = {2023},
url = {https://doi.org/10.1109/TDSC.2022.3204720},
doi = {10.1109/TDSC.2022.3204720},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tdsc/FernandezJT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/Fernandez23,
author = {Maribel Fern{\'{a}}ndez},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {Nominal Techniques for Software Specification and Verification (Invited
Talk)},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {1:1--1:4},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.1},
doi = {10.4230/LIPICS.FSCD.2023.1},
timestamp = {Fri, 30 Jun 2023 14:36:11 +0200},
biburl = {https://dblp.org/rec/conf/fscd/Fernandez23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Fernandez23,
author = {Maribel Fern{\'{a}}ndez},
editor = {Robert Gl{\"{u}}ck and
Bishoksan Kafle},
title = {Unification Modulo Equational Theories in Languages with Binding Operators
(Invited Talk)},
booktitle = {Logic-Based Program Synthesis and Transformation - 33rd International
Symposium, {LOPSTR} 2023, Cascais, Portugal, October 23-24, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14330},
pages = {3--6},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45784-5\_1},
doi = {10.1007/978-3-031-45784-5\_1},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Fernandez23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BambergerF23,
author = {Anna Bamberger and
Maribel Fern{\'{a}}ndez},
editor = {Robert Gl{\"{u}}ck and
Bishoksan Kafle},
title = {From Static to Dynamic Access Control Policies via Attribute-Based
Category Mining},
booktitle = {Logic-Based Program Synthesis and Transformation - 33rd International
Symposium, {LOPSTR} 2023, Cascais, Portugal, October 23-24, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14330},
pages = {188--197},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45784-5\_12},
doi = {10.1007/978-3-031-45784-5\_12},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BambergerF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/AyalaRinconFSKN23,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Maribel Fern{\'{a}}ndez and
Gabriel Ferreira Silva and
Temur Kutsia and
Daniele Nantes{-}Sobrinho},
editor = {Catherine Dubois and
Manfred Kerber},
title = {Nominal AC-Matching},
booktitle = {Intelligent Computer Mathematics - 16th International Conference,
{CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14101},
pages = {53--68},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42753-4\_4},
doi = {10.1007/978-3-031-42753-4\_4},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/AyalaRinconFSKN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/Fernandez23,
author = {Maribel Fern{\'{a}}ndez},
editor = {Silvio Ranise and
Roberto Carbone and
Daniel Takabi},
title = {The Category-Based Approach to Access Control, Obligations and Privacy},
booktitle = {Proceedings of the 28th {ACM} Symposium on Access Control Models and
Technologies, {SACMAT} 2023, Trento, Italy, June 7-9, 2023},
pages = {1--2},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3589608.3593814},
doi = {10.1145/3589608.3593814},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sacmat/Fernandez23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/codaspy/2023,
editor = {Mohamed Shehab and
Maribel Fern{\'{a}}ndez and
Ninghui Li},
title = {Proceedings of the Thirteenth {ACM} Conference on Data and Application
Security and Privacy, {CODASPY} 2023, Charlotte, NC, USA, April 24-26,
2023},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3577923},
doi = {10.1145/3577923},
timestamp = {Mon, 24 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/codaspy/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gg/2023,
editor = {Maribel Fern{\'{a}}ndez and
Christopher M. Poskitt},
title = {Graph Transformation - 16th International Conference, {ICGT} 2023,
Held as Part of {STAF} 2023, Leicester, UK, July 19-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13961},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36709-0},
doi = {10.1007/978-3-031-36709-0},
isbn = {978-3-031-36708-3},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/Ayala-RinconFSS22,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Maribel Fern{\'{a}}ndez and
Gabriel Ferreira Silva and
Daniele Nantes Sobrinho},
editor = {Amy P. Felty},
title = {A Certified Algorithm for AC-Unification},
booktitle = {7th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2022, August 2-5, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {228},
pages = {8:1--8:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2022.8},
doi = {10.4230/LIPICS.FSCD.2022.8},
timestamp = {Tue, 28 Jun 2022 15:50:51 +0200},
biburl = {https://dblp.org/rec/conf/fscd/Ayala-RinconFSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/CheneyF22,
author = {James Cheney and
Maribel Fern{\'{a}}ndez},
title = {Nominal Matching Logic},
booktitle = {{PPDP} 2022: 24th International Symposium on Principles and Practice
of Declarative Programming, Tbilisi, Georgia, September 20 - 22, 2022},
pages = {5:1--5:15},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3551357.3551375},
doi = {10.1145/3551357.3551375},
timestamp = {Wed, 12 Oct 2022 17:45:09 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/CheneyF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/BertolissiF22,
author = {Clara Bertolissi and
Maribel Fern{\'{a}}ndez},
editor = {Sven Dietrich and
Omar Chowdhury and
Daniel Takabi},
title = {Modular Composition of Access Control Policies: {A} Framework to Build
Multi-Site Multi-Level Combinations},
booktitle = {{SACMAT} '22: The 27th {ACM} Symposium on Access Control Models and
Technologies, New York, NY, USA, June 8 - 10, 2022},
pages = {7--18},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3532105.3535043},
doi = {10.1145/3532105.3535043},
timestamp = {Mon, 13 Jun 2022 16:29:51 +0200},
biburl = {https://dblp.org/rec/conf/sacmat/BertolissiF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/codaspy/2022,
editor = {Anupam Joshi and
Maribel Fern{\'{a}}ndez and
Rakesh M. Verma},
title = {{CODASPY} '22: Twelveth {ACM} Conference on Data and Application Security
and Privacy, Baltimore, MD, USA, April 24 - 27, 2022},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3508398},
doi = {10.1145/3508398},
isbn = {978-1-4503-9220-4},
timestamp = {Wed, 20 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/codaspy/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-14139,
author = {James Cheney and
Maribel Fern{\'{a}}ndez},
title = {Nominal Matching Logic},
journal = {CoRR},
volume = {abs/2207.14139},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.14139},
doi = {10.48550/ARXIV.2207.14139},
eprinttype = {arXiv},
eprint = {2207.14139},
timestamp = {Tue, 02 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-14139.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DominguezF21,
author = {Jes{\'{u}}s Dom{\'{\i}}nguez and
Maribel Fern{\'{a}}ndez},
title = {Nominal syntax with atom substitutions},
journal = {J. Comput. Syst. Sci.},
volume = {119},
pages = {34--59},
year = {2021},
url = {https://doi.org/10.1016/j.jcss.2021.01.002},
doi = {10.1016/J.JCSS.2021.01.002},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/DominguezF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Ayala-RinconSFS21,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Washington de Carvalho Segundo and
Maribel Fern{\'{a}}ndez and
Gabriel Ferreira Silva and
Daniele Nantes{-}Sobrinho},
title = {Formalising nominal C-unification generalised with protected variables},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {3},
pages = {286--311},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000050},
doi = {10.1017/S0960129521000050},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/Ayala-RinconSFS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codaspy/BertolissiFT21,
author = {Clara Bertolissi and
Maribel Fern{\'{a}}ndez and
Bhavani Thuraisingham},
editor = {Anupam Joshi and
Barbara Carminati and
Rakesh M. Verma},
title = {Graph-Based Specification of Admin-CBAC Policies},
booktitle = {{CODASPY} '21: Eleventh {ACM} Conference on Data and Application Security
and Privacy, Virtual Event, USA, April 26-28, 2021},
pages = {173--184},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3422337.3447850},
doi = {10.1145/3422337.3447850},
timestamp = {Wed, 29 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/codaspy/BertolissiFT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Ayala-RinconFNV21,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Maribel Fern{\'{a}}ndez and
Daniele Nantes{-}Sobrinho and
Deivid Vale},
editor = {Stefan Kiefer and
Christine Tasson},
title = {Nominal Equational Problems},
booktitle = {Foundations of Software Science and Computation Structures - 24th
International Conference, {FOSSACS} 2021, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2021,
Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12650},
pages = {22--41},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-71995-1\_2},
doi = {10.1007/978-3-030-71995-1\_2},
timestamp = {Fri, 14 May 2021 08:34:11 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Ayala-RinconFNV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2020,
editor = {Maribel Fern{\'{a}}ndez},
title = {Logic-Based Program Synthesis and Transformation - 30th International
Symposium, {LOPSTR} 2020, Bologna, Italy, September 7-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12561},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-68446-4},
doi = {10.1007/978-3-030-68446-4},
isbn = {978-3-030-68445-7},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-08960,
author = {Sandra Alves and
Maribel Fern{\'{a}}ndez and
Miguel Ramos},
title = {{EVL:} a typed functional language for event processing},
journal = {CoRR},
volume = {abs/2109.08960},
year = {2021},
url = {https://arxiv.org/abs/2109.08960},
eprinttype = {arXiv},
eprint = {2109.08960},
timestamp = {Mon, 27 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08960.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Ayala-RinconFN19,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Maribel Fern{\'{a}}ndez and
Daniele Nantes{-}Sobrinho},
title = {On Nominal Syntax and Permutation Fixed Points},
journal = {Log. Methods Comput. Sci.},
volume = {16},
number = {1},
year = {2020},
url = {https://doi.org/10.23638/LMCS-16(1:19)2020},
doi = {10.23638/LMCS-16(1:19)2020},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Ayala-RinconFN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codaspy/BertolissiFT20,
author = {Clara Bertolissi and
Maribel Fern{\'{a}}ndez and
Bhavani Thuraisingham},
editor = {Vassil Roussev and
Bhavani Thuraisingham and
Barbara Carminati and
Murat Kantarcioglu},
title = {Admin-CBAC: An Administration Model for Category-Based Access Control},
booktitle = {{CODASPY} '20: Tenth {ACM} Conference on Data and Application Security
and Privacy, New Orleans, LA, USA, March 16-18, 2020},
pages = {73--84},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3374664.3375725},
doi = {10.1145/3374664.3375725},
timestamp = {Wed, 29 Jun 2022 15:37:41 +0200},
biburl = {https://dblp.org/rec/conf/codaspy/BertolissiFT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FernandezM20,
author = {Maribel Fern{\'{a}}ndez and
Ian Mackie},
editor = {Shang{-}Wei Lin and
Zhe Hou and
Brendan P. Mahony},
title = {A Reversible Operational Semantics for Imperative Programming Languages},
booktitle = {Formal Methods and Software Engineering - 22nd International Conference
on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore,
March 1-3, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12531},
pages = {91--106},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63406-3\_6},
doi = {10.1007/978-3-030-63406-3\_6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/FernandezM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lsfa/AlvesFR20,
author = {Sandra Alves and
Maribel Fern{\'{a}}ndez and
Miguel Ramos},
editor = {Cl{\'{a}}udia Nalon and
Giselle Reis},
title = {{EVL:} {A} Typed Higher-order Functional Language for Events},
booktitle = {Proceedings of the 15th International Workshop on Logical and Semantic
Frameworks with Applications, {LSFA} 2020, Online, September 15, 2020},
series = {Electronic Notes in Theoretical Computer Science},
volume = {351},
pages = {3--23},
publisher = {Elsevier},
year = {2020},
url = {https://doi.org/10.1016/j.entcs.2020.08.002},
doi = {10.1016/J.ENTCS.2020.08.002},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lsfa/AlvesFR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/FernandezV20,
author = {Maribel Fern{\'{a}}ndez and
J{\'{a}}nos Varga},
title = {Finding Candidate Keys and 3NF via Strategic Port Graph Rewriting},
booktitle = {{PPDP} '20: 22nd International Symposium on Principles and Practice
of Declarative Programming, Bologna, Italy, 9-10 September, 2020},
pages = {10:1--10:14},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3414080.3414090},
doi = {10.1145/3414080.3414090},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/FernandezV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/FernandezTJCT20,
author = {Maribel Fern{\'{a}}ndez and
Alex Franch Tapia and
Jenjira Jaimunk and
Manuel Martinez Chamorro and
Bhavani Thuraisingham},
editor = {Jorge Lobo and
Scott D. Stoller and
Peng Liu},
title = {A Data Access Model for Privacy-Preserving Cloud-IoT Architectures},
booktitle = {Proceedings of the 25th {ACM} Symposium on Access Control Models and
Technologies, {SACMAT} 2020, Barcelona, Spain, June 10-12, 2020},
pages = {191--202},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3381991.3395610},
doi = {10.1145/3381991.3395610},
timestamp = {Wed, 29 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sacmat/FernandezTJCT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unif/AyalaRinconFNV20,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Maribel Fern{\'{a}}ndez and
Daniele Nantes{-}Sobrinho and
Deivid Vale},
editor = {Temur Kutsia and
Andrew M. Marshall},
title = {An Investigation into General Nominal Equational Problems (Work in
progress)},
booktitle = {Proceedings of the 34th International Workshop on Unification, {UNIF}
2020, Linz, Austria, June 29, 2020},
pages = {3:1--3:8},
year = {2020},
url = {http://www3.risc.jku.at/publications/download/risc\_6129/proceedings-UNIF2020.pdf\#page=13},
timestamp = {Wed, 20 Sep 2023 10:23:47 +0200},
biburl = {https://dblp.org/rec/conf/unif/AyalaRinconFNV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/2020,
editor = {Maribel Fern{\'{a}}ndez and
Anca Muscholl},
title = {28th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2020,
January 13-16, 2020, Barcelona, Spain},
series = {LIPIcs},
volume = {152},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-132-0},
isbn = {978-3-95977-132-0},
timestamp = {Mon, 06 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/CervesatoF19,
author = {Iliano Cervesato and
Maribel Fern{\'{a}}ndez},
title = {Preface to the Special Issue on Linearity},
journal = {J. Autom. Reason.},
volume = {63},
number = {4},
pages = {809--811},
year = {2019},
url = {https://doi.org/10.1007/s10817-019-09529-9},
doi = {10.1007/S10817-019-09529-9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/CervesatoF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FernandezKP19,
author = {Maribel Fern{\'{a}}ndez and
H{\'{e}}l{\`{e}}ne Kirchner and
Bruno Pinaud},
title = {Strategic port graph rewriting: an interactive modelling framework},
journal = {Math. Struct. Comput. Sci.},
volume = {29},
number = {5},
pages = {615--662},
year = {2019},
url = {https://doi.org/10.1017/S0960129518000270},
doi = {10.1017/S0960129518000270},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/FernandezKP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ayala-RinconSFN19,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Washington de Carvalho Segundo and
Maribel Fern{\'{a}}ndez and
Daniele Nantes{-}Sobrinho and
Ana Cristina Rocha Oliveira},
title = {A formalisation of nominal \emph{{\(\alpha\)}}-equivalence with A,
C, and {AC} function symbols},
journal = {Theor. Comput. Sci.},
volume = {781},
pages = {3--23},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2019.02.020},
doi = {10.1016/J.TCS.2019.02.020},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Ayala-RinconSFN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codaspy/FernandezMT19,
author = {Maribel Fern{\'{a}}ndez and
Ian Mackie and
Bhavani Thuraisingham},
editor = {Gail{-}Joon Ahn and
Bhavani Thuraisingham and
Murat Kantarcioglu and
Ram Krishnan},
title = {Specification and Analysis of {ABAC} Policies via the Category-based
Metamodel},
booktitle = {Proceedings of the Ninth {ACM} Conference on Data and Application
Security and Privacy, {CODASPY} 2019, Richardson, TX, USA, March 25-27,
2019},
pages = {173--184},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3292006.3300033},
doi = {10.1145/3292006.3300033},
timestamp = {Wed, 29 Jun 2022 15:37:41 +0200},
biburl = {https://dblp.org/rec/conf/codaspy/FernandezMT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/DominguezF19,
author = {Jes{\'{u}}s Dom{\'{\i}}nguez and
Maribel Fern{\'{a}}ndez},
editor = {Leszek Antoni Gasieniec and
Jesper Jansson and
Christos Levcopoulos},
title = {Nominal Syntax with Atom Substitutions: Matching, Unification, Rewriting},
booktitle = {Fundamentals of Computation Theory - 22nd International Symposium,
{FCT} 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11651},
pages = {64--79},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25027-0\_5},
doi = {10.1007/978-3-030-25027-0\_5},
timestamp = {Tue, 17 May 2022 11:54:28 +0200},
biburl = {https://dblp.org/rec/conf/fct/DominguezF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/FernandezJT19,
author = {Maribel Fern{\'{a}}ndez and
Jenjira Jaimunk and
Bhavani Thuraisingham},
editor = {Elisa Bertino and
Carl K. Chang and
Peter Chen and
Ernesto Damiani and
Michael Goul and
Katsunori Oyama},
title = {Privacy-Preserving Architecture for Cloud-IoT Platforms},
booktitle = {2019 {IEEE} International Conference on Web Services, {ICWS} 2019,
Milan, Italy, July 8-13, 2019},
pages = {11--19},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICWS.2019.00015},
doi = {10.1109/ICWS.2019.00015},
timestamp = {Wed, 29 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icws/FernandezJT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Ayala-RinconFSN19,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Maribel Fern{\'{a}}ndez and
Gabriel Ferreira Silva and
Daniele Nantes{-}Sobrinho},
editor = {Maurizio Gabbrielli},
title = {A Certified Functional Nominal C-Unification Algorithm},
booktitle = {Logic-Based Program Synthesis and Transformation - 29th International
Symposium, {LOPSTR} 2019, Porto, Portugal, October 8-10, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12042},
pages = {123--138},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-45260-5\_8},
doi = {10.1007/978-3-030-45260-5\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Ayala-RinconFSN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/FernandezPV19,
author = {Maribel Fern{\'{a}}ndez and
Bruno Pinaud and
J{\'{a}}nos Varga},
editor = {Maurizio Gabbrielli},
title = {A Port Graph Rewriting Approach to Relational Database Modelling},
booktitle = {Logic-Based Program Synthesis and Transformation - 29th International
Symposium, {LOPSTR} 2019, Porto, Portugal, October 8-10, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12042},
pages = {211--227},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-45260-5\_13},
doi = {10.1007/978-3-030-45260-5\_13},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/FernandezPV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lsfa/Ayala-RinconFNV20,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Maribel Fern{\'{a}}ndez and
Daniele Nantes{-}Sobrinho and
Deivid Vale},
editor = {Amy P. Felty and
Jo{\~{a}}o Marcos},
title = {On Solving Nominal Disunification Constraints},
booktitle = {Proceedings of the 14th Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2019, Natal, Brazil, August, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {348},
pages = {3--22},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2020.02.002},
doi = {10.1016/J.ENTCS.2020.02.002},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lsfa/Ayala-RinconFNV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1902-01510,
editor = {Maribel Fern{\'{a}}ndez and
Ian Mackie},
title = {Proceedings Tenth International Workshop on Computing with Terms and
Graphs, TERMGRAPH@FSCD 2018, Oxford, UK, 7th July 2018},
series = {{EPTCS}},
volume = {288},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.288},
doi = {10.4204/EPTCS.288},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-01510.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1904-06159,
editor = {Thomas Ehrhard and
Maribel Fern{\'{a}}ndez and
Valeria de Paiva and
Lorenzo Tortora de Falco},
title = {Proceedings Joint International Workshop on Linearity {\&} Trends
in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford,
UK, 7-8 July 2018},
series = {{EPTCS}},
volume = {292},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.292},
doi = {10.4204/EPTCS.292},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-06159.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-08345,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Maribel Fern{\'{a}}ndez and
Daniele Nantes{-}Sobrinho},
title = {On Nominal Syntax and Permutation Fixed Points},
journal = {CoRR},
volume = {abs/1902.08345},
year = {2019},
url = {http://arxiv.org/abs/1902.08345},
eprinttype = {arXiv},
eprint = {1902.08345},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-08345.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/FernandezKPV18,
author = {Maribel Fern{\'{a}}ndez and
H{\'{e}}l{\`{e}}ne Kirchner and
Bruno Pinaud and
Jason Vallet},
title = {Labelled graph strategic rewriting for social networks},
journal = {J. Log. Algebraic Methods Program.},
volume = {96},
pages = {12--40},
year = {2018},
url = {https://doi.org/10.1016/j.jlamp.2017.12.005},
doi = {10.1016/J.JLAMP.2017.12.005},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/FernandezKPV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ayala-RinconFOV18,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Maribel Fern{\'{a}}ndez and
Ana Cristina Rocha Oliveira and
Daniel Lima Ventura},
title = {Nominal essential intersection types},
journal = {Theor. Comput. Sci.},
volume = {737},
pages = {62--80},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2018.05.008},
doi = {10.1016/J.TCS.2018.05.008},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Ayala-RinconFOV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/FairweatherF18,
author = {Elliot Fairweather and
Maribel Fern{\'{a}}ndez},
title = {Typed Nominal Rewriting},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {1},
pages = {6:1--6:46},
year = {2018},
url = {https://doi.org/10.1145/3161558},
doi = {10.1145/3161558},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/FairweatherF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icss2/FernandezJT18,
author = {Maribel Fern{\'{a}}ndez and
Jenjira Jaimunk and
Bhavani Thuraisingham},
editor = {Sajal Bhatia and
Alvaro A. C{\'{a}}rdenas and
Ernest Foo and
Marina Krotofil and
Sye Loong Keoh and
Thomas Locher and
Daisuke Mashima and
Tommy H. Morris and
John Mulder and
Stephen McLaughlin and
Igor Nai Fovino and
Julian L. Rrushi and
Bradley L. Schatz and
Jared Smith and
Saman A. Zonouz and
Tim Zimmerman},
title = {Graph-Based Data-Collection Policies for the Internet of Things},
booktitle = {Proceedings of the 4th Annual Industrial Control System Security Workshop,
{ICSS} 2018, San Juan, PR, USA, December 4, 2018},
pages = {9--16},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3295453.3295455},
doi = {10.1145/3295453.3295455},
timestamp = {Wed, 29 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icss2/FernandezJT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Ayala-RinconFN18,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Maribel Fern{\'{a}}ndez and
Daniele Nantes{-}Sobrinho},
editor = {H{\'{e}}l{\`{e}}ne Kirchner},
title = {Fixed-Point Constraints for Nominal Equational Unification},
booktitle = {3rd International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2018, July 9-12, 2018, Oxford, {UK}},
series = {LIPIcs},
volume = {108},
pages = {7:1--7:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2018.7},
doi = {10.4230/LIPICS.FSCD.2018.7},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/Ayala-RinconFN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/ThuraisinghamKB18,
author = {Bhavani Thuraisingham and
Murat Kantarcioglu and
Elisa Bertino and
Jonathan Z. Bakdash and
Maribel Fern{\'{a}}ndez},
editor = {Elisa Bertino and
Dan Lin and
Jorge Lobo},
title = {Towards a Privacy-Aware Qunatified Self Data Management Framework},
booktitle = {Proceedings of the 23nd {ACM} on Symposium on Access Control Models
and Technologies, {SACMAT} 2018, Indianapolis, IN, USA, June 13-15,
2018},
pages = {173--184},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3205977.3205997},
doi = {10.1145/3205977.3205997},
timestamp = {Wed, 29 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sacmat/ThuraisinghamKB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ayala-RinconSFN19,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Washington de Carvalho Segundo and
Maribel Fern{\'{a}}ndez and
Daniele Nantes{-}Sobrinho},
editor = {Beniamino Accattoli and
Carlos Olarte},
title = {A Formalisation of Nominal C-Matching through Unification with Protected
Variables},
booktitle = {Proceedings of the 13th Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2018, Fortaleza, Brazil, September 26-28,
2018},
series = {Electronic Notes in Theoretical Computer Science},
volume = {344},
pages = {47--65},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.entcs.2019.07.004},
doi = {10.1016/J.ENTCS.2019.07.004},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Ayala-RinconSFN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ayala-RinconFN17,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Maribel Fern{\'{a}}ndez and
Daniele Nantes{-}Sobrinho},
title = {Intruder deduction problem for locally stable theories with normal
forms and inverses},
journal = {Theor. Comput. Sci.},
volume = {672},
pages = {64--100},
year = {2017},
url = {https://doi.org/10.1016/j.tcs.2017.01.027},
doi = {10.1016/J.TCS.2017.01.027},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Ayala-RinconFN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlvesF17,
author = {Sandra Alves and
Maribel Fern{\'{a}}ndez},
title = {A graph-based framework for the analysis of access control policies},
journal = {Theor. Comput. Sci.},
volume = {685},
pages = {3--22},
year = {2017},
url = {https://doi.org/10.1016/j.tcs.2016.10.018},
doi = {10.1016/J.TCS.2016.10.018},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AlvesF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/f-egc/PinaudAFKMV17,
author = {Bruno Pinaud and
Oana Andrei and
Maribel Fern{\'{a}}ndez and
H{\'{e}}l{\`{e}}ne Kirchner and
Guy Melan{\c{c}}on and
Jason Vallet},
editor = {Fabien Gandon and
Gilles Bisson},
title = {{PORGY} : a Visual Analytics Platform for System Modelling and Analysis
Based on Graph Rewriting},
booktitle = {17{\`{e}}me Journ{\'{e}}es Francophones Extraction et Gestion
des Connaissances, {EGC} 2017, 24-27 Janvier 2017, Grenoble, France},
series = {{RNTI}},
volume = {{E-33}},
pages = {473--476},
publisher = {{\'{E}}ditions {RNTI}},
year = {2017},
url = {http://editions-rnti.fr/?inprocid=1002327},
timestamp = {Fri, 16 Apr 2021 10:04:12 +0200},
biburl = {https://dblp.org/rec/conf/f-egc/PinaudAFKMV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Ayala-RinconSFN17,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Washington de Carvalho Segundo and
Maribel Fern{\'{a}}ndez and
Daniele Nantes{-}Sobrinho},
editor = {Clare Dixon and
Marcelo Finger},
title = {On Solving Nominal Fixpoint Equations},
booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10483},
pages = {209--226},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66167-4\_12},
doi = {10.1007/978-3-319-66167-4\_12},
timestamp = {Mon, 28 Aug 2023 21:17:55 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Ayala-RinconSFN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Ayala-RinconSFN17,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Washington de Carvalho Segundo and
Maribel Fern{\'{a}}ndez and
Daniele Nantes{-}Sobrinho},
editor = {Fabio Fioravanti and
John P. Gallagher},
title = {Nominal C-Unification},
booktitle = {Logic-Based Program Synthesis and Transformation - 27th International
Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10855},
pages = {235--251},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94460-9\_14},
doi = {10.1007/978-3-319-94460-9\_14},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Ayala-RinconSFN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1802-06492,
author = {Nneka Chinelo Ene and
Maribel Fern{\'{a}}ndez and
Bruno Pinaud},
editor = {Horatiu Cirstea and
David Sabel},
title = {Attributed Hierarchical Port Graphs and Applications},
booktitle = {Proceedings Fourth International Workshop on Rewriting Techniques
for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford,
UK, 8th September 2017},
series = {{EPTCS}},
volume = {265},
pages = {2--19},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.265.2},
doi = {10.4204/EPTCS.265.2},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-06492.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FernandezKP18,
author = {Maribel Fern{\'{a}}ndez and
H{\'{e}}l{\`{e}}ne Kirchner and
Bruno Pinaud},
editor = {Sandra Alves and
Renata Wasserman},
title = {Labelled Port Graph - {A} Formal Structure for Models and Computations},
booktitle = {12th Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2017, Bras{\'{\i}}lia, Brazil, September 23-24, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {338},
pages = {3--21},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2018.10.002},
doi = {10.1016/J.ENTCS.2018.10.002},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/FernandezKP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/CervesatoF17,
editor = {Iliano Cervesato and
Maribel Fern{\'{a}}ndez},
title = {Proceedings Fourth International Workshop on Linearity, {LINEARITY}
2016, Porto, Portugal, 25 June 2016},
series = {{EPTCS}},
volume = {238},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.238},
doi = {10.4204/EPTCS.238},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CervesatoF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-05384,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Washington de Carvalho Segundo and
Maribel Fern{\'{a}}ndez and
Daniele Nantes{-}Sobrinho},
title = {Nominal C-Unification},
journal = {CoRR},
volume = {abs/1709.05384},
year = {2017},
url = {http://arxiv.org/abs/1709.05384},
eprinttype = {arXiv},
eprint = {1709.05384},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-05384.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icss2/FernandezKT16,
author = {Maribel Fern{\'{a}}ndez and
Murat Kantarcioglu and
Bhavani Thuraisingham},
title = {A Framework for Secure Data Collection and Management for Internet
of Things},
booktitle = {Proceedings of the 2nd Annual Industrial Control System Security Workshop,
{ICSS} 2016, Los Angeles, CA, USA, December 6, 2016},
pages = {30--37},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/3018981.3018982},
doi = {10.1145/3018981.3018982},
timestamp = {Wed, 29 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icss2/FernandezKT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Ayala-RinconFN16,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Maribel Fern{\'{a}}ndez and
Daniele Nantes{-}Sobrinho},
editor = {Delia Kesner and
Brigitte Pientka},
title = {Nominal Narrowing},
booktitle = {1st International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
series = {LIPIcs},
volume = {52},
pages = {11:1--11:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2016.11},
doi = {10.4230/LIPICS.FSCD.2016.11},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Ayala-RinconFN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/FernandezKPV16,
author = {Maribel Fern{\'{a}}ndez and
H{\'{e}}l{\`{e}}ne Kirchner and
Bruno Pinaud and
Jason Vallet},
editor = {Dorel Lucanu},
title = {Labelled Graph Rewriting Meets Social Networks},
booktitle = {Rewriting Logic and Its Applications - 11th International Workshop,
{WRLA} 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands,
April 2-3, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9942},
pages = {1--25},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44802-2\_1},
doi = {10.1007/978-3-319-44802-2\_1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/FernandezKPV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ayala-RinconSFN17,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Washington de Carvalho Segundo and
Maribel Fern{\'{a}}ndez and
Daniele Nantes{-}Sobrinho},
editor = {Vivek Nigam and
M{\'{a}}rio Florido},
title = {A Formalisation of Nominal {\(\alpha\)}-equivalence with {A} and {AC}
Function Symbols},
booktitle = {11th Workshop on Logical and Semantic Frameworks with Applications,
{LSFA} 2016, Porto, Portugal, January 1, 2016},
series = {Electronic Notes in Theoretical Computer Science},
volume = {332},
pages = {21--38},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.entcs.2017.04.003},
doi = {10.1016/J.ENTCS.2017.04.003},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Ayala-RinconSFN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DominguezF15,
author = {Jes{\'{u}}s Dom{\'{\i}}nguez and
Maribel Fern{\'{a}}ndez},
title = {From nominal to higher-order rewriting and back again},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {4},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(4:9)2015},
doi = {10.2168/LMCS-11(4:9)2015},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/DominguezF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sesa/AlarfiF15,
author = {Fahad Alarifi and
Maribel Fern{\'{a}}ndez},
title = {Towards Privacy-Preserving Web Metering Via User-Centric Hardware},
journal = {{EAI} Endorsed Trans. Security Safety},
volume = {2},
number = {4},
pages = {e4},
year = {2015},
url = {https://doi.org/10.4108/eai.5-10-2015.150478},
doi = {10.4108/EAI.5-10-2015.150478},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sesa/AlarfiF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AlvesBF15,
author = {Sandra Alves and
Sabine Broda and
Maribel Fern{\'{a}}ndez},
editor = {Moreno Falaschi},
title = {A Typed Language for Events},
booktitle = {Logic-Based Program Synthesis and Transformation - 25th International
Symposium, {LOPSTR} 2015, Siena, Italy, July 13-15, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9527},
pages = {107--123},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27436-2\_7},
doi = {10.1007/978-3-319-27436-2\_7},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/AlvesBF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Al-HumaimeedyF15,
author = {Abeer S. Al{-}Humaimeedy and
Maribel Fern{\'{a}}ndez},
editor = {Moreno Falaschi and
Elvira Albert},
title = {Enhancing the specification and verification techniques of multiparty
sessions in {SOC}},
booktitle = {Proceedings of the 17th International Symposium on Principles and
Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
pages = {19--30},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2790449.2790515},
doi = {10.1145/2790449.2790515},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Al-HumaimeedyF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/FairweatherFST15,
author = {Elliot Fairweather and
Maribel Fern{\'{a}}ndez and
Nora Szasz and
Alvaro Tasistro},
editor = {Thorsten Altenkirch},
title = {Dependent Types for Nominal Terms with Atom Substitutions},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
pages = {180--195},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.180},
doi = {10.4230/LIPICS.TLCA.2015.180},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/FairweatherFST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ayala-RinconFGO16,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Maribel Fern{\'{a}}ndez and
Murdoch James Gabbay and
Ana Cristina Rocha Oliveira},
editor = {Mario R. F. Benevides and
Ren{\'{e}} Thiemann},
title = {Checking Overlaps of Nominal Rewriting Rules},
booktitle = {Proceedings of the Tenth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2015, Natal, Brazil, August 31 - September
1, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {323},
pages = {39--56},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.06.004},
doi = {10.1016/J.ENTCS.2016.06.004},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Ayala-RinconFGO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ayala-RinconFO16,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Maribel Fern{\'{a}}ndez and
Ana Cristina Rocha Oliveira},
editor = {Mario R. F. Benevides and
Ren{\'{e}} Thiemann},
title = {Completeness in {PVS} of a Nominal Unification Algorithm},
booktitle = {Proceedings of the Tenth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2015, Natal, Brazil, August 31 - September
1, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {323},
pages = {57--74},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.06.005},
doi = {10.1016/J.ENTCS.2016.06.005},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Ayala-RinconFO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CopelloTSBF16,
author = {Ernesto Copello and
Alvaro Tasistro and
Nora Szasz and
Ana Bove and
Maribel Fern{\'{a}}ndez},
editor = {Mario R. F. Benevides and
Ren{\'{e}} Thiemann},
title = {Alpha-Structural Induction and Recursion for the Lambda Calculus in
Constructive Type Theory},
booktitle = {Proceedings of the Tenth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2015, Natal, Brazil, August 31 - September
1, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {323},
pages = {109--124},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.06.008},
doi = {10.1016/J.ENTCS.2016.06.008},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CopelloTSBF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/2015,
editor = {Maribel Fern{\'{a}}ndez},
title = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {http://www.dagstuhl.de/dagpub/978-3-939897-85-9},
isbn = {978-3-939897-85-9},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/utcs/Fernandez14,
author = {Maribel Fern{\'{a}}ndez},
title = {Programming Languages and Operational Semantics - {A} Concise Overview},
series = {Undergraduate Topics in Computer Science},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-1-4471-6368-8},
doi = {10.1007/978-1-4471-6368-8},
isbn = {978-1-4471-6367-1},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/utcs/Fernandez14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BertolissiF14,
author = {Clara Bertolissi and
Maribel Fern{\'{a}}ndez},
title = {A metamodel of access control for distributed environments: Applications
and properties},
journal = {Inf. Comput.},
volume = {238},
pages = {187--207},
year = {2014},
url = {https://doi.org/10.1016/j.ic.2014.07.009},
doi = {10.1016/J.IC.2014.07.009},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BertolissiF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AlvesFFM14,
author = {Sandra Alves and
Maribel Fern{\'{a}}ndez and
M{\'{a}}rio Florido and
Ian Mackie},
title = {Linearity: {A} Roadmap},
journal = {J. Log. Comput.},
volume = {24},
number = {3},
pages = {513--529},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs020},
doi = {10.1093/LOGCOM/EXS020},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AlvesFFM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FernandezS14,
author = {Maribel Fern{\'{a}}ndez and
Nikolaos Siafakas},
title = {Labelled calculi of resources},
journal = {J. Log. Comput.},
volume = {24},
number = {3},
pages = {591--613},
year = {2014},
url = {https://doi.org/10.1093/logcom/exs021},
doi = {10.1093/LOGCOM/EXS021},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/FernandezS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/FernandezKMP14,
author = {Maribel Fern{\'{a}}ndez and
H{\'{e}}l{\`{e}}ne Kirchner and
Ian Mackie and
Bruno Pinaud},
editor = {Arnold Beckmann and
Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Klaus Meer},
title = {Visual Modelling of Complex Systems: Towards an Abstract Machine for
{PORGY}},
booktitle = {Language, Life, Limits - 10th Conference on Computability in Europe,
CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8493},
pages = {183--193},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08019-2\_19},
doi = {10.1007/978-3-319-08019-2\_19},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/FernandezKMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AlvesDF14,
author = {Sandra Alves and
Anatoli Degtyarev and
Maribel Fern{\'{a}}ndez},
editor = {Maurizio Proietti and
Hirohisa Seki},
title = {Access Control and Obligations in the Category-Based Metamodel: {A}
Rewrite-Based Semantics},
booktitle = {Logic-Based Program Synthesis and Transformation - 24th International
Symposium, {LOPSTR} 2014, Canterbury, UK, September 9-11, 2014. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8981},
pages = {148--163},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17822-6\_9},
doi = {10.1007/978-3-319-17822-6\_9},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/AlvesDF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/DominguezF14,
author = {Jes{\'{u}}s Dom{\'{\i}}nguez and
Maribel Fern{\'{a}}ndez},
editor = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Martin Dietzfelbinger and
Zolt{\'{a}}n {\'{E}}sik},
title = {Relating Nominal and Higher-Order Rewriting},
booktitle = {Mathematical Foundations of Computer Science 2014 - 39th International
Symposium, {MFCS} 2014, Budapest, Hungary, August 25-29, 2014. Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8634},
pages = {244--255},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44522-8\_21},
doi = {10.1007/978-3-662-44522-8\_21},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/DominguezF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/securecomm/AlarifiF14,
author = {Fahad Alarifi and
Maribel Fern{\'{a}}ndez},
editor = {Jing Tian and
Jiwu Jing and
Mudhakar Srivatsa},
title = {Towards Privacy-Preserving Web Metering via User-Centric Hardware},
booktitle = {International Conference on Security and Privacy in Communication
Networks - 10th International {ICST} Conference, SecureComm 2014,
Beijing, China, September 24-26, 2014, Revised Selected Papers, Part
{II}},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {153},
pages = {329--340},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-23802-9\_25},
doi = {10.1007/978-3-319-23802-9\_25},
timestamp = {Tue, 23 May 2017 01:12:12 +0200},
biburl = {https://dblp.org/rec/conf/securecomm/AlarifiF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stm/AliF14,
author = {Asad Ali and
Maribel Fern{\'{a}}ndez},
editor = {Sjouke Mauw and
Christian Damsgaard Jensen},
title = {Hybrid Enforcement of Category-Based Access Control},
booktitle = {Security and Trust Management - 10th International Workshop, {STM}
2014, Wroclaw, Poland, September 10-11, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8743},
pages = {178--182},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11851-2\_12},
doi = {10.1007/978-3-319-11851-2\_12},
timestamp = {Thu, 23 Sep 2021 11:47:56 +0200},
biburl = {https://dblp.org/rec/conf/stm/AliF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/FernandezKP14,
author = {Maribel Fern{\'{a}}ndez and
H{\'{e}}l{\`{e}}ne Kirchner and
Bruno Pinaud},
editor = {Dragan Bosnacki and
Stefan Edelkamp and
Alberto Lluch{-}Lafuente and
Anton Wijs},
title = {Strategic Port Graph Rewriting: An Interactive Modelling and Analysis
Framework},
booktitle = {Proceedings 3rd Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2014, Grenoble, France, 5th April 2014},
series = {{EPTCS}},
volume = {159},
pages = {15--29},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.159.3},
doi = {10.4204/EPTCS.159.3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FernandezKP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AliF14,
author = {Asad Ali and
Maribel Fern{\'{a}}ndez},
editor = {Maurice H. ter Beek and
Ant{\'{o}}nio Ravara},
title = {Static Enforcement of Role-Based Access Control},
booktitle = {Proceedings 10th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2014, Vienna, Austria, July
18, 2014},
series = {{EPTCS}},
volume = {163},
pages = {36--50},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.163.4},
doi = {10.4204/EPTCS.163.4},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AliF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Al-HumaimeedyF15,
author = {Abeer S. Al{-}Humaimeedy and
Maribel Fern{\'{a}}ndez},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Ian Mackie},
title = {Enabling Synchronous and Asynchronous Communications in {CSP} for
{SOC}},
booktitle = {Ninth Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2014, Bras{\'{\i}}lia, Brazil, September 8-9, 2014},
series = {Electronic Notes in Theoretical Computer Science},
volume = {312},
pages = {69--88},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.entcs.2015.04.005},
doi = {10.1016/J.ENTCS.2015.04.005},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Al-HumaimeedyF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlvesF15,
author = {Sandra Alves and
Maribel Fern{\'{a}}ndez},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Ian Mackie},
title = {A Framework for the Analysis of Access Control Policies with Emergency
Management},
booktitle = {Ninth Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2014, Bras{\'{\i}}lia, Brazil, September 8-9, 2014},
series = {Electronic Notes in Theoretical Computer Science},
volume = {312},
pages = {89--105},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.entcs.2015.04.006},
doi = {10.1016/J.ENTCS.2015.04.006},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AlvesF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lsfa/2013,
editor = {Maribel Fern{\'{a}}ndez and
Marcelo Finger},
title = {Proceedings of the 8th Workshop on Logical and Semantic Frameworks,
{LSFA} 2013, S{\~{a}}o Paulo, Brazil, September 2-3, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {305},
publisher = {Elsevier},
year = {2014},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/305/suppl/C},
timestamp = {Wed, 05 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lsfa/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1302-5174,
author = {Maribel Fern{\'{a}}ndez and
Jeffrey Terrell},
editor = {Barbora Buhnova and
Lucia Happe and
Jan Kofron},
title = {Assembling the Proofs of Ordered Model Transformations},
booktitle = {Proceedings 10th International Workshop on Formal Engineering Approaches
to Software Components and Architectures, {FESCA} 2013, Rome, Italy,
March 23, 2013},
series = {{EPTCS}},
volume = {108},
pages = {63--77},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.108.5},
doi = {10.4204/EPTCS.108.5},
timestamp = {Wed, 12 Sep 2018 01:05:16 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-5174.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1302-6339,
author = {Maribel Fern{\'{a}}ndez and
Ian Mackie and
Matthew Walker},
editor = {Rachid Echahed and
Detlef Plump},
title = {Bigraphical Nets},
booktitle = {Proceedings 7th International Workshop on Computing with Terms and
Graphs, {TERMGRAPH} 2013, Rome, Italy, 23th March 2013},
series = {{EPTCS}},
volume = {110},
pages = {74--81},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.110.8},
doi = {10.4204/EPTCS.110.8},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-6339.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FernandezF14,
author = {Maribel Fern{\'{a}}ndez and
Marcelo Finger},
editor = {Maribel Fern{\'{a}}ndez and
Marcelo Finger},
title = {Preface},
booktitle = {Proceedings of the 8th Workshop on Logical and Semantic Frameworks,
{LSFA} 2013, S{\~{a}}o Paulo, Brazil, September 2-3, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {305},
pages = {1--3},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.06.001},
doi = {10.1016/J.ENTCS.2014.06.001},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/FernandezF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/FernandezU12,
author = {Maribel Fern{\'{a}}ndez and
Christian Urban},
title = {Preface: Theory and Applications of Abstraction, Substitution and
Naming},
journal = {J. Autom. Reason.},
volume = {49},
number = {2},
pages = {111--114},
year = {2012},
url = {https://doi.org/10.1007/s10817-011-9217-2},
doi = {10.1007/S10817-011-9217-2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/FernandezU12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FernandezR12,
author = {Maribel Fern{\'{a}}ndez and
Albert Rubio},
editor = {Artur Czumaj and
Kurt Mehlhorn and
Andrew M. Pitts and
Roger Wattenhofer},
title = {Nominal Completion for Rewrite Systems with Binders},
booktitle = {Automata, Languages, and Programming - 39th International Colloquium,
{ICALP} 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7392},
pages = {201--213},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31585-5\_21},
doi = {10.1007/978-3-642-31585-5\_21},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/FernandezR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Al-HumaimeedyF14,
author = {Abeer S. Al{-}Humaimeedy and
Maribel Fern{\'{a}}ndez},
editor = {Benedikt L{\"{o}}we and
Glynn Winskel},
title = {General dynamic recovery for compensating {CSP}},
booktitle = {Proceedings 8th International Workshop on Developments in Computational
Models, {DCM} 2012, Cambridge, United Kingdom, 17 June 2012},
series = {{EPTCS}},
volume = {143},
pages = {3--16},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.143.1},
doi = {10.4204/EPTCS.143.1},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/Al-HumaimeedyF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1211-4098,
author = {Maribel Fern{\'{a}}ndez and
S{\'{e}}bastien Maulat},
editor = {Sandra Alves and
Ian Mackie},
title = {Higher-order port-graph rewriting},
booktitle = {Proceedings 2nd International Workshop on Linearity, {LINEARITY} 2012,
Tallinn, Estonia, 1 April 2012},
series = {{EPTCS}},
volume = {101},
pages = {25--37},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.101.3},
doi = {10.4204/EPTCS.101.3},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-4098.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1303-7328,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Maribel Fern{\'{a}}ndez and
Daniele Nantes Sobrinho},
editor = {Delia Kesner and
Petrucio Viana},
title = {Elementary Deduction Problem for Locally Stable Theories with Normal
Forms},
booktitle = {Proceedings Seventh Workshop on Logical and Semantic Frameworks, with
Applications, {LSFA} 2012, Rio de Janeiro, Brazil, September 29-30,
2012},
series = {{EPTCS}},
volume = {113},
pages = {45--60},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.113.7},
doi = {10.4204/EPTCS.113.7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-7328.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/FairweatherFG11,
author = {Elliot Fairweather and
Maribel Fern{\'{a}}ndez and
Murdoch James Gabbay},
editor = {Olaf Owe and
Martin Steffen and
Jan Arne Telle},
title = {Principal Types for Nominal Theories},
booktitle = {Fundamentals of Computation Theory - 18th International Symposium,
{FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6914},
pages = {160--172},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22953-4\_14},
doi = {10.1007/978-3-642-22953-4\_14},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/FairweatherFG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/FernandezKN11,
author = {Maribel Fern{\'{a}}ndez and
H{\'{e}}l{\`{e}}ne Kirchner and
Olivier Namet},
editor = {Germ{\'{a}}n Vidal},
title = {A Strategy Language for Graph Rewriting},
booktitle = {Logic-Based Program Synthesis and Transformation - 21st International
Symposium, {LOPSTR} 2011, Odense, Denmark, July 18-20, 2011. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7225},
pages = {173--188},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32211-2\_12},
doi = {10.1007/978-3-642-32211-2\_12},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/FernandezKN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/AlvesFFM11,
author = {Sandra Alves and
Maribel Fern{\'{a}}ndez and
M{\'{a}}rio Florido and
Ian Mackie},
editor = {Peter Schneider{-}Kamp and
Michael Hanus},
title = {Linearity and recursion in a typed Lambda-calculus},
booktitle = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 20-22, 2011,
Odense, Denmark},
pages = {173--182},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2003476.2003500},
doi = {10.1145/2003476.2003500},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/AlvesFFM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1102-2654,
author = {Oana Andrei and
Maribel Fern{\'{a}}ndez and
H{\'{e}}l{\`{e}}ne Kirchner and
Guy Melan{\c{c}}on and
Olivier Namet and
Bruno Pinaud},
editor = {Rachid Echahed},
title = {{PORGY:} Strategy-Driven Interactive Transformation of Graphs},
booktitle = {Proceedings 6th International Workshop on Computing with Terms and
Graphs, {TERMGRAPH} 2011, Saarbr{\"{u}}cken, Germany, 2nd April
2011},
series = {{EPTCS}},
volume = {48},
pages = {54--68},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.48.7},
doi = {10.4204/EPTCS.48.7},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-2654.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1102-2655,
author = {Sandra Alves and
Maribel Fern{\'{a}}ndez and
Ian Mackie},
editor = {Rachid Echahed},
title = {A new graphical calculus of proofs},
booktitle = {Proceedings 6th International Workshop on Computing with Terms and
Graphs, {TERMGRAPH} 2011, Saarbr{\"{u}}cken, Germany, 2nd April
2011},
series = {{EPTCS}},
volume = {48},
pages = {69--84},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.48.8},
doi = {10.4204/EPTCS.48.8},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-2655.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CalvesF10,
author = {Christophe Calv{\`{e}}s and
Maribel Fern{\'{a}}ndez},
title = {Matching and alpha-equivalence check for nominal terms},
journal = {J. Comput. Syst. Sci.},
volume = {76},
number = {5},
pages = {283--301},
year = {2010},
url = {https://doi.org/10.1016/j.jcss.2009.10.003},
doi = {10.1016/J.JCSS.2009.10.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/CalvesF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/AlvesFFM10,
author = {Sandra Alves and
Maribel Fern{\'{a}}ndez and
M{\'{a}}rio Florido and
Ian Mackie},
title = {Linearity and iterator types for G{\"{o}}del's System},
journal = {High. Order Symb. Comput.},
volume = {23},
number = {1},
pages = {1--27},
year = {2010},
url = {https://doi.org/10.1007/s10990-010-9060-x},
doi = {10.1007/S10990-010-9060-X},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/AlvesFFM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlvesFFM10,
author = {Sandra Alves and
Maribel Fern{\'{a}}ndez and
M{\'{a}}rio Florido and
Ian Mackie},
title = {G{\"{o}}del's system tau revisited},
journal = {Theor. Comput. Sci.},
volume = {411},
number = {11-13},
pages = {1484--1500},
year = {2010},
url = {https://doi.org/10.1016/j.tcs.2009.11.014},
doi = {10.1016/J.TCS.2009.11.014},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AlvesFFM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/BertolissiF10,
author = {Clara Bertolissi and
Maribel Fern{\'{a}}ndez},
editor = {Fabio Massacci and
Dan S. Wallach and
Nicola Zannone},
title = {Category-Based Authorisation Models: Operational Semantics and Expressive
Power},
booktitle = {Engineering Secure Software and Systems, Second International Symposium,
ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5965},
pages = {140--156},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11747-3\_11},
doi = {10.1007/978-3-642-11747-3\_11},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/essos/BertolissiF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/CalvesF10,
author = {Christophe Calv{\`{e}}s and
Maribel Fern{\'{a}}ndez},
editor = {Mar{\'{\i}}a Alpuente},
title = {The First-Order Nominal Link},
booktitle = {Logic-Based Program Synthesis and Transformation - 20th International
Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6564},
pages = {234--248},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-20551-4\_15},
doi = {10.1007/978-3-642-20551-4\_15},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/CalvesF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stm/BertolissiF10,
author = {Clara Bertolissi and
Maribel Fern{\'{a}}ndez},
editor = {Jorge Cu{\'{e}}llar and
Gilles Barthe and
Alexander Pretschner and
Javier L{\'{o}}pez},
title = {Rewrite Specifications of Access Control Policies in Distributed Environments},
booktitle = {Security and Trust Management - 6th International Workshop, {STM}
2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6710},
pages = {51--67},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-22444-7\_4},
doi = {10.1007/978-3-642-22444-7\_4},
timestamp = {Tue, 07 May 2024 20:13:56 +0200},
biburl = {https://dblp.org/rec/conf/stm/BertolissiF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1012-5560,
author = {Maribel Fern{\'{a}}ndez and
Olivier Namet},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
C{\'{e}}sar A. Mu{\~{n}}oz},
title = {Strategic programming on graph rewriting systems},
booktitle = {Proceedings International Workshop on Strategies in Rewriting, Proving,
and Programming, {IWS} 2010, Edinburgh, UK, 9th July 2010},
series = {{EPTCS}},
volume = {44},
pages = {1--20},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.44.1},
doi = {10.4204/EPTCS.44.1},
timestamp = {Wed, 12 Sep 2018 01:05:12 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-5560.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1009-2791,
author = {Maribel Fern{\'{a}}ndez and
Murdoch James Gabbay},
editor = {Karl Crary and
Marino Miculan},
title = {Closed nominal rewriting and efficiently computable nominal algebra
equality},
booktitle = {Proceedings 5th International Workshop on Logical Frameworks and Meta-languages:
Theory and Practice, {LFMTP} 2010, Edinburgh, UK, 14th July 2010},
series = {{EPTCS}},
volume = {34},
pages = {37--51},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.34.5},
doi = {10.4204/EPTCS.34.5},
timestamp = {Mon, 05 Feb 2024 20:18:33 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-2791.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2010,
editor = {Temur Kutsia and
Wolfgang Schreiner and
Maribel Fern{\'{a}}ndez},
title = {Proceedings of the 12th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 26-28, 2010,
Hagenberg, Austria},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1836089},
doi = {10.1145/1836089},
isbn = {978-1-4503-0132-9},
timestamp = {Tue, 27 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1012-4554,
editor = {Maribel Fern{\'{a}}ndez},
title = {Proceedings 24th International Workshop on Unification, {UNIF} 2010,
Edinburgh, United Kingdom, 14th July 2010},
series = {{EPTCS}},
volume = {42},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.42},
doi = {10.4204/EPTCS.42},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-4554.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1001-3368,
author = {Sandra Alves and
Maribel Fern{\'{a}}ndez and
M{\'{a}}rio Florido and
Ian Mackie},
title = {Linear Recursion},
journal = {CoRR},
volume = {abs/1001.3368},
year = {2010},
url = {http://arxiv.org/abs/1001.3368},
eprinttype = {arXiv},
eprint = {1001.3368},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1001-3368.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/utcs/Fernandez09,
author = {Maribel Fern{\'{a}}ndez},
title = {Models of Computation - An Introduction to Computability Theory},
series = {Undergraduate Topics in Computer Science},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-1-84882-434-8},
doi = {10.1007/978-1-84882-434-8},
isbn = {978-1-84882-433-1},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/utcs/Fernandez09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijics/BertolissiF09,
author = {Clara Bertolissi and
Maribel Fern{\'{a}}ndez},
title = {Distributed event-based access control},
journal = {Int. J. Inf. Comput. Secur.},
volume = {3},
number = {3/4},
pages = {306--320},
year = {2009},
url = {https://doi.org/10.1504/IJICS.2009.031042},
doi = {10.1504/IJICS.2009.031042},
timestamp = {Thu, 01 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijics/BertolissiF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Fernandez09,
author = {Maribel Fern{\'{a}}ndez},
title = {Rewriting Corner},
journal = {J. Log. Comput.},
volume = {19},
number = {2},
pages = {261},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn072},
doi = {10.1093/LOGCOM/EXN072},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Fernandez09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1003-4326,
author = {Maribel Fern{\'{a}}ndez and
Olivier Namet},
editor = {Ian Mackie and
Anamaria Martins Moreira},
title = {Graph Creation, Visualisation and Transformation},
booktitle = {Proceedings Tenth International Workshop on Rule-Based Programming,
{RULE} 2009, Bras{\'{\i}}lia, Brazil, 28th June 2009},
series = {{EPTCS}},
volume = {21},
pages = {1--11},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.21.1},
doi = {10.4204/EPTCS.21.1},
timestamp = {Wed, 12 Sep 2018 01:05:12 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1003-4326.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1003-5515,
author = {Maribel Fern{\'{a}}ndez and
Nikolaos Siafakas},
editor = {M{\'{a}}rio Florido and
Ian Mackie},
title = {Labelled Lambda-calculi with Explicit Copy and Erase},
booktitle = {Proceedings First International Workshop on Linearity, {LINEARITY}
2009, Coimbra, Portugal, 12th September 2009},
series = {{EPTCS}},
volume = {22},
pages = {49--64},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.22.5},
doi = {10.4204/EPTCS.22.5},
timestamp = {Mon, 15 Jun 2020 16:54:38 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1003-5515.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FernandezMSW09,
author = {Maribel Fern{\'{a}}ndez and
Ian Mackie and
Shinya Sato and
Matthew Walker},
editor = {Andrea Corradini},
title = {Recursive Functions with Pattern Matching in Interaction Nets},
booktitle = {Proceedings of the Fifth International Workshop on Computing with
Terms and Graphs, TERMGRAPH@ETAPS 2009, York, UK, March 22, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {253},
number = {4},
pages = {55--71},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.10.017},
doi = {10.1016/J.ENTCS.2009.10.017},
timestamp = {Fri, 24 Feb 2023 15:21:08 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FernandezMSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1001-4573,
editor = {Maribel Fern{\'{a}}ndez},
title = {Proceedings Ninth International Workshop on Reduction Strategies in
Rewriting and Programming, {WRS} 2009, Brasilia, Brazil, 28th June
2009},
series = {{EPTCS}},
volume = {15},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.15},
doi = {10.4204/EPTCS.15},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1001-4573.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FoxFL08,
author = {Chris Fox and
Maribel Fern{\'{a}}ndez and
Shalom Lappin},
title = {Lambda Calculus, Type Theory, and Natural Language {II}},
journal = {J. Log. Comput.},
volume = {18},
number = {2},
pages = {203},
year = {2008},
url = {https://doi.org/10.1093/logcom/exm090},
doi = {10.1093/LOGCOM/EXM090},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/FoxFL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CirsteaF08,
author = {Horatiu Cirstea and
Maribel Fern{\'{a}}ndez},
title = {Rewriting calculi, higher-order reductions and patterns: introduction},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {3},
pages = {427--429},
year = {2008},
url = {https://doi.org/10.1017/S0960129508006737},
doi = {10.1017/S0960129508006737},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CirsteaF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CalvesF08,
author = {Christophe Calv{\`{e}}s and
Maribel Fern{\'{a}}ndez},
title = {A polynomial nominal unification algorithm},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {2-3},
pages = {285--306},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.05.012},
doi = {10.1016/J.TCS.2008.05.012},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/CalvesF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crisis/BertolissiF08,
author = {Clara Bertolissi and
Maribel Fern{\'{a}}ndez},
editor = {Mohamed Jmaiel and
Mohamed Mosbah},
title = {An algebraic-functional framework for distributed access control},
booktitle = {CRiSIS '08, Third International Conference on Risks and Security of
Internet and Systems, Tozeur, Tunisia, October 28-30, 2008},
pages = {1--8},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/CRISIS.2008.4757458},
doi = {10.1109/CRISIS.2008.4757458},
timestamp = {Tue, 11 Oct 2022 14:59:07 +0200},
biburl = {https://dblp.org/rec/conf/crisis/BertolissiF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ntms/BertolissiF08,
author = {Clara Bertolissi and
Maribel Fern{\'{a}}ndez},
editor = {Akshai Aggarwal and
Mohamad Badra and
Fabio Massacci},
title = {Time and Location Based Services with Access Control},
booktitle = {{NTMS} 2008, 2nd International Conference on New Technologies, Mobility
and Security, November 5-7, 2008, Tangier, Morocco},
pages = {1--6},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/NTMS.2008.ECP.98},
doi = {10.1109/NTMS.2008.ECP.98},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/ntms/BertolissiF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BertolissiF08,
author = {Clara Bertolissi and
Maribel Fern{\'{a}}ndez},
editor = {Sergio Antoy and
Elvira Albert},
title = {A rewriting framework for the composition of access control policies},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {217--225},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389476},
doi = {10.1145/1389449.1389476},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/BertolissiF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/CalvesF08,
author = {Christophe Calv{\`{e}}s and
Maribel Fern{\'{a}}ndez},
editor = {Wilfrid Hodges and
Ruy J. G. B. de Queiroz},
title = {Nominal Matching and Alpha-Equivalence},
booktitle = {Logic, Language, Information and Computation, 15th International Workshop,
WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5110},
pages = {111--122},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69937-8\_11},
doi = {10.1007/978-3-540-69937-8\_11},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wollic/CalvesF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BarkerBF09,
author = {Steve Barker and
Clara Bertolissi and
Maribel Fern{\'{a}}ndez},
editor = {Daniel J. Dougherty and
Santiago Escobar},
title = {Action Control by Term Rewriting},
booktitle = {Proceedings of the Third International Workshop on Security and Rewriting
Techniques, SecReT@LICS/CSF 2008, Pittsburgh, PA, USA, June 22, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {234},
pages = {19--36},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.02.070},
doi = {10.1016/J.ENTCS.2009.02.070},
timestamp = {Thu, 09 Mar 2023 12:59:09 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BarkerBF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FernandezS09,
author = {Maribel Fern{\'{a}}ndez and
Nikolaos Siafakas},
editor = {Aart Middeldorp},
title = {New Developments in Environment Machines},
booktitle = {Proceedings of the 8th International Workshop on Reduction Strategies
in Rewriting and Programming, WRS@RTA 2008, Hagenberg, Austria, July
14, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {237},
pages = {57--73},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.03.035},
doi = {10.1016/J.ENTCS.2009.03.035},
timestamp = {Thu, 09 Mar 2023 13:23:33 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FernandezS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FernandezG07,
author = {Maribel Fern{\'{a}}ndez and
Murdoch Gabbay},
title = {Nominal rewriting},
journal = {Inf. Comput.},
volume = {205},
number = {6},
pages = {917--965},
year = {2007},
url = {https://doi.org/10.1016/j.ic.2006.12.002},
doi = {10.1016/J.IC.2006.12.002},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FernandezG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FernandezM07,
author = {Maribel Fern{\'{a}}ndez and
Ian Mackie},
title = {More developments in computational models: introduction},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {4},
pages = {585--586},
year = {2007},
url = {https://doi.org/10.1017/S0960129507006196},
doi = {10.1017/S0960129507006196},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/FernandezM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AlvesFFM07,
author = {Sandra Alves and
Maribel Fern{\'{a}}ndez and
M{\'{a}}rio Florido and
Ian Mackie},
editor = {Hubert Comon{-}Lundh and
Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Linear Recursive Functions},
booktitle = {Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre
Jouannaud on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4600},
pages = {182--195},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73147-4\_9},
doi = {10.1007/978-3-540-73147-4\_9},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AlvesFFM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/BertolissiFB07,
author = {Clara Bertolissi and
Maribel Fern{\'{a}}ndez and
Steve Barker},
editor = {Steve Barker and
Gail{-}Joon Ahn},
title = {Dynamic Event-Based Access Control as Term Rewriting},
booktitle = {Data and Applications Security XXI, 21st Annual {IFIP} {WG} 11.3 Working
Conference on Data and Applications Security, Redondo Beach, CA, USA,
July 8-11, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4602},
pages = {195--210},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73538-0\_15},
doi = {10.1007/978-3-540-73538-0\_15},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dbsec/BertolissiFB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AlvesFFM07,
author = {Sandra Alves and
Maribel Fern{\'{a}}ndez and
M{\'{a}}rio Florido and
Ian Mackie},
editor = {Helmut Seidl},
title = {Iterator Types},
booktitle = {Foundations of Software Science and Computational Structures, 10th
International Conference, {FOSSACS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007,
Braga, Portugal, March 24-April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4423},
pages = {17--31},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71389-0\_3},
doi = {10.1007/978-3-540-71389-0\_3},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/AlvesFFM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2006secret,
editor = {Maribel Fern{\'{a}}ndez and
Claude Kirchner},
title = {Proceedings of the First International Workshop on Security and Rewriting
Techniques, SecReT@ICALP 2006, Venice, Italy, July 15, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {171},
number = {4},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/171/issue/4},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/2006secret.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rule/2006,
editor = {Maribel Fern{\'{a}}ndez and
Ralf L{\"{a}}mmel},
title = {Proceedings of the 7th International Workshop on Rule Based Programming,
RULE@FLoC 2006, Seattle, WA, USA, August 11, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {1},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/174/issue/1},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rule/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FernandezM06,
author = {Maribel Fern{\'{a}}ndez and
Ian Mackie},
title = {Developments in computational models: introduction},
journal = {Math. Struct. Comput. Sci.},
volume = {16},
number = {4},
pages = {553--555},
year = {2006},
url = {https://doi.org/10.1017/S0960129506005305},
doi = {10.1017/S0960129506005305},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/FernandezM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AlvesFFM06,
author = {Sandra Alves and
Maribel Fern{\'{a}}ndez and
M{\'{a}}rio Florido and
Ian Mackie},
editor = {Zolt{\'{a}}n {\'{E}}sik},
title = {The Power of Linear Functions},
booktitle = {Computer Science Logic, 20th International Workshop, {CSL} 2006, 15th
Annual Conference of the EACSL, Szeged, Hungary, September 25-29,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4207},
pages = {119--134},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11874683\_8},
doi = {10.1007/11874683\_8},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/AlvesFFM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/BarkerF06,
author = {Steve Barker and
Maribel Fern{\'{a}}ndez},
editor = {Ernesto Damiani and
Peng Liu},
title = {Term Rewriting for Access Control},
booktitle = {Data and Applications Security XX, 20th Annual {IFIP} {WG} 11.3 Working
Conference on Data and Applications Security, Sophia Antipolis, France,
July 31-August 2, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4127},
pages = {179--193},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805588\_13},
doi = {10.1007/11805588\_13},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dbsec/BarkerF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/FernandezF06,
author = {Maribel Fern{\'{a}}ndez and
Fabien Fleutot},
editor = {Annalisa Bossi and
Michael J. Maher},
title = {A historic functional and object-oriented calculus},
booktitle = {Proceedings of the 8th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 10-12, 2006,
Venice, Italy},
pages = {145--156},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1140335.1140353},
doi = {10.1145/1140335.1140353},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/FernandezF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/FernandezG06,
author = {Maribel Fern{\'{a}}ndez and
Murdoch Gabbay},
editor = {Thorsten Altenkirch and
Conor McBride},
title = {Curry-Style Types for Nominal Terms},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2006,
Nottingham, UK, April 18-21, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4502},
pages = {125--139},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74464-1\_9},
doi = {10.1007/978-3-540-74464-1\_9},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/types/FernandezG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FernandezK07,
author = {Maribel Fern{\'{a}}ndez and
Claude Kirchner},
editor = {Maribel Fern{\'{a}}ndez and
Claude Kirchner},
title = {Preface},
booktitle = {Proceedings of the First International Workshop on Security and Rewriting
Techniques, SecReT@ICALP 2006, Venice, Italy, July 15, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {171},
number = {4},
pages = {1--2},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.02.052},
doi = {10.1016/J.ENTCS.2007.02.052},
timestamp = {Fri, 27 Jan 2023 11:16:49 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FernandezK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FernandezL07,
author = {Maribel Fern{\'{a}}ndez and
Ralf L{\"{a}}mmel},
editor = {Maribel Fern{\'{a}}ndez and
Ralf L{\"{a}}mmel},
title = {Preface},
booktitle = {Proceedings of the 7th International Workshop on Rule Based Programming,
RULE@FLoC 2006, Seattle, WA, USA, August 11, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {1},
pages = {1--2},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.10.017},
doi = {10.1016/J.ENTCS.2006.10.017},
timestamp = {Fri, 27 Jan 2023 11:33:51 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FernandezL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CalvesF07,
author = {Christophe Calv{\`{e}}s and
Maribel Fern{\'{a}}ndez},
editor = {Ian Mackie},
title = {Implementing Nominal Unification},
booktitle = {Proceedings of the Third International Workshop on Term Graph Rewriting,
TERMGRAPH@ETAPS 2006, Vienna, Austria, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {176},
number = {1},
pages = {25--37},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.09.027},
doi = {10.1016/J.ENTCS.2006.09.027},
timestamp = {Tue, 31 Jan 2023 10:26:02 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CalvesF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CirsteaFFMS07,
author = {Horatiu Cirstea and
Germain Faure and
Maribel Fern{\'{a}}ndez and
Ian Mackie and
Fran{\c{c}}ois{-}R{\'{e}}gis Sinot},
editor = {Sergio Antoy},
title = {From Functional Programs to Interaction Nets via the Rewriting Calculus},
booktitle = {Proceedings of the Sixth International Workshop on Reduction Strategies
in Rewriting and Programming, WRS@FLoC 2006, Seattle, WA, USA, August
11, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {10},
pages = {39--56},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.02.046},
doi = {10.1016/J.ENTCS.2007.02.046},
timestamp = {Fri, 27 Jan 2023 14:38:38 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CirsteaFFMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlvesFFM07,
author = {Sandra Alves and
Maribel Fern{\'{a}}ndez and
M{\'{a}}rio Florido and
Ian Mackie},
editor = {Sergio Antoy},
title = {The Power of Closed Reduction Strategies},
booktitle = {Proceedings of the Sixth International Workshop on Reduction Strategies
in Rewriting and Programming, WRS@FLoC 2006, Seattle, WA, USA, August
11, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {10},
pages = {57--74},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.02.047},
doi = {10.1016/J.ENTCS.2007.02.047},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlvesFFM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dcm/2005,
editor = {Maribel Fern{\'{a}}ndez and
Ian Mackie},
title = {Proceedings of the First International Workshop on Developments in
Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {135},
number = {3},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/135/issue/3},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dcm/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/FernandezMS05,
author = {Maribel Fern{\'{a}}ndez and
Ian Mackie and
Fran{\c{c}}ois{-}R{\'{e}}gis Sinot},
title = {Lambda-Calculus with Director Strings},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {15},
number = {6},
pages = {393--437},
year = {2005},
url = {https://doi.org/10.1007/s00200-005-0169-9},
doi = {10.1007/S00200-005-0169-9},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aaecc/FernandezMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FernandezMS05,
author = {Maribel Fern{\'{a}}ndez and
Ian Mackie and
Fran{\c{c}}ois{-}R{\'{e}}gis Sinot},
title = {Closed reduction: explicit substitutions without alpha-conversion},
journal = {Math. Struct. Comput. Sci.},
volume = {15},
number = {2},
pages = {343--381},
year = {2005},
url = {https://doi.org/10.1017/S0960129504004633},
doi = {10.1017/S0960129504004633},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/FernandezMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/FernandezG05,
author = {Maribel Fern{\'{a}}ndez and
Murdoch Gabbay},
editor = {Pedro Barahona and
Amy P. Felty},
title = {Nominal rewriting with name generation: abstraction vs. locality},
booktitle = {Proceedings of the 7th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 11-13 2005,
Lisbon, Portugal},
pages = {47--58},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1069774.1069779},
doi = {10.1145/1069774.1069779},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/FernandezG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FernandezM06,
author = {Maribel Fern{\'{a}}ndez and
Ian Mackie},
editor = {Maribel Fern{\'{a}}ndez and
Ian Mackie},
title = {Preface},
booktitle = {Proceedings of the First International Workshop on Developments in
Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {135},
number = {3},
pages = {1--2},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.09.015},
doi = {10.1016/J.ENTCS.2005.09.015},
timestamp = {Thu, 15 Dec 2022 14:14:49 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FernandezM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FernandezMS06,
author = {Maribel Fern{\'{a}}ndez and
Ian Mackie and
Fran{\c{c}}ois{-}R{\'{e}}gis Sinot},
editor = {Jos C. M. Baeten and
Iain C. C. Phillips},
title = {Interaction Nets vs. the \emph{rho}-calculus: Introducing Bigraphical
Nets},
booktitle = {Proceedings of the 12th Workshop on Expressiveness on Concurrency,
{EXPRESS} 2005, San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {3},
pages = {19--32},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.05.004},
doi = {10.1016/J.ENTCS.2006.05.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FernandezMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/termgraph/2004,
editor = {Maribel Fern{\'{a}}ndez},
title = {Proceedings of the 2nd International Workshop on Term Graph Rewriting,
{TERMGRAPH} 2004, Rome, Italy, October 2, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {127},
number = {5},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/127/issue/5},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/termgraph/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0026210,
author = {Maribel Fern{\'{a}}ndez},
title = {Programming Languages and Operational Semantics},
series = {Texts in computing},
volume = {1},
publisher = {College Publications},
year = {2004},
isbn = {978-0-9543006-3-0},
timestamp = {Mon, 06 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0026210.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Fernandez04,
author = {Maribel Fern{\'{a}}ndez},
editor = {Hartmut Ehrig and
Gregor Engels and
Francesco Parisi{-}Presicce and
Grzegorz Rozenberg},
title = {Workshop {TERMGRAPH} 2004},
booktitle = {Graph Transformations, Second International Conference, {ICGT} 2004,
Rome, Italy, September 28 - October 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3256},
pages = {437--438},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30203-2\_32},
doi = {10.1007/978-3-540-30203-2\_32},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/Fernandez04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/FernandezGM04,
author = {Maribel Fern{\'{a}}ndez and
Murdoch Gabbay and
Ian Mackie},
editor = {Eugenio Moggi and
David Scott Warren},
title = {Nominal rewriting systems},
booktitle = {Proceedings of the 6th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 24-26 August 2004,
Verona, Italy},
pages = {108--119},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1013963.1013978},
doi = {10.1145/1013963.1013978},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/FernandezGM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Fernandez05,
author = {Maribel Fern{\'{a}}ndez},
editor = {Maribel Fern{\'{a}}ndez},
title = {Preface},
booktitle = {Proceedings of the 2nd International Workshop on Term Graph Rewriting,
{TERMGRAPH} 2004, Rome, Italy, October 2, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {127},
number = {5},
pages = {1--2},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.02.012},
doi = {10.1016/J.ENTCS.2005.02.012},
timestamp = {Mon, 12 Dec 2022 15:00:58 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Fernandez05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cleiej/FernandezMSS03,
author = {Maribel Fern{\'{a}}ndez and
Ian Mackie and
Paula Severi and
Nora Szasz},
title = {Reduction Strategies for Program Extraction},
journal = {{CLEI} Electron. J.},
volume = {6},
number = {1},
year = {2003},
url = {https://doi.org/10.19153/cleiej.6.1.2},
doi = {10.19153/CLEIEJ.6.1.2},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cleiej/FernandezMSS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/FernandezK03,
author = {Maribel Fern{\'{a}}ndez and
Lionel Khalil},
title = {Interaction Nets with McCarthy's amb: Properties and Applications},
journal = {Nord. J. Comput.},
volume = {10},
number = {2},
pages = {134--162},
year = {2003},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/FernandezK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BakelF03,
author = {Steffen van Bakel and
Maribel Fern{\'{a}}ndez},
title = {Normalization, approximation, and semantics for combinator systems},
journal = {Theor. Comput. Sci.},
volume = {290},
number = {1},
pages = {975--1019},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00548-0},
doi = {10.1016/S0304-3975(02)00548-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BakelF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FernandezM03,
author = {Maribel Fern{\'{a}}ndez and
Ian Mackie},
title = {Operational equivalence for interaction nets},
journal = {Theor. Comput. Sci.},
volume = {297},
number = {1-3},
pages = {157--181},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00637-0},
doi = {10.1016/S0304-3975(02)00637-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FernandezM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/SinotFM03,
author = {Fran{\c{c}}ois{-}R{\'{e}}gis Sinot and
Maribel Fern{\'{a}}ndez and
Ian Mackie},
editor = {Robert Nieuwenhuis},
title = {Efficient Reductions with Director Strings},
booktitle = {Rewriting Techniques and Applications, 14th International Conference,
{RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2706},
pages = {46--60},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44881-0\_5},
doi = {10.1007/3-540-44881-0\_5},
timestamp = {Sun, 02 Oct 2022 16:14:20 +0200},
biburl = {https://dblp.org/rec/conf/rta/SinotFM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/FernandezM02,
author = {Maribel Fern{\'{a}}ndez and
Ian Mackie},
editor = {Andrea Corradini and
Hartmut Ehrig and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {Call-by-Value lambda-Graph Rewriting Without Rewriting},
booktitle = {Graph Transformation, First International Conference, {ICGT} 2002,
Barcelona, Spain, October 7-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2505},
pages = {75--89},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45832-8\_8},
doi = {10.1007/3-540-45832-8\_8},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/gg/FernandezM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/FernandezS02,
author = {Maribel Fern{\'{a}}ndez and
Paula Severi},
editor = {Michael Leuschel},
title = {An Operational Approach to Program Extraction in the Calculus of Constructions},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {111--125},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_10},
doi = {10.1007/3-540-45013-0\_10},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/FernandezS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FernandezMP07,
author = {Maribel Fern{\'{a}}ndez and
Ian Mackie and
Jorge Sousa Pinto},
editor = {Ian Mackie and
Detlef Plump},
title = {A Higher-Order Calculus for Graph Transformation},
booktitle = {Proceedings of the First International Workshop on Term Graph Rewriting,
{TERMGRAPH} 2002, Barcelona, Spain, October 7, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {72},
number = {1},
pages = {45--58},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/j.entcs.2002.09.005},
doi = {10.1016/J.ENTCS.2002.09.005},
timestamp = {Tue, 06 Dec 2022 15:31:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FernandezMP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FernandezK02,
author = {Maribel Fern{\'{a}}ndez and
Lionel Khalil},
editor = {Uwe Nestmann and
Prakash Panangaden},
title = {Interaction Nets with McCarthy's amb},
booktitle = {9th International Workshop on Expressiveness in Concurrency, {EXPRESS}
2002, Satellite Workshop from {CONCUR} 2002, Brno, Czech Republic,
August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {2},
pages = {51--68},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80363-9},
doi = {10.1016/S1571-0661(05)80363-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FernandezK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/FernandezMP01,
author = {Maribel Fern{\'{a}}ndez and
Ian Mackie and
Jorge Sousa Pinto},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {Combining interaction nets with externally defined programs},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {297--312},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\%7Epq/agp01/finals/19.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/FernandezMP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latin/FernandezM00,
author = {Maribel Fern{\'{a}}ndez and
Ian Mackie},
editor = {Gaston H. Gonnet and
Daniel Panario and
Alfredo Viola},
title = {A Theory of Operational Equivalence for Interaction Nets},
booktitle = {{LATIN} 2000: Theoretical Informatics, 4th Latin American Symposium,
Punta del Este, Uruguay, April 10-14, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1776},
pages = {447--456},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10719839\_44},
doi = {10.1007/10719839\_44},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/latin/FernandezM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/FernandezM99,
author = {Maribel Fern{\'{a}}ndez and
Ian Mackie},
editor = {J{\"{o}}rg Flum and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Closed Reductions in the lambda-Calculus},
booktitle = {Computer Science Logic, 13th International Workshop, {CSL} '99, 8th
Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1683},
pages = {220--234},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48168-0\_16},
doi = {10.1007/3-540-48168-0\_16},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/FernandezM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/FernandezM99,
author = {Maribel Fern{\'{a}}ndez and
Ian Mackie},
editor = {Gopalan Nadathur},
title = {A Calculus for Interaction Nets},
booktitle = {Principles and Practice of Declarative Programming, International
Conference PPDP'99, Paris, France, September 29 - October 1, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1702},
pages = {170--187},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10704567\_10},
doi = {10.1007/10704567\_10},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/FernandezM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/BakelBF99,
author = {Steffen van Bakel and
Franco Barbanera and
Maribel Fern{\'{a}}ndez},
editor = {Thierry Coquand and
Peter Dybjer and
Bengt Nordstr{\"{o}}m and
Jan M. Smith},
title = {Polymorphic Intersection Type Assignment for Rewrite Systems with
Abstractions and \emph{beta}-Rule},
booktitle = {Types for Proofs and Programs, International Workshop TYPES'99, L{\"{o}}keberg,
Sweden, June 12-16, 1999, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1956},
pages = {41--60},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-44557-9\_3},
doi = {10.1007/3-540-44557-9\_3},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/types/BakelBF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Fernandez98,
author = {Maribel Fern{\'{a}}ndez},
title = {Negation Elimination in Empty or Permutative Theories},
journal = {J. Symb. Comput.},
volume = {26},
number = {1},
pages = {97--133},
year = {1998},
url = {https://doi.org/10.1006/jsco.1998.0203},
doi = {10.1006/JSCO.1998.0203},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Fernandez98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Fernandez98,
author = {Maribel Fern{\'{a}}ndez},
title = {Type assignment and termination of interaction nets},
journal = {Math. Struct. Comput. Sci.},
volume = {8},
number = {6},
pages = {593--636},
year = {1998},
url = {http://journals.cambridge.org/action/displayAbstract?aid=44789},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Fernandez98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FernandezM98,
author = {Maribel Fern{\'{a}}ndez and
Ian Mackie},
title = {Interaction Nets and Term-Rewriting Systems},
journal = {Theor. Comput. Sci.},
volume = {190},
number = {1},
pages = {3--39},
year = {1998},
url = {https://doi.org/10.1016/S0304-3975(97)00082-0},
doi = {10.1016/S0304-3975(97)00082-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FernandezM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FernandezM98,
author = {Maribel Fern{\'{a}}ndez and
Ian Mackie},
title = {Coinductive Techniques for Operational Equivalence of Interaction
Nets},
booktitle = {Thirteenth Annual {IEEE} Symposium on Logic in Computer Science, Indianapolis,
Indiana, USA, June 21-24, 1998},
pages = {321--332},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/LICS.1998.705668},
doi = {10.1109/LICS.1998.705668},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/FernandezM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BakelF97,
author = {Steffen van Bakel and
Maribel Fern{\'{a}}ndez},
title = {Normalization Results for Typeable Rewrite Systems},
journal = {Inf. Comput.},
volume = {133},
number = {2},
pages = {73--116},
year = {1997},
url = {https://doi.org/10.1006/inco.1996.2617},
doi = {10.1006/INCO.1996.2617},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BakelF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BarbaneraFG97,
author = {Franco Barbanera and
Maribel Fern{\'{a}}ndez and
Herman Geuvers},
title = {Modularity of Strong Normalization in the Algebraic-lambda-Cube},
journal = {J. Funct. Program.},
volume = {7},
number = {6},
pages = {613--660},
year = {1997},
url = {https://doi.org/10.1017/s095679689700289x},
doi = {10.1017/S095679689700289X},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BarbaneraFG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/CompagnoniF97,
author = {Adriana B. Compagnoni and
Maribel Fern{\'{a}}ndez},
editor = {Hugh Glaser and
Pieter H. Hartel and
Herbert Kuchen},
title = {On Object Calculus with Algebraic Rewriting},
booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th
International Symposium, PLILP'97, Including a Special Trach on Declarative
Programming Languages in Education, Southampton, UK, September 3-5,
1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1292},
pages = {17--31},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0033834},
doi = {10.1007/BFB0033834},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/plilp/CompagnoniF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Fernandez96,
author = {Maribel Fern{\'{a}}ndez},
title = {{AC} Complement Problems: Satisfiability and Negation Elimination},
journal = {J. Symb. Comput.},
volume = {22},
number = {1},
pages = {49--82},
year = {1996},
url = {https://doi.org/10.1006/jsco.1996.0041},
doi = {10.1006/JSCO.1996.0041},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Fernandez96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BarbaneraF96,
author = {Franco Barbanera and
Maribel Fern{\'{a}}ndez},
title = {Intersection Type Assignment Systems with Higher-Order Algebraic Rewriting},
journal = {Theor. Comput. Sci.},
volume = {170},
number = {1-2},
pages = {173--207},
year = {1996},
url = {https://doi.org/10.1016/S0304-3975(96)80706-7},
doi = {10.1016/S0304-3975(96)80706-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BarbaneraF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/FernandezM96,
author = {Maribel Fern{\'{a}}ndez and
Ian Mackie},
editor = {H{\'{e}}l{\`{e}}ne Kirchner},
title = {Interaction Nets and Term Rewriting Systems (Extended Abstract)},
booktitle = {Trees in Algebra and Programming - CAAP'96, 21st International Colloquium,
Link{\"{o}}ping, Sweden, April, 22-24, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1059},
pages = {149--164},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61064-2\_35},
doi = {10.1007/3-540-61064-2\_35},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/FernandezM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BakelBF96,
author = {Steffen van Bakel and
Franco Barbanera and
Maribel Fern{\'{a}}ndez},
editor = {Hanne Riis Nielson},
title = {Rewrite Systems with Abstraction and beta-Rule: Types, Approximants
and Normalization},
booktitle = {Programming Languages and Systems - ESOP'96, 6th European Symposium
on Programming, Link{\"{o}}ping, Sweden, April 22-24, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1058},
pages = {387--403},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61055-3\_50},
doi = {10.1007/3-540-61055-3\_50},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/BakelBF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/FernandezM96,
author = {Maribel Fern{\'{a}}ndez and
Ian Mackie},
editor = {Herbert Kuchen and
S. Doaitse Swierstra},
title = {From Term Rewriting to Generalised Interaction Nets},
booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th
International Symposium, PLILP'96, Aachen, Germany, September 24-27,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1140},
pages = {319--333},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61756-6\_94},
doi = {10.1007/3-540-61756-6\_94},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/plilp/FernandezM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/BakelF95,
author = {Steffen van Bakel and
Maribel Fern{\'{a}}ndez},
editor = {Gilles Dowek and
Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller},
title = {Approximation and Normalization Results for Typeable Term Rewriting
Systems},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, Second International
Workshop, {HOA} '95, Paderborn, Germany, September 21-22, 1995, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1074},
pages = {17--36},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61254-8\_17},
doi = {10.1007/3-540-61254-8\_17},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/hoa/BakelF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BakelF95,
author = {Steffen van Bakel and
Maribel Fern{\'{a}}ndez},
editor = {Jieh Hsiang},
title = {(Head-) Normalization of Typeable Rewrite Systems},
booktitle = {Rewriting Techniques and Applications, 6th International Conference,
RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {914},
pages = {279--293},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59200-8\_64},
doi = {10.1007/3-540-59200-8\_64},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/BakelF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unif/BakelF95,
author = {Steffen van Bakel and
Maribel Fern{\'{a}}ndez},
editor = {Robert Nieuwenhuis and
Albert Rubio},
title = {Normalization Properties of Typeable Term Rewriting Systems (Abstract)},
booktitle = {9th International Workshop on Unification, {UNIF} 1995, Sitges, Spain,
April 2-3, 1995},
pages = {9},
year = {1995},
timestamp = {Fri, 19 May 2023 16:00:29 +0200},
biburl = {https://dblp.org/rec/conf/unif/BakelF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/FernandezJ94,
author = {Maribel Fern{\'{a}}ndez and
Jean{-}Pierre Jouannaud},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Modular Termination of Term Rewriting Systems Revisited},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {255--272},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014432},
doi = {10.1007/BFB0014432},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/compass/FernandezJ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BarbaneraFG94,
author = {Franco Barbanera and
Maribel Fern{\'{a}}ndez and
Herman Geuvers},
title = {Modularity of Strong Normalization and Confluence in the algebraic-lambda-Cube},
booktitle = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science
{(LICS} '94), Paris, France, July 4-7, 1994},
pages = {406--415},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/LICS.1994.316049},
doi = {10.1109/LICS.1994.316049},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BarbaneraFG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoa/BakelF93,
author = {Steffen van Bakel and
Maribel Fern{\'{a}}ndez},
editor = {Jan Heering and
Karl Meinke and
Bernhard M{\"{o}}ller and
Tobias Nipkow},
title = {Strong Normalization of Typeable Rewrite Systems},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, First International
Workshop, {HOA} '93, Amsterdam, The Netherlands, September 23-24,
1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {816},
pages = {20--39},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58233-9\_2},
doi = {10.1007/3-540-58233-9\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/hoa/BakelF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BarbaneraF93,
author = {Franco Barbanera and
Maribel Fern{\'{a}}ndez},
editor = {Andrzej Lingas and
Rolf G. Karlsson and
Svante Carlsson},
title = {Modularity of Termination and Confluence in Combinations of Rewrite
Systems with lambda{\_}omega},
booktitle = {Automata, Languages and Programming, 20nd International Colloquium,
ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {700},
pages = {657--668},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56939-1\_110},
doi = {10.1007/3-540-56939-1\_110},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BarbaneraF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Fernandez93,
author = {Maribel Fern{\'{a}}ndez},
editor = {Claude Kirchner},
title = {{AC} Complement Problems: Satisfiability and Negation Elimination},
booktitle = {Rewriting Techniques and Applications, 5th International Conference,
RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {690},
pages = {358--373},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-3-662-21551-7\_27},
doi = {10.1007/978-3-662-21551-7\_27},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/Fernandez93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/BarbaneraF93,
author = {Franco Barbanera and
Maribel Fern{\'{a}}ndez},
editor = {Marc Bezem and
Jan Friso Groote},
title = {Combining First and Higher Order Rewrite Systems with Type Assignment
Systems},
booktitle = {Typed Lambda Calculi and Applications, International Conference on
Typed Lambda Calculi and Applications, {TLCA} '93, Utrecht, The Netherlands,
March 16-18, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {664},
pages = {60--74},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0037098},
doi = {10.1007/BFB0037098},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/BarbaneraF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/Fernandez92,
author = {Maribel Fern{\'{a}}ndez},
title = {Narrowing Based Procedures for Equational Disunification},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {3},
pages = {1--26},
year = {1992},
url = {https://doi.org/10.1007/BF01189020},
doi = {10.1007/BF01189020},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aaecc/Fernandez92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ComonF92,
author = {Hubert Comon and
Maribel Fern{\'{a}}ndez},
editor = {Ivan M. Havel and
V{\'{a}}clav Koubek},
title = {Negation Elimination in Equational Formulae},
booktitle = {Mathematical Foundations of Computer Science 1992, 17th International
Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {629},
pages = {191--199},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55808-X\_17},
doi = {10.1007/3-540-55808-X\_17},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/ComonF92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-05-08 21:01 CEST 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:
