Edward Hermann Haeusler
Orcid: 0000-0002-4999-7476Affiliations:
- PUC-Rio, Brazil
According to our database1,
Edward Hermann Haeusler
authored at least 115 papers
between 1993 and 2023.
Collaborative distances:
Collaborative distances:
Awards
IEEE Fellow
IEEE Fellow 1962, "For contributions to noise theory in electron-beam devices and electric networks".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proceedings of the Advances in Bioinformatics and Computational Biology, 2023
Proceedings of the 38th Brazilian Symposium on Databases, 2023
Proceedings of the 38th Brazilian Symposium on Databases, 2023
2022
Searching for Researchers: an Ontology-based NoSQL Database System Approach and Practical Implementation.
J. Inf. Data Manag., December, 2022
Math. Struct. Comput. Sci., October, 2022
Exponentially huge natural deduction proofs are redundant: Preliminary results on M<sub>⊃</sub>.
FLAP, 2022
On the horizontal compression of dag-derivations in minimal purely implicational logic.
CoRR, 2022
Proceedings of the 37th Brazilian Symposium on Databases, 2022
A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals.
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022
2021
ACM Trans. Comput. Log., 2021
Outer-Tuning: an Ontology-based Extensible Framework for Supporting Database Automatic Tuning.
J. Inf. Data Manag., 2021
Proceedings of the 36th Brazilian Symposium on Databases, 2021
Proceedings of the Short Papers Proceedings of the 2nd International Workshop on Software Engineering & Technology (Q-SET 2021) co-located with IEEE International Conference on Quantum Computing and Engineering (IEEE Quantum Week 2021), 2021
2020
Going from the huge to the small: Efficient succinct representation of proofs in Minimal implicational logic.
CoRR, 2020
On the Intrinsic Redundancy in Huge Natural Deduction proofs II: Analysing M<sub>⊃</sub> Super-Polynomial Proofs.
CoRR, 2020
Proceedings of the Advances in Bioinformatics and Computational Biology, 2020
Proceedings of the 3rd EXplainable AI in Law Workshop (XAILA 2020) co-located with 33rd International Conference on Legal Knowledge and Information Systems (JURIX 2020), 2020
Proceedings of the Advances in Conceptual Modeling, 2020
Proceedings of the AI Approaches to the Complexity of Legal Systems XI-XII, 2020
2019
A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu.
J. Syst. Archit., 2019
Proceedings of the Advances in Bioinformatics and Computational Biology, 2019
Proceedings of the 13th IEEE International Conference on Semantic Computing, 2019
Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, 2019
2018
Theor. Comput. Sci., 2018
On How Kelsenian Jurisprudence and Intuitionistic Logic help to avoid Contrary-to-Duty paradoxes in Legal Ontologies.
CoRR, 2018
Proceedings of the XXXIII Simpósio Brasileiro de Banco de Dados: Demos e WTDBD, 2018
Proceedings of the EXplainable AI in Law Workshop co-located with the 31st International Conference on Legal Knowledge and Information Systems, 2018
2017
Trans. Large Scale Data Knowl. Centered Syst., 2017
Converting NCL Documents to Smix and Fixing Their Semantics and Interpretation in the Process.
Proceedings of the 23rd Brazillian Symposium on Multimedia and the Web, 2017
Proceedings of the 11th IEEE International Conference on Semantic Computing, 2017
Proceedings of the Legal Knowledge and Information Systems, 2017
2016
Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016
Proceedings of the 27th International Workshop on Database and Expert Systems Applications, 2016
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016
2015
Towards a uniform presentation of logical systems by indexed categories and adjoint situations.
J. Log. Comput., 2015
A Unified Procedure for Provability and Counter-Model Generation in Minimal Implicational Logic.
Proceedings of the Third Workshop-School on Theoretical Computer Science, 2015
Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015
Proceedings of the Third Workshop-School on Theoretical Computer Science, 2015
Proceedings of the Eleventh International Workshop on Developments in Computational Models, 2015
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].
Proceedings of the annual conference on Brazilian Symposium on Information Systems, 2015
Proceedings of the Trends in Practical Applications of Agents, Multi-Agent Systems and Sustainability, 2015
Proceedings of the 14th Brazilian Symposium on Human Factors in Computing Systems, 2015
2014
Knowl. Eng. Rev., 2014
A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics.
Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014
How Many Times do We Need an Assumption to Prove a Tautology in Minimal Logic? Examples on the Compression Power of Classical Reasoning.
Proceedings of the Selected Papers of the Ninth Latin American Workshop on Logic/Languages, 2014
Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014
Proceedings of the Proceedings Tenth International Workshop on Developments in Computational Models, 2014
On the Computability of Relations on λ-Terms and Rice's Theorem - The Case of the Expansion Problem for Explicit Substitutions.
Proceedings of the LATIN 2014: Theoretical Informatics - 11th Latin American Symposium, Montevideo, Uruguay, March 31, 2014
How Many Times Do We Need an Assumption to Prove a Tautology in Minimal Logic: An Example on the Compression Power of Classical Reasoning.
Proceedings of the Ninth Latin American Workshop on Logic/Languages, 2014
A framework for customizing the mobile and remote monitoring of patients with chronic diseases.
Proceedings of the 16th IEEE International Conference on e-Health Networking, 2014
2013
Proceedings of the 8th Workshop on Logical and Semantic Frameworks, 2013
Proceedings of the Proceedings 9th International Workshop on Developments in Computational Models, 2013
2012
Int. Trans. Oper. Res., 2012
2011
Proceedings of the 2011 Database and Expert Systems Applications, 2011
2010
A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic.
Stud Logica, 2010
Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and <i>ALCQI</i> Reasoning.
J. Univers. Comput. Sci., 2010
Innov. Syst. Softw. Eng., 2010
Proceedings of the International Workshop on Hybrid Logic and Applications 2010, 2010
Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, 2010
Proceedings of the Legal Knowledge and Information Systems, 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
2009
Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, 2009
Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, 2009
Is It Important to Explain a Theorem? A Case Study on UML and <i>ALCQI</i>\mathcal{ALCQI}.
Proceedings of the Advances in Conceptual Modeling - Challenging Perspectives, 2009
Proceedings of the Semantics and Algebraic Specification, 2009
2008
Proceedings of the Advances in Artificial Intelligence, 2008
Proceedings of the Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), 2008
Proceedings of the Leveraging Applications of Formal Methods, 2008
2007
Log. J. IGPL, 2007
Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, 2007
Proceedings of the Advances in Technological Applications of Logical and Intelligent Systems, 2007
Proceedings of the Challenges in Conceptual Modelling. Tutorials, posters, panels and industrial contributions at the 26th International Conference on Conceptual Modeling, 2007
2006
Proceedings of the Practice and Theory of Automated Timetabling VI, 2006
Proceedings of the Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 2006
2005
Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems.
Proceedings of the Second Brazilian Symposium on Formal Methods, 2005
Proceedings of the Innovative Concepts for Autonomic and Agent-Based Systems, 2005
Proceedings of the Logical Aspects of Computational Linguistics, 2005
2004
Proceedings of the 11th Workshop on Logic, Language, Information and Computation, 2004
Facilitating the Specification Capture and Transformation Process in the Development of Multi-agent Systems.
Proceedings of the Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, 2004
Proceedings of the Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, 2004
2002
Proceedings of the 9th Workhop on Logic, Language, Information and Computation, 2002
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002
2001
Inf. Process. Lett., 2001
2000
A logic-based approach for real-time object-oriented software development.
RITA, 2000
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000
1999
Proceedings of the Fourth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999
1997
1995
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995
1993