Maribel Fernández

Generating author description...

All published works

Action	Title	Year	Authors
+	Strong Nominal Semantics for Fixed-Point Constraints	2024	Ali K. Caires-Santos Maribel Fernández Daniele Nantes-Sobrinho
+ PDF Chat	Strong Nominal Semantics for Fixed-Point Constraints	2024	Ali K. Caires-Santos Maribel Fernández Daniele Nantes-Sobrinho
+ PDF Chat	Nominal Matching Logic	2022	James Cheney Maribel Fernández
+	EVL: a typed functional language for event processing.	2021	Sandra Alves Maribel Fernández Miguel Ramos
+	EVL: a typed functional language for event processing	2021	Sandra Alves Maribel Fernández Miguel Ramos
+	Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications	2019	Thomas Ehrhard Maribel Fernández Valéria de Paiva Lorenzo Tortora de Falco
+	Proceedings Tenth International Workshop on Computing with Terms and Graphs	2019	Maribel Fernández Ian Mackie
+	Proceedings Tenth International Workshop on Computing with Terms and Graphs	2019	Maribel Fernández Ian Mackie
+	On Nominal Syntax and Permutation Fixed Points	2019	Maurício Ayala-Rincón Maribel Fernández Daniele Nantes-Sobrinho
+ PDF Chat	Attributed Hierarchical Port Graphs and Applications	2018	Nneka Ene Maribel Fernández Bruno Pinaud
+	Nominal C-Unification	2017	Maurício Ayala-Rincón Washington Luís Ribeiro de Carvalho Segundo Maribel Fernández Daniele Nantes-Sobrinho
+	Intruder deduction problem for locally stable theories with normal forms and inverses	2017	Maurício Ayala-Rincón Maribel Fernández Daniele Nantes-Sobrinho
+	Proceedings Fourth International Workshop on Linearity	2017	Iliano Cervesato Maribel Fernández
+	Proceedings Fourth International Workshop on Linearity	2017	Iliano Cervesato Maribel Fernández
+	Nominal C-Unification	2017	Maurício Ayala-Rincón Washington Luís Ribeiro de Carvalho Segundo Maribel Fernández Daniele Nantes-Sobrinho
+ PDF Chat	From nominal to higher-order rewriting and back again	2015	Jesús Domínguez Maribel Fernández
+ PDF Chat	Static Enforcement of Role-Based Access Control	2014	Asad Ali Maribel Fernández
+ PDF Chat	Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework	2014	Maribel Fernández Claude Kirchner Bruno Pinaud
+ PDF Chat	General dynamic recovery for compensating CSP	2014	Abeer S. Al-Humaimeedy Maribel Fernández
+ PDF Chat	Elementary Deduction Problem for Locally Stable Theories with Normal Forms	2013	Maurício Ayala-Rincón Maribel Fernández Daniele Nantes-Sobrinho
+ PDF Chat	Bigraphical Nets	2013	Maribel Fernández Ian Mackie Matthew R. Walker
+ PDF Chat	Assembling the Proofs of Ordered Model Transformations	2013	Maribel Fernández Jeffrey Terrell
+ PDF Chat	Higher-order port-graph rewriting	2012	Maribel Fernández Sébastien Maulat
+	Elementary Deduction Problem for Locally Stable Theories with Normal Forms	2012	Maurício Ayala-Rincón Maribel Fernández Daniele Nantes Sobrinho
+ PDF Chat	A new graphical calculus of proofs	2011	Sandra Alves Maribel Fernández Ian Mackie
+ PDF Chat	PORGY: Strategy-Driven Interactive Transformation of Graphs	2011	Oana Andrei Maribel Fernández Claude Kirchner Guy Mélançon Olivier Namet Bruno Pinaud
+ PDF Chat	Strategic programming on graph rewriting systems	2010	Maribel Fernández Olivier Namet
+	Proceedings 24th International Workshop on Unification	2010	Maribel Fernández
+	Proceedings 24th International Workshop on Unification	2010	Maribel Fernández
+ PDF Chat	Closed nominal rewriting and efficiently computable nominal algebra equality	2010	Maribel Fernández Murdoch J. Gabbay
+ PDF Chat	Graph Creation, Visualisation and Transformation	2010	Maribel Fernández Olivier Namet
+ PDF Chat	Labelled Lambda-calculi with Explicit Copy and Erase	2010	Maribel Fernández Nikolaos Siafakas
+	Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming	2010	Maribel Fernández
+	Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming	2010	Maribel Fernández
+	Linear Recursion	2010	Sandra Alves Maribel Fernández Mário Florido Ian Mackie
+	Linear Recursion	2010	Sandra Alves Maribel Fernández Mário Florido Ian Mackie
+ PDF Chat	Modularity of strong normalization in the algebraic-λ-cube	1997	Franco Barbanera Maribel Fernández Herman Geuvers
+	Modularity of termination and confluence in combinations of rewrite systems with λω	1993	Franco Barbanera Maribel Fernández
+	AC complement problems: Satisfiability and negation elimination	1993	Maribel Fernández

Common Coauthors

Coauthor	Papers Together
Daniele Nantes-Sobrinho	7
Maurício Ayala-Rincón	6
Ian Mackie	5
Sandra Alves	4
Bruno Pinaud	3
Olivier Namet	3
Ali K. Caires-Santos	2
Washington Luís Ribeiro de Carvalho Segundo	2
Iliano Cervesato	2
Franco Barbanera	2
Claude Kirchner	2
Mário Florido	2
James Cheney	1
Nneka Ene	1
Sandra Alves	1
Miguel Ramos	1
Daniele Nantes Sobrinho	1
Guy Mélançon	1
Herman Geuvers	1
Abeer S. Al-Humaimeedy	1
Asad Ali	1
Matthew R. Walker	1
Nikolaos Siafakas	1
Thomas Ehrhard	1
Jesús Domínguez	1
Jeffrey Terrell	1
Murdoch J. Gabbay	1
Sébastien Maulat	1
Valéria de Paiva	1
Ian Mackie	1
Miguel Ramos	1
Lorenzo Tortora de Falco	1
Oana Andrei	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	PORGY: Strategy-Driven Interactive Transformation of Graphs	2011	Oana Andrei Maribel Fernández Claude Kirchner Guy Mélançon Olivier Namet Bruno Pinaud	4
+ PDF Chat	Nominal logic programming	2008	James Cheney Christian Urban	3
+	On Theories with a Combinatorial Definition of "Equivalence"	1942	M. H. A. Newman	3
+ PDF Chat	Modular proof of strong normalization for the calculus of constructions	1991	Herman Geuvers Mark-Jan Nederhof	2
+	Efficient solution of linear diophantine equations	1989	Michael Clausen Albrecht Fortenbacher	2
+	Polynomial time algorithms in the theory of linear diophantine equations	1977	M. A. Frumkin	2
+ PDF Chat	Nominal Unification from a Higher-Order Perspective	2008	Jordi Levy Mateu Villaret	2
+ PDF Chat	A new graphical calculus of proofs	2011	Sandra Alves Maribel Fernández Ian Mackie	2
+ PDF Chat	A Proof Theoretic Analysis of Intruder Theories	2010	Alwen Tiu Rajeev Goré Jeremy E. Dawson	2
+ PDF Chat	Higher-order port-graph rewriting	2012	Maribel Fernández Sébastien Maulat	1
+ PDF Chat	Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques	2010	Gilles Dowek Murdoch J. Gabbay Dominic P. Mulligan	1
+	Complete axiomatizations of some quotient term algebras	1993	Hubert Comon	1
+	A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs	2009	Alessandra Carbone	1
+ PDF Chat	Graph theory and networks in Biology	2007	Oliver Mason Mark Verwoerd	1
+	Tactics for Reasoning Modulo AC in Coq	2011	Thomas Braibant Damien Pous	1
+ PDF Chat	Reasoning with higher-order abstract syntax in a logical framework	2002	Raymond McDowell Dale Miller	1
+	A new AC unification algorithm with an algorithm for solving systems of diophantine equations	2002	Alexandre Boudet Évelyne Contejean H. Devie	1
+ PDF Chat	A simple sequent calculus for nominal logic	2014	James Cheney	1
+ PDF Chat	A Lambda Calculus for Quantum Computation	2004	André van Tonder	1
+ PDF Chat	Extensional and Intensional Strategies	2010	Tony Bourdier Horatiu Cirstea Daniel J. Dougherty Claude Kirchner	1
+ PDF Chat	Nominal Unification from a Higher-Order Perspective	2012	Jordi Levy Mateu Villaret	1
+ PDF Chat	Proposed NIST standard for role-based access control	2001	David F. Ferraiolo Ravi Sandhu Serban I. Gavrila D. Richard Kuhn Ramaswamy Chandramouli	1
+ PDF Chat	The Geometry of Linear Higher-Order Recursion	2006	Ugo Dal Lago	1
+	Consistent Streaming Through Time: A Vision for Event Stream Processing	2006	Roger Barga Jonathan Goldstein Mohamed Ali Mingsheng Hong	1
+ PDF Chat	Nominal Unification of Higher Order Expressions with Recursive Let	2017	Manfred Schmidt-Schauß Temur Kutsia Jordi Levy Mateu Villaret	1
+ PDF Chat	αCheck: A mechanized metatheory model checker	2017	James Cheney Alberto Momigliano	1
+	Equivariant Unification	2009	James Cheney	1
+	Nominal equational problems modulo associativity, commutativity and associativity-commutativity	2019	Carvalho Segundo Washington Luís Ribeiro de	1
+ PDF Chat	Closed nominal rewriting and efficiently computable nominal algebra equality	2010	Maribel Fernández Murdoch J. Gabbay	1
+ PDF Chat	Strategic programming on graph rewriting systems	2010	Maribel Fernández Olivier Namet	1
+ PDF Chat	A Visual Analytics Approach to Compare Propagation Models in Social Networks	2015	Jason Vallet Claude Kirchner Bruno Pinaud Guy Mélançon	1
+	Theory of linear and integer programming	1998		1
+	Natural Deduction: A Proof-Theoretical Study	1965	Dag Prawitz	1
+	Studies in Logic and the Foundations of Mathematics	2008		1
+	J. Roger Hindley and Jonathan P. Seldin. Introduction to combinators and λ-calculus. London Mathematical Society student texts, no. 1. Cambridge University Press, Cambridge etc. 1986, vi + 360 pp.	1988	J. Roger Hindley Jonathan P. Seldin	1
+	A Trace Based Bisimulation for the Spi Calculus	2009	Alwen Tiu	1
+ PDF Chat	On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs	2014	Roberto Bruni Ugo Montanari Gordon Plotkin Daniele Terreni	1
+ PDF Chat	Soft lambda-Calculus: A Language for Polynomial Time Computation	2004	Patrick Baillot Virgile Mogbil	1
+ PDF Chat	YAPA: A Generic Tool for Computing Intruder Knowledge	2009	Mathieu Baudet Vèronique Cortier Stéphanie Delaune	1
+	Simple Word Problems in Universal Algebras	1983	Donald E. Knuth PETER B. BENDIX	1
+ PDF Chat	Types with intersection: An introduction	1992	J. Roger Hindley	1
+	An algorithm to generate the basis of solutions to homogeneous linear diophantine equations	1978	Gérald Huet	1