Publications

On the Equivalence of Automata for KATexpressions, CiE'2014, LNCS, 2014, (with A. Machiavelo, N. Moreira, and
R. Reis).

A Hitchhiker's Guide to Descriptional Complexity through Analytic Combinatorics, J. of Theoretic
Computer Science, 2014, (with A. Machiavelo, N. Moreira, and
R. Reis).

On the Average Size of Glushkov and Equation Automata for KAT expressions,
, FCT'2013, LNCS 8070, pp. 7283, 2013, (with A. Machiavelo, N. Moreira, and
R. Reis).

On the Average Size of Glushkov and Partial Derivative Automata, I. J. of Foundations of
Computer Science, Volume 23, Issue 5, pp. 969984, 2012, (with A. Machiavelo, N. Moreira, and
R. Reis).

Deciding KAT and Hoare Logic with Derivatives GandALF 2012,
EPTCS, pp. 127140, 2012, (with R. Almeida and N. Moreira).

The Average Transition Complexity of Glushkov and Partial
Derivative Automata,
, DLT'2011, LNCS 6795, pp. 93104, 2011, (with A. Machiavelo, N. Moreira, and
R. Reis).

On the Average State Complexity of Partial Derivative Automata: an
Analytic Combinatorics Approach, I. J. of Foundations of
Computer Science, Volume 22, Issue 7, pp. 15931606, 2011, (with A. Machiavelo, N. Moreira, and
R. Reis).

On the Average Number of States of Partial Derivative Automata,
DLT'2010, LNCS 6224, pp. 112123, 2010, (with A. Machiavelo, N. Moreira, and
R. Reis).

On Principal Types of BCKlambdaterms, Wollic'2007, LNCS, 2007 (with
L. Damas),
Abstract .

On Long Normal Inhabitants of a Type, J. of
Logic and Computation 15:353390, 2005 (with
L. Damas),
Abstract .

The Decidability of a Fragment of BB'IWLogic, J. of
Theoretical Computer Science 318 (3), pp.373408, 2004, (with
L. Damas, M. Finger and P. Silva e Silva),
Abstract .

Studying provability in implicational intuitionistic logic: the
formula tree approach, Wollic'2002, ENTCS (Elsevier) Vol. 67,
(with L. Damas),
Abstract.

Counting a Type's (Principal) Inhabitants, Fundamenta
Informaticae 45, pp. 3351, 2001, (with L. Damas),
Abstract.

A contextfree grammar representation for normal inhabitants of
types in TAlambda, EPIA'01, LNAI 2258, 2001, (with L. Damas),
Abstract .

On principal types of combinators, J.
Theoretical Computer Science 247 (12), pp. 277290, 2000, (with
L. Damas),
Abstract .

On the structure of normal lambda terms having a certain type,
Wollic'2000, (with L. Damas),
Abstract and
psfile.

Counting a Type's Principal Inhabitants (Extended Abstract),
TLCA'99, LNCS 1581, pp. 6982, 1999, (with L. Damas),
Abstract .

On combinatory complete sets of proper combinators, J. Functional
Programming 7 (6), pp. 593612, 1997, (with L. Damas),
Abstract .

Compact bracket abstraction in combinatory logic, J. Symbolic Logic 62
(3), pp.729740, 1997, (with L. Damas), Abstract .

A new translation algorithm from Lambda Calculus into Combinatory
Logic, EPIA'95, LNAI 990, pp. 359370, 1995, (with L. Damas), Abstract .

Resolution of constraints in algebras of rational trees, EPIA'93,
LNAI 727, 6176, 1993, (with N. Moreira and L. Damas).
Internal reports
My PhDThesis