PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Mayo, Jackson R."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics.

, , , und . Electron. Notes Theor. Comput. Sci., (2015)

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.

R. Koerner

R. Watty

Dipl.-Ing. Marc Riedlinger

An adaptive self-managing platform for cabin management systems, , , und . CEAS Aeronautical Journal, 7 (3): 483--498 (2016)

Nils Rodrigues University of Stuttgart

A Visual Analytics Approach for Word Relevances in Multiple Texts, , , und . (2017)

Benedikt Remlein University of Stuttgart

Nonlinear phenomena in stochastic thermodynamics : from optimal protocols to criticality. Universität Stuttgart, Stuttgart, Dissertation, (2024)
 

Weitere Publikationen von Autoren mit dem selben Namen

Digital system robustness via design constraints: The lesson of formal methods., , und . SysCon, Seite 109-114. IEEE, (2015)Framework for Enabling System Understanding., , , , , , , , , und . Euro-Par Workshops (2), Volume 7156 von Lecture Notes in Computer Science, Seite 231-240. Springer, (2011)Using computational game theory to guide verification and security in hardware designs., , , , und . HOST, Seite 110-115. IEEE Computer Society, (2017)Fault oblivious high performance computing with dynamic task replication and substitution., , , , und . Comput. Sci. Res. Dev., 26 (3-4): 297-305 (2011)Characterizing short-term stability for Boolean networks over any distribution of transfer functions., , , , und . CoRR, (2014)An Adaptive Shifted Power Method for Computing Generalized Tensor Eigenpairs., und . SIAM J. Matrix Analysis Applications, 35 (4): 1563-1581 (2014)Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics., , , und . Electron. Notes Theor. Comput. Sci., (2015)Noncooperatively Optimized Tolerance: Decentralized Strategic Optimization in Complex Systems, , , und . CoRR, (2011)Integrating Inter-Node Communication with a Resilient Asynchronous Many-Task Runtime System., , , , , , , und . ExaMPI@SC, Seite 41-51. IEEE, (2020)Quantifying effectiveness of failure prediction and response in HPC systems: Methodology and example., , , , , , , , und . DSN Workshops, Seite 2-7. IEEE Computer Society, (2010)