Maribel Fernández
发表
Ian Mackie,
Maribel Fernández,
Paula Severi,
2003,
CLEI Electron. J..
Maribel Fernández,
1993,
RTA.
Ian Mackie,
Maribel Fernández,
2019
.
Maribel Fernández,
2009
.
Maribel Fernández,
Nikolaos Siafakas,
2009
.
Maribel Fernández,
Sandra Alves,
Sandra Alves,
2015,
LSFA.
Ian Mackie,
Maribel Fernández,
François-Régis Sinot,
2005,
Applicable Algebra in Engineering, Communication and Computing.
Ian Mackie,
Maribel Fernández,
2003,
Theor. Comput. Sci..
Hélène Kirchner,
Maribel Fernández,
Guy Melançon,
2011,
TERMGRAPH.
Maribel Fernández,
Adriana B. Compagnoni,
1997,
PLILP.
Maribel Fernández,
Sandra Alves,
Sabine Broda,
2015,
LOPSTR.
Maribel Fernández,
Murdoch James Gabbay,
M. Gabbay,
2005,
PPDP.
Jean-Pierre Jouannaud,
Maribel Fernández,
J. Jouannaud,
1994,
COMPASS/ADT.
Maribel Fernández,
Mauricio Ayala-Rincón,
Daniele Nantes-Sobrinho,
2018,
FSCD.
Maribel Fernández,
Lionel Khalil,
2002,
EXPRESS.
Hélène Kirchner,
Maribel Fernández,
Bruno Pinaud,
2018,
J. Log. Algebraic Methods Program..
Maribel Fernández,
Franco Barbanera,
F. Barbanera,
1993,
TLCA.
Maribel Fernández,
2014
.
Ian Mackie,
Maribel Fernández,
François-Régis Sinot,
2003,
RTA.
Ian Mackie,
Maribel Fernández,
I. Mackie,
1998,
Theor. Comput. Sci..
Maribel Fernández,
Mauricio Ayala-Rincón,
Daniele Nantes-Sobrinho,
2019,
Theor. Comput. Sci..
Maribel Fernández,
Murdoch James Gabbay,
M. Gabbay,
2007,
Inf. Comput..
Hélène Kirchner,
Maribel Fernández,
Bruno Pinaud,
2016,
WRLA.
Maribel Fernández,
Bruno Pinaud,
János Varga,
2019,
LOPSTR.
Thomas Ehrhard,
Valeria de Paiva,
Maribel Fernández,
2019,
Linearity-TLLA@FLoC.
Maribel Fernández,
Mauricio Ayala-Rincón,
Daniele Nantes-Sobrinho,
2017
.
Maribel Fernández,
Murdoch James Gabbay,
Mauricio Ayala-Rincón,
2016,
LSFA.
Ian Mackie,
Maribel Fernández,
Murdoch James Gabbay,
2004,
PPDP '04.
Maribel Fernández,
2005,
Applicable Algebra in Engineering, Communication and Computing.
Clara Bertolissi,
Maribel Fernández,
Clara Bertolissi,
2010,
STM.
Maribel Fernández,
Nora Szasz,
Alvaro Tasistro,
2015,
TLCA.
Maribel Fernández,
2015,
RTA.
Christophe Calvès,
Maribel Fernández,
C. Calvès,
2010,
J. Comput. Syst. Sci..
Hélène Kirchner,
Maribel Fernández,
Bruno Pinaud,
2018,
LSFA.
Ian Mackie,
Maribel Fernández,
Matthew Walker,
2013,
TERMGRAPH.
Hélène Kirchner,
Maribel Fernández,
Bruno Pinaud,
2020
.
Maribel Fernández,
Sandra Alves,
Miguel F. Ramos,
2020,
LSFA.
Hélène Kirchner,
Maribel Fernández,
Bruno Pinaud,
2014,
GRAPHITE.
Maribel Fernández,
Nikolaos Siafakas,
2014,
J. Log. Comput..
Maribel Fernández,
Murdoch James Gabbay,
M. Gabbay,
2006,
TYPES.
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2010,
Theor. Comput. Sci..
Hélène Kirchner,
Maribel Fernández,
Oana Andrei,
2019,
Methods in molecular biology.
Maribel Fernández,
M. Fernández,
2009,
Undergraduate Topics in Computer Science.
Maribel Fernández,
Sandra Alves,
Anatoli Degtyarev,
2014,
LOPSTR.
Clara Bertolissi,
Maribel Fernández,
Steve Barker,
2007,
DBSec.
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2007,
Rewriting, Computation and Proof.
Ian Mackie,
Maribel Fernández,
Horatiu Cirstea,
2006,
WRS@FLoC.
Maribel Fernández,
Anatoli Degtyarev,
2015
.
Clara Bertolissi,
Maribel Fernández,
Clara Bertolissi,
2010,
ESSoS.
Christophe Calvès,
Maribel Fernández,
2008,
WoLLIC.
Clara Bertolissi,
Maribel Fernández,
Clara Bertolissi,
2008,
2008 New Technologies, Mobility and Security.
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2010,
ArXiv.
Maribel Fernández,
M. Fernández,
2009
.
Maribel Fernández,
2009
.
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2011,
TERMGRAPH.
Ian Mackie,
Maribel Fernández,
1998,
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Christophe Calvès,
Maribel Fernández,
2007,
Electron. Notes Theor. Comput. Sci..
Maribel Fernández,
Bruno Pinaud,
Nneka Chinelo Ene,
2017,
WPTE@FSCD.
Maribel Fernández,
Jeffrey Terrell,
J. Terrell,
2013,
FESCA.
Maribel Fernández,
Jesús Domínguez,
2014,
MFCS.
Maribel Fernández,
Elliot Fairweather,
2018,
TOCL.
Ian Mackie,
Maribel Fernández,
2019,
TERMGRAPH@FSCD.
Maribel Fernández,
2014
.
Maribel Fernández,
Hubert Comon-Lundh,
1992,
MFCS.
Maribel Fernández,
1998,
J. Symb. Comput..
Maribel Fernández,
2014
.
Thomas Ehrhard,
Valeria de Paiva,
Maribel Fernández,
2019
.
Clara Bertolissi,
Maribel Fernández,
Maribel Fernández,
2009,
Int. J. Inf. Comput. Secur..
Maribel Fernández,
Wolfgang Schreiner,
Temur Kutsia,
2010,
ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming.
Ian Mackie,
Maribel Fernández,
1999,
CSL.
Maribel Fernández,
Mauricio Ayala-Rincón,
Daniele Nantes-Sobrinho,
2019,
Log. Methods Comput. Sci..
Maribel Fernández,
Steffen van Bakel,
Franco Barbanera,
1996,
ESOP.
Herman Geuvers,
Maribel Fernández,
Franco Barbanera,
1997,
J. Funct. Program..
Maribel Fernández,
Murdoch J. Gabbay,
2005
.
Maribel Fernández,
2014
.
Christophe Calvès,
Maribel Fernández,
C. Calvès,
2010,
LOPSTR.
Maribel Fernández,
Asad Ali,
Asad Ali,
2014,
WWV.
Bhavani M. Thuraisingham,
Maribel Fernández,
Alex Franch Tapia,
2020,
SACMAT.
Maribel Fernández,
Steffen van Bakel,
S. V. Bakel,
2003,
Theor. Comput. Sci..
Maribel Fernández,
Fahad Alarifi,
2015,
EAI Endorsed Trans. Security Safety.
Maribel Fernández,
2014
.
Ian Mackie,
Maribel Fernández,
I. Mackie,
1999,
PPDP.
Maribel Fernández,
2009,
J. Log. Comput..
Bhavani M. Thuraisingham,
Maribel Fernández,
Jenjira Jaimunk,
2019,
2019 IEEE International Conference on Web Services (ICWS).
Maribel Fernández,
Horatiu Cirstea,
2008,
Math. Struct. Comput. Sci..
Herman Geuvers,
Maribel Fernández,
Franco Barbanera,
1994,
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Maribel Fernández,
Nneka Chinelo Ene,
Bruno Pinaud,
2019
.
Maribel Fernández,
Mauricio Ayala-Rincón,
Daniele Nantes-Sobrinho,
2016,
FSCD.
Maribel Fernández,
Murdoch James Gabbay,
2010,
LFMTP.
Hélène Kirchner,
Ian Mackie,
Maribel Fernández,
2014,
CiE.
Ian Mackie,
Maribel Fernández,
2006,
Math. Struct. Comput. Sci..
Maribel Fernández,
M. Fernández,
2014
.
Hélène Kirchner,
Maribel Fernández,
Guy Melançon,
2017,
EGC.
Hélène Kirchner,
Maribel Fernández,
Olivier Namet,
2011,
LOPSTR.
Maribel Fernández,
Fahad Alarifi,
M. Fernández,
2014,
EAI Endorsed Trans. Security Safety.
Albert Rubio,
Maribel Fernández,
2012,
ICALP.
Ian Mackie,
Maribel Fernández,
1996,
PLILP.
Ian Mackie,
Maribel Fernández,
I. Mackie,
2002,
ICGT.
Bhavani M. Thuraisingham,
Ian Mackie,
Maribel Fernández,
2019,
CODASPY.
Maribel Fernández,
2004,
ICGT.
Maribel Fernández,
Jesús Domínguez,
Jesús Domínguez,
2015,
Log. Methods Comput. Sci..
Ian Mackie,
Maribel Fernández,
2000,
LATIN.
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2010,
High. Order Symb. Comput..
Maribel Fernández,
Franco Barbanera,
F. Barbanera,
1993,
ICALP.
Maribel Fernández,
Steve Barker,
S. Barker,
2006,
DBSec.
Ian Mackie,
Maribel Fernández,
Shinya Sato,
2009,
TERMGRAPH@ETAPS.
Maribel Fernández,
Steffen van Bakel,
S. V. Bakel,
1995,
HOA.
Hélène Kirchner,
Maribel Fernández,
Bruno Pinaud,
2018,
Mathematical Structures in Computer Science.
Maribel Fernández,
Steffen van Bakel,
S. V. Bakel,
1993,
HOA.
Maribel Fernández,
Olivier Namet,
M. Fernández,
2010,
IWS.
Clara Bertolissi,
Maribel Fernández,
Maribel Fernández,
2008,
PPDP.
Clara Bertolissi,
Maribel Fernández,
Clara Bertolissi,
2008,
2008 Third International Conference on Risks and Security of Internet and Systems.
Ian Mackie,
Maribel Fernández,
Jorge Sousa Pinto,
2007,
TERMGRAPH.
Maribel Fernández,
2009
.
Maribel Fernández,
Fabien Fleutot,
2006,
PPDP '06.
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2007,
WRS@FLoC.
Ian Mackie,
Maribel Fernández,
François-Régis Sinot,
2006,
EXPRESS.
Maribel Fernández,
Bruno Pinaud,
Nneka Chinelo Ene,
2016
.
Elisa Bertino,
Bhavani M. Thuraisingham,
Murat Kantarcioglu,
2018,
SACMAT.
Christophe Calvès,
Maribel Fernández,
Maribel Fernández,
2008,
Theor. Comput. Sci..
Clara Bertolissi,
Maribel Fernández,
Steve Barker,
2009,
Electron. Notes Theor. Comput. Sci..
Ian Mackie,
Maribel Fernández,
I. Mackie,
1996,
CAAP.
Maribel Fernández,
Steffen van Bakel,
S. V. Bakel,
1995,
RTA.
Maribel Fernández,
1998,
Math. Struct. Comput. Sci..
Clara Bertolissi,
Maribel Fernández,
Maribel Fernández,
2014,
Inf. Comput..
Maribel Fernández,
Lionel Khalil,
2002
.
Maribel Fernández,
2015,
RTA.
Ian Mackie,
Maribel Fernández,
François-Régis Sinot,
2005,
Math. Struct. Comput. Sci..
Maribel Fernández,
Olivier Namet,
2009,
RULE.
Ian Mackie,
Maribel Fernández,
2020,
ICFEM.
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2007,
FoSSaCS.
Maribel Fernández,
Wolfgang Schreiner,
Temur Kutsia,
2010,
PPDP 2010.
Maribel Fernández,
Steffen van Bakel,
S. V. Bakel,
1997,
Inf. Comput..
Maribel Fernández,
Chris Fox,
Shalom Lappin,
2008,
J. Log. Comput..
Maribel Fernández,
Nikolaos Siafakas,
2009,
Electron. Notes Theor. Comput. Sci..
Maribel Fernández,
Steffen van Bakel,
Franco Barbanera,
1999,
TYPES.
Maribel Fernández,
Asad Ali,
Asad Ali,
2014,
STM.
Maribel Fernández,
Paula Severi,
2002,
LOPSTR.
Maribel Fernández,
Nora Szasz,
Alvaro Tasistro,
2015,
LSFA.
Christian Urban,
Maribel Fernández,
2011,
Journal of Automated Reasoning.
Maribel Fernández,
Lionel Khalil,
M. Fernández,
2003,
Nord. J. Comput..
Maribel Fernández,
Sandra Alves,
Sandra Alves,
2017,
Theor. Comput. Sci..
Maribel Fernández,
Murdoch James Gabbay,
Elliot Fairweather,
2011,
FCT.
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2006,
CSL.
Maribel Fernández,
Nikolaos Siafakas,
2009,
LINEARITY.
Maribel Fernández,
Mauricio Ayala-Rincón,
Daniele Nantes-Sobrinho,
2021,
Mathematical Structures in Computer Science.
Bhavani M. Thuraisingham,
Clara Bertolissi,
Maribel Fernández,
2021,
CODASPY.
Maribel Fernández,
Jesús Domínguez,
2021,
J. Comput. Syst. Sci..
Maribel Fernández,
Sébastien Maulat,
2012,
LINEARITY.
Maribel Fernández,
Nora Szasz,
Álvaro Tasistro,
2015
.
Maribel Fernández,
Murdoch J. Gabbay,
M. Gabbay,
2006
.
Maribel Fernández,
Maribel Fernández,
Mauricio Ayala-Rincón,
2016
.