Edward Hermann Haeusler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
25
Venues
15
Active years
2002–2026
Best venue rank
A*
Where they publish
Papers
25 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICAART | Evaluating the Sample Efficiency of Solomonoff-Inspired Predictive Models. | Cleyton Slaviero, Edward Hermann Haeusler, Luiz Carlos Castro Guedes |
| 2025 | ER | Unpacking Trust: An Ontological Framework for Information Trustworthiness in Decision-Making. | Glenda C. M. Amaral, Veronica dos Santos, Edward Hermann Haeusler, Giancarlo Guizzardi, Daniel Schwabe, Srgio Lifschitz |
| 2025 | ICAART | Deep Reinforcement Learning for Auctions: Evaluating Bidding Strategies Effectiveness and Convergence. | Luis Eduardo Craizer, Edward Hermann Haeusler, Moacyr Alvim Silva |
| 2025 | ICAART | Multiagent DRL in Auctions: A Framework for Equilibrium Assessment. | Luis Eduardo Craizer, Edward Hermann Haeusler, Moacyr Alvim Silva |
| 2025 | IJCCI | SemantriX: An Explainable Hybrid Model for Aligning Vector Similarity and Semantic Relevance. | Antony Seabra, Claudio Cavalcante, Edward Hermann Haeusler, Daniel Schwabe, Srgio Lifschitz |
| 2024 | CIBCB | An Approach for Modeling and Analysis of Insulin Biosynthesis using Petri Nets. | Maria Leandra Guateque, Antonio Baslio de Miranda, Marcos Catanho, Edward Hermann Haeusler, Srgio Lifschitz |
| 2024 | ER | On the Expressiveness of Petri Nets for Modeling Biological Processes: The Case for mRNA Translation and Protein Synthesis. | Luis Henrique Costa Neto, Srgio Lifschitz, Fernanda Baio, Marcos Catanho, Antonio B. de Miranda, Edward Hermann Haeusler |
| 2021 | QCE | Non-Functional Requirements for Quantum Programs. | Lorenzo Saraiva, Edward Hermann Haeusler, Vaston G. Costa, Marcos Kalinowski |
| 2020 | ER | Relational Text-Type for Biological Sequences. | Cristian Tristo, Antonio Baslio de Miranda, Edward Hermann Haeusler, Srgio Lifschitz |
| 2020 | JURIX | Reasoning over Knowledge Graphs in an Intuitionistic Description Logic. | Bernardo Alkmim, Edward Hermann Haeusler, Daniel Schwabe |
| 2018 | JURIX | Utilizing iALC to Formalize the Brazilian OAB Exam. | Bernardo Alkmim, Edward Hermann Haeusler, Alexandre Rademaker |
| 2017 | JURIX | Passing the Brazilian OAB Exam: Data Preparation and Some Experiments. | Pedro Delfino, Bruno Cuconato, Edward Hermann Haeusler, Alexandre Rademaker |
| 2016 | ICTAC | Propositional Dynamic Logic for Petri Nets with Iteration. | Mario R. F. Benevides, Bruno Lopes, Edward Hermann Haeusler |
| 2015 | PAAMS | Reasoning about Multi-Agent Systems Using Stochastic Petri Nets. | Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler |
| 2014 | HealthCom | A framework for customizing the mobile and remote monitoring of patients with chronic diseases. | Vitor Pinheiro de Almeida, Markus Endler, Edward Hermann Haeusler |
| 2014 | LATIN | On the Computability of Relations on λ-Terms and Rice's Theorem - The Case of the Expansion Problem for Explicit Substitutions. | Edward Hermann Haeusler, Mauricio Ayala-Rincn |
| 2010 | ISoLA | On the 2-Categorical View of Proofs. | Ccilia Englander, Edward Hermann Haeusler |
| 2010 | JURIX | Intuitionistic Logic and Legal Ontologies. | Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker |
| 2009 | ER | Is It Important to Explain a Theorem? A Case Study on UML and | Edward Hermann Haeusler, Alexandre Rademaker |
| 2008 | ISoLA | A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing. | Isabel Cafezeiro, Jos Viterbo Filho, Alexandre Rademaker, Edward Hermann Haeusler, Markus Endler |
| 2008 | PERCOM | Ontology and Context. | Isabel Cafezeiro, Edward Hermann Haeusler, Alexandre Rademaker |
| 2007 | ER | Semantic Interoperability via Category Theory. | Isabel Cafezeiro, Edward Hermann Haeusler |
| 2006 | EDOC | An Ontology-based Approach to the Formalization of Information Security Policies. | Fernando Nufel do Amaral, Carlos Bazlio, Geiza Maria Hamazaki da Silva, Alexandre Rademaker, Edward Hermann Haeusler |
| 2006 | PATAT | Referee Assignment in Sports Leagues. | Alexandre R. Duarte, Celso C. Ribeiro, Sebastin Urrutia, Edward Hermann Haeusler |
| 2002 | LOPSTR | Mapping Modular SOS to Rewriting Logic. | Christiano de Oliveira Braga, Edward Hermann Haeusler, Jos Meseguer, Peter D. Mosses |