( 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

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)Essential Structure of Proofs as a Measure of Complexity., , and . Logica Universalis, 14 (2): 209-242 (2020)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)A Temporal Logic Approach to Object Certification., , and . Data Knowl. Eng., 19 (3): 267-294 (1996)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)Automatic detection of small bowel tumors in endoscopic capsule images by ROI selection based on discarded lightness information., , and . EMBC, page 3025-3028. IEEE, (2015)