Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Mário Florido
2010 – today
- 2012
[c19]Hugo R. Simões, Pedro B. Vasconcelos, Mário Florido, Steffen Jost, Kevin Hammond: Automatic amortised analysis of dynamic memory allocation for lazy functional programs. ICFP 2012: 165-176- 2011
- [c18]Cláudio Amaral, Mário Florido, Patrik Jansson: Interfacing dynamically typed languages and the why tool: reasoning about lists and tuples. Erlang Workshop 2011: 92-93
- [c17]Vitor Rodrigues, João Pedro Pedroso, Mário Florido, Simão Melo de Sousa: Certifying Execution Time. FOPARA 2011: 108-125
- [c16]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Linearity and recursion in a typed Lambda-calculus. PPDP 2011: 173-182
- [c15]Vitor Rodrigues, Mário Florido, Simão Melo de Sousa: A Functional Approach to Worst-Case Execution Time Analysis. WFLP 2011: 86-103
- 2010
- [j7]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Linearity and iterator types for Gödel's System. Higher-Order and Symbolic Computation 23(1): 1-27 (2010)
- [j6]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Gödel's system tau revisited. Theor. Comput. Sci. 411(11-13): 1484-1500 (2010)
- [c14]Jorge Coelho, Besik Dundua, Mário Florido, Temur Kutsia: A Rule-Based Approach to XML Processing and Web Reasoning. RR 2010: 164-172
- [i1]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Linear Recursion. CoRR abs/1001.3368 (2010)
2000 – 2009
- 2009
- [c13]Jorge Coelho, Mário Florido, Temur Kutsia: Collaborative Schema Construction using Regular Sequence Types. IRI 2009: 290-295
- [e1]Mário Florido, Ian Mackie (Eds.): Proceedings First International Workshop on Linearity. EPTCS 22, 2009
- 2008
- [j5]Sandra Alves, Mário Florido, Ian Mackie, François-Régis Sinot: Minimality in a Linear Calculus with Iteration. Electr. Notes Theor. Comput. Sci. 204: 163-179 (2008)
- 2007
- [j4]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: The Power of Closed Reduction Strategies. Electr. Notes Theor. Comput. Sci. 174(10): 57-74 (2007)
- [c12]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Linear Recursive Functions. Rewriting, Computation and Proof 2007: 182-195
- [c11]
- [c10]
- [c9]Jorge Coelho, Mário Florido: XCentric: A Logic-Programming Language for XML Processing. PLAN-X 2007: 93-94
- [c8]
- [c7]Jorge Coelho, Mário Florido, Temur Kutsia: Sequence Disunification and Its Application in Collaborative Schema Construction. WISE Workshops 2007: 91-102
- 2006
- [c6]Jorge Coelho, Mário Florido: VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content. APWeb Workshops 2006: 148-156
- [c5]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: The Power of Linear Functions. CSL 2006: 119-134
- [c4]Hugo R. Simões, Kevin Hammond, Mário Florido, Pedro B. Vasconcelos: Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs. TYPES 2006: 221-236
- 2005
- [j3]Sandra Alves, Mário Florido: Weak linearization of the lambda calculus. Theor. Comput. Sci. 342(1): 79-103 (2005)
- 2004
- [j2]Mário Florido, Luís Damas: Linearization of the lambda-calculus and its relation with intersection type systems. J. Funct. Program. 14(5): 519-546 (2004)
- [c3]Jorge Coelho, Mário Florido: CLP(Flex): Constraint Logic Programming Applied to XML Processing. CoopIS/DOA/ODBASE (2) 2004: 1098-1112
- 2003
- [c2]
- [c1]
- 2002
- [j1]Sandra Alves, Mário Florido: Type Inference using Constraint Handling Rules. Electr. Notes Theor. Comput. Sci. 64: 56-72 (2002)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:05 CEST by the dblp team