Demis Ballis

From MaRDI portal
Revision as of 01:46, 12 December 2023 by AuthorDisambiguator (talk | contribs) (AuthorDisambiguator moved page Demis Ballis to Demis Ballis: Duplicate)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:739627

Available identifiers

zbMath Open ballis.demisMaRDI QIDQ739627

List of research outcomes





PublicationDate of PublicationType
Symbolic Specialization of Rewriting Logic Theories with Presto2023-12-12Paper
Optimizing Maude programs via program specialization2023-08-17Paper
Variant-based equational anti-unification2023-06-02Paper
Safety enforcement via programmable strategies in Maude2023-03-20Paper
Optimization of rewrite theories by equational partial evaluation2021-11-24Paper
Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system2020-10-30Paper
Symbolic Analysis of Maude Theories with Narval2020-05-04Paper
\({\mathsf{ACUOS}}^\mathbf{2}\): a high-performance system for modular ACU generalization with subtyping and inheritance2020-02-18Paper
Inferring safe Maude programs with ÁTAME2018-08-17Paper
Assertion-based analysis via slicing withABETS(system description)2017-11-09Paper
Debugging Maude programs via runtime assertion checking and trace slicing2016-08-18Paper
Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis2015-09-14Paper
Exploring conditional rewriting logic computations2015-01-14Paper
A Rule-based Method to Match Software Patterns Against UML Models2014-05-13Paper
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way)2014-03-25Paper
Rewriting-based repairing strategies for XML repositories2014-02-25Paper
https://portal.mardi4nfdi.de/entity/Q28440582013-08-27Paper
https://portal.mardi4nfdi.de/entity/Q28440592013-08-27Paper
Backward Trace Slicing for Conditional Rewrite Theories2012-06-15Paper
Backward Trace Slicing for Rewriting Logic Theories2011-07-29Paper
An Access Control Language Based on Term Rewriting and Description Logic2011-05-27Paper
An integrated framework for the diagnosis and correction of rule-based programs2010-11-11Paper
Transformation and Debugging of Functional Logic Programs2010-07-20Paper
https://portal.mardi4nfdi.de/entity/Q44178822003-07-30Paper

Research outcomes over time

This page was built for person: Demis Ballis

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:739627&oldid=10823333"
Powered by MediaWiki