( en | de | ru )

 

Disambiguation of "Ballis, Demis"

Author of the publication

copydeleteadd this publication to your clipboard
A Rule-based Method to Match Software Patterns Against UML Models.

, , and . RULE@RDP, volume 219 of Electronic Notes in Theoretical Computer Science, page 51-66. Elsevier, (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. You can also use the button next to the name to display some publications already assigned to the person.

Anja Ballis

Klaus Demisch

Reinhard Demisch

Sibylle Demisch

Tamene Adugna Demissie

 

Other publications of authors with the same name

Automated Verification of Web Sites Using Partial Rewriting., , and . ISoLA (Preliminary proceedings), volume TR-2004-6 of Technical Report, page 81-88. Department of Computer Science, University of Cyprus, (2004)Rewriting-based repairing strategies for XML repositories., , , , and . J. Log. Algebraic Methods Program., 82 (8): 326-352 (2013)Specification and Verification of Web Applications in Rewriting Logic., , and . FM, volume 5850 of Lecture Notes in Computer Science, page 790-805. Springer, (2009)Quantitative Pathway Logic for Computational Biology., , and . CMSB, volume 5688 of Lecture Notes in Computer Science, page 68-82. Springer, (2009)A fold/unfold transformation framework for rewrite theories extended to CCT., , , and . PEPM, page 43-52. ACM, (2010)A Fast Algebraic Web Verification Service., , , , and . RR, volume 4524 of Lecture Notes in Computer Science, page 239-248. Springer, (2007)Verdi: An Automated Tool for Web Sites Verification., , and . JELIA, volume 3229 of Lecture Notes in Computer Science, page 726-729. Springer, (2004)Abstract Correction of OBJ-like Programs., , , , and . APPIA-GULP-PRODE, page 422-433. (2003)Symbolic Specialization of Rewriting Logic Theories with Presto., , , and . Theory Pract. Log. Program., 22 (3): 444-495 (2022)Preface., , and . WWV, volume 200 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2007)