Person:294872

Available identifiers

zbMath Open pinto.guilherme-aMaRDI QIDQ294872

List of research outcomes

Publication	Date of Publication	Type
On totally Lindelöf spaces	2024-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q5084043	2022-06-23	Paper
Pointed principally ordered regular semigroups	2020-11-26	Paper
A note on the verification of automata specifications of probabilistic real-time systems	2016-06-16	Paper
Residuated Completely Simple Semigroups	2014-04-25	Paper
Classes of Timed Automata and the Undecidability of Universality	2013-08-15	Paper
Optimization Approach to a Simulation Algorithm of a Mixer-Settler System in the Transient State	2012-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q5450118	2008-03-19	Paper
GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS	2007-03-13	Paper
Automated Technology for Verification and Analysis	2006-10-10	Paper
Eventually regular Dubreil-Jacotin semigroups.	2005-02-25	Paper
On idempotent-generated subsemigroups of principally ordered regular semigroups.	2004-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4451969	2004-02-11	Paper
ON ORDERED COMPLETELY SIMPLE SEMIGROUPS	2001-10-10	Paper
Numerical simulation of nonlinear elastic flows with a general collocated finite volume method	2001-05-10	Paper
On ordered regular semigroups with biggest inverses	1997-08-25	Paper
Residuated regular semigroups	1993-02-08	Paper
Idempotents in principally ordered regular semigroups	1991-01-01	Paper
Principally ordered regular semigroups	1990-01-01	Paper

Research outcomes over time

This page was built for person: Guilherme A. Pinto