( en | de | ru )

 

Disambiguierung von "Sánchez, César"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Expressive Completeness of an Event-Pattern Reactive Programming Language

, , , und . FORTE, Seite 529-532. (2005)

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)Introduction to the special issue on runtime verification., und . Formal Methods Syst. Des., 53 (1): 1-5 (2018)From Realizability Modulo Theories to Synthesis Modulo Theories Part 1: Dynamic approach., und . CoRR, (2023)i2kit: A Tool for Immutable Infrastructure Deployments based on Lightweight Virtual Machines specialized to run Containers., , und . CoRR, (2018)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)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)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)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)