Edward Hermann Haeusler

PUC-Rio

	2011
41		Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker: Intuitionistic Description Logic and Legal Reasoning. DEXA Workshops 2011: 345-349
40		Edward Hermann Haeusler, Luis Fariñas del Cerro: Preface. Electr. Notes Theor. Comput. Sci. 269: 1-2 (2011)
39		Valeria de Paiva, Edward Hermann Haeusler, Alexandre Rademaker: Constructive Description Logics Hybrid-Style. Electr. Notes Theor. Comput. Sci. 273: 21-31 (2011)
38		Lew Gordeev, Edward Hermann Haeusler, Luiz Carlos Pereira: Propositional proof compressions and DNF logic. Logic Journal of the IGPL 19(1): 62-86 (2011)
	2010
37		Cecilia Englander, Edward Hermann Haeusler: On the 2-Categorical View of Proofs. ISoLA (1) 2010: 502-518
36		Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker: Intuitionistic Logic and Legal Ontologies. JURIX 2010: 155-158
35		Christiano Braga, Edward Hermann Haeusler: Lightweight analysis of access control models with description logic. ISSE 6(1-2): 115-123 (2010)
34		Alexandre Rademaker, Edward Hermann Haeusler: Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and ALCQI Reasoning. J. UCS 16(20): 3016-3042 (2010)
33		Luiz Carlos Pereira, Edward Hermann Haeusler, Vaston G. Costa, Wagner Sanz: A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic. Studia Logica 96(1): 95-108 (2010)
	2009
32		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
31		Luiz Carlos Castro Guedes, Edward Hermann Haeusler: Action Algebras and Model Algebras in Denotational Semantics. Semantics and Algebraic Specification 2009: 227-249
30		Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler: A Topos-Theoretic Approach to Counterfactual Logic. Electr. Notes Theor. Comput. Sci. 256: 33-47 (2009)
29		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)
28		Mauricio Ayala-Rincón, Edward Hermann Haeusler: Preface. Logic Journal of the IGPL 17(5): 487-488 (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: 313-314 (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] [28]
3	Carlos Bazílio	[17] [21]
4	Mario R. F. Benevides	[14]
5	Christiano Braga (Christiano de O. Braga)	[5] [9] [35]
6	Karin Koogan Breitman (Karin Breitman)	[10]
7	Isabel Cafezeiro	[22] [23] [26] [27]
8	Nuno Caminada	[11]
9	Luis Fariñas del Cerro	[40]
10	Marcelo da Silva Corrêa	[3] [15]
11	Vaston G. Costa	[20] [29] [33]
12	Alexandre R. Duarte	[16]
13	Markus Endler	[21] [27]
14	Cecilia Englander	[37]
15	Ricardo Queiroz de Araujo Fernandes	[30]
16	Aluízio Haendchen Filho	[10] [11]
17	José Viterbo Filho	[27]
18	Alex de V. Garcia	[6]
19	Lew Gordeev	[38]
20	Luiz Carlos Castro Guedes	[2] [31]
21	Eduardo Sany Laber	[20]
22	Alfio Martini	[18]
23	José Meseguer	[5] [9]
24	Peter D. Mosses	[5] [9]
25	Loana Tito Nogueira	[20]
26	Valeria de Paiva	[36] [39] [41]
27	Luiz Carlos Pereira	[1] [7] [8] [29] [33] [38]
28	Ruy J. G. B. de Queiroz	[7] [8]
29	Alexandre Rademaker	[17] [25] [26] [27] [32] [34] [36] [39] [41]
30	José Lucas Rangel	[2]
31	Christian Jacques Rentería	[13]
32	Celso C. Ribeiro	[16]
33	Wagner Sanz	[29] [33]
34	Geiza Maria Hamazaki da Silva	[12] [17]
35	Arndt von Staa	[10] [11]
36	Sebastián Urrutia	[16]
37	D. R. Vasconcelos	[14]
38	Paulo A. S. Veloso	[12]
39	Uwe Wolter	[18]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page