The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Ángel Herranz-Nieva: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ángel Herranz-Nieva, Juan José Moreno-Navarro
    Generation of and Debugging with Logical Pre and Post-Conditions. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 2000, pp:- [Conf]
  2. Juan José Moreno-Navarro, Julio Mariño, A. del Pozo-Pietro, Ángel Herranz-Nieva, Julio García-Martín
    Adding Type Classes to Functional-Logic Languages. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:427-438 [Conf]
  3. Ángel Herranz-Nieva, Juan José Moreno-Navarro
    Towards Automating the Iterative Rapid Prototyping Process with the SLAM system. [Citation Graph (0, 0)][DBLP]
    JISBD, 2000, pp:217-228 [Conf]
  4. Ángel Herranz-Nieva, Juan José Moreno-Navarro
    Rapid Prototyping and Incremental Evolution Using SLAM. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 2003, pp:201-0 [Conf]
  5. Manuel Carro, Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
    Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns. [Citation Graph (0, 0)][DBLP]
    TFM, 2004, pp:85-106 [Conf]
  6. Ángel Herranz-Nieva, Juan José Moreno-Navarro
    On the Role of Functional-logic Languages for the Debugging of Imperative Programs. [Citation Graph (0, 0)][DBLP]
    WFLP, 2000, pp:23-41 [Conf]
  7. Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
    Partial Predicates for Demand Analysis. [Citation Graph (0, 0)][DBLP]
    WFLP, 2000, pp:324-339 [Conf]
  8. Ángel Herranz-Nieva, Juan José Moreno-Navarro
    Formal Extreme (and Extremely Formal) Programming. [Citation Graph (0, 0)][DBLP]
    XP, 2003, pp:88-96 [Conf]
  9. Ángel Herranz-Nieva, Juan José Moreno-Navarro, N. Maya
    Declarative Reflection and its Application as a Pattern Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
  10. Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
    Demand Analysis with Partial Predicates [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  11. Automatic Coding Rule Conformance Checking Using Logic Programming. [Citation Graph (, )][DBLP]


  12. Modeling Concurrent Systems with Shared Resources. [Citation Graph (, )][DBLP]


  13. Automatic Coding Rule Conformance Checking Using Logic Programs [Citation Graph (, )][DBLP]


  14. A Coding Rule Conformance Checker Integrated into GCC. [Citation Graph (, )][DBLP]


Search in 0.001secs, Finished in 0.002secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002