( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the Expressiveness of MTL with Past Operators.

, и . FORMATS, том 4202 из Lecture Notes in Computer Science, стр. 322-336. Springer, (2006)

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.

Dany D'Souza

An fMRI study of chromatic processing in humans: spatial and temporal characteristics of the cortical visual areas. Uni Göttingen, (2009)

Lawrence D'Souza

Christopher D'Souza

Rochelle D'souza

Marcus D'Souza

 

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

Java memory model aware software validation., , и . PASTE, стр. 8-14. ACM, (2008)Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates., и . ECOOP, том 7313 из Lecture Notes in Computer Science, стр. 665-687. Springer, (2012)Verifying Band Convergence for Sampled Control Systems., , , , и . NFM, том 12229 из Lecture Notes in Computer Science, стр. 329-349. Springer, (2020)RATCOP: Relational Analysis Tool for Concurrent Programs., , , , и . Haifa Verification Conference, том 10629 из Lecture Notes in Computer Science, стр. 229-233. Springer, (2017)A Logical Characterisation of Event Recording Automata.. FTRTFT, том 1926 из Lecture Notes in Computer Science, стр. 240-251. Springer, (2000)Conflict-Tolerant Features., и . CAV, том 5123 из Lecture Notes in Computer Science, стр. 227-239. Springer, (2008)Detecting All High-Level Dataraces in an RTOS Kernel., , и . VMCAI, том 10145 из Lecture Notes in Computer Science, стр. 405-423. Springer, (2017)Computing Complete Test Graphs for Hierarchical Systems., и . SEFM, стр. 70-79. IEEE Computer Society, (2006)Maximal Quantified Precondition Synthesis for Linear Array Loops., , и . ESOP (2), том 14577 из Lecture Notes in Computer Science, стр. 245-274. Springer, (2024)A Compositional Hierarchical Monitoring Automaton Construction for LTL., и . ICTAC, том 7521 из Lecture Notes in Computer Science, стр. 16-29. Springer, (2012)