( 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

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)Combining Logics: Parchments Revisited., , , and . WADT, volume 2267 of Lecture Notes in Computer Science, page 48-70. Springer, (2001)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)Completeness Results for Fibred Parchments: Beyond the Propositional Base., , and . WADT, volume 2755 of Lecture Notes in Computer Science, page 185-200. Springer, (2002)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)Labelled proof systems for existential reasoning., , and . Log. J. IGPL, 33 (1): 173-201 (2025)A Temporal Logic Approach to Object Certification., , and . Data Knowl. Eng., 19 (3): 267-294 (1996)Event-Based Time-Stamped Claim Logic., , , and . J. Log. Algebraic Methods Program., (2021)