Guanjun Liu

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 Leifeng He

> Home > Persons > Guanjun Liu

Publications

2023
[j64]
- view
  authority control:
- export record
  dblp key:
  - journals/tcss/HeLZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcss/HeLZ23
Leifeng He, Guanjun Liu, Mengchu Zhou:
Petri-Net-Based Model Checking for Privacy-Critical Multiagent Systems. IEEE Trans. Comput. Soc. Syst. 10(2): 563-576 (2023)
[j60]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/HeL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/HeL23
Leifeng He, Guanjun Liu:
Prioritized Time-Point-Interval Petri Nets Modeling Multiprocessor Real-Time Systems and TCTL$_{x}$. IEEE Trans. Ind. Informatics 19(8): 8784-8794 (2023)
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/icnsc/HeLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icnsc/HeLS23
Leifeng He, Guanjun Liu, Yantao Sun:
PNer: A Petri-Net-Based Model Checker for Computation Tree Logic. ICNSC 2023: 1-7
2022
[j55]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/cai/SongXLH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cai/SongXLH22
Jian Song, Dongming Xiang, Guanjun Liu, Leifeng He:
Guard-Function-Constraint-Based Refinement Method to Generate Dynamic Behaviors of Workflow Net with Table. Comput. Informatics 41(4): 1025-1053 (2022)
2021
[j50]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/cai/HeL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cai/HeL21
Leifeng He, Guanjun Liu:
Verifying Computation Tree Logic of Knowledge via Knowledge-Oriented Petri Nets and Ordered Binary Decision Diagrams. Comput. Informatics 40(5) (2021)
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/HeL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/HeL21
Leifeng He, Guanjun Liu:
Petri Net Based CTL Model Checking: Using a New Method to Construct OBDD Variable Order. TASE 2021: 159-166
2020
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/services/HeL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/services/HeL20
Leifeng He, Guanjun Liu:
Petri Nets Based Verification of Epistemic Logic and Its Application on Protocols of Privacy and Security. SERVICES 2020: 25-28
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2012-10126
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-10126
Leifeng He, Guanjun Liu:
Petri Net Based Symbolic Model Checking for Computation Tree Logic of Knowledge. CoRR abs/2012.10126 (2020)
2019
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/hpcc/HeL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hpcc/HeL19
Leifeng He, Guanjun Liu:
Model Checking CTLK Based on Knowledge-Oriented Petri Nets. HPCC/SmartCity/DSS 2019: 1139-1146
2016
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/apscc/HeLW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apscc/HeLW16
Leifeng He, Guanjun Liu, Mimi Wang:
A Sufficient and Necessary Condition to Decide Compatibility for Simple Circuit Inter-organization Workflow Nets. APSCC 2016: 408-422
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/spaccs/YuLH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spaccs/YuLH16
Wangyang Yu, Guanjun Liu, Leifeng He:
A Reduction Method of Analyzing Data-Liveness and Data-Boundedness for a Class of E-commerce Business Process Nets. SpaCCS 2016: 70-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.