The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Armando Martin Haeberer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Andre J. Sampaio, Armando Martin Haeberer, Claudio T. Prates, Cristina D. Ururahy, Marcelo F. Frias, Neudson C. Albuquerque
    PLATO: A Tool to Assist Programming as Term Rewriting and Therem Proving. [Citation Graph (1, 0)][DBLP]
    TAPSOFT, 1995, pp:797-798 [Conf]
  2. Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
    A calculus for program construction based on fork algebras, generic algorithms and design strategies. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 1998, pp:75-79 [Conf]
  3. Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
    Representability and Program Construction within Fork Algebras (Part II). [Citation Graph (0, 0)][DBLP]
    RelMiCS, 1997, pp:351-358 [Conf]
  4. Rudolf Berghammer, Armando Martin Haeberer, Gunther Schmidt, Paulo A. S. Veloso
    Comparing Two Different Approaches to Products in Abstract Relation Algebra. [Citation Graph (0, 0)][DBLP]
    AMAST, 1993, pp:167-176 [Conf]
  5. Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
    Adding Design Strategies to Fork Algebras. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1996, pp:214-226 [Conf]
  6. Armando Martin Haeberer, Gabriel Baum, Gunther Schmidt
    On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:281-298 [Conf]
  7. Armando Martin Haeberer, T. S. E. Maibaum
    Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:463-472 [Conf]
  8. Armando Martin Haeberer, T. S. E. Maibaum
    The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:260-271 [Conf]
  9. Gabriel Baum, Marcelo F. Frias, Armando Martin Haeberer, Pablo E. Martínez López
    From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap. [Citation Graph (0, 0)][DBLP]
    MFCS, 1996, pp:180-191 [Conf]
  10. Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
    Fork Algebras in Algebra, Logic and Computer Science. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1997, v:32, n:1, pp:1-25 [Journal]
  11. Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
    Representability and Program Construction within Fork Algebras. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1998, v:6, n:2, pp:227-257 [Journal]
  12. Marcelo F. Frias, Armando Martin Haeberer
    Editorial. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1998, v:6, n:2, pp:151-156 [Journal]
  13. Marcelo F. Frias, Armando Martin Haeberer, Paulo A. S. Veloso
    A Finite Axiomatization for Fork Algebras. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1997, v:5, n:3, pp:- [Journal]
  14. Armando Martin Haeberer
    A Method for the Construction of Isomorphisms of the First "n" Natural Numbers onto a Set of Non-Abelian Words. [Citation Graph (0, 0)][DBLP]
    SIGIR Forum, 1973, v:8, n:1, pp:20-25 [Journal]

Search in 0.003secs, Finished in 0.005secs
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