Edward Hermann Haeusler

2008
27	EE	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	EE	Isabel Cafezeiro, Edward Hermann Haeusler, Alexandre Rademaker: Ontology and Context. PerCom 2008: 417-422
25	EE	Alexandre Rademaker, Edward Hermann Haeusler: Toward Short and Structural -Reasoning Explanations: A Sequent Calculus Approach. SBIA 2008: 167-176
24	EE	Mauricio Ayala-Rincón, Edward Hermann Haeusler: Preface. Electr. Notes Theor. Comput. Sci. 205: 1-3 (2008)
2007
23	EE	Isabel Cafezeiro, Edward Hermann Haeusler: Semantic Interoperability via Category Theory. ER (Tutorials, Posters, Panels & Industrial Contributions) 2007: 197-202
22	EE	Isabel Cafezeiro, Edward Hermann Haeusler: Algebraic Framework for Reverse Engineering on Specifications. LAPTEC 2007: 1-12
21	EE	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	EE	Vaston 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	EE	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	EE	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	EE	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	EE	Alexandre R. Duarte, Celso C. Ribeiro, Sebastián Urrutia, Edward Hermann Haeusler: Referee Assignment in Sports Leagues. PATAT 2006: 158-173
2005
15	EE	Marcelo da Silva Corrêa, Edward Hermann Haeusler: On the Selective Lambek Calculus. LACL 2005: 67-83
14	EE	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	EE	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	EE	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	EE	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	EE	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	EE	Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses: Mapping Modular SOS to Rewriting Logic. LOPSTR 2002: 262-277
8	EE	Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler: Preface: WoLLIC 2002 Electr. Notes Theor. Comput. Sci. 67: (2002)
7	EE	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	EE	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	EE	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 Costa	[20]
11	Alexandre R. Duarte	[16]
12	Markus Endler	[21] [27]
13	Aluízio Haendchen Filho	[10] [11]
14	José Viterbo Filho	[27]
15	Alex de V. Garcia	[6]
16	Luiz Carlos Castro Guedes	[2]
17	Eduardo Sany Laber	[20]
18	Alfio Martini	[18]
19	José Meseguer	[5] [9]
20	Peter D. Mosses	[5] [9]
21	Loana Tito Nogueira	[20]
22	Luiz Carlos Pereira	[1] [7] [8]
23	Ruy J. G. B. de Queiroz	[7] [8]
24	Alexandre Rademaker	[17] [25] [26] [27]
25	José Lucas Rangel	[2]
26	Christian Jacques Rentería	[13]
27	Celso C. Ribeiro	[16]
28	Geiza Maria Hamazaki da Silva	[12] [17]
29	Arndt von Staa	[10] [11]
30	Sebastián Urrutia	[16]
31	D. R. Vasconcelos	[14]
32	Paulo A. S. Veloso	[12]
33	Uwe Wolter	[18]

Colors in the list of coauthors