Edward Hermann Haeusler

	2009
31		Edward Hermann Haeusler, Alexandre Rademaker: Is It Important to Explain a Theorem? A Case Study on UML and ALCQI\mathcal{ALCQI}. ER Workshops 2009: 34-44
30		Luiz Carlos Castro Guedes, Edward Hermann Haeusler: Action Algebras and Model Algebras in Denotational Semantics. Semantics and Algebraic Specification 2009: 227-249
29		Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler: A Topos-Theoretic Approach to Counterfactual Logic. Electr. Notes Theor. Comput. Sci. 256: 33-47 (2009)
28		Vaston G. Costa, Wagner Sanz, Edward Hermann Haeusler, Luiz Carlos Pereira: Peirce's Rule in a Full Natural Deduction System. Electr. Notes Theor. Comput. Sci. 256: 5-18 (2009)
	2008
27		Isabel Cafezeiro, José Viterbo Filho, Alexandre Rademaker, Edward Hermann Haeusler, Markus Endler: A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing. ISoLA 2008: 519-533
26		Isabel Cafezeiro, Edward Hermann Haeusler, Alexandre Rademaker: Ontology and Context. PerCom 2008: 417-422
25		Alexandre Rademaker, Edward Hermann Haeusler: Toward Short and Structural -Reasoning Explanations: A Sequent Calculus Approach. SBIA 2008: 167-176
24		Mauricio Ayala-Rincón, Edward Hermann Haeusler: Preface. Electr. Notes Theor. Comput. Sci. 205: 1-3 (2008)
	2007
23		Isabel Cafezeiro, Edward Hermann Haeusler: Semantic Interoperability via Category Theory. ER (Tutorials, Posters, Panels & Industrial Contributions) 2007: 197-202
22		Isabel Cafezeiro, Edward Hermann Haeusler: Algebraic Framework for Reverse Engineering on Specifications. LAPTEC 2007: 1-12
21		Carlos Bazílio, Edward Hermann Haeusler, Markus Endler: Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems. Electr. Notes Theor. Comput. Sci. 184: 189-207 (2007)
20		Vaston G. Costa, Edward Hermann Haeusler, Eduardo Sany Laber, Loana Tito Nogueira: A note on the size of minimal covers. Inf. Process. Lett. 102(2-3): 124-126 (2007)
19		Fernando Náufel do Amaral, Edward Hermann Haeusler: Using the Internal Logic of a Topos to Model Search Spaces for Problems. Logic Journal of the IGPL 15(5-6): 457-474 (2007)
18		Alfio Martini, Uwe Wolter, Edward Hermann Haeusler: Fibred and Indexed Categories for Abstract Model Theory. Logic Journal of the IGPL 15(5-6): 707-739 (2007)
	2006
17		Fernando Náufel do Amaral, Carlos Bazílio, Geiza Maria Hamazaki da Silva, Alexandre Rademaker, Edward Hermann Haeusler: An Ontology-based Approach to the Formalization of Information Security Policies. EDOC Workshops 2006: 1
16		Alexandre R. Duarte, Celso C. Ribeiro, Sebastián Urrutia, Edward Hermann Haeusler: Referee Assignment in Sports Leagues. PATAT 2006: 158-173
	2005
15		Marcelo da Silva Corrêa, Edward Hermann Haeusler: On the Selective Lambek Calculus. LACL 2005: 67-83
14		D. R. Vasconcelos, Edward Hermann Haeusler, Mario R. F. Benevides: Defining Agents Via Strategies: Towards a View of MAS as Games. WRAC 2005: 299-311
13		Christian Jacques Rentería, Edward Hermann Haeusler: A Natural Deduction System for Keisler's Quantification. Electr. Notes Theor. Comput. Sci. 123: 229-240 (2005)
12		Geiza Maria Hamazaki da Silva, Edward Hermann Haeusler, Paulo A. S. Veloso: Exploring Computational Contents of Intuitionist Proofs. Logic Journal of the IGPL 13(1): 69-93 (2005)
	2004
11		Aluízio Haendchen Filho, Nuno Caminada, Edward Hermann Haeusler, Arndt von Staa: Facilitating the Specification Capture and Transformation Process in the Development of Multi-agent Systems. FAABS 2004: 72-91
10		Karin Koogan Breitman, Aluízio Haendchen Filho, Edward Hermann Haeusler, Arndt von Staa: Using Ontologies to Formalize Services Specifications in Multi-agent Systems. FAABS 2004: 92-110
	2002
9		Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses: Mapping Modular SOS to Rewriting Logic. LOPSTR 2002: 262-277
8		Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler: Preface: WoLLIC 2002 Electr. Notes Theor. Comput. Sci. 67: (2002)
7		Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler: 9th Workshop on Logic, Language, Information and Computation. Logic Journal of the IGPL 10(6): 679-688 (2002)
	2001
6		Alex de V. Garcia, Edward Hermann Haeusler: Code migration and program maintainability A categorical perspective. Inf. Process. Lett. 79(5): 249-254 (2001)
	2000
5		Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses: Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. AMAST 2000: 407-421
4		Fernando Náufel do Amaral, Edward Hermann Haeusler: A logic-based approach for real-time object-oriented software development. RITA 7(1): 69-88 (2000)
	1997
3		Edward Hermann Haeusler, Marcelo da Silva Corrêa: A Concrete Categorical Model for the Lambek Syntactic Calculus. Math. Log. Q. 43: 49-59 (1997)
	1995
2		Luiz Carlos Castro Guedes, Edward Hermann Haeusler, José Lucas Rangel: Object Oriented Semantics Directed Compiler Generation: A Prototype. TAPSOFT 1995: 807-808
	1993
1		Luiz Carlos Pereira, Edward Hermann Haeusler: A Formalization of Sambin's Normalization for GL. Math. Log. Q. 39: 133-142 (1993)

Coauthor Index

1	Fernando Náufel do Amaral	[4] [17] [19]
2	Mauricio Ayala-Rincón	[24]
3	Carlos Bazílio	[17] [21]
4	Mario R. F. Benevides	[14]
5	Christiano Braga (Christiano de O. Braga)	[5] [9]
6	Karin Koogan Breitman (Karin Breitman)	[10]
7	Isabel Cafezeiro	[22] [23] [26] [27]
8	Nuno Caminada	[11]
9	Marcelo da Silva Corrêa	[3] [15]
10	Vaston G. Costa	[20] [28]
11	Alexandre R. Duarte	[16]
12	Markus Endler	[21] [27]
13	Ricardo Queiroz de Araujo Fernandes	[29]
14	Aluízio Haendchen Filho	[10] [11]
15	José Viterbo Filho	[27]
16	Alex de V. Garcia	[6]
17	Luiz Carlos Castro Guedes	[2] [30]
18	Eduardo Sany Laber	[20]
19	Alfio Martini	[18]
20	José Meseguer	[5] [9]
21	Peter D. Mosses	[5] [9]
22	Loana Tito Nogueira	[20]
23	Luiz Carlos Pereira	[1] [7] [8] [28]
24	Ruy J. G. B. de Queiroz	[7] [8]
25	Alexandre Rademaker	[17] [25] [26] [27] [31]
26	José Lucas Rangel	[2]
27	Christian Jacques Rentería	[13]
28	Celso C. Ribeiro	[16]
29	Wagner Sanz	[28]
30	Geiza Maria Hamazaki da Silva	[12] [17]
31	Arndt von Staa	[10] [11]
32	Sebastián Urrutia	[16]
33	D. R. Vasconcelos	[14]
34	Paulo A. S. Veloso	[12]
35	Uwe Wolter	[18]

Colors in the list of coauthors