The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Demis Ballis: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas
    Abstract Correction of OBJ-like Programs. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 2003, pp:422-433 [Conf]
  2. María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi
    Correction of Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:54-68 [Conf]
  3. María Alpuente, Demis Ballis, Moreno Falaschi
    Verdi: An Automated Tool for Web Sites Verification. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:726-729 [Conf]
  4. María Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero
    A Semi-Automatic Methodology for Repairing FaultyWeb Sites. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:31-40 [Conf]
  5. Demis Ballis, Javier García-Vivó
    A Rewriting-based system for Web site Verification. [Citation Graph (0, 0)][DBLP]
    WWV, 2005, pp:153-156 [Conf]
  6. María Alpuente, Demis Ballis, Moreno Falaschi
    A Rewriting-based Framework for Web Sites Verification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:124, n:1, pp:41-61 [Journal]
  7. María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas
    Abstract correction of first-order functional programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:3, pp:- [Journal]
  8. Demis Ballis, Moreno Falaschi, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana
    Cost-sensitive diagnosis of declarative programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:3, pp:- [Journal]
  9. Demis Ballis, Javier García-Vivó
    A Rule-based System for Web site Verification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:157, n:2, pp:11-17 [Journal]
  10. María Alpuente, Demis Ballis, Moreno Falaschi
    Rule-based verification of Web sites. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:6, pp:565-585 [Journal]
  11. María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero
    A Fast Algebraic Web Verification Service. [Citation Graph (0, 0)][DBLP]
    RR, 2007, pp:239-248 [Conf]

  12. Transformation and Debugging of Functional Logic Programs. [Citation Graph (, )][DBLP]


  13. Model-Checking Web Applications with Web-TLR. [Citation Graph (, )][DBLP]


  14. Quantitative Pathway Logic for Computational Biology. [Citation Graph (, )][DBLP]


  15. Semantic Verification of Web System Contents. [Citation Graph (, )][DBLP]


  16. Specification and Verification of Web Applications in Rewriting Logic. [Citation Graph (, )][DBLP]


  17. Automated Verification of Web Sites Using Partial Rewriting. [Citation Graph (, )][DBLP]


  18. A Minimalist Visual Notation for Design Patterns and Antipatterns. [Citation Graph (, )][DBLP]


  19. A fold/unfold transformation framework for rewrite theories extended to CCT. [Citation Graph (, )][DBLP]


  20. An Abstract Generic Framework for Web Site Verification. [Citation Graph (, )][DBLP]


  21. XML Semantic Filtering via Ontology Reasoning. [Citation Graph (, )][DBLP]


  22. Preface. [Citation Graph (, )][DBLP]


  23. Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents. [Citation Graph (, )][DBLP]


  24. A Rule-based Method to Match Software Patterns Against UML Models. [Citation Graph (, )][DBLP]


  25. Preface. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002