×
Edit Profile (opens in new tab)

Pinto, Guilherme A.

Co-Author Distance
Author ID: pinto.guilherme-a Recent zbMATH articles by "Pinto, Guilherme A."
Published as: Pinto, G. A.; Pinto, Guilherme; Pinto, Guilherme A.
Documents Indexed: 19 Publications since 1990
Co-Authors: 13 Co-Authors with 18 Joint Publications
152 Co-Co-Authors
all top 5

Co-Authors

1 single-authored
9 Blyth, Thomas Scott
3 Moura, Arnaldo Vieira
2 Damm, Werner
2 Ratschan, Stefan
1 Barbosa, Filipe J.
1 Gomes, Elsa F.
1 Gonçalves, Carlos Alexandre
1 Monserrat, Ruth
1 Oliveira, Paulo jun.
1 Pinho, Fernando T.
1 Resende, Fernando Gil
1 Rocha, Vinícius L.
1 Rosa, Maria Carlota
all top 5

Serials

3 Semigroup Forum
2 Communications in Algebra
1 Information Processing Letters
1 Glasgow Mathematical Journal
1 Proceedings of the Edinburgh Mathematical Society. Series II
1 Topology and its Applications
1 International Journal of Foundations of Computer Science
1 Journal of Non-Newtonian Fluid Mechanics
1 Algebra Colloquium
1 Fundamenta Informaticae
1 Discussiones Mathematicae. General Algebra and Applications
1 Palestine Journal of Mathematics
all top 5

Fields

10 Order, lattices, ordered algebraic structures (06-XX)
9 Group theory and generalizations (20-XX)
6 Computer science (68-XX)
2 Mathematical logic and foundations (03-XX)
2 Fluid mechanics (76-XX)
1 General topology (54-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

10 Publications have been cited 67 times in 57 Documents Cited by ▼ Year ▼
Numerical simulation of nonlinear elastic flows with a general collocated finite volume method. Zbl 0960.76053
Oliveira, P. J.; Pinho, F. T.; Pinto, G. A.
29
1998
Principally ordered regular semigroups. Zbl 0725.06008
Blyth, T. S.; Pinto, G. A.
9
1990
Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems. Zbl 1109.68064
Damm, Werner; Pinto, Guilherme; Ratschan, Stefan
9
2007
Idempotents in principally ordered regular semigroups. Zbl 0728.06010
Blyth, T. S.; Pinto, G. A.
5
1991
On ordered regular semigroups with biggest inverses. Zbl 0869.06010
Blyth, T. S.; Pinto, G. A.
4
1997
Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems. Zbl 1170.68511
Damm, Werner; Pinto, Guilherme; Ratschan, Stefan
4
2005
Residuated regular semigroups. Zbl 0770.06006
Blyth, T. S.; Pinto, G. A.
3
1992
On ordered completely simple semigroups. Zbl 0993.06008
Blyth, T. S.; Pinto, G. A.
2
2001
Classes of timed automata and the undecidability of universality. Zbl 1270.68148
Moura, Arnaldo V.; Pinto, Guilherme A.
1
2002
Pointed principally ordered regular semigroups. Zbl 1463.06085
Blyth, T. S.; Pinto, G. A.
1
2016
Pointed principally ordered regular semigroups. Zbl 1463.06085
Blyth, T. S.; Pinto, G. A.
1
2016
Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems. Zbl 1109.68064
Damm, Werner; Pinto, Guilherme; Ratschan, Stefan
9
2007
Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems. Zbl 1170.68511
Damm, Werner; Pinto, Guilherme; Ratschan, Stefan
4
2005
Classes of timed automata and the undecidability of universality. Zbl 1270.68148
Moura, Arnaldo V.; Pinto, Guilherme A.
1
2002
On ordered completely simple semigroups. Zbl 0993.06008
Blyth, T. S.; Pinto, G. A.
2
2001
Numerical simulation of nonlinear elastic flows with a general collocated finite volume method. Zbl 0960.76053
Oliveira, P. J.; Pinho, F. T.; Pinto, G. A.
29
1998
On ordered regular semigroups with biggest inverses. Zbl 0869.06010
Blyth, T. S.; Pinto, G. A.
4
1997
Residuated regular semigroups. Zbl 0770.06006
Blyth, T. S.; Pinto, G. A.
3
1992
Idempotents in principally ordered regular semigroups. Zbl 0728.06010
Blyth, T. S.; Pinto, G. A.
5
1991
Principally ordered regular semigroups. Zbl 0725.06008
Blyth, T. S.; Pinto, G. A.
9
1990
all cited Publications top 5 cited Publications
all top 5

Cited by 112 Authors

9 Alves, Manuel A.
9 Blyth, Thomas Scott
8 Pinho, Fernando T.
7 Pinto, Guilherme A.
6 Oliveira, Paulo jun.
6 Poole, Robert J.
4 Afonso, A. M.
4 Damm, Werner
3 Guo, Xiaojiang
3 Oliveira, Mónica S. N.
3 Ratschan, Stefan
2 Almeida Santos, Maria Helena
2 Clarke, Edmund Melson jun.
2 Disch, Stefan
2 Ferrás, Luís Lima
2 Ihlemann, Carsten
2 Li, Qiang
2 Nóbrega, João M.
2 Norouzi, MohammadJavad
2 Ouyang, Jie
2 Pigorsch, Florian
2 Platzer, André
2 Scholl, Christoph
2 Shahmardan, M. M.
2 Shum, Kar-Ping
2 Sofronie-Stokkermans, Viorica
2 Waldmann, Uwe
2 Wirtz, Boris
2 Yang, Binxin
1 Aljohani, Talal A.
1 Araujo, M. S. B.
1 Bagheri, A. A. H.
1 Bartolo, Denis
1 Basumatary, Mantulal
1 Bothe, Dieter
1 Chen, Xingyuan
1 Chourushi, Tushar
1 Cimatti, Alessandro
1 Crous, J. M.
1 Daly, Rónán
1 Dierks, Henning
1 Dirker, J.
1 Duracz, Adam
1 Dzetkulič, Tomáš
1 Escudier, M. P.
1 Farjudian, Amin
1 Franek, Peter
1 García, Brayan F.
1 Giraldes, Emilia
1 Griggio, Alberto
1 Hagemann, Willem
1 Heyns, P. Stephan
1 Hibberd, Stephen
1 Hubbard, Matthew E.
1 Hungar, Hardi
1 Iaccarino, Gianluca
1 Jacobs, Swen
1 Jalali, Alireza
1 Jasak, Hrvoje
1 Jayathilake, P. G.
1 Jiang, Tao
1 Karasözen, Bülent
1 Kavraki, Lydia E.
1 Khoo, Boo Cheong
1 Levaché, B.
1 Liu, Chuntai
1 Magnago, Enrico
1 Marques-Smith, Paula
1 Marschall, Holger
1 McKinley, Gareth H.
1 Medeiros, Debora D.
1 Mendes Martins, Paula
1 Mishra, Subhash C.
1 Mitsch, Heinz
1 Moggi, Eugenio
1 Moura, Arnaldo Vieira
1 Mousaviraad, Maysam
1 Nadau, Lionel
1 Natarajan, Ganesh
1 Notsu, Hirofumi
1 Oishi, Cassio M.
1 Ollivier-Gooch, Carl F.
1 Pang, Jun
1 Plaku, Erion
1 Power, Henry
1 Ren, Chenchen
1 Rocha, Gerardo N.
1 Rognin, Etienne
1 Saraji, Soheil
1 Schäfer, Michael
1 Sequeira, Adélia
1 Shahbani Zahiri, A.
1 Shaqfeh, Eric S. G.
1 Sharbatdar, Mahkame
1 Sivapuratharasu, M.
1 Soulages, Johannes
1 Sousa, P. C.
1 Taha, Walid
1 Talebi, Z.
1 Tuković, Željko
...and 12 more Authors
all top 5

Cited in 29 Serials

8 Journal of Non-Newtonian Fluid Mechanics
6 Communications in Algebra
5 Journal of Fluid Mechanics
3 Applied Mathematical Modelling
2 Formal Methods in System Design
2 Algebra Colloquium
2 International Journal of Computational Fluid Dynamics
1 Computers and Fluids
1 Computers & Mathematics with Applications
1 International Journal for Numerical Methods in Fluids
1 Journal of Computational Physics
1 Journal of Engineering Mathematics
1 Applied Mathematics and Computation
1 Glasgow Mathematical Journal
1 Journal of Algebra
1 Proceedings of the Edinburgh Mathematical Society. Series II
1 Semigroup Forum
1 SIAM Journal on Numerical Analysis
1 Theoretical Computer Science
1 Science of Computer Programming
1 Physica D
1 Information and Computation
1 Journal of Automated Reasoning
1 Physics of Fluids
1 European Journal of Mechanics. B. Fluids
1 Mathematics in Computer Science
1 Communications in Computational Physics
1 European Journal of Pure and Applied Mathematics
1 Palestine Journal of Mathematics
all top 5

Cited in 14 Fields

29 Fluid mechanics (76-XX)
14 Order, lattices, ordered algebraic structures (06-XX)
13 Computer science (68-XX)
12 Group theory and generalizations (20-XX)
7 Systems theory; control (93-XX)
5 Numerical analysis (65-XX)
3 Mathematical logic and foundations (03-XX)
3 Biology and other natural sciences (92-XX)
2 Mechanics of deformable solids (74-XX)
1 General algebraic systems (08-XX)
1 Category theory; homological algebra (18-XX)
1 Partial differential equations (35-XX)
1 Operator theory (47-XX)
1 Statistical mechanics, structure of matter (82-XX)

Citations by Year