Edward Hermann Haeusler

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Bruno Lopes 0001

> Home > Persons > Edward Hermann Haeusler

Publications

2021
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/LopesNH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/LopesNH21
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)
2019
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1905-02059
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-02059
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/BenevidesLH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BenevidesLH18
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)
2017
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/cys/NievesHV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cys/NievesHV17
Juan Carlos Nieves, Edward Hermann Haeusler, Bruno Lopes Vieira:
Editorial. Computación y Sistemas 21(3) (2017)
2016
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/BenevidesLH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/BenevidesLH16
Mario R. F. Benevides, Bruno Lopes, Edward Hermann Haeusler:
Propositional Dynamic Logic for Petri Nets with Iteration. ICTAC 2016: 441-456
2015
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/paams/LopesBH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paams/LopesBH15
Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler:
Reasoning about Multi-Agent Systems Using Stochastic Petri Nets. PAAMS (Special Sessions) 2015: 75-86
[c39]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SantosVH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SantosVH16
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
2014
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/LopesBH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/LopesBH14
Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler:
Propositional dynamic logic for Petri nets. Log. J. IGPL 22(5): 721-736 (2014)
[c31]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/NalonLDH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/NalonLDH15
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
2013
[c29]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LopesBH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LopesBH14
Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler:
Extending Propositional Dynamic Logic for Petri Nets. LSFA 2013: 67-83

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.