( en | de | ru )

 

Disambiguation of "Ramos, Jaime"

Author of the publication

copydeleteadd this publication to your clipboard
A model checking framework for linear time invariant switching systems using structural systems analysis.

, , , , and . Allerton, page 973-980. IEEE, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Carlos Ramos Cuevas

On convex subcomplexes of spherical buildings and Tits' center conjecture. Uni München, (2009)

Yarúa Gabriela Jaimes Becerra

Elke Jaime

Oscar Jaimes

Carla Jaimes Betancourt

 

Other publications of authors with the same name

Combining Logics: Parchments Revisited., , , and . WADT, volume 2267 of Lecture Notes in Computer Science, page 48-70. Springer, (2001)Engaging K-12 teachers in engineering through a professional development program: Implementation strategies, results and lessons learned., , , , and . FIE, page 1-7. IEEE Computer Society, (2016)Essential Structure of Proofs as a Measure of Complexity., , and . Logica Universalis, 14 (2): 209-242 (2020)Design of a Modular Exoskeleton Based on Distributed Central Pattern Generators., , , , , , , , , and . IEEE Syst. J., 17 (1): 816-827 (March 2023)Segmentation of small bowel tumor tissue in capsule endoscopy images by using the MAP algorithm., , , , , , and . EMBC, page 4010-4013. IEEE, (2012)A model checking framework for linear time invariant switching systems using structural systems analysis., , , , and . Allerton, page 973-980. IEEE, (2013)Completeness Results for Fibred Parchments: Beyond the Propositional Base., , and . WADT, volume 2755 of Lecture Notes in Computer Science, page 185-200. Springer, (2002)Labelled proof systems for existential reasoning., , and . Log. J. IGPL, 33 (1): 173-201 (2025)Climatological Effects on the Breeding of Terns., , , , and . IGARSS (4), page 918-921. IEEE, (2008)Cryptomorphisms at Work., and . WADT, volume 3423 of Lecture Notes in Computer Science, page 45-60. Springer, (2004)