Mário Florido
发表
Ian Mackie,
Sandra Alves,
Mário Florido,
2008,
WRS@RDP.
Sandra Alves,
Mário Florido,
Temur Kutsia,
2017,
Log. J. IGPL.
Mário Florido,
Jorge Coelho,
Mário Florido,
2003,
PADL.
Mário Florido,
Jorge Coelho,
Temur Kutsia,
2007,
WISE Workshops.
Steffen Jost,
Mário Florido,
Kevin Hammond,
2012,
ICFP.
Mário Florido,
Jorge Coelho,
Mário Florido,
2004,
CoopIS/DOA/ODBASE.
Sandra Alves,
Mário Florido,
2002,
Electron. Notes Theor. Comput. Sci..
Vítor Santos Costa,
Mário Florido,
Cláudio Amaral,
2014,
FLOPS.
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2010,
Theor. Comput. Sci..
Mário Florido,
Jorge Coelho,
Temur Kutsia,
2010,
RR.
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2007,
Rewriting, Computation and Proof.
Mário Florido,
Jorge Coelho,
2007,
Second International Conference on Internet and Web Applications and Services (ICIW'07).
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2010,
ArXiv.
Mário Florido,
Jorge Coelho,
Temur Kutsia,
2009,
2009 IEEE International Conference on Information Reuse & Integration.
Mário Florido,
Jorge Coelho,
Mário Florido,
2007,
WIDM '07.
Mário Florido,
Jorge Coelho,
2006,
APWeb Workshops.
Mário Florido,
João Pedro Pedroso,
Benny Akesson,
2015,
Sci. Comput. Program..
Ian Mackie,
Maribel Fernández,
Mário Florido,
2014,
J. Log. Comput..
Ian Mackie,
Maribel Fernández,
Mário Florido,
2011,
PPDP.
Patrik Jansson,
Mário Florido,
Cláudio Amaral,
2011,
Erlang '11.
Steffen Jost,
Mário Florido,
Kevin Hammond,
2017,
Journal of Automated Reasoning.
Mário Florido,
Temur Kutsia,
Besik Dundua,
2015,
2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
Mário Florido,
Simão Melo de Sousa,
Vitor Rodrigues,
2011,
WFLP.
Sandra Alves,
Mário Florido,
Mário Pereira,
2014,
ITRS.
Mário Florido,
Sandra Alves,
2002,
APPIA-GULP-PRODE.
Frank Pfenning,
Mário Florido,
Miguel Silva,
2016,
LINEARITY.
Mário Florido,
Jorge Coelho,
2007,
PLAN-X.
Ian Mackie,
Mário Florido,
Sandra Alves,
2007
.
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2010,
High. Order Symb. Comput..
Ian Mackie,
Sandra Alves,
Mário Florido,
2006
.
Sandra Alves,
Mário Florido,
2005,
Theor. Comput. Sci..
Mário Florido,
Luís Damas,
L. Damas,
2004,
Journal of Functional Programming.
Mário Florido,
Kevin Hammond,
Hugo R. Simões,
2006,
TYPES.
Mário Florido,
Temur Kutsia,
Mircea Marin,
2014,
FLOPS.
Mário Florido,
Benny Akesson,
Simão Melo de Sousa,
2013,
PADL.
Sandra Alves,
Mário Florido,
2003,
LOPSTR.
Steffen Jost,
Mário Florido,
Kevin Hammond,
2015,
ESOP.
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2007,
WRS@FLoC.
Mário Florido,
João Pedro Pedroso,
Simão Melo de Sousa,
2011,
FOPARA.
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2007,
FoSSaCS.
Ian Mackie,
Mário Florido,
2014,
J. Log. Comput..
Ian Mackie,
Maribel Fernández,
Sandra Alves,
2006,
CSL.
Mário Florido,
Temur Kutsia,
Mircea Marin,
2016,
Theory Pract. Log. Program..
Mário Florido,
Jorge Coelho,
Mário Florido,
2006
.
Mário Florido,
Mário Florido,
Pedro Ângelo,
2018
.