Use the search to find what you want

JabRef references

Matching entries: 0
settings...
AuthorTitleYearJournal/ProceedingsReftypeDOI/URL
Almeida, E.d.S. and Haeusler, E. Proving Properties in Ordinary Petri Nets using LoRes logical language 1999 Petri nets Newsletter
Vol. 57, pp. 23-36 
article  
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  
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. Specifying ubiquitous systems through the Algebra of Contextualized Ontologies 2013 The Knowledge Engineering Review
Vol. 28(3) 
article URL   
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 
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  
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  
Englander, C., Pereira, L.C. and Haeusler, E.H. Arbitrary Multi-truth-value Functions and Natural Deduction Submmitted to the Logic Journal of the IGPL  article  
Englander, Cé. and Haeusler, E.H. On the 2-Categorical View of Proofs 2010 ISoLA (1), pp. 502-518  inproceedings DOI  
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 Submmitted to the Logic Journal of the IGPL  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 2013   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. A proof-theoretical discussion on the mechanization of propositional logics 2013 Electronic Proceedings in Theoretical Computer Science
Vol. 113, pp. 7-8 
article DOI URL 
Haeusler, E.H. Automatic Theorem Proving: An Attempt To Improve The Readability Of Proofs Generated By Resolution. 1988 Contemporary Mathematics
Vol. 69, pp. 179-188 
article  
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., 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. 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 
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 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. 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  
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. 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 
Silva, G. and Haeusler, E. Sintese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural 2001 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  
da Silva Corrêa, M. and Haeusler, E.H. On the Selective Lambek Calculus 2005 LACL, pp. 67-83  inproceedings 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  
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., Pereira, L. and Haeusler, E. Validades existenciais e enigmas relacionados 2010 DoisPontos
Vol. 6(2) 
article 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 
Created by JabRef on 25/04/2013.

TecMF: EdwardHermann/Public (last edited 2013-04-27 11:44:45 by EdwardHermann)