Demis Ballis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
13
Active years
2003–2022
Best venue rank
B
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | LOPSTR | Variant-Based Equational Anti-unification. | Mara Alpuente, Demis Ballis, Santiago Escobar, Julia Sapia |
| 2019 | JELIA | ACUOS | Mara Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar, Jos Meseguer |
| 2013 | ESOP | Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne. | Mara Alpuente, Demis Ballis, Francisco Frechina, Julia Sapia |
| 2012 | FM | Julienne: A Trace Slicer for Conditional Rewrite Theories. | Mara Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero |
| 2012 | LPAR | Backward Trace Slicing for Conditional Rewrite Theories. | Mara Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero |
| 2011 | CADE | Backward Trace Slicing for Rewriting Logic Theories. | Mara Alpuente, Demis Ballis, Javier Espert, Daniel Romero |
| 2010 | ATVA | Model-Checking Web Applications with Web-TLR. | Mara Alpuente, Demis Ballis, Javier Espert, Daniel Romero |
| 2010 | PEPM | A fold/unfold transformation framework for rewrite theories extended to CCT. | Mara Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi |
| 2010 | SYNASC | Completeness of Unfolding for Rewriting Logic Theories. | Mara Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis |
| 2009 | FM | Specification and Verification of Web Applications in Rewriting Logic. | Mara Alpuente, Demis Ballis, Daniel Romero |
| 2008 | ER | Semantic Verification of Web System Contents. | Mara Alpuente, Michele Baggi, Demis Ballis, Moreno Falaschi |
| 2008 | ICIW | XML Semantic Filtering via Ontology Reasoning. | Michele Baggi, Moreno Falaschi, Demis Ballis |
| 2006 | SEFM | A Semi-Automatic Methodology for Repairing FaultyWeb Sites. | Mara Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero |
| 2004 | ISoLA | Automated Verification of Web Sites Using Partial Rewriting. | Mara Alpuente, Demis Ballis, Moreno Falaschi |
| 2004 | JELIA | Verdi: An Automated Tool for Web Sites Verification. | Mara Alpuente, Demis Ballis, Moreno Falaschi |
| 2003 | ESOP | Correction of Functional Logic Programs. | Mara Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi |