Type Inference using Constraint Handling Rules. - Sandra Alves; Mário Florido (WFLP, 2001)

On the Relation between Rank 2 Intersection Types and Simple Types. - Sandra Alves; Mário Florido (APPIA-GULP-PRODE, 2002)

Linearization by Program Transformation. - Sandra Alves; Mário Florido (LOPSTR, 2003)

Type-Based XML Processing in Logic Programming. - Jorge Coelho 001; Mário Florido (PADL, 2003)

CLP(Flex): Constraint Logic Programming Applied to XML Processing. - Jorge Coelho 001; Mário Florido (CoopIS/DOA/ODBASE (2), 2004)

Linearization of the lambda-calculus and its relation with intersection type systems. - Mário Florido; Luís Damas (J. Funct. Program., 2004)

Weak linearization of the lambda calculus. - Sandra Alves; Mário Florido (Theor. Comput. Sci., 2005)

VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content. - Jorge Coelho 001; Mário Florido (APWeb Workshops, 2006)

The Power of Linear Functions. - Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie (CSL, 2006)

Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs. - Hugo R. Simões; Kevin Hammond; Mário Florido; Pedro B. Vasconcelos (TYPES, 2006)

The Power of Closed Reduction Strategies. - Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie (WRS@FLoC, 2006)

Linear Recursive Functions. - Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie (Rewriting, Computation and Proof, 2007)

Iterator Types. - Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie (FoSSaCS, 2007)

Type-Based Static and Dynamic Website Verification. - Jorge Coelho 001; Mário Florido (ICIW, 2007)

XCentric: A Logic-Programming Language for XML Processing. - Jorge Coelho 001; Mário Florido (PLAN-X, 2007)

XCentric: logic programming for XML processing. - Jorge Coelho 001; Mário Florido (WIDM, 2007)

Sequence Disunification and Its Application in Collaborative Schema Construction. - Jorge Coelho 001; Mário Florido; Temur Kutsia (WISE Workshops, 2007)

Minimality in a Linear Calculus with Iteration. - Sandra Alves; Mário Florido; Ian Mackie; François-Régis Sinot (WRS@RDP, 2007)

Collaborative Schema Construction using Regular Sequence Types. - Jorge Coelho 001; Mário Florido; Temur Kutsia (IRI, 2009)

A Rule-Based Approach to XML Processing and Web Reasoning. - Jorge Coelho 001; Besik Dundua; Mário Florido; Temur Kutsia (RR, 2010)

Linear Recursion - Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie (CoRR, 2010)

Linearity and iterator types for Gödel's System. - Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie (High. Order Symb. Comput., 2010)

Gödel's system tau revisited. - Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie (Theor. Comput. Sci., 2010)

Interfacing dynamically typed languages and the why tool: reasoning about lists and tuples. - Cláudio Amaral; Mário Florido; Patrik Jansson (Erlang Workshop, 2011)

Certifying Execution Time. - Vítor Rodrigues; João Pedro Pedroso; Mário Florido; Simão Melo de Sousa (FOPARA, 2011)

Linearity and recursion in a typed Lambda-calculus. - Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie (PPDP, 2011)

A Functional Approach to Worst-Case Execution Time Analysis. - Vítor Rodrigues; Mário Florido; Simão Melo de Sousa (WFLP, 2011)

Automatic amortised analysis of dynamic memory allocation for lazy functional programs. - Hugo R. Simões; Pedro B. Vasconcelos; Mário Florido; Steffen Jost; Kevin Hammond (ICFP, 2012)

A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction. - Vítor Rodrigues; Benny Akesson; Simão Melo de Sousa; Mário Florido (PADL, 2013)

PrologCheck - Property-Based Testing in Prolog. - Cláudio Amaral; Mário Florido; Vítor Santos Costa (FLOPS, 2014)

Constraint Logic Programming for Hedges: A Semantic Reconstruction. - Besik Dundua; Mário Florido; Temur Kutsia; Mircea Marin (FLOPS, 2014)

Liquid Intersection Types. - Mário Pereira; Sandra Alves; Mário Florido (ITRS, 2014)

Linearity: A Roadmap. - Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie (J. Log. Comput., 2014)

Linearity in Computation. - Mário Florido; Ian Mackie (J. Log. Comput., 2014)

Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages. - Pedro B. Vasconcelos; Steffen Jost; Mário Florido; Kevin Hammond (ESOP, 2015)

Lambda Calculus with Regular Types. - Besik Dundua; Mário Florido; Temur Kutsia (SYNASC, 2015)

CLP(H): Constraint Logic Programming for Hedges. - Besik Dundua; Mário Florido; Temur Kutsia; Mircea Marin (CoRR, 2015)

Certifying execution time in multicores. - Vítor Rodrigues; Benny Akesson; Mário Florido; Simão Melo de Sousa; João Pedro Pedroso; Pedro B. Vasconcelos (Sci. Comput. Program., 2015)

Non-Blocking Concurrent Imperative Programming with Session Types. - Miguel E. P. Silva; Mário Florido; Frank Pfenning (LINEARITY, 2016)

Preface. - Vivek Nigam; Mário Florido (LSFA, 2016)

CLP(H): Constraint logic programming for hedges. - Besik Dundua; Mário Florido; Temur Kutsia; Mircea Marin (Theory Pract. Log. Program., 2016)

Type-Based Cost Analysis for Lazy Functional Languages. - Steffen Jost; Pedro B. Vasconcelos; Mário Florido; Kevin Hammond (J. Autom. Reason., 2017)

Pattern-based calculi with finitary matching. - Sandra Alves; Besik Dundua; Mário Florido; Temur Kutsia (Log. J. IGPL, 2018)

Type Inference for Rank 2 Gradual Intersection Types. - Pedro Ângelo 002; Mário Florido (TFP, 2019)

A Three-Valued Semantics for Typed Logic Programming. - João Barbosa; Mário Florido; Vítor Santos Costa (ICLP Technical Communications, 2019)

Resource Analysis for Lazy Evaluation with Polynomial Potential. - Sara Moreira; Pedro B. Vasconcelos; Mário Florido (IFL, 2020)

Data Type Inference for Logic Programming. - João Barbosa; Mário Florido; Vítor Santos Costa (LOPSTR, 2021)

Structural Rules and Algebraic Properties of Intersection Types. - Sandra Alves; Mário Florido (ICTAC, 2022)

Type Inference for Rank-2 Intersection Types Using Set Unification. - Pedro Ângelo 002; Mário Florido (ICTAC, 2022)

Typed SLD-Resolution: Dynamic Typing for Logic Programming. - João Barbosa; Mário Florido; Vítor Santos Costa (LOPSTR, 2022)

A Typed Lambda Calculus with Gradual Intersection Types. - Pedro Ângelo 002; Mário Florido (PPDP, 2022)

Linear Rank Intersection Types. - Fábio Reis; Sandra Alves; Mário Florido (TYPES, 2022)

Gradual Guarantee for FJ with lambda-Expressions. - Pedro Ângelo 002; Viviana Bono; Mariangiola Dezani-Ciancaglini; Mário Florido (FTfJP@ECOOP, 2023)

Execution Time Program Verification with Tight Bounds. - Ana Carolina Silva; Manuel Barbosa; Mário Florido (PADL, 2023)

FC Portugal: RoboCup 2023 3D Simulation League Champions. - Miguel Abreu; Pedro Mota; Luís Paulo Reis; Nuno Lau; Mário Florido (RoboCup, 2023)

FC Portugal: RoboCup 2024 3D Simulation League Champions. - Miguel Abreu; Pedro Mota; Tomás Azevedo; Francisco Silva; Luís Paulo Reis; Nuno Lau; Mário Florido (RoboCup, 2024)

Regular Typed Unification. - João Barbosa; Mário Florido; Vítor Santos Costa (ICLP, 2024)

Towards Algebraic Subtyping for Extensible Records. - Rodrigo Marques; Mário Florido; Pedro B. Vasconcelos (CoRR, 2024)