( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Rule-based verification of Web sites.

, , и . Int. J. Softw. Tools Technol. Transf., 8 (6): 565-585 (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.

Anja Ballis

Klaus Demisch

Reinhard Demisch

Sibylle Demisch

Tamene Adugna Demissie

 

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

Rewriting-based repairing strategies for XML repositories., , , , и . J. Log. Algebraic Methods Program., 82 (8): 326-352 (2013)Specification and Verification of Web Applications in Rewriting Logic., , и . FM, том 5850 из Lecture Notes in Computer Science, стр. 790-805. Springer, (2009)Automated Verification of Web Sites Using Partial Rewriting., , и . ISoLA (Preliminary proceedings), том TR-2004-6 из Technical Report, стр. 81-88. Department of Computer Science, University of Cyprus, (2004)Quantitative Pathway Logic for Computational Biology., , и . CMSB, том 5688 из Lecture Notes in Computer Science, стр. 68-82. Springer, (2009)A fold/unfold transformation framework for rewrite theories extended to CCT., , , и . PEPM, стр. 43-52. ACM, (2010)A Fast Algebraic Web Verification Service., , , , и . RR, том 4524 из Lecture Notes in Computer Science, стр. 239-248. Springer, (2007)Verdi: An Automated Tool for Web Sites Verification., , и . JELIA, том 3229 из Lecture Notes in Computer Science, стр. 726-729. Springer, (2004)Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis., , , и . Logic, Rewriting, and Concurrency, том 9200 из Lecture Notes in Computer Science, стр. 72-96. Springer, (2015)Julienne: A Trace Slicer for Conditional Rewrite Theories., , , и . FM, том 7436 из Lecture Notes in Computer Science, стр. 28-32. Springer, (2012)Rule-based.. University of Udine, Italy, (2005)