( en | de | ru )

 

Disambiguation of "Ballis, Demis"

Author of the publication

copydeleteadd this publication to your clipboard
ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance.

, , , , and . JELIA, volume 11468 of Lecture Notes in Computer Science, page 171-181. Springer, (2019)

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

Static correction of Maude programs with assertions., , and . J. Syst. Softw., (2019)Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne., , , and . ESOP, volume 7792 of Lecture Notes in Computer Science, page 121-124. Springer, (2013)Inferring Safe Maude Programs with ÁTAME., , and . ICMS, volume 10931 of Lecture Notes in Computer Science, page 1-10. Springer, (2018)Foreword., and . J. Symb. Comput., 46 (2): 93-94 (2011)Rule-based verification of Web sites., , and . Int. J. Softw. Tools Technol. Transf., 8 (6): 565-585 (2006)Parametric Exploration of Rewriting Logic Computations., , , and . SCSS, volume 15 of EPiC Series in Computing, page 4-18. EasyChair, (2013)Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way)., , , and . Specification, Algebra, and Software, volume 8373 of Lecture Notes in Computer Science, page 229-255. Springer, (2014)Optimizing Maude Programs via Program Specialization., , , , and . Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, volume 13160 of Lecture Notes in Computer Science, page 21-50. Springer, (2023)Backward Trace Slicing for Rewriting Logic Theories., , , and . CADE, volume 6803 of Lecture Notes in Computer Science, page 34-48. Springer, (2011)Transformation and Debugging of Functional Logic Programs., , and . 25 Years GULP, volume 6125 of Lecture Notes in Computer Science, Springer, (2010)