Mário Florido

	2011
26		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
25		Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Linearity and recursion in a typed Lambda-calculus. PPDP 2011: 173-182
24		Vitor Rodrigues, Mário Florido, Simão Melo de Sousa: A Functional Approach to Worst-Case Execution Time Analysis. WFLP 2011: 86-103
	2010
23		Jorge Coelho, Besik Dundua, Mário Florido, Temur Kutsia: A Rule-Based Approach to XML Processing and Web Reasoning. RR 2010: 164-172
22		Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Linear Recursion CoRR abs/1001.3368: (2010)
21		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)
20		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)
	2009
19		Mário Florido, Ian Mackie: Proceedings First International Workshop on Linearity LINEARITY 2009
18		Jorge Coelho, Mário Florido, Temur Kutsia: Collaborative Schema Construction using Regular Sequence Types. IRI 2009: 290-295
	2008
17		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
16		Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Iterator Types. FoSSaCS 2007: 17-31
15		Jorge Coelho, Mário Florido: Type-Based Static and Dynamic Website Verification. ICIW 2007: 32
14		Jorge Coelho, Mário Florido: XCentric: A Logic-Programming Language for XML Processing. PLAN-X 2007: 93-94
13		Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Linear Recursive Functions. Rewriting, Computation and Proof 2007: 182-195
12		Jorge Coelho, Mário Florido: XCentric: logic programming for XML processing. WIDM 2007: 1-8
11		Jorge Coelho, Mário Florido, Temur Kutsia: Sequence Disunification and Its Application in Collaborative Schema Construction. WISE Workshops 2007: 91-102
10		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)
	2006
9		Jorge Coelho, Mário Florido: VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content. APWeb Workshops 2006: 148-156
8		Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: The Power of Linear Functions. CSL 2006: 119-134
7		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
6		Sandra Alves, Mário Florido: Weak linearization of the lambda calculus. Theor. Comput. Sci. 342(1): 79-103 (2005)
	2004
5		Jorge Coelho, Mário Florido: CLP(Flex): Constraint Logic Programming Applied to XML Processing. CoopIS/DOA/ODBASE (2) 2004: 1098-1112
4		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)
	2003
3		Sandra Alves, Mário Florido: Linearization by Program Transformation. LOPSTR 2003: 160-175
2		Jorge Coelho, Mário Florido: Type-Based XML Processing in Logic Programming. PADL 2003: 273-285
	2002
1		Sandra Alves, Mário Florido: Type Inference using Constraint Handling Rules. Electr. Notes Theor. Comput. Sci. 64: 56-72 (2002)

Coauthor Index

1	Sandra Alves	[1] [3] [6] [8] [10] [13] [16] [17] [20] [21] [22] [25]
2	Cláudio Amaral	[26]
3	Jorge Coelho	[2] [5] [9] [11] [12] [14] [15] [18] [23]
4	Luís Damas	[4]
5	Besik Dundua	[23]
6	Maribel Fernández	[8] [10] [13] [16] [20] [21] [22] [25]
7	Kevin Hammond	[7]
8	Patrik Jansson	[26]
9	Temur Kutsia	[11] [18] [23]
10	Ian Mackie	[8] [10] [13] [16] [17] [19] [20] [21] [22] [25]
11	Vitor Rodrigues	[24]
12	Hugo R. Simões	[7]
13	François-Régis Sinot	[17]
14	Simão Melo de Sousa	[24]
15	Pedro B. Vasconcelos	[7]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page