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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Guilherme A. Pinto