default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEdward Hermann Haeusler
Edward Hermann Häusler
Person information
- affiliation: PUC-Rio, Brazil
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c69]Maria Leandra Guateque, Antonio Basílio de Miranda, Marcos Catanho, Edward Hermann Haeusler, Sérgio Lifschitz:
An Approach for Modeling and Analysis of Insulin Biosynthesis using Petri Nets. CIBCB 2024: 1-8- [c68]Luis Henrique Costa Neto, Sérgio Lifschitz, Fernanda Baião, Marcos Catanho, Antonio B. de Miranda, Edward Hermann Haeusler:
On the Expressiveness of Petri Nets for Modeling Biological Processes: The Case for mRNA Translation and Protein Synthesis. ER (Workshops) 2024: 137-147 - 2023
- [c67]Diogo Munaro Vieira, Elvismary Molina de Armas, Maria L. G. Jaramillo, Marcos Catanho, Antonio B. de Miranda, Edward Hermann Haeusler, Sérgio Lifschitz:
A New Data Modeling Approach for Alignment-free Biological Applications. SBBD 2023: 1-13 - [c66]Veronica dos Santos, Edward Hermann Haeusler, Daniel Schwabe, Sérgio Lifschitz:
Context-Aware Knowledge Graphs Exploratory Search. SBBD 2023: 360-365 - [c65]Edward Hermann Haeusler
, Bruno Cuconato, Luiz A. Glatzl, Maria Leandra Guateque, Diogo Munaro Vieira, Elvismary Molina de Armas, Fernanda Baião, Marcos Catanho, Antonio B. de Miranda, Sérgio Lifschitz:
Intentional Semantics for Molecular Biology. BSB 2023: 94-105 - [i21]Lorenzo Saraiva, Edward Hermann Haeusler, Vaston G. Costa:
Quantum Algorithm for Multiplicative Linear Logic. CoRR abs/2302.09169 (2023) - [i20]Lev Gordeev, Edward Hermann Haeusler:
Proofs of Equalities NP = coNP = PSPACE: Simplification. CoRR abs/2311.17939 (2023) - 2022
- [j32]Vaston Conçalves da Costa, Edward Hermann Haeusler:
Strong normalization for Np-systems via Mimp-graphs. FLAP 9(1): 135-160 (2022) - [j31]Edward Hermann Haeusler:
Exponentially huge natural deduction proofs are redundant: Preliminary results on M⊃. FLAP 9(1): 287-326 (2022) - [j30]Mariana D. A. Salgueiro, Veronica dos Santos, André L. C. Rêgo, Daniel S. Guimarães, Jefferson B. Santos, Edward Hermann Haeusler, Marcos V. Villas, Sérgio Lifschitz:
Searching for Researchers: an Ontology-based NoSQL Database System Approach and Practical Implementation. J. Inf. Data Manag. 13(5) (2022) - [j29]Uwe Wolter, Alfio Ricardo de Brito Martini, Edward Hermann Haeusler:
Indexed and fibered structures for partial and total correctness assertions. Math. Struct. Comput. Sci. 32(9): 1145-1175 (2022) - [j28]Eduardo N. Giovannini, Edward Hermann Haeusler, Abel Lassalle-Casanave, Paulo A. S. Veloso:
De Zolt's postulate: an Abstract Approach. Rev. Symb. Log. 15(1): 197-224 (2022) - [c64]Bernardo Alkmim, Edward Hermann Haeusler, Cláudia Nalon:
A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals. Description Logics 2022 - [c63]Mariana D. A. Salgueiro, Sérgio Lifschitz, Edward Hermann Haeusler, Veronica dos Santos, Alexandre Plastino:
A Study of Database Models for Social Network Analysis. SBBD 2022: 397-402 - [i19]Lew Gordeev, Edward Hermann Haeusler:
On proof theory in computational complexity: overview. CoRR abs/2201.04118 (2022) - [i18]Edward Hermann Haeusler, José Flávio Cavalcante Barros Junior:
On the horizontal compression of dag-derivations in minimal purely implicational logic. CoRR abs/2206.02300 (2022) - 2021
- [j27]Raphael Marins, Rafael Pereira de Oliveira, Edward Hermann Haeusler, Sérgio Lifschitz, Daniel Schwabe, Ana Carolina Almeida:
Outer-Tuning: an Ontology-based Extensible Framework for Supporting Database Automatic Tuning. J. Inf. Data Manag. 12(2) (2021) - [j26]Bruno Lopes, Cláudia Nalon, Edward Hermann Haeusler:
Reasoning about Petri Nets: A Calculus Based on Resolution and Dynamic Logic. ACM Trans. Comput. Log. 22(2): 9:1-9:22 (2021) - [c62]Lorenzo Saraiva, Edward Hermann Haeusler, Vaston G. Costa, Marcos Kalinowski:
Non-Functional Requirements for Quantum Programs. Q-SET@QCE 2021: 89-73 - [c61]Luciana de Sá Silva Perciliano, Veronica dos Santos, Fernanda Baião, Edward Hermann Haeusler, Sérgio Lifschitz, Ana Carolina Almeida:
Inferencing Relational Database Tuning Actions with OnDBTuning Ontology. SBBD 2021: 157-168 - [i17]Edward Hermann Haeusler:
Yet another argument in favour of NP=CoNP. CoRR abs/2101.00003 (2021) - [i16]Bruno Cuconato, Jefferson de Barros Santos, Edward Hermann Haeusler:
A logical framework with a graph meta-language. CoRR abs/2106.13843 (2021) - 2020
- [c60]Bernardo Alkmim, Edward Hermann Haeusler, Daniel Schwabe:
A Case Study Integrating Knowledge Graphs and Intuitionistic Logic. AICOL 2020: 106-124 - [c59]Cristian Tristão, Antonio Basílio de Miranda, Edward Hermann Haeusler, Sérgio Lifschitz:
Relational Text-Type for Biological Sequences. ER (Workshops) 2020: 102-112 - [c58]Bernardo Alkmim, Edward Hermann Haeusler, Daniel Schwabe:
Reasoning over Knowledge Graphs in an Intuitionistic Description Logic. XAILA@JURIX 2020 - [c57]Julio O. Prieto Entenza, Edward Hermann Haeusler, Sérgio Lifschitz:
Efficient Out-of-Core Contig Generation. BSB 2020: 25-37 - [i15]Edward Hermann Haeusler:
Exponentially Huge Natural Deduction proofs are Redundant: Preliminary results on M⊃. CoRR abs/2004.10659 (2020) - [i14]Edward Hermann Haeusler:
On the Intrinsic Redundancy in Huge Natural Deduction proofs II: Analysing M⊃ Super-Polynomial Proofs. CoRR abs/2009.09802 (2020) - [i13]Lew Gordeev, Edward Hermann Haeusler:
Proof Compression and NP Versus PSPACE II: Addendum. CoRR abs/2011.09262 (2020) - [i12]Lew Gordeev, Edward Hermann Haeusler:
On proof theory in computer science. CoRR abs/2012.04437 (2020) - [i11]Edward Hermann Haeusler:
Going from the huge to the small: Efficient succinct representation of proofs in Minimal implicational logic. CoRR abs/2012.07833 (2020)
2010 – 2019
- 2019
- [j25]Guilherme F. Lima, Rodrigo C. M. Santos, Roberto Ierusalimschy, Edward Hermann Haeusler, Francisco Sant'Anna:
A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu. J. Syst. Archit. 97: 239-257 (2019) - [j24]Lev Gordeev, Edward Hermann Haeusler:
Proof Compression and NP Versus PSPACE. Stud Logica 107(1): 53-83 (2019) - [c56]Uwe Wolter, Alfio Martini, Edward Hermann Häusler:
Indexed and Fibred Structures for Hoare Logic. LSFA 2019: 125-145 - [c55]Ruhan dos Reis, Markus Endler, Vitor Pinheiro de Almeida, Edward Hermann Haeusler:
A Soft Real-Time Stream Reasoning Service for the Internet of Things. ICSC 2019: 166-169 - [c54]Elvismary Molina de Armas, Paulo Cavalcanti Gomes Ferreira, Edward Hermann Haeusler, Maristela Terto de Holanda, Sérgio Lifschitz:
K-mer Mapping and RDBMS Indexes. BSB 2019: 70-82 - [i10]Jefferson de Barros Santos, Bruno Lopes Vieira, Edward Hermann Haeusler:
Revisiting Counter-model Generation for Minimal Implicational Logic. CoRR abs/1905.02059 (2019) - 2018
- [j23]Mario R. F. Benevides, Bruno Lopes, Edward Hermann Haeusler:
Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach. Theor. Comput. Sci. 744: 22-36 (2018) - [c53]Bernardo Alkmim, Edward Hermann Haeusler, Alexandre Rademaker:
Utilizing iALC to Formalize the Brazilian OAB Exam. XAILA@JURIX 2018: 42-50 - [c52]Rodrigo C. M. Santos, Guilherme F. Lima, Francisco Sant'Anna, Roberto Ierusalimschy, Edward Hermann Haeusler:
A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu. LCTES 2018: 1-18 - [c51]Ana Carolina Almeida, Edward Hermann Haeusler, Sérgio Lifschitz, Rafael Pereira de Oliveira, Daniel Schwabe:
Outer-Tuning: sintonia Fina Automática Baseada em Ontologia. SBBD Companion 2018: 29-34 - [i9]Edward Hermann Haeusler, Alexandre Rademaker:
On How Kelsenian Jurisprudence and Intuitionistic Logic help to avoid Contrary-to-Duty paradoxes in Legal Ontologies. CoRR abs/1803.07543 (2018) - 2017
- [j22]Juan Carlos Nieves, Edward Hermann Haeusler, Bruno Lopes Vieira:
Editorial. Computación y Sistemas 21(3) (2017) - [j21]Walter Carnielli, Edward Hermann Haeusler, Petrucio Viana:
Foreword. Log. J. IGPL 25(4): 381-386 (2017) - [j20]Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira:
A Proximity-Based Understanding of Conditionals. Trans. Large Scale Data Knowl. Centered Syst. 34: 123-152 (2017) - [c50]Pedro Delfino, Bruno Cuconato, Edward Hermann Haeusler, Alexandre Rademaker:
Passing the Brazilian OAB Exam: Data Preparation and Some Experiments. JURIX 2017: 89-94 - [c49]Markus Endler, Jean-Pierre Briot, Francisco Silva E. Silva, Vitor Pinheiro de Almeida, Edward Hermann Haeusler:
An Approach for Real-Time Stream Reasoning for the Internet of Things. ICSC 2017: 348-353 - [c48]Guilherme Augusto Ferreira Lima, Roberto Gerson De Albuquerque Azevedo, Sérgio Colcher, Edward Hermann Haeusler:
Converting NCL Documents to Smix and Fixing Their Semantics and Interpretation in the Process. WebMedia 2017: 109-116 - [i8]Christiano Braga, Edward Hermann Haeusler:
Normative Multi-Agent Systems and Kelsenian Jurisprudence. CoRR abs/1709.02018 (2017) - [i7]Pedro Delfino, Bruno Cuconato, Edward Hermann Haeusler, Alexandre Rademaker:
Passing the Brazilian OAB Exam: data preparation and some experiments. CoRR abs/1712.05128 (2017) - 2016
- [c47]Elvismary Molina de Armas, Edward Hermann Haeusler, Sérgio Lifschitz, Maristela Terto de Holanda, Waldeyr Mendes Cordeiro da Silva, Paulo Cavalcanti Gomes Ferreira:
K-mer Mapping and de Bruijn graphs: The case for velvet fragment assembly. BIBM 2016: 882-889 - [c46]Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira:
PUC-Logic. DEXA Workshops 2016: 102-105 - [c45]Mario R. F. Benevides, Bruno Lopes, Edward Hermann Haeusler:
Propositional Dynamic Logic for Petri Nets with Iteration. ICTAC 2016: 441-456 - [i6]Lew Gordeev, Edward Hermann Haeusler:
NP vs PSPACE. CoRR abs/1609.09562 (2016) - 2015
- [j19]Uwe Wolter, Alfio Martini, Edward Hermann Haeusler:
Towards a uniform presentation of logical systems by indexed categories and adjoint situations. J. Log. Comput. 25(1): 57-93 (2015) - [c44]Cleyton Slaviero, Edward Hermann Haeusler:
Exploring concurrency on computational thinking tools. IHC 2015: 28:1-28:10 - [c43]Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler:
Reasoning about Multi-Agent Systems Using Stochastic Petri Nets. PAAMS (Special Sessions) 2015: 75-86 - [c42]Rafael Pereira de Oliveira, Sérgio Lifschitz, Ana Carolina Almeida, Edward Hermann Haeusler:
Projeto e implementação do framework Outer-tuning: auto sintonia e ontologia para bancos de dados relacionais [Design of the Outer-tuning framework: self-tuning and ontology for relational databases]. SBSI 2015: 171-178 - [c41]Edward Hermann Haeusler:
Finiteness and Computation in Toposes. DCM 2015: 61-77 - [c40]Hugo Daniel Macedo, Edward Hermann Haeusler, Alex de V. Garcia:
Defining Effectiveness Using Finite Sets A Study on Computability. WEIT 2015: 91-106 - [c39]Jefferson de Barros Santos, Bruno Lopes Vieira, Edward Hermann Haeusler:
A Unified Procedure for Provability and Counter-Model Generation in Minimal Implicational Logic. WEIT 2015: 165-179 - [c38]Marcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev:
On Strong Normalization in Proof-Graphs for Propositional Logic. LSFA 2015: 181-196 - 2014
- [j18]Cécilia Englander, Edward Hermann Haeusler, Luiz Carlos Pereira:
Finitely many-valued logics and natural deduction. Log. J. IGPL 22(2): 333-354 (2014) - [j17]Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler:
Propositional dynamic logic for Petri nets. Log. J. IGPL 22(5): 721-736 (2014) - [j16]Isabel Cafezeiro, José Viterbo, Alexandre Rademaker, Edward Hermann Haeusler, Markus Endler:
Specifying ubiquitous systems through the algebra of contextualized ontologies. Knowl. Eng. Rev. 29(2): 171-185 (2014) - [c37]Vitor Pinheiro de Almeida, Markus Endler, Edward Hermann Haeusler:
A framework for customizing the mobile and remote monitoring of patients with chronic diseases. Healthcom 2014: 329-334 - [c36]Edward Hermann Haeusler:
How Many Times Do We Need an Assumption to Prove a Tautology in Minimal Logic: An Example on the Compression Power of Classical Reasoning. LANMR 2014: 1-12 - [c35]Edward Hermann Haeusler, Mauricio Ayala-Rincón:
On the Computability of Relations on λ-Terms and Rice's Theorem - The Case of the Expansion Problem for Explicit Substitutions. LATIN 2014: 202-213 - [c34]Edward Hermann Haeusler:
Propositional Logics Complexity and the Sub-Formula Property. DCM 2014: 1-16 - [c33]Edward Hermann Haeusler:
How Many Times do We Need an Assumption to Prove a Tautology in Minimal Logic? Examples on the Compression Power of Classical Reasoning. LANMR (Selected Papers) 2014: 31-46 - [c32]Cécilia Englander, Gilles Dowek, Edward Hermann Haeusler:
Yet Another Bijection Between Sequent Calculus and Natural Deduction. LSFA 2014: 107-124 - [c31]Cláudia Nalon, Bruno Lopes, Gilles Dowek, Edward Hermann Haeusler:
A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics. LSFA 2014: 125-141 - [i5]Edward Hermann Haeusler, Alexandre Rademaker:
An Intuitionisticaly based Description Logic. CoRR abs/1402.0225 (2014) - [i4]Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira:
PUC-Logic. CoRR abs/1402.1535 (2014) - [i3]Edward Hermann Haeusler:
How many times do we need and assumption ? CoRR abs/1405.0541 (2014) - [i2]Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira:
Intuitionistic PUC-Logic for Constructive Counterfactuals. CoRR abs/1405.5279 (2014) - [i1]Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira:
PUC-Logic embedding of Lewis' Deontic Logics. CoRR abs/1405.7285 (2014) - 2013
- [c30]Marcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev:
Proof-graphs for Minimal Implicational Logic. DCM 2013: 16-29 - [c29]Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler:
Extending Propositional Dynamic Logic for Petri Nets. LSFA 2013: 67-83 - 2012
- [j15]Edward Hermann Haeusler:
A celebration of Alan Turing's achievements in the year of his centenary. Int. Trans. Oper. Res. 19(3): 487-491 (2012) - 2011
- [j14]Lew Gordeev, Edward Hermann Haeusler, Luiz Carlos Pereira:
Propositional proof compressions and DNF logic. Log. J. IGPL 19(1): 62-86 (2011) - [c28]Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker:
Intuitionistic Description Logic and Legal Reasoning. DEXA Workshops 2011: 345-349 - [e3]Edward Hermann Haeusler, Luis Fariñas del Cerro:
Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, LSFA 2010, Natal, Brazil, August 31, 2010. Electronic Notes in Theoretical Computer Science 269, Elsevier 2011 [contents] - 2010
- [j13]Christiano Braga, Edward Hermann Haeusler:
Lightweight analysis of access control models with description logic. Innov. Syst. Softw. Eng. 6(1-2): 115-123 (2010) - [j12]Alexandre Rademaker, Edward Hermann Haeusler:
Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and ALCQI Reasoning. J. Univers. Comput. Sci. 16(20): 3016-3042 (2010) - [j11]Luiz Carlos Pereira, Edward Hermann Haeusler, Vaston G. Costa, Wagner Sanz:
A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic. Stud Logica 96(1): 95-108 (2010) - [c27]Cécilia Englander, Edward Hermann Haeusler:
On the 2-Categorical View of Proofs. ISoLA (1) 2010: 502-518 - [c26]Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker:
Intuitionistic Logic and Legal Ontologies. JURIX 2010: 155-158 - [c25]Edward Hermann Haeusler, Luis Fariñas del Cerro:
Preface. LSFA 2010: 1-2 - [c24]Valeria de Paiva, Edward Hermann Haeusler, Alexandre Rademaker:
Constructive Description Logics Hybrid-Style. HyLo@LICS 2010: 21-31
2000 – 2009
- 2009
- [j10]Mauricio Ayala-Rincón, Edward Hermann Haeusler:
Preface. Log. J. IGPL 17(5): 487-488 (2009) - [c23]Luiz Carlos Castro Guedes, Edward Hermann Haeusler:
Action Algebras and Model Algebras in Denotational Semantics. Semantics and Algebraic Specification 2009: 227-249 - [c22]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 - [c21]Vaston G. Costa, Wagner Sanz, Edward Hermann Haeusler, Luiz Carlos Pereira:
Peirce's Rule in a Full Natural Deduction System. LSFA 2009: 5-18 - [c20]Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler:
A Topos-Theoretic Approach to Counterfactual Logic. LSFA 2009: 33-47 - 2008
- [c19]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 - [c18]Isabel Cafezeiro, Edward Hermann Haeusler, Alexandre Rademaker:
Ontology and Context. PerCom 2008: 417-422 - [c17]Alexandre Rademaker, Edward Hermann Haeusler:
Toward Short and Structural -Reasoning Explanations: A Sequent Calculus Approach. SBIA 2008: 167-176 - [e2]Mauricio Ayala-Rincón, Edward Hermann Haeusler:
Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2007, Ouro Preto, Brazil, August 28-29, 2007. Electronic Notes in Theoretical Computer Science 205, Elsevier 2008 [contents] - 2007
- [j9]Fernando Náufel do Amaral, Edward Hermann Haeusler:
Using the Internal Logic of a Topos to Model Search Spaces for Problems. Log. J. IGPL 15(5-6): 457-474 (2007) - [j8]Alfio Martini, Uwe Wolter, Edward Hermann Haeusler:
Fibred and Indexed Categories for Abstract Model Theory. Log. J. IGPL 15(5-6): 707-739 (2007) - [j7]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) - [c16]Isabel Cafezeiro, Edward Hermann Haeusler:
Semantic Interoperability via Category Theory. ER (Tutorials, Posters, Panels & Industrial Contributions) 2007: 197-202 - [c15]Isabel Cafezeiro, Edward Hermann Haeusler:
Algebraic Framework for Reverse Engineering on Specifications. LAPTEC 2007: 1-12 - [c14]Mauricio Ayala-Rincón, Edward Hermann Haeusler:
Preface. LSFA 2007: 1-3 - 2006
- [c13]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 - [c12]Alexandre R. Duarte, Celso C. Ribeiro, Sebastián Urrutia, Edward Hermann Haeusler:
Referee Assignment in Sports Leagues. PATAT 2006: 158-173 - 2005
- [j6]Geiza Maria Hamazaki da Silva, Edward Hermann Haeusler, Paulo A. S. Veloso:
Exploring Computational Contents of Intuitionist Proofs. Log. J. IGPL 13(1): 69-93 (2005) - [c11]Marcelo da Silva Corrêa, Edward Hermann Haeusler:
On the Selective Lambek Calculus. LACL 2005: 67-83 - [c10]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 - [c9]Carlos Bazílio, Edward Hermann Haeusler, Markus Endler:
Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems. SBMF 2005: 189-207 - 2004
- [c8]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 - [c7]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 - [c6]Christian Jacques Rentería, Edward Hermann Haeusler:
A Natural Deduction System for Keisler's Quantification. WoLLIC 2004: 229-240 - 2002
- [j5]Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler:
9th Workshop on Logic, Language, Information and Computation. Log. J. IGPL 10(6): 679-688 (2002) - [c5]Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses:
Mapping Modular SOS to Rewriting Logic. LOPSTR 2002: 262-277 - [c4]Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler:
Preface: WoLLIC 2002. WoLLIC 2002: 313-314 - [e1]Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler:
9th Workhop on Logic, Language, Information and Computation, WoLLIC 2002, Rio de Janeiro, Brazil, July 30 - August 2, 2002. Electronic Notes in Theoretical Computer Science 67, Elsevier 2002 [contents] - 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 Oliveira 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 21:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
