( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Finite-time stability of discrete-time systems.

, , , и . ACC, стр. 5pp.. IEEE, (2004)

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.

Paris Carbone

Martim Carbone

Gerardina Carbone

Elena Carbone

Johannes Marcour

 

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

Multiparty Classical Choreographies., , , и . LOPSTR, том 11408 из Lecture Notes in Computer Science, стр. 59-76. Springer, (2018)Multiparty asynchronous session types., , и . POPL, стр. 273-284. ACM, (2008)Finite-time stability of discrete-time systems., , , и . ACC, стр. 5pp.. IEEE, (2004)Security Protocols as Choreographies., , , , и . Protocols, Strands, and Logic, том 13066 из Lecture Notes in Computer Science, стр. 98-111. Springer, (2021)Finite-Time Output Feedback Control of Linear Systems via Differential Linear Matrix Conditions., , , и . CDC, стр. 5371-5375. IEEE, (2006)Web Services, Mobile Processes and Types., , и . Bull. EATCS, (2007)Choreographies, Logically., , и . CONCUR, том 8704 из Lecture Notes in Computer Science, стр. 47-62. Springer, (2014)Structured Communication-Centred Programming for Web Services., , и . ESOP, том 4421 из Lecture Notes in Computer Science, стр. 2-17. Springer, (2007)A Probabilistic Choreography Language for PRISM., и . COORDINATION, том 14676 из Lecture Notes in Computer Science, стр. 20-37. Springer, (2024)A Sound and Complete Projection for Global Types., , и . ITP, том 268 из LIPIcs, стр. 28:1-28:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)