Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Edward Hermann Haeusler
Author information
- PUC-Rio
2010 – today
- 2011
[j22]Edward Hermann Haeusler, Luis Fariñas del Cerro: Preface. Electr. Notes Theor. Comput. Sci. 269: 1-2 (2011)- [j21]Valeria de Paiva, Edward Hermann Haeusler, Alexandre Rademaker: Constructive Description Logics Hybrid-Style. Electr. Notes Theor. Comput. Sci. 273: 21-31 (2011)
- [j20]Lew Gordeev, Edward Hermann Haeusler, Luiz Carlos Pereira: Propositional proof compressions and DNF logic. Logic Journal of the IGPL 19(1): 62-86 (2011)
- [c20]Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker: Intuitionistic Description Logic and Legal Reasoning. DEXA Workshops 2011: 345-349
- 2010
- [j19]Christiano Braga, Edward Hermann Haeusler: Lightweight analysis of access control models with description logic. ISSE 6(1-2): 115-123 (2010)
- [j18]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)
- [j17]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)
- [c19]Cécilia Englander, Edward Hermann Haeusler: On the 2-Categorical View of Proofs. ISoLA (1) 2010: 502-518
- [c18]Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker: Intuitionistic Logic and Legal Ontologies. JURIX 2010: 155-158
2000 – 2009
- 2009
- [j16]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)
- [j15]Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler: A Topos-Theoretic Approach to Counterfactual Logic. Electr. Notes Theor. Comput. Sci. 256: 33-47 (2009)
- [j14]Mauricio Ayala-Rincón, Edward Hermann Haeusler: Preface. Logic Journal of the IGPL 17(5): 487-488 (2009)
- [c17]Luiz Carlos Castro Guedes, Edward Hermann Haeusler: Action Algebras and Model Algebras in Denotational Semantics. Semantics and Algebraic Specification 2009: 227-249
- [c16]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
- 2008
- [j13]Mauricio Ayala-Rincón, Edward Hermann Haeusler: Preface. Electr. Notes Theor. Comput. Sci. 205: 1-3 (2008)
- [c15]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
- [c14]Isabel Cafezeiro, Edward Hermann Haeusler, Alexandre Rademaker: Ontology and Context. PerCom 2008: 417-422
- [c13]Alexandre Rademaker, Edward Hermann Haeusler: Toward Short and Structural -Reasoning Explanations: A Sequent Calculus Approach. SBIA 2008: 167-176
- 2007
- [j12]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)
- [j11]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)
- [j10]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)
- [j9]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)
- [c12]Isabel Cafezeiro, Edward Hermann Haeusler: Semantic Interoperability via Category Theory. ER (Tutorials, Posters, Panels & Industrial Contributions) 2007: 197-202
- [c11]Isabel Cafezeiro, Edward Hermann Haeusler: Algebraic Framework for Reverse Engineering on Specifications. LAPTEC 2007: 1-12
- 2006
- [c10]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
- [c9]Alexandre R. Duarte, Celso C. Ribeiro, Sebastián Urrutia, Edward Hermann Haeusler: Referee Assignment in Sports Leagues. PATAT 2006: 158-173
- 2005
- [j8]Christian Jacques Rentería, Edward Hermann Haeusler: A Natural Deduction System for Keisler's Quantification. Electr. Notes Theor. Comput. Sci. 123: 229-240 (2005)
- [j7]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)
- [c8]Marcelo da Silva Corrêa, Edward Hermann Haeusler: On the Selective Lambek Calculus. LACL 2005: 67-83
- [c7]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
- 2004
- [c6]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
- [c5]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
- [j6]Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler: Preface: WoLLIC 2002. Electr. Notes Theor. Comput. Sci. 67: 313-314 (2002)
- [j5]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)
- [c4]Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses: Mapping Modular SOS to Rewriting Logic. LOPSTR 2002: 262-277
- 2001
- [j4]Alex de V. Garcia, Edward Hermann Haeusler: Code migration and program maintainability A categorical perspective. Inf. Process. Lett. 79(5): 249-254 (2001)
- 2000
- [j3]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)
- [c3]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
1990 – 1999
- 1999
- [c2]Edward Hermann Haeusler, Marcus Felipe M. C. Da Fontoura: Using transition systems to formalize a pattern for time dependable applications. WORDS (Jan.) 1999: 216-227
- 1997
- [j2]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
- [c1]Luiz Carlos Castro Guedes, Edward Hermann Haeusler, José Lucas Rangel: Object Oriented Semantics Directed Compiler Generation: A Prototype. TAPSOFT 1995: 807-808
- 1993
- [j1]Luiz Carlos Pereira, Edward Hermann Haeusler: A Formalization of Sambin's Normalization for GL. Math. Log. Q. 39: 133-142 (1993)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 21:19 CET by the dblp team