( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Synchronization Schemas.

, , , , , , , , и . PODS, стр. 1-18. ACM, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Konstantinos Siantidis

Konstantinos Tsaknakis

Konstantinos Donas

Konstantinos Rizas

Konstantinos Paraschakis

 

Другие публикации лиц с тем же именем

Work-in-Progress: Towards a Theory of Robust Quantitative Semantics for Signal Temporal Logic., , , и . EMSOFT, стр. 11-12. IEEE, (2022)Software-hardware codesign for efficient in-memory regular pattern matching., , , , , , и . PLDI, стр. 733-748. ACM, (2022)Kleene Algebra with Equations., и . ICALP (2), том 8573 из Lecture Notes in Computer Science, стр. 280-292. Springer, (2014)Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias., , , , и . MT@CPSWeek, стр. 1-2. IEEE, (2018)Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism.. FoSSaCS, том 9034 из Lecture Notes in Computer Science, стр. 25-40. Springer, (2015)Probabilistic NetKAT., , , , и . ESOP, том 9632 из Lecture Notes in Computer Science, стр. 282-309. Springer, (2016)Data-trace types for distributed stream processing systems., , , , и . PLDI, стр. 670-685. ACM, (2019)Streamable regular transductions., , , , и . Theor. Comput. Sci., (2020)Efficient Algorithms for the Uniform Tokenization Problem., и . Proc. ACM Program. Lang., 9 (OOPSLA1): 1492-1518 (2025)Synchronization Schemas., , , , , , , , и . PODS, стр. 1-18. ACM, (2021)