Most of my published articles and papers:

https://www.ulissesferreira.uk/papers.pdf. A list from 2000 until june 2005, when I stopped using Linux/LaTeX for a while.

All chapters of my original and submitted PhD Thesis at TCD has been published, among many other ideas of mine. Many thanks for those few people who gave me a hand at that hard time. Later, I withdrew my PhD Thesis from the TCD. Sorry for the mess.

uu for Programming Languages, ACM SIGPLAN Notices, 2000
On the Foundations of Computer Science, MIS 2003
A Novel Rôle for AI?, ICCS 2003
On the Busy Beaver Problem, ICCS 2004
On Turing’s Proof of The Undecidability of The Halting Problem, ICCS 2004
The Probable Decidability of the Halting Problem, 2004
A Property for Church-Turing Thesis, ICCS 2004
The Real Set Can Be Seen As Denumerable, ICCS 2004
A Note on Mobile Agency, Orlando USA (WMSCI 2005, SCI 2005)
A Space-Time Logic, USA-2005
The Space-Time Semantics, 2005
A Prolog-Like Language for the Internet, CAITA 2004
Programming Language Concepts for Global Computing, IPSI 2004
Mobility and Computation, Hawaii, IPSI 2005
Chiron: a Framework for Mobile Agent System Advances in Mobile Agents Systems Research. Proceedings of the 12th International Conference on System Research, Informatics and Cybernetics, Baden-Baden, Germany, page 18 of the programme, just after the lunch break, 2000.
Uncertainty and a 7-Valued Logic, San Diego, USA, ICCSA 2006
A NOTE ON GÖDEL´S THEOREM, International Journal of Computer Science and Information Technologies, 2017
ANOTHER PROOF OF THE DENUMERABILITY OF THE COMPLEX NUMBERS, CSE-2014
A NEW PROOF THAT THE SET OF COMPLEX NUMBERS IS DENUMERABLE, Journal CSEIJ 2014
A Note on Mobile-Agents Technologies (A 1-page note), 2004
AI in Foundations of Computer Science, Montenegro, IPSI 2004
Computation Is Not Conceptually Function Aplication, Serbia-Montenegro, CIC 2004
Computation Is Not Conceptually Function Aplication (Full Version)
Intelligent Agents for the Internet: a programming language approach, ENIA1999, SBC AI Meeting in Brazil.
Programming Languages Features for some Global Computer, SSGRR 2003
A 5-Valued Logic and a System, Journal of Computer Science and Techonology, 2005
The Sets of Real and Complex Numbers Are Denumerable, ACM SIGACT NEWS, 2006
Uncertainty for Programming Languages, SSCCII 2004
Gödel Theorem is Invalid, ACSIT 2017
A Note on Gödel's Theorem, International Journal of Computer Science and Information Technologies, IJCSIT 2017
A Four-Valued Logic, CSITEC 2017