Use the search to find what you want
| Author | Title | Year | Journal/Proceedings | Reftype | DOI/URL |
|---|---|---|---|---|---|
| do Amaral, F. and Haeusler, E. | Completeness of an Action Logic for Timed Transition Systems | 2000 | Bulletin of the Section of Logic Vol. 29(4), pp. 151-160 |
article | URL |
| do Amaral, F.N. and Haeusler, E.H. | Using the Internal Logic of a Topos to Model Search Spaces for Problems | 2007 | Logic Journal of IGPL Vol. 15(5-6), pp. 457-474 |
article | DOI URL |
| do Amaral, F.Ná., Bazlio, C., da Silva, G.M.H., Rademaker, A. and Haeusler, E.H. | An Ontology-based Approach to the Formalization of Information Security Policies | 2006 | EDOC Workshops, pp. 1 | inproceedings | DOI |
| do Amaral, F.Ná. and Haeusler, E.H. | Using the Internal Logic of a Topos to Model Search Spaces for Problems | 2007 | Logic Journal of the IGPL Vol. 15(5-6), pp. 457-474 |
article | DOI |
| do Amaral, F.Ná. and Haeusler, E.H. | A logic-based approach for real-time object-oriented software development | 2000 | RITA Vol. 7(1), pp. 69-88 |
article | URL |
| de Araujo Fernandes, R.Q. and Haeusler, E.H. | A Topos-Theoretic Approach to Counterfactual Logic | 2009 | Electr. Notes Theor. Comput. Sci. Vol. 256, pp. 33-47 |
article | DOI |
| de Araujo Fernandes, R.Q., Haeusler, E.H. and Pereira, L.C. | PUC-Logic | 2014 | CoRR Vol. abs/1402.1535 |
article | |
| Ayala-Rincón, M. and Haeusler, E.H. | Preface | 2009 | Logic Journal of the IGPL Vol. 17(5), pp. 487-488 |
article | DOI |
| Ayala-Rincón, M. and Haeusler, E.H. | Preface | 2008 | Electr. Notes Theor. Comput. Sci. Vol. 205, pp. 1-3 |
article | DOI |
| Bazlio, C., Haeusler, E.H. and Endler, M. | Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems | 2007 | Electr. Notes Theor. Comput. Sci. Vol. 184, pp. 189-207 |
article | DOI |
| Braga, C. and Haeusler, E.H. | Lightweight analysis of access control models with description logic | 2010 | ISSE Vol. 6(1-2), pp. 115-123 |
article | DOI URL |
| Breitman, K.K., Filho, A.H., Haeusler, E.H. and von Staa, A. | Using Ontologies to Formalize Services Specifications in Multi-agent Systems | 2004 | FAABS, pp. 92-110 | inproceedings | DOI |
| Cafezeiro, I., Filho, J.V., Rademaker, A., Haeusler, E.H. and Endler, M. | A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing | 2008 | ISoLA, pp. 519-533 | inproceedings | DOI |
| Cafezeiro, I., Haeusler, E. and Lucena, C. | Paradigmas de Linguagens de Programação: uma abordagem geométrica | 1996 | Anals of the 1st Brazilian Symposium of Programing Languages | inproceedings | |
| Cafezeiro, I. and Haeusler, E.H. | Semantic Interoperability via Category Theory | 2007 | ER (Tutorials, Posters, Panels & Industrial Contributions), pp. 197-202 | inproceedings | URL |
| Cafezeiro, I. and Haeusler, E.H. | Algebraic Framework for Reverse Engineering on Specifications | 2007 | LAPTEC, pp. 1-12 | inproceedings | DOI |
| Cafezeiro, I., Haeusler, E.H. and Rademaker, A. | Ontology and Context | 2008 | PerCom, pp. 417-422 | inproceedings | DOI |
| Cafezeiro, I., Viterbo, J., Rademaker, A., Haeusler, E. and Endler, M. | Designing ubiquitous applications: proposal of a specification environment | 2009 | Proceedings of the 6th international workshop on Managing ubiquitous communications and services, pp. 17-26 | inproceedings | DOI URL |
| Cafezeiro, I., Viterbo, J., Rademaker, A., Haeusler, E.H. and Endler, M. | Specifying ubiquitous systems through the algebra of contextualized ontologies |
2014 | Knowledge Eng. Review Vol. 29(2), pp. 171-185 |
article | DOI URL |
| Correa, M., Haeusler, E. and de Paiva, V. | A dialectica model of state | 1996 | Vol. 18CATS'96, Computing: The Australian Theory Symposium Proceedings, Melbourne, Australia, pp. 29-37 |
inproceedings | URL |
| Costa, V.G., Haeusler, E.H., Laber, E.S. and Nogueira, L.T. | A note on the size of minimal covers | 2007 | Inf. Process. Lett. Vol. 102(2-3), pp. 124-126 |
article | DOI |
| Costa, V.G., Sanz, W., Haeusler, E.H. and Pereira, L.C. | Peirce's Rule in a Full Natural Deduction System | 2009 | Electr. Notes Theor. Comput. Sci. Vol. 256, pp. 5-18 |
article | DOI |
| Cruz, M.Q., Haeusler, E.H. and Gordeev, L. | Proof-graphs for Minimal Implicational Logic | 2014 | Electronic Proceedings in Theoretical Computer Science Vol. 144, pp. 16-29 |
article | URL |
| de Azevedo Spinola, A.I. and Haeusler, E.H. | Anticipatory Topoi | 2002 | Vol. 627Computing Anticipatory Systems: CASYS 2001, pp. 543-552 |
inproceedings | DOI |
| Duarte, A.R., Ribeiro, C.C., Urrutia, S. and Haeusler, E.H. | Referee Assignment in Sports Leagues | 2006 | PATAT, pp. 158-173 | inproceedings | DOI |
| Edward | How relative can be a mathematical concept ? Introducing the duality 'internal versus external' in Category Theory | 2013 | Book of Tutorials of UNILOG 2013 | conference | |
| Englander, C., Haeusler, E.H. and Pereira, L.C. | Finitely many-valued logics and natural deduction. | 2014 | Logic Journal of the IGPL Vol. 22(2), pp. 333-354 |
article | URL |
| Englander, Cé. and Haeusler, E.H. | On the 2-Categorical View of Proofs | 2010 | ISoLA (1), pp. 502-518 | inproceedings | DOI |
| Fernandes, R., Haeusler, E. and Pereira, L.D. | PUC-Logic | 2014 | arXiv preprint arXiv:1402.1535 | article | URL |
| Fernandes, R.Q., Haeusler, E.H. and Pereira, L.C. | Intuitionistic PUC-Logic for Constructive Counterfactuals | 2014 | arXiv preprint arXiv:1405.5279 | article | URL |
| Fernandes, R.Q., Haeusler, E.H. and Pereira, L.C. | PUC-Logic embedding of Lewis' Deontic Logics | 2014 | arXiv preprint arXiv:1405.7285 | article | URL |
| Filho, A.H., Caminada, N., Haeusler, E.H. and von Staa, A. | Facilitating the Specification Capture and Transformation Process in the Development of Multi-agent Systems | 2004 | FAABS, pp. 72-91 | inproceedings | DOI |
| Frota, D.F., Martins, A.T., Alcântara, J.a., Rademaker, A. and Haeusler, E.H. | An ALC Description Default Logic and its Intuitionistic Counterpart | Submitted to and AI conference | article | ||
| Garcia, A., Haeusler, E. and Haeberer, A. | A Semantic Approach to the Solution for the Legacy Code Problem | 1997 | Formal Methods Pacific. Wellington, Nova Zelandia. 1997. Proceedings, pp. 57-69 | inproceedings | DOI |
| Gordeev, L., Haeusler, E.H. and Pereira, L.C. | Propositional proof compressions and DNF logic | 2011 | Logic Journal of the IGPL Vol. 19(1), pp. 62-86 |
article | DOI URL |
| Guedes, L., Haeusler, E. and Range, J. | An Object Oriented Model for Semantics Directed Compiler Generation | 1995 | Anals of the 1st Brazilian Symposium of Programing Languages | inproceedings | |
| Guedes, L.C.C. and Haeusler, E.H. | Action Algebras and Model Algebras in Denotational Semantics | 2009 | Semantics and Algebraic Specification, pp. 227-249 | inproceedings | DOI |
| Guedes, L.C.C., Haeusler, E.H. and Rangel, J.L. | Object Oriented Semantics Directed Compiler Generation: A Prototype | 1995 | TAPSOFT, pp. 807-808 | inproceedings | DOI |
| Haeusler, E. | A celebration of Alan Turing's achievements in the year of his centenary | 2012 | International Transactions in Operational Research Vol. 19(3), pp. 487-491 |
article | DOI URL |
| Haeusler, E. and Bittel, O. | On the relationship between well-orderings in intuitionistic type theory and data types inductively de ned. | 1991 | O que nos faz pensar Vol. MAR, pp. 61-79 |
article | URL |
| Haeusler, E. and Dowek, G. | Non-standard finiteness and Hypercomputational models | unpublished | |||
| Haeusler, E., Martini, A. and Wolter, U. | Some Models of Heterogeneous and Distributed Specifications based on Universal Constructions | 2007 | Perspectives on Universal Logic, pp. 297-318 | incollection | URL |
| Haeusler, E. and Pequeno, T. | A theorem prover based on game-theoretic semantics | 1988 | Anais da I Conferencia Internacional Sobre Informatica | article | |
| Haeusler, E. and Pereira, L. | THE RULES-AS-TYPES INTERPRETATION OF SCHRODER-HEISTER'S EXTENSION OF NATURAL DEDUCTION | 1999 | Manuscrito Vol. 22(2), pp. 149 |
article | |
| Haeusler, E.H. | How Many Times Do We Need an Assumption to Prove a Tautology in Minimal Logic: An Example on the Compression Power of Classical Reasoning |
2014 | Proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Valle de Bravo, Mexico, November 5-7, 2014., pp. 1-12 |
inproceedings | URL |
| Haeusler, E.H. | Propositional Logics Complexity and the Sub-Formula Property | 2014 | arXiv preprint arXiv:1401.8209 | article | URL |
| Haeusler, E.H. | Propositional Logics Complexity and the Sub-Formula Property | 2014 | Proceedings of DCM2014 | inproceedings | URL |
| Haeusler, E.H. | A proof-theoretical discussion on the mechanization of propositional logics | 2013 | Electronic Proceedings in Theoretical Computer Science Vol. 113 |
article | |
| Haeusler, E.H. and Ayala-Rincón, M. | On the Computability of Relations on lambda-Terms and Rice's Theorem - The Case of the Expansion Problem for Explicit Substitutions |
2014 | LATIN 2014: Theoretical Informatics - 11th Latin American Symposium, Montevideo, Uruguay, March 31 - April 4, 2014. Proceedings, pp. 202-213 |
inproceedings | DOI URL |
| Haeusler, E.H. and del Cerro, L.F. | Preface | 2011 | Electr. Notes Theor. Comput. Sci. Vol. 269, pp. 1-2 |
article | DOI URL |
| Haeusler, E.H. and Fontoura, M.F.M.C.D. | Using transition systems to formalize a pattern for time dependable applications | 1999 | WORDS (Jan.), pp. 216-227 | inproceedings | DOI |
| Haeusler, E.H. and Martini A.and Wolter, U. | Fibred and Indexed Semantics for a Hoare-like Logic. | 2013 | UNILOG Book of Abstracts | conference | |
| Haeusler, E.H., de Paiva, V. and Rademaker, A. | Intuitionistic Description Logic and Legal Reasoning | 2011 | DEXA Workshops, pp. 345-349 | inproceedings | DOI URL |
| Haeusler, E.H., Paiva, V. and Rademaker, A. | Intuitionistic Description Logic and Legal Reasonin | 2011 | DALI 2011 - DEXA workshops, pp. 342-349 | inproceedings | DOI |
| Haeusler, E.H., de Paiva, V. and Rademaker, A. | Intuitionistic Logic and Legal Ontologies | 2010 | JURIX, pp. 155-158 | inproceedings | DOI |
| Haeusler, E.H., Paiva, V. and Rademaker, A. | Using Intuitionistic Logic as a Basis for Legal Ontologies | 2010 | Informatica e diritto(1-2), pp. 289-298 | article | URL |
| Haeusler, E.H. and Rademaker, A. | An Intuitionisticaly based Description Logic | 2014 | CoRR Vol. abs/1402.0225 |
article | |
| Haeusler, E.H. and Rademaker, A. | An Intuitionisticaly based Description Logic | 2014 | arXiv preprint arXiv:1402.0225 | article | URL |
| Haeusler, E.H. and Rademaker, A. | Is It Important to Explain a Theorem? A Case Study on UML and it ALCQImathcalALCQI | 2009 | ER Workshops, pp. 34-44 | inproceedings | DOI |
| Haeusler, E.H. and da Silva Corrêa, M. | A Concrete Categorical Model for the Lambek Syntactic Calculus | 1997 | Math. Log. Q. Vol. 43, pp. 49-59 |
article | DOI URL |
| Lopes, B., Benevides, M. and Haeusler, E.H. | Extending Propositional Dynamic Logic for Petri Nets | 2014 | Electronic Notes in Theoretical Computer Science Vol. 305, pp. 67-83 |
article | URL |
| Lopes, B., Benevides, M. and Haeusler, E.H. | Propositional dynamic logic for Petri Nets | 2014 | Logic Journal of the IGPL Vol. Advanced Online First, pp. 1-16 |
article | URL |
| Lopes, B., Benevides, M. and Haeusler, E.H. | Verifying properties in multi-agent systems using Stochastic Petri Nets and Propositional Dynamic Logic | 2013 | X Encontro Nacional de Inteligncia Artificial e Computacional | article | |
| Martini, A., Wolter, U. and Haeusler, E.H. | Fibred and Indexed Categories for Abstract Model Theory | 2007 | Logic Journal of the IGPL Vol. 15(5-6), pp. 707-739 |
article | DOI |
| de Moura, L., de Lucena, C. and Haeusler, E. | A Modular Implementation of Action Notation | 2000 | Action Semantics, pp. 134 | article | URL |
| de Moura, L., de Lucena, C. and Haeusler, E. | A Modular Implementation of Action Notation | 2000 | Action Semantics, pp. 134 | article | URL |
| de O. Braga, C., Haeusler, E.H., Meseguer, J. and Mosses, P.D. | Mapping Modular SOS to Rewriting Logic | 2002 | LOPSTR, pp. 262-277 | inproceedings | DOI |
| de O. Braga, C., Haeusler, E.H., Meseguer, J. and Mosses, P.D. | Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic | 2000 | AMAST, pp. 407-421 | inproceedings | DOI |
| Oliveira, D.A.S.e., de Souza, C.S. and Haeusler, E.H. | Structured Argument Generation in a Logic Based KB-System | 1999 | Logic, language and computation, vol. 2, pp. 237-265 | incollection | URL |
| de Paiva, V., Haeusler, E.H. and Rademaker, A. | Constructive Description Logics Hybrid-Style | 2011 | Electr. Notes Theor. Comput. Sci. Vol. 273, pp. 21-31 |
article | DOI URL |
| Pereira, L. and Haeusler, E. | AN INFINITARY EXTENSION OF MALL- | 1999 | Bulletin of the Section of Logic Vol. 28(4), pp. 225-233 |
article | URL |
| Pereira, L.C. and Haeusler, E.H. | On Constructive Fragments of Classical Logic | 2015 | Dag Prawitz on Proofs and Meaning, pp. 281-292 | incollection | URL |
| Pereira, L.C. and Haeusler, E.H. | A Formalization of Sambin's Normalization for GL | 1993 | Math. Log. Q. Vol. 39, pp. 133-142 |
article | DOI URL |
| Pereira, L.C., Haeusler, E.H., Costa, V.G. and Sanz, W. | A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic | 2010 | Studia Logica Vol. 96(1), pp. 95-108 |
article | DOI |
| Pereira, L.C., Haeusler, E.H. and Paiva, V.d. | Advances in Natural Deduction: A Celebration of Dag Prawitz's Work | 2014 | article | URL | |
| de Queiroz, R.J.G.B., Pereira, L.C. and Haeusler, E.H. | Preface: WoLLIC 2002 | 2002 | Electr. Notes Theor. Comput. Sci. Vol. 67, pp. 313-314 |
article | DOI |
| de Queiroz, R.J.G.B., Pereira, L.C. and Haeusler, E.H. | 9th Workshop on Logic, Language, Information and Computation | 2002 | Logic Journal of the IGPL Vol. 10(6), pp. 679-688 |
article | DOI |
| Rademaker, A. and Haeusler, E.H. | An intuitionistic ALC description default logic | 2014 | Proceedings of the Workshop of Compositional Meaning in Logic (GeTFun 2.0) on Vienna Summer of Logic |
inproceedings | URL |
| Rademaker, A. and Haeusler, E.H. | Semantic Lattes and VIVO Project | 2013 | Proceedings of VIVO 2013 | inproceedings | URL |
| Rademaker, A. and Haeusler, E.H. | Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and it ALCQI Reasoning | 2010 | J. UCS Vol. 16(20), pp. 3016-3042 |
article | DOI URL |
| Rademaker, A. and Haeusler, E.H. | Toward Short and Structural -Reasoning Explanations: A Sequent Calculus Approach | 2008 | SBIA, pp. 167-176 | inproceedings | DOI |
| Renteria, C.J. and Haeusler, E.H. | A Natural Deduction System for Keisler's Quantification | 2005 | Electronic Notices in Theoretical Computer Science Vol. 123, pp. 229-240 |
article | DOI |
| Renteria, C.J. and Haeusler, E.H. | A Natural Deduction System for CTL | 2002 | Bulletin of the Section of Logic Vol. 31(4), pp. 231-240 |
article | URL |
| Renteria, C.J., Haeusler, E.H. and Veloso, P.A.S. | NUL: Natural Deduction for Ultrafilter Logic | 2003 | Bulletin of the Section of Logic Vol. 32(4), pp. 191-199 |
article | URL |
| da Silva Corrêa, M. and Haeusler, E.H. | On the Selective Lambek Calculus | 2005 | LACL, pp. 67-83 | inproceedings | DOI |
| Silva, G. and Haeusler, E. | Sintese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural | 2010 | Principios: Revista de Filosofia (UFRN) Vol. 8(10), pp. 25-61 |
article | URL |
| da Silva, G.M.H., Haeusler, E.H. and Veloso, P.A.S. | Exploring Computational Contents of Intuitionist Proofs | 2005 | Logic Journal of the IGPL Vol. 13(1), pp. 69-93 |
article | DOI |
| de V. Garcia, A. and Haeusler, E.H. | Code migration and program maintainability A categorical perspective | 2001 | Inf. Process. Lett. Vol. 79(5), pp. 249-254 |
article | DOI |
| Vasconcelos, D. and Haeusler, E.H. | A Logic View of Playing Games | 2003 | Vol. 101Advances in Intelligent Systems and Robotics: LAPTEC 2003, pp. 180 |
inproceedings | |
| de Vasconcelos, D.R. and Haeusler, E.H. | Reasoning about Games via a First-order Modal Model Checking Approach |
2014 | CoRR Vol. abs/1402.1377 |
article | |
| de Vasconcelos, D.R. and Haeusler, E.H. | Reasoning about Games via a First-order Modal Model Checking Approach | 2014 | arXiv preprint arXiv:1402.1377 | article | URL |
| Vasconcelos, D.R., Haeusler, E.H. and Benevides, M.R.F. | Defining Agents Via Strategies: Towards a View of MAS as Games | 2005 | WRAC, pp. 299-311 | inproceedings | DOI |
| Veloso, P.A., Pereira, L.C. and Haeusler, E.H. | On What There Must Be: Existence in Logic and Some Related Riddles | 2012 | Disputatio Vol. 4(34) |
article | URL |
| Veloso, P., Pereira, L. and Haeusler, E. | Validades existenciais e enigmas relacionados | 2010 | DoisPontos Vol. 6(2) |
article | URL |
| Wolter, U., Martini, A. and Häusler, E. | Towards a uniform presentation of logical systems by indexed categories and adjoint situations | In advance access since 3-sept-2012 | Journal of Logic and Computation, pp. exs038 | article | DOI URL |
| Wolter, U., Martini, A. and Hausler, E.H. | Towards a uniform presentation of logical systems by indexed categories and adjoint situations | 2012 | Journal of Logic and Computation | article | DOI URL |