The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Demis Ballis" ( http://dblp.L3S.de/Authors/Demis_Ballis )

  Author page on DBLP  Author page in RDF  Community of Demis Ballis in ASPL-2

Publication years (Num. hits)
2003-2008 (19) 2009-2012 (15) 2013-2019 (16)
Publication types (Num. hits)
article(22) incollection(1) inproceedings(27)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords

Results
Found 51 publication records. Showing 50 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña Symbolic Analysis of Maude Theories with Narval. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1María Alpuente, Demis Ballis, Julia Sapiña Static correction of Maude programs with assertions. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Julia Sapiña, Demis Ballis Symbolic Analysis of Maude Theories with Narval. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Julia Sapiña Inferring Safe Maude Programs with ÁTAME. Search on Bibsonomy ICMS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña Debugging Maude programs via runtime assertion checking and trace slicing. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña Assertion-based Analysis via Slicing with ABETS (System Description). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1María Alpuente, Francisco Frechina, Julia Sapiña, Demis Ballis Assertion-based analysis via slicing with ABETS. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña Exploring conditional rewriting logic computations. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis. Search on Bibsonomy Logic, Rewriting, and Concurrency The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Daniel Romero 0001 A rewriting logic approach to the formal specification and verification of web applications. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero 0001 Using conditional trace slicing for improving Maude programs. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way). Search on Bibsonomy Specification, Algebra, and Software The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Moreno Falaschi, Francisco Frechina, Daniel Romero 0001 Rewriting-based repairing strategies for XML repositories. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña Parametric Exploration of Rewriting Logic Computations. Search on Bibsonomy SCSS The full citation details ... 2013 DBLP  BibTeX  RDF
1María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne. Search on Bibsonomy ESOP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero 0001 Backward Trace Slicing for Conditional Rewrite Theories. Search on Bibsonomy LPAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero 0001 Julienne: A Trace Slicer for Conditional Rewrite Theories. Search on Bibsonomy FM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Javier Espert, Daniel Romero 0001 Dynamic Backward Slicing of Rewriting Logic Computations Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1María Alpuente, Demis Ballis, Javier Espert, Francisco Frechina, Daniel Romero 0001 Debugging of Web Applications with Web-TLR Search on Bibsonomy WWV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Demis Ballis, Temur Kutsia Foreword. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Javier Espert, Daniel Romero 0001 Backward Trace Slicing for Rewriting Logic Theories. Search on Bibsonomy CADE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi An integrated framework for the diagnosis and correction of rule-based programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Moreno Falaschi Transformation and Debugging of Functional Logic Programs. Search on Bibsonomy 25 Years GULP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi A fold/unfold transformation framework for rewrite theories extended to CCT. Search on Bibsonomy PEPM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF code carrying theory, fold/unfold transformation, rewriting logic
1María Alpuente, Demis Ballis, Javier Espert, Daniel Romero 0001 Model-Checking Web Applications with Web-TLR. Search on Bibsonomy ATVA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michele Baggi, Demis Ballis, Moreno Falaschi An Access Control Language Based on Term Rewriting and Description Logic. Search on Bibsonomy WFLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1María Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis Completeness of Unfolding for Rewriting Logic Theories. Search on Bibsonomy SYNASC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Demis Ballis, Santiago Escobar Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Daniel Romero 0001 Specification and Verification of Web Applications in Rewriting Logic. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Michele Baggi, Demis Ballis, Moreno Falaschi Quantitative Pathway Logic for Computational Biology. Search on Bibsonomy CMSB The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Demis Ballis, Andrea Baruzzo, Marco Comini A Rule-based Method to Match Software Patterns Against UML Models. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Demis Ballis, Santiago Escobar, Massimo Marchiori Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michele Baggi, Demis Ballis Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1María Alpuente, Michele Baggi, Demis Ballis, Moreno Falaschi Semantic Verification of Web System Contents. Search on Bibsonomy ER Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Demis Ballis, Andrea Baruzzo, Marco Comini A Minimalist Visual Notation for Design Patterns and Antipatterns. Search on Bibsonomy ITNG The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1María Alpuente, Pedro Ojeda, Daniel Romero 0001, Demis Ballis, Moreno Falaschi An Abstract Generic Framework for Web Site Verification. Search on Bibsonomy SAINT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Abstrac interpretation, web verification, rewriting
1Michele Baggi, Moreno Falaschi, Demis Ballis XML Semantic Filtering via Ontology Reasoning. Search on Bibsonomy ICIW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF XML semantic filtering, query language, ontology reasoning
1María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero 0001 A Fast Algebraic Web Verification Service. Search on Bibsonomy RR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Demis Ballis, Javier García-Vivó A Rule-based System for Web site Verification. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Moreno Falaschi Rule-based verification of Web sites. Search on Bibsonomy STTT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero 0001 A Semi-Automatic Methodology for Repairing FaultyWeb Sites. Search on Bibsonomy SEFM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Moreno Falaschi A Rewriting-based Framework for Web Sites Verification. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Demis Ballis, Javier García-Vivó A Rewriting-based system for Web site Verification. Search on Bibsonomy WWV The full citation details ... 2005 DBLP  BibTeX  RDF
1María Alpuente, Demis Ballis, Moreno Falaschi Automated Verification of Web Sites Using Partial Rewriting. Search on Bibsonomy ISoLA (Preliminary proceedings) The full citation details ... 2004 DBLP  BibTeX  RDF
1María Alpuente, Demis Ballis, Moreno Falaschi Verdi: An Automated Tool for Web Sites Verification. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas Abstract correction of first-order functional programs. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Demis Ballis, Moreno Falaschi, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana Cost-sensitive diagnosis of declarative programs. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas Abstract Correction of OBJ-like Programs. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi Correction of Functional Logic Programs. Search on Bibsonomy ESOP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #50 of 50 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license