Autor der Publikation

A model checking framework for linear time invariant switching systems using structural systems analysis.

, , , , und . Allerton, Seite 973-980. IEEE, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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