( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Transformation of structure-shy programs: applied to XPath queries and strategic functions.

, и . PEPM, стр. 11-20. ACM, (2007)

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.

Valeriana Cunha

Silvio Luiz Souza Cunha

Rosa Cunha-Henckel

Paulo Miguel Fernandes Cunha

Cristiano José Castro Almeida Cunha

 

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

Coupled Schema Transformation and Data Conversion for XML and SQL., , , и . PADL, том 4354 из Lecture Notes in Computer Science, стр. 290-304. Springer, (2007)Resource Allocation on Agent Meta-Societies., и . EPIA, том 1323 из Lecture Notes in Computer Science, стр. 343-348. Springer, (1997)Experiences on Teaching Alloy with an Automated Assessment Platform., , , , , , , и . ABZ, том 12071 из Lecture Notes in Computer Science, стр. 61-77. Springer, (2020)Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum., и . ABZ, том 10817 из Lecture Notes in Computer Science, стр. 307-321. Springer, (2018)Verification of system-wide safety properties of ROS applications., , , и . IROS, стр. 7249-7254. IEEE, (2020)Implementing QVT-R Bidirectional Model Transformations Using Alloy., и . FASE, том 7793 из Lecture Notes in Computer Science, стр. 297-311. Springer, (2013)Quantitative relational modelling with QAlloy., , , и . ESEC/SIGSOFT FSE, стр. 885-896. ACM, (2022)Pardinus: A Temporal Relational Model Finder., , , и . J. Autom. Reason., 66 (4): 861-904 (2022)Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation)., , , и . SAT, том 7317 из Lecture Notes in Computer Science, стр. 493-495. Springer, (2012)Transformation of structure-shy programs: applied to XPath queries and strategic functions., и . PEPM, стр. 11-20. ACM, (2007)