Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMaribel Fernández
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j43]Maribel Fernández
, Jenjira Jaimunk, Bhavani Thuraisingham:
A Privacy-Preserving Architecture and Data-Sharing Model for Cloud-IoT Applications. IEEE Trans. Dependable Secur. Comput. 20(4): 3495-3507 (2023)- [c119]Maribel Fernández:
Nominal Techniques for Software Specification and Verification (Invited Talk). FSCD 2023: 1:1-1:4 - [c118]Maribel Fernández:
Unification Modulo Equational Theories in Languages with Binding Operators (Invited Talk). LOPSTR 2023: 3-6 - [c117]Anna Bamberger, Maribel Fernández:
From Static to Dynamic Access Control Policies via Attribute-Based Category Mining. LOPSTR 2023: 188-197 - [c116]Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, Daniele Nantes-Sobrinho:
Nominal AC-Matching. CICM 2023: 53-68 - [c115]Maribel Fernández:
The Category-Based Approach to Access Control, Obligations and Privacy. SACMAT 2023: 1-2 - [e17]Mohamed Shehab, Maribel Fernández, Ninghui Li:
Proceedings of the Thirteenth ACM Conference on Data and Application Security and Privacy, CODASPY 2023, Charlotte, NC, USA, April 24-26, 2023. ACM 2023 [contents] - [e16]Maribel Fernández, Christopher M. Poskitt:
Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings. Lecture Notes in Computer Science 13961, Springer 2023, ISBN 978-3-031-36708-3 [contents] - 2022
- [c114]Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes Sobrinho:
A Certified Algorithm for AC-Unification. FSCD 2022: 8:1-8:21 - [c113]James Cheney, Maribel Fernández:
Nominal Matching Logic. PPDP 2022: 5:1-5:15 - [c112]Clara Bertolissi, Maribel Fernández:
Modular Composition of Access Control Policies: A Framework to Build Multi-Site Multi-Level Combinations. SACMAT 2022: 7-18 - [e15]Anupam Joshi, Maribel Fernández, Rakesh M. Verma:
CODASPY '22: Twelveth ACM Conference on Data and Application Security and Privacy, Baltimore, MD, USA, April 24 - 27, 2022. ACM 2022, ISBN 978-1-4503-9220-4 [contents] - [i5]James Cheney, Maribel Fernández:
Nominal Matching Logic. CoRR abs/2207.14139 (2022) - 2021
- [j42]Jesús Domínguez, Maribel Fernández:
Nominal syntax with atom substitutions. J. Comput. Syst. Sci. 119: 34-59 (2021) - [j41]Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho:
Formalising nominal C-unification generalised with protected variables. Math. Struct. Comput. Sci. 31(3): 286-311 (2021) - [c111]Clara Bertolissi, Maribel Fernández, Bhavani Thuraisingham:
Graph-Based Specification of Admin-CBAC Policies. CODASPY 2021: 173-184 - [c110]Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale:
Nominal Equational Problems. FoSSaCS 2021: 22-41 - [e14]Maribel Fernández:
Logic-Based Program Synthesis and Transformation - 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings. Lecture Notes in Computer Science 12561, Springer 2021, ISBN 978-3-030-68445-7 [contents] - [i4]Sandra Alves, Maribel Fernández, Miguel Ramos:
EVL: a typed functional language for event processing. CoRR abs/2109.08960 (2021) - 2020
- [j40]Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho:
On Nominal Syntax and Permutation Fixed Points. Log. Methods Comput. Sci. 16(1) (2020) - [c109]Clara Bertolissi, Maribel Fernández, Bhavani Thuraisingham:
Admin-CBAC: An Administration Model for Category-Based Access Control. CODASPY 2020: 73-84 - [c108]Maribel Fernández, Ian Mackie:
A Reversible Operational Semantics for Imperative Programming Languages. ICFEM 2020: 91-106 - [c107]Sandra Alves, Maribel Fernández, Miguel Ramos:
EVL: A Typed Higher-order Functional Language for Events. LSFA 2020: 3-23 - [c106]Maribel Fernández, János Varga:
Finding Candidate Keys and 3NF via Strategic Port Graph Rewriting. PPDP 2020: 10:1-10:14 - [c105]Maribel Fernández, Alex Franch Tapia, Jenjira Jaimunk, Manuel Martinez Chamorro, Bhavani Thuraisingham:
A Data Access Model for Privacy-Preserving Cloud-IoT Architectures. SACMAT 2020: 191-202 - [c104]Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale:
An Investigation into General Nominal Equational Problems (Work in progress). UNIF 2020: 3:1-3:8 - [e13]Maribel Fernández, Anca Muscholl:
28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain. LIPIcs 152, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-132-0 [contents]
2010 – 2019
- 2019
- [j39]Iliano Cervesato, Maribel Fernández:
Preface to the Special Issue on Linearity. J. Autom. Reason. 63(4): 809-811 (2019) - [j38]Maribel Fernández, Hélène Kirchner, Bruno Pinaud:
Strategic port graph rewriting: an interactive modelling framework. Math. Struct. Comput. Sci. 29(5): 615-662 (2019) - [j37]Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho, Ana Cristina Rocha Oliveira:
A formalisation of nominal α-equivalence with A, C, and AC function symbols. Theor. Comput. Sci. 781: 3-23 (2019) - [c103]Maribel Fernández, Ian Mackie, Bhavani Thuraisingham:
Specification and Analysis of ABAC Policies via the Category-based Metamodel. CODASPY 2019: 173-184 - [c102]Jesús Domínguez, Maribel Fernández:
Nominal Syntax with Atom Substitutions: Matching, Unification, Rewriting. FCT 2019: 64-79 - [c101]Maribel Fernández, Jenjira Jaimunk, Bhavani Thuraisingham:
Privacy-Preserving Architecture for Cloud-IoT Platforms. ICWS 2019: 11-19 - [c100]Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho:
A Certified Functional Nominal C-Unification Algorithm. LOPSTR 2019: 123-138 - [c99]Maribel Fernández, Bruno Pinaud, János Varga:
A Port Graph Rewriting Approach to Relational Database Modelling. LOPSTR 2019: 211-227 - [c98]Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale:
On Solving Nominal Disunification Constraints. LSFA 2019: 3-22 - [e12]Maribel Fernández, Ian Mackie:
Proceedings Tenth International Workshop on Computing with Terms and Graphs, TERMGRAPH@FSCD 2018, Oxford, UK, 7th July 2018. EPTCS 288, 2019 [contents] - [e11]Thomas Ehrhard, Maribel Fernández, Valeria de Paiva, Lorenzo Tortora de Falco:
Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018. EPTCS 292, 2019 [contents] - [i3]Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho:
On Nominal Syntax and Permutation Fixed Points. CoRR abs/1902.08345 (2019) - 2018
- [j36]Maribel Fernández, Hélène Kirchner, Bruno Pinaud, Jason Vallet:
Labelled graph strategic rewriting for social networks. J. Log. Algebraic Methods Program. 96: 12-40 (2018) - [j35]Mauricio Ayala-Rincón, Maribel Fernández, Ana Cristina Rocha Oliveira, Daniel Lima Ventura:
Nominal essential intersection types. Theor. Comput. Sci. 737: 62-80 (2018) - [j34]Elliot Fairweather, Maribel Fernández:
Typed Nominal Rewriting. ACM Trans. Comput. Log. 19(1): 6:1-6:46 (2018) - [c97]Maribel Fernández, Jenjira Jaimunk, Bhavani Thuraisingham:
Graph-Based Data-Collection Policies for the Internet of Things. ICSS 2018: 9-16 - [c96]Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho:
Fixed-Point Constraints for Nominal Equational Unification. FSCD 2018: 7:1-7:16 - [c95]Bhavani Thuraisingham, Murat Kantarcioglu, Elisa Bertino, Jonathan Z. Bakdash, Maribel Fernández:
Towards a Privacy-Aware Qunatified Self Data Management Framework. SACMAT 2018: 173-184 - [c94]Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho:
A Formalisation of Nominal C-Matching through Unification with Protected Variables. LSFA 2018: 47-65 - 2017
- [j33]Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho:
Intruder deduction problem for locally stable theories with normal forms and inverses. Theor. Comput. Sci. 672: 64-100 (2017) - [j32]Sandra Alves, Maribel Fernández:
A graph-based framework for the analysis of access control policies. Theor. Comput. Sci. 685: 3-22 (2017) - [c93]Bruno Pinaud, Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Jason Vallet:
PORGY : a Visual Analytics Platform for System Modelling and Analysis Based on Graph Rewriting. EGC 2017: 473-476 - [c92]Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho:
On Solving Nominal Fixpoint Equations. FroCoS 2017: 209-226 - [c91]Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho:
Nominal C-Unification. LOPSTR 2017: 235-251 - [c90]Nneka Chinelo Ene, Maribel Fernández, Bruno Pinaud:
Attributed Hierarchical Port Graphs and Applications. WPTE@FSCD 2017: 2-19 - [c89]Maribel Fernández, Hélène Kirchner, Bruno Pinaud:
Labelled Port Graph - A Formal Structure for Models and Computations. LSFA 2017: 3-21 - [e10]Iliano Cervesato, Maribel Fernández:
Proceedings Fourth International Workshop on Linearity, LINEARITY 2016, Porto, Portugal, 25 June 2016. EPTCS 238, 2017 [contents] - [i2]Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho:
Nominal C-Unification. CoRR abs/1709.05384 (2017) - 2016
- [c88]Maribel Fernández, Murat Kantarcioglu, Bhavani Thuraisingham:
A Framework for Secure Data Collection and Management for Internet of Things. ICSS 2016: 30-37 - [c87]Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho:
Nominal Narrowing. FSCD 2016: 11:1-11:17 - [c86]Maribel Fernández, Hélène Kirchner, Bruno Pinaud, Jason Vallet:
Labelled Graph Rewriting Meets Social Networks. WRLA 2016: 1-25 - [c85]Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho:
A Formalisation of Nominal α-equivalence with A and AC Function Symbols. LSFA 2016: 21-38 - 2015
- [j31]Jesús Domínguez, Maribel Fernández:
From nominal to higher-order rewriting and back again. Log. Methods Comput. Sci. 11(4) (2015) - [j30]Fahad Alarifi, Maribel Fernández:
Towards Privacy-Preserving Web Metering Via User-Centric Hardware. EAI Endorsed Trans. Security Safety 2(4): e4 (2015) - [c84]Sandra Alves, Sabine Broda, Maribel Fernández:
A Typed Language for Events. LOPSTR 2015: 107-123 - [c83]Abeer S. Al-Humaimeedy, Maribel Fernández:
Enhancing the specification and verification techniques of multiparty sessions in SOC. PPDP 2015: 19-30 - [c82]Elliot Fairweather, Maribel Fernández, Nora Szasz, Alvaro Tasistro:
Dependent Types for Nominal Terms with Atom Substitutions. TLCA 2015: 180-195 - [c81]Mauricio Ayala-Rincón, Maribel Fernández, Murdoch James Gabbay, Ana Cristina Rocha Oliveira:
Checking Overlaps of Nominal Rewriting Rules. LSFA 2015: 39-56 - [c80]Mauricio Ayala-Rincón, Maribel Fernández, Ana Cristina Rocha Oliveira:
Completeness in PVS of a Nominal Unification Algorithm. LSFA 2015: 57-74 - [c79]Ernesto Copello, Alvaro Tasistro, Nora Szasz, Ana Bove, Maribel Fernández:
Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory. LSFA 2015: 109-124 - [e9]Maribel Fernández:
26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland. LIPIcs 36, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-85-9 [contents] - 2014
- [b3]Maribel Fernández:
Programming Languages and Operational Semantics - A Concise Overview. Undergraduate Topics in Computer Science, Springer 2014, ISBN 978-1-4471-6367-1, pp. 3-206 - [j29]Clara Bertolissi, Maribel Fernández:
A metamodel of access control for distributed environments: Applications and properties. Inf. Comput. 238: 187-207 (2014) - [j28]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
Linearity: A Roadmap. J. Log. Comput. 24(3): 513-529 (2014) - [j27]Maribel Fernández, Nikolaos Siafakas:
Labelled calculi of resources. J. Log. Comput. 24(3): 591-613 (2014) - [c78]Maribel Fernández, Hélène Kirchner, Ian Mackie, Bruno Pinaud:
Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY. CiE 2014: 183-193 - [c77]Sandra Alves, Anatoli Degtyarev, Maribel Fernández:
Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics. LOPSTR 2014: 148-163 - [c76]Jesús Domínguez, Maribel Fernández:
Relating Nominal and Higher-Order Rewriting. MFCS (1) 2014: 244-255 - [c75]Fahad Alarifi, Maribel Fernández:
Towards Privacy-Preserving Web Metering via User-Centric Hardware. SecureComm (2) 2014: 329-340 - [c74]Asad Ali, Maribel Fernández:
Hybrid Enforcement of Category-Based Access Control. STM 2014: 178-182 - [c73]Maribel Fernández, Hélène Kirchner, Bruno Pinaud:
Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework. GRAPHITE 2014: 15-29 - [c72]Asad Ali, Maribel Fernández:
Static Enforcement of Role-Based Access Control. WWV 2014: 36-50 - [c71]Abeer S. Al-Humaimeedy, Maribel Fernández:
Enabling Synchronous and Asynchronous Communications in CSP for SOC. LSFA 2014: 69-88 - [c70]Sandra Alves, Maribel Fernández:
A Framework for the Analysis of Access Control Policies with Emergency Management. LSFA 2014: 89-105 - [e8]Maribel Fernández, Marcelo Finger:
Proceedings of the 8th Workshop on Logical and Semantic Frameworks, LSFA 2013, São Paulo, Brazil, September 2-3, 2013. Electronic Notes in Theoretical Computer Science 305, Elsevier 2014 [contents] - 2013
- [c69]Maribel Fernández, Jeffrey Terrell:
Assembling the Proofs of Ordered Model Transformations. FESCA 2013: 63-77 - [c68]Maribel Fernández, Ian Mackie, Matthew Walker:
Bigraphical Nets. TERMGRAPH 2013: 74-81 - [c67]Maribel Fernández, Marcelo Finger:
Preface. LSFA 2013: 1-3 - 2012
- [j26]Maribel Fernández, Christian Urban:
Preface: Theory and Applications of Abstraction, Substitution and Naming. J. Autom. Reason. 49(2): 111-114 (2012) - [c66]Maribel Fernández, Albert Rubio:
Nominal Completion for Rewrite Systems with Binders. ICALP (2) 2012: 201-213 - [c65]Abeer S. Al-Humaimeedy, Maribel Fernández:
General dynamic recovery for compensating CSP. DCM 2012: 3-16 - [c64]Maribel Fernández, Sébastien Maulat:
Higher-order port-graph rewriting. LINEARITY 2012: 25-37 - [c63]Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes Sobrinho:
Elementary Deduction Problem for Locally Stable Theories with Normal Forms. LSFA 2012: 45-60 - 2011
- [c62]Elliot Fairweather, Maribel Fernández, Murdoch James Gabbay:
Principal Types for Nominal Theories. FCT 2011: 160-172 - [c61]Maribel Fernández, Hélène Kirchner, Olivier Namet:
A Strategy Language for Graph Rewriting. LOPSTR 2011: 173-188 - [c60]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
Linearity and recursion in a typed Lambda-calculus. PPDP 2011: 173-182 - [c59]Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Olivier Namet, Bruno Pinaud:
PORGY: Strategy-Driven Interactive Transformation of Graphs. TERMGRAPH 2011: 54-68 - [c58]Sandra Alves, Maribel Fernández, Ian Mackie:
A new graphical calculus of proofs. TERMGRAPH 2011: 69-84 - 2010
- [j25]Christophe Calvès, Maribel Fernández:
Matching and alpha-equivalence check for nominal terms. J. Comput. Syst. Sci. 76(5): 283-301 (2010) - [j24]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
Linearity and iterator types for Gödel's System. High. Order Symb. Comput. 23(1): 1-27 (2010) - [j23]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
Gödel's system tau revisited. Theor. Comput. Sci. 411(11-13): 1484-1500 (2010) - [c57]Clara Bertolissi, Maribel Fernández:
Category-Based Authorisation Models: Operational Semantics and Expressive Power. ESSoS 2010: 140-156 - [c56]Christophe Calvès, Maribel Fernández:
The First-Order Nominal Link. LOPSTR 2010: 234-248 - [c55]Clara Bertolissi, Maribel Fernández:
Rewrite Specifications of Access Control Policies in Distributed Environments. STM 2010: 51-67 - [c54]Maribel Fernández, Olivier Namet:
Strategic programming on graph rewriting systems. IWS 2010: 1-20 - [c53]Maribel Fernández, Murdoch James Gabbay:
Closed nominal rewriting and efficiently computable nominal algebra equality. LFMTP 2010: 37-51 - [e7]Temur Kutsia, Wolfgang Schreiner, Maribel Fernández:
Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria. ACM 2010, ISBN 978-1-4503-0132-9 [contents] - [e6]Maribel Fernández:
Proceedings 24th International Workshop on Unification, UNIF 2010, Edinburgh, United Kingdom, 14th July 2010. EPTCS 42, 2010 [contents] - [i1]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
Linear Recursion. CoRR abs/1001.3368 (2010)
2000 – 2009
- 2009
- [b2]Maribel Fernández:
Models of Computation - An Introduction to Computability Theory. Undergraduate Topics in Computer Science, Springer 2009, ISBN 978-1-84882-433-1, pp. I-XI, 1-184 - [j22]Clara Bertolissi, Maribel Fernández:
Distributed event-based access control. Int. J. Inf. Comput. Secur. 3(3/4): 306-320 (2009) - [j21]Maribel Fernández:
Rewriting Corner. J. Log. Comput. 19(2): 261 (2009) - [c52]Maribel Fernández, Olivier Namet:
Graph Creation, Visualisation and Transformation. RULE 2009: 1-11 - [c51]Maribel Fernández, Nikolaos Siafakas:
Labelled Lambda-calculi with Explicit Copy and Erase. LINEARITY 2009: 49-64 - [c50]Maribel Fernández, Ian Mackie, Shinya Sato, Matthew Walker:
Recursive Functions with Pattern Matching in Interaction Nets. TERMGRAPH@ETAPS 2009: 55-71 - [e5]Maribel Fernández:
Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2009, Brasilia, Brazil, 28th June 2009. EPTCS 15, 2009 [contents] - 2008
- [j20]Chris Fox, Maribel Fernández, Shalom Lappin:
Lambda Calculus, Type Theory, and Natural Language II. J. Log. Comput. 18(2): 203 (2008) - [j19]Horatiu Cirstea, Maribel Fernández:
Rewriting calculi, higher-order reductions and patterns: introduction. Math. Struct. Comput. Sci. 18(3): 427-429 (2008) - [j18]Christophe Calvès, Maribel Fernández:
A polynomial nominal unification algorithm. Theor. Comput. Sci. 403(2-3): 285-306 (2008) - [c49]Clara Bertolissi, Maribel Fernández:
An algebraic-functional framework for distributed access control. CRiSIS 2008: 1-8 - [c48]Clara Bertolissi, Maribel Fernández:
Time and Location Based Services with Access Control. NTMS 2008: 1-6 - [c47]Clara Bertolissi, Maribel Fernández:
A rewriting framework for the composition of access control policies. PPDP 2008: 217-225 - [c46]Christophe Calvès, Maribel Fernández:
Nominal Matching and Alpha-Equivalence. WoLLIC 2008: 111-122 - [c45]Steve Barker, Clara Bertolissi, Maribel Fernández:
Action Control by Term Rewriting. SecReT@LICS/CSF 2008: 19-36 - [c44]Maribel Fernández, Nikolaos Siafakas:
New Developments in Environment Machines. WRS@RTA 2008: 57-73 - 2007
- [j17]