PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Casagrande, Alberto"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction.

, , , , , , und . AB, Volume 4545 von Lecture Notes in Computer Science, Seite 51-65. Springer, (2007)

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.

Hector Alberto Fernandez Bobadilla University of Stuttgart

Alberto Ramón Gallardo Rico University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Discrete Semantics for Hybrid Automata., , und . Discrete Event Dynamic Systems, 19 (4): 471-493 (2009)GAM: Genomic Assemblies Merger: A Graph Based Method to Integrate Different Assemblies., , , und . BIBM, Seite 321-326. IEEE Computer Society, (2009)Family Fingerprints: a Global Approach to Structural Classification., und . J. Bioinformatics and Computational Biology, (2012)Decidable Compositions of O-Minimal Automata., , , und . ATVA, Volume 5311 von Lecture Notes in Computer Science, Seite 274-288. Springer, (2008)Improving reachability analysis of hybrid automata for engine control., , , , , und . CDC, Seite 2322-2327. IEEE, (2004)Semi-Algebraic Constant Reset Hybrid Automata - SACoRe., , und . CDC/ECC, Seite 678-683. IEEE, (2005)Does Every Recursively Enumerable Set Admit a Finite-Fold Diophantine Representation?, , , und . CILC, Volume 2396 von CEUR Workshop Proceedings, Seite 104-122. CEUR-WS.org, (2019)Model Checking on Hybrid Automata., und . DSD, Seite 493-500. IEEE Computer Society, (2012)pyHybrid Analysis: A Package for Semantics Analysis of Hybrid Systems., und . DSD, Seite 815-818. IEEE Computer Society, (2013)Reasoning about connectivity without paths., und . ICTCS, Volume 1231 von CEUR Workshop Proceedings, Seite 93-108. CEUR-WS.org, (2014)