Searching for authors named "Guilherme Pinto" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
S.: Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems
- … Systems ? Werner Damm1, Guilherme Pinto1, and Stefan Ratschan2 1 Carl v. Ossietzky Universit…
- Cited by 7 (1 self) – Add To MetaCart
-
Additively Weighted Voronoi Diagram on the Oriented Projective Plane
- … Diagram on the Oriented Projective Plane Guilherme A. Pinto y and Pedro J. de Rezende z Institute…
- Add To MetaCart
-
Representation of Conics in the Oriented Projective Plane
- …Representation of Conics in the Oriented Projective Plane Guilherme A. Pinto and Pedro J. de…
- Add To MetaCart
-
On the Verification of Nondeterministic Automata Specifications of Probabilistic Real-Time Systems
- … Specications of Probabilistic Real-Time Systems Arnaldo V. Moura and Guilherme A. Pinto farnaldo…
- Add To MetaCart
-
Representation of Conics in the Oriented Projective Plane
- …Representation of Conics in the Oriented Projective Plane Guilherme A. Pinto and Pedro J. de…
- Cited by 2 (2 self) – Add To MetaCart
-
Representing Conics Using the Oriented Projective Plane
- … plane Guilherme A. Pinto and Pedro J. de Rezende fguialbu,rezendeg@(email omitted); Relat'orio T…
- Add To MetaCart
Showing 1 through 6.
