The cardinal of various monoids of transformations that preserve a uniform partition

Bulletin of the Malaysian Mathematical Sciences Society

On the monoids of transformations that preserve the order and a uniform partition

Communications in Algebra

Congruences on monoids of transformations preserving the orientation on a finite chain

Journal of Algebra, 321 (2009), p. 743–757

Congruences on monoids of order-preserving or order-reversing transformations on a finite chain

Glasgow Mathematical Journal, nº 47 (2005), pg. 413-424

Abelian kernels of monoids of order-preserving maps and of some of its extensions

Semigroup Forum vol. 68 (2004), p. 335–356

A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

Semantics of logic programs with explicit negation

After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.

Type System for the ComponentJ Programming Language

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Informática.

Whole life health insurance

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de mestre em Matemática e Aplicações

A behavioral analysis tool for models of software systems

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

On divisors of pseudovarieties generated by some classes of full transformation semigroups

Algebra Colloquium, 15 (2008), p. 581–588

Significado regional dos depósitos neogénicos continentais da área de Vila de Rei (Portugal Central)

In the Vila de Rei area (Central Portugal) the continental deposits of the Lower Tagus Tertiary Basin lay upon the pediment of the Portuguese Central Chain. Three conglomerate units are recorded from the base upwards, separated by regional or basinal unconformities; Conglomerados de Rio de Moinhos (RM); Conglomerados de Serra de Almeirim (SA) and Conglomerados de Vila de Rei (VR). The first two units (RM and SA) have been sites of gold exploitation in huge open pit mines probably during Roman colonisation times. The contact of this units, on the Paleozoic basement or on the Paleogene unit Grés de Monsanto, is unconform, defining in both limits a large nondepositional and/or erosional hiatus. Those conglomerates seal the sedimentation of the Lower Tagus Tertiary Basin along its northern border. Taking into account the significance assigned to their basinal unconformity limits, the uplift of the Portuguese Central Chain, and the fact of this continental units yielded no fossils with chronostratigraphic significance, they have been considered ranging from Upper Miocene to the beginning of the Quaternary. Finally, a lithostraligraphic equivalence with the Neogenic units of the Bierzo and Duerna basins (NW of the Iberian Peninsula), where exploitations from Roman times are also evident, is presented.

Presentations for some monoids of injective partial transformations on a finite chain.

Communications in Algebra, 33 (2005), p. 587-604

The cardinal and the idempotent number of various monoids of transformations on a finite chain

Bulletin of the Malaysian Mathematical Sciences Society, 2, 34 (1),(2011), p. 79–85

Automorphisms of partial endomorphism semigroups

Publicationes Mathematicae Debrecen