Maribel Fernández
Orcid: 0000-0001-8325-5815
According to our database1,
Maribel Fernández
authored at least 168 papers
between 1992 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024
Proceedings of the 2024 ACM Workshop on Secure and Trustworthy Cyber-Physical Systems, 2024
2023
IEEE Trans. Dependable Secur. Comput., 2023
Proceedings of the 28th ACM Symposium on Access Control Models and Technologies, 2023
Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023
Unification Modulo Equational Theories in Languages with Binding Operators (Invited Talk).
Proceedings of the Logic-Based Program Synthesis and Transformation, 2023
Proceedings of the Logic-Based Program Synthesis and Transformation, 2023
Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023
2022
Modular Composition of Access Control Policies: A Framework to Build Multi-Site Multi-Level Combinations.
Proceedings of the SACMAT '22: The 27th ACM Symposium on Access Control Models and Technologies, New York, NY, USA, June 8, 2022
Proceedings of the PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20, 2022
Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022
2021
Math. Struct. Comput. Sci., 2021
Proceedings of the Foundations of Software Science and Computation Structures, 2021
Proceedings of the CODASPY '21: Eleventh ACM Conference on Data and Application Security and Privacy, 2021
2020
Proceedings of the 34th International Workshop on Unification, 2020
Proceedings of the 25th ACM Symposium on Access Control Models and Technologies, 2020
Proceedings of the PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020
Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, 2020
Proceedings of the Formal Methods and Software Engineering, 2020
Proceedings of the CODASPY '20: Tenth ACM Conference on Data and Application Security and Privacy, 2020
2019
Theor. Comput. Sci., 2019
Math. Struct. Comput. Sci., 2019
Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, 2019
Proceedings of the Logic-Based Program Synthesis and Transformation, 2019
Proceedings of the Logic-Based Program Synthesis and Transformation, 2019
Proceedings of the 2019 IEEE International Conference on Web Services, 2019
Proceedings of the Fundamentals of Computation Theory - 22nd International Symposium, 2019
Proceedings of the Ninth ACM Conference on Data and Application Security and Privacy, 2019
2018
J. Log. Algebraic Methods Program., 2018
Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 2018
Proceedings of the 23nd ACM on Symposium on Access Control Models and Technologies, 2018
Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018
Proceedings of the 4th Annual Industrial Control System Security Workshop, 2018
2017
Intruder deduction problem for locally stable theories with normal forms and inverses.
Theor. Comput. Sci., 2017
Theor. Comput. Sci., 2017
Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017
Proceedings of the Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2017
Proceedings of the Logic-Based Program Synthesis and Transformation, 2017
Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017
PORGY : a Visual Analytics Platform for System Modelling and Analysis Based on Graph Rewriting.
Proceedings of the 17ème Journées Francophones Extraction et Gestion des Connaissances, 2017
2016
Proceedings of the 11th Workshop on Logical and Semantic Frameworks with Applications, 2016
Proceedings of the Rewriting Logic and Its Applications - 11th International Workshop, 2016
Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016
Proceedings of the 2nd Annual Industrial Control System Security Workshop, 2016
2015
EAI Endorsed Trans. Security Safety, 2015
Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory.
Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015
Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015
Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015
Log. Methods Comput. Sci., 2015
Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015
Enhancing the specification and verification techniques of multiparty sessions in SOC.
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015
Proceedings of the Logic-Based Program Synthesis and Transformation, 2015
2014
Undergraduate Topics in Computer Science, Springer, ISBN: 978-1-4471-6368-8, 2014
A metamodel of access control for distributed environments: Applications and properties.
Inf. Comput., 2014
Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014
Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014
Proceedings of the Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, 2014
Proceedings of the Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems, 2014
Proceedings of the Security and Trust Management - 10th International Workshop, 2014
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014
Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2014
Proceedings of the Language, Life, Limits - 10th Conference on Computability in Europe, 2014
2013
Proceedings of the Proceedings 7th International Workshop on Computing with Terms and Graphs, 2013
Proceedings of the Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, 2013
2012
J. Autom. Reason., 2012
Proceedings of the Proceedings Seventh Workshop on Logical and Semantic Frameworks, 2012
Proceedings of the Proceedings 2nd International Workshop on Linearity, 2012
Proceedings of the Proceedings 8th International Workshop on Developments in Computational Models, 2012
Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012
2011
Proceedings of the Proceedings 6th International Workshop on Computing with Terms and Graphs, 2011
Proceedings of the Proceedings 6th International Workshop on Computing with Terms and Graphs, 2011
Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011
Proceedings of the Logic-Based Program Synthesis and Transformation, 2011
Proceedings of the Fundamentals of Computation Theory - 18th International Symposium, 2011
2010
Proceedings of the Proceedings International Workshop on Strategies in Rewriting, 2010
Proceedings of the Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2010
Proceedings of the Security and Trust Management - 6th International Workshop, 2010
Proceedings of the Logic-Based Program Synthesis and Transformation, 2010
Proceedings of the Engineering Secure Software and Systems, Second International Symposium, 2010
2009
Undergraduate Topics in Computer Science, Springer, ISBN: 978-1-84882-434-8, 2009
Proceedings of the Fifth International Workshop on Computing with Terms and Graphs, 2009
Proceedings of the Proceedings First International Workshop on Linearity, 2009
Proceedings of the Proceedings Tenth International Workshop on Rule-Based Programming, 2009
2008
Math. Struct. Comput. Sci., 2008
Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming, 2008
Proceedings of the Third International Workshop on Security and Rewriting Techniques, 2008
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008
Proceedings of the NTMS 2008, 2008
Proceedings of the CRiSIS '08, 2008
2007
Math. Struct. Comput. Sci., 2007
Proceedings of the Foundations of Software Science and Computational Structures, 2007
Proceedings of the Data and Applications Security XXI, 2007
2006
Proceedings of the 7th International Workshop on Rule Based Programming, 2006
Proceedings of the First International Workshop on Security and Rewriting Techniques, 2006
Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, 2006
Proceedings of the Third International Workshop on Term Graph Rewriting, 2006
Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, 2006
Proceedings of the Types for Proofs and Programs, International Workshop, 2006
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006
Proceedings of the Data and Applications Security XX, 2006
Proceedings of the Computer Science Logic, 20th International Workshop, 2006
2005
Math. Struct. Comput. Sci., 2005
Proceedings of the 12th Workshop on Expressiveness on Concurrency, 2005
Proceedings of the First International Workshop on Developments in Computational Models, 2005
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005
2004
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004
Proceedings of the Graph Transformations, Second International Conference, 2004
Programming Languages and Operational Semantics.
Texts in computing 1, College Publications, ISBN: 978-0-9543006-3-0, 2004
2003
Theor. Comput. Sci., 2003
Interaction Nets with McCarthy's amb: Properties and Applications.
Nord. J. Comput., 2003
Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003
2002
Proceedings of the First International Workshop on Term Graph Rewriting, 2002
Proceedings of the 9th International Workshop on Expressiveness in Concurrency, 2002
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002
Proceedings of the Graph Transformation, First International Conference, 2002
2001
Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001
2000
Proceedings of the LATIN 2000: Theoretical Informatics, 2000
1999
Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and <i>beta</i>-Rule.
Proceedings of the Types for Proofs and Programs, 1999
Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999
Proceedings of the Computer Science Logic, 13th International Workshop, 1999
1998
Math. Struct. Comput. Sci., 1998
Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998
1997
J. Funct. Program., 1997
Proceedings of the Programming Languages: Implementations, 1997
1996
Theor. Comput. Sci., 1996
J. Symb. Comput., 1996
Proceedings of the Programming Languages: Implementations, 1996
Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization.
Proceedings of the Programming Languages and Systems, 1996
Proceedings of the Trees in Algebra and Programming, 1996
1995
Normalization Properties of Typeable Term Rewriting Systems (Abstract).
Proceedings of the 9th International Workshop on Unification, 1995
Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995
Proceedings of the Higher-Order Algebra, 1995
1994
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994
Proceedings of the 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, 1994
1993
Proceedings of the Typed Lambda Calculi and Applications, 1993
Modularity of Termination and Confluence in Combinations of Rewrite Systems with lambda_omega.
Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993
Proceedings of the Higher-Order Algebra, 1993
1992
Appl. Algebra Eng. Commun. Comput., 1992
Proceedings of the Mathematical Foundations of Computer Science 1992, 1992