( en | de | ru )

 

Disambiguierung von "Mamouras, Konstantinos"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Synchronization Schemas.

, , , , , , , , und . PODS, Seite 1-18. ACM, (2021)

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.

Konstantinos Spyridakis

Konstantinos Karatzoglou

Konstantinos Georgaras

Konstantinos Ouzounis

Konstantinos Noussias

 

Weitere Publikationen von Autoren mit dem selben Namen

Work-in-Progress: Towards a Theory of Robust Quantitative Semantics for Signal Temporal Logic., , , und . EMSOFT, Seite 11-12. IEEE, (2022)Software-hardware codesign for efficient in-memory regular pattern matching., , , , , , und . PLDI, Seite 733-748. ACM, (2022)Kleene Algebra with Equations., und . ICALP (2), Volume 8573 von Lecture Notes in Computer Science, Seite 280-292. Springer, (2014)Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism.. FoSSaCS, Volume 9034 von Lecture Notes in Computer Science, Seite 25-40. Springer, (2015)Probabilistic NetKAT., , , , und . ESOP, Volume 9632 von Lecture Notes in Computer Science, Seite 282-309. Springer, (2016)Data-trace types for distributed stream processing systems., , , , und . PLDI, Seite 670-685. ACM, (2019)Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias., , , , und . MT@CPSWeek, Seite 1-2. IEEE, (2018)Dynamic QoS-aware data replication in grid environments based on data "importance"., , , , und . Future Gener. Comput. Syst., 28 (3): 544-553 (2012)The Complexity of Social Coordination., , , , und . Proc. VLDB Endow., 5 (11): 1172-1183 (2012)A Compositional Framework for Quantitative Online Monitoring over Continuous-Time Signals., , und . RV, Volume 12974 von Lecture Notes in Computer Science, Seite 142-163. Springer, (2021)