( en | de | ru )

 

Disambiguierung von "Sánchez, César"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
i2kit: A Tool for Immutable Infrastructure Deployments based on Lightweight Virtual Machines specialized to run Containers.

, , und . CoRR, (2018)

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.

César Augusto Rodríguez Sánchez

David Sánchez Sánchez

César Rose

César Miñambres

César Collazo

 

Weitere Publikationen von Autoren mit dem selben Namen

Expressive Completeness of an Event-Pattern Reactive Programming Language, , , und . FORTE, Seite 529-532. (2005)Asynchronous Extensions of HyperLTL., , und . LICS, Seite 1-13. IEEE, (2021)Efficient Reactive Synthesis Using Mode Decomposition., und . ICTAC, Volume 14446 von Lecture Notes in Computer Science, Seite 256-275. Springer, (2023)Derivation of Atrial Surface Reentries Applying ICA to the Standard Electrocardiogram of Patients in Postoperative Atrial Fibrillation., , , , , und . ICA, Volume 3889 von Lecture Notes in Computer Science, Seite 478-485. Springer, (2006)Wavelet Denoising as Preprocessing Stage to Improve ICA Performance in Atrial Fibrillation Analysis., , , , , und . ICA, Volume 3889 von Lecture Notes in Computer Science, Seite 486-494. Springer, (2006)Striver: Stream Runtime Verification for Real-Time Event-Streams., und . RV, Volume 11237 von Lecture Notes in Computer Science, Seite 282-298. Springer, (2018)Online and Offline Stream Runtime Verification of Synchronous Systems.. RV, Volume 11237 von Lecture Notes in Computer Science, Seite 138-163. Springer, (2018)Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification., , , , und . ISoLA (1), Volume 13701 von Lecture Notes in Computer Science, Seite 397-414. Springer, (2022)Event Correlation: Language and Semantics., , , , , und . EMSOFT, Volume 2855 von Lecture Notes in Computer Science, Seite 323-339. Springer, (2003)Introduction to the special issue on runtime verification., und . Formal Methods Syst. Des., 53 (1): 1-5 (2018)