The following pages link to Guilherme A. Pinto (Q294872):
Displayed 20 items.
- A note on the verification of automata specifications of probabilistic real-time systems (Q294873) (← links)
- (Q677095) (redirect page) (← links)
- On ordered regular semigroups with biggest inverses (Q677097) (← links)
- Numerical simulation of nonlinear elastic flows with a general collocated finite volume method (Q1297568) (← links)
- On idempotent-generated subsemigroups of principally ordered regular semigroups. (Q1434103) (← links)
- Eventually regular Dubreil-Jacotin semigroups. (Q1764621) (← links)
- ON ORDERED COMPLETELY SIMPLE SEMIGROUPS (Q2746624) (← links)
- Classes of Timed Automata and the Undecidability of Universality (Q2842589) (← links)
- Optimization Approach to a Simulation Algorithm of a Mixer-Settler System in the Transient State (Q2909703) (← links)
- Idempotents in principally ordered regular semigroups (Q3351405) (← links)
- GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS (Q3426788) (← links)
- Residuated regular semigroups (Q4024668) (← links)
- (Q4451969) (← links)
- (Q5084043) (← links)
- Pointed principally ordered regular semigroups (Q5136387) (← links)
- Principally ordered regular semigroups (Q5203077) (← links)
- Residuated Completely Simple Semigroups (Q5411690) (← links)
- (Q5450118) (← links)
- Automated Technology for Verification and Analysis (Q5491856) (← links)
- On totally Lindelöf spaces (Q6140864) (← links)