dblp.uni-trier.dewww.uni-trier.de

Armando Martin Haeberer Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2001
15 Armando Martin Haeberer, T. S. E. Maibaum: Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering. ICSE 2001: 463-472
1999
14 Armando Martin Haeberer: Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings Springer 1999
1998
13EEArmando Martin Haeberer, T. S. E. Maibaum: The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm. ASE 1998: 260-271
12 Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer: A calculus for program construction based on fork algebras, generic algorithms and design strategies. RelMiCS 1998: 75-79
11EEMarcelo F. Frias, Armando Martin Haeberer: Editorial. Logic Journal of the IGPL 6(2): 151-156 (1998)
10EEMarcelo F. Frias, Gabriel Baum, Armando Martin Haeberer: Representability and Program Construction within Fork Algebras. Logic Journal of the IGPL 6(2): 227-257 (1998)
1997
9 Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer: Representability and Program Construction within Fork Algebras (Part II). RelMiCS 1997: 351-358
8 Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer: Fork Algebras in Algebra, Logic and Computer Science. Fundam. Inform. 32(1): 1-25 (1997)
7EEMarcelo F. Frias, Armando Martin Haeberer, Paulo A. S. Veloso: A Finite Axiomatization for Fork Algebras. Logic Journal of the IGPL 5(3): (1997)
1996
6EEMarcelo F. Frias, Gabriel Baum, Armando Martin Haeberer: Adding Design Strategies to Fork Algebras. Ershov Memorial Conference 1996: 214-226
5EEGabriel 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. MFCS 1996: 180-191
1995
4EEAndre 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. TAPSOFT 1995: 797-798
1993
3 Rudolf Berghammer, Armando Martin Haeberer, Gunther Schmidt, Paulo A. S. Veloso: Comparing Two Different Approaches to Products in Abstract Relation Algebra. AMAST 1993: 167-176
2EEArmando Martin Haeberer, Gabriel Baum, Gunther Schmidt: On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers. Formal Methods in Programming and Their Applications 1993: 281-298
1973
1EEArmando Martin Haeberer: A Method for the Construction of Isomorphisms of the First "n" Natural Numbers onto a Set of Non-Abelian Words. SIGIR Forum 8(1): 20-25 (1973)

Coauthor Index

1Neudson C. Albuquerque [4]
2Gabriel Baum (Gabriel A. Baum) [2] [5] [6] [8] [9] [10] [12]
3Rudolf Berghammer [3]
4Marcelo F. Frias [4] [5] [6] [7] [8] [9] [10] [11] [12]
5Pablo E. Martínez López [5]
6T. S. E. Maibaum (Thomas Stephen Edward Maibaum) [13] [15]
7Claudio T. Prates [4]
8Andre J. Sampaio [4]
9Gunther Schmidt [2] [3]
10Cristina D. Ururahy [4]
11Paulo A. S. Veloso [3] [7]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)