Guilherme A. Pinto

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On totally Lindelöf spaces Topology and its Applications	2024-01-22	Paper
Ordered regular pointed semigroups with biggest associates	2022-06-23	Paper
Pointed principally ordered regular semigroups Discussiones Mathematicae - General Algebra and Applications	2020-11-26	Paper
A note on the verification of automata specifications of probabilistic real-time systems Information Processing Letters	2016-06-16	Paper
Residuated completely simple semigroups Algebra Colloquium	2014-04-25	Paper
Classes of timed automata and the undecidability of universality Electronic Notes in Theoretical Computer Science	2013-08-15	Paper
Optimization approach to a simulation algorithm of a mixer-settler system in the transient state Dynamics, Games and Science II	2012-09-06	Paper
Classes of timed automata and the undecidability of universality	2008-03-19	Paper
GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS International Journal of Foundations of Computer Science	2007-03-13	Paper
Automated Technology for Verification and Analysis Lecture Notes in Computer Science	2006-10-10	Paper
Eventually regular Dubreil-Jacotin semigroups. Semigroup Forum	2005-02-25	Paper
On idempotent-generated subsemigroups of principally ordered regular semigroups. Semigroup Forum	2004-07-01	Paper
scientific article; zbMATH DE number 2040854 (Why is no real title available?)	2004-02-11	Paper
ON ORDERED COMPLETELY SIMPLE SEMIGROUPS Communications in Algebra	2001-10-10	Paper
Numerical simulation of nonlinear elastic flows with a general collocated finite volume method Journal of Non-Newtonian Fluid Mechanics	2001-05-10	Paper
On ordered regular semigroups with biggest inverses Semigroup Forum	1997-08-25	Paper
Residuated regular semigroups Proceedings of the Edinburgh Mathematical Society	1993-02-08	Paper
Idempotents in principally ordered regular semigroups Communications in Algebra	1991-01-01	Paper
Principally ordered regular semigroups Glasgow Mathematical Journal	1990-01-01	Paper

Research outcomes over time

This page was built for person: Guilherme A. Pinto