default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZhenhua Duan
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j83]Xu Lu, Bin Yu, Cong Tian, Chu Chen, Zhenhua Duan:
On the exploitation of control knowledge for enhancing automated planning. Inf. Sci. 693: 121666 (2025)- [j82]Nan Zhang, Zhijie Xu, Zhenhua Duan, Cong Tian, Wu Wang, Chaofeng Yu:
Verifying chip designs at RTL level. Sci. Comput. Program. 240: 103224 (2025) - [j81]Guangyu Yao, Nan Zhang, Zhenhua Duan, Cong Tian:
Improved SARSA and DQN algorithms for reinforcement learning. Theor. Comput. Sci. 1027: 115025 (2025) - 2024
- [j80]Ruixuan Miao
, Xu Lu, Cong Tian, Bin Yu, Jin Cui, Zhenhua Duan:
Using experience classification for training non-Markovian tasks. Expert Syst. Appl. 255: 124649 (2024) - [j79]Yansong Dong, Yuehao Liu, Liang Zhao, Cong Tian, Zhenhua Duan:
Neuron importance based verification of neural networks via divide and conquer. Neurocomputing 565: 126995 (2024) - [j78]Peng Zhang, Cong Tian, Liang Zhao, Zhenhua Duan:
A multi-granularity CNN pruning framework via deformable soft mask with joint training. Neurocomputing 572: 127189 (2024) - [j77]Jiaqi Guo, Cong Tian, Xu Lu, Liang Zhao, Zhenhua Duan:
Multi-keyword ranked search with access control for multiple data owners in the cloud. J. Inf. Secur. Appl. 82: 103742 (2024) - [j76]Jiaqi Guo, Cong Tian, Qiang He, Liang Zhao, Zhenhua Duan:
Verifiable privacy-preserving semantic retrieval scheme in the edge computing. J. Syst. Archit. 156: 103289 (2024) - [j75]Peng Zhang, Liang Zhao, Cong Tian, Zhenhua Duan:
Intermediate-grained kernel elements pruning with structured sparsity. Neural Networks 180: 106708 (2024) - [j74]Zelong Zhao, Nan Zhang, Bin Yu, Zhenhua Duan:
Generating Java code pairing with ChatGPT. Theor. Comput. Sci. 1021: 114879 (2024) - [j73]Hongwei Du, Jingfang Su, Zhao Zhang, Zhenhua Duan, Cong Tian, Ding-Zhu Du:
Full View Maximum Coverage of Camera Sensors: Moving Object Monitoring. ACM Trans. Sens. Networks 20(3): 63:1-63:23 (2024) - [c125]Nanjiang Qu, Cong Tian, Zhenhua Duan:
DACPara: A Divide-and-Conquer Parallel Approach for High-Quality Logic Rewriting in Large-Scale Circuits. DAC 2024: 127:1-127:6 - [c124]Xu Lu, Cong Tian, Bin Gu, Bin Yu, Chen Chen, Zhenhua Duan:
A Contract-Based Framework for Formal Verification of Embedded Software. SETTA 2024: 180-196 - [c123]Jin Cui, Zhenhua Duan:
An Approach to Improving Reliability of Parallel Graph Computation. TASE 2024: 58-72 - 2023
- [j72]Bin Yu, Xu Lu, Cong Tian, Meng Wang, Chu Chen, Ming Lei, Zhenhua Duan:
Adaptively parallel runtime verification based on distributed network for temporal properties. Parallel Comput. 117: 103034 (2023) - [j71]Nan Zhang, Chaofeng Yu, Zhenhua Duan, Cong Tian:
A proof system for unified temporal logic. Theor. Comput. Sci. 949: 113702 (2023) - [j70]Bin Yu, Cong Tian, Xu Lu, Nan Zhang, Zhenhua Duan:
A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties. IEEE Trans. Parallel Distributed Syst. 34(1): 76-91 (2023) - [c122]Guangyu Yao, Nan Zhang, Zhenhua Duan, Cong Tian:
A Dynamic Parameter Adaptive Path Planning Algorithm. COCOA (2) 2023: 227-239 - [c121]Chaofeng Yu, Nan Zhang, Zhenhua Duan, Cong Tian:
An Approach to Agent Path Planning Under Temporal Logic Constraints. COCOON (2) 2023: 82-93 - [c120]Chu Chen, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu:
SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations. ISSTA 2023: 967-979 - [c119]Bin Yu, Cong Tian, Hengrui Xing, Zuchao Yang, Jie Su, Xu Lu, Jiyu Yang, Liang Zhao, Xiaofeng Li, Zhenhua Duan:
Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering. ESEC/SIGSOFT FSE 2023: 1153-1164 - [c118]Jie Su, Zuchao Yang, Hengrui Xing, Jiyu Yang, Cong Tian, Zhenhua Duan:
PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution). TACAS (2) 2023: 571-576 - [c117]Wu Wang, Nan Zhang, Cong Tian, Zhenhua Duan, Zhijie Xu, Chaofeng Yu:
Verifying Chips Design at RTL Level. TASE 2023: 146-163 - [e14]Shaoying Liu, Zhenhua Duan, Ai Liu:
Structured Object-Oriented Formal Language and Method - 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13854, Springer 2023, ISBN 978-3-031-29475-4 [contents] - [i9]Ruixuan Miao, Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan:
Using Experience Classification for Training Non-Markovian Tasks. CoRR abs/2310.11678 (2023) - 2022
- [j69]Yansong Dong, Long Tang, Cong Tian, Bin Yu, Zhenhua Duan:
Improving transferability of adversarial examples by saliency distribution and data augmentation. Comput. Secur. 120: 102811 (2022) - [j68]Zhenhua Duan, Cong Tian, Nan Zhang, Mengchu Zhou, Bin Yu, Xiaobing Wang, Jiangen Guo, Ying Wu:
A novel load balancing scheme for mobile edge computing. J. Syst. Softw. 186: 111195 (2022) - [j67]Xinya Ning, Nan Zhang, Zhenhua Duan, Cong Tian:
PPTL specification mining based on LNFG. Theor. Comput. Sci. 937: 85-95 (2022) - [j66]Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian:
Verifying Properties of MapReduce-Based Big Data Processing. IEEE Trans. Reliab. 71(1): 321-338 (2022) - [c116]Jiarui Wang, Nan Zhang, Zhenhua Duan:
Three Algorithms for Converting Control Flow Statements from Python to XD-M. AAIM 2022: 456-465 - [c115]Xiaoting Zhong, Nan Zhang, Zhenhua Duan:
An Approach for Automatically Generating Traces for Python Programs. DSA 2022: 262-268 - [c114]Jie Su, Cong Tian, Zuchao Yang, Jiyu Yang, Bin Yu, Zhenhua Duan:
Prioritized Constraint-Aided Dynamic Partial-Order Reduction. ASE 2022: 78:1-78:13 - [c113]Zhenhua Duan, Guoyin Wang, Qun Liu, Yan Shi:
USV Path Planning Based on Adaptive Fuzzy Reward. IJCRS 2022: 117-131 - [c112]Xueqing Feng, Nan Zhang, Zhenhua Duan:
Implementation of Matlab matfun Toolkit Based on MSVL. SOFL+MSVL 2022: 53-58 - [c111]Chu Chen, Xuan Wang, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu:
Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing. SOFL+MSVL 2022: 106-116 - [c110]Hongwei Du, Zhao Zhang, Zhenhua Duan, Cong Tian, Ding-Zhu Du:
Formulate Full View Camera Sensor Coverage by Using Group Set Coverage. WiCON 2022: 76-90 - 2021
- [j65]Jie Zhang, Cong Tian, Zhenhua Duan:
An efficient approach for taint analysis of android applications. Comput. Secur. 104: 102161 (2021) - [j64]Bin Yu, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du:
A dynamic approach to detecting, eliminating and fixing memory leaks. J. Comb. Optim. 42(3): 409-426 (2021) - [j63]Jin Liu, Zhenhua Duan, Cong Tian:
Multi-matching nested relations. Theor. Comput. Sci. 854: 77-93 (2021) - [j62]Nan Zhang, Bin Yu, Cong Tian, Zhenhua Duan, Xiaoshuai Yuan:
Temporal logic specification mining of programs. Theor. Comput. Sci. 857: 29-42 (2021) - [j61]Nan Zhang, Zhenhua Duan, Cong Tian:
Unified temporal logic. Theor. Comput. Sci. 864: 58-69 (2021) - [j60]Xu Lu, Nan Zhang, Cong Tian, Bin Yu, Zhenhua Duan:
A Knowledge-Based Temporal Planning Approach for Urban Traffic Control. IEEE Trans. Intell. Transp. Syst. 22(3): 1907-1918 (2021) - [j59]Jie Zhang, Cong Tian, Zhenhua Duan, Liang Zhao:
RTPDroid: Detecting Implicitly Malicious Behaviors Under Runtime Permission Model. IEEE Trans. Reliab. 70(3): 1295-1308 (2021) - [j58]Kai Yang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du:
A CEGAR-Based Static-Dynamic Approach to Verifying Full Regular Properties of C Programs. IEEE Trans. Reliab. 70(4): 1455-1467 (2021) - [c109]Yajie Wang, Nan Zhang, Zhenhua Duan:
Design and Implementation of List and Dictionary in XD-M Language. AAIM 2021: 344-355 - [c108]Jie Zhang, Lin Yan, Rong Wang, Cong Tian, Zhenhua Duan:
Malware Detection using CNN via Word Embedding. DSA 2021: 600-607 - [c107]Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan:
Improving Quality of Counterexamples in Model Checking via Automated Planning. QRS 2021: 691-701 - [c106]Jie Su, Cong Tian, Zhenhua Duan:
Conditional interpolation: making concurrent program verification more effective. ESEC/SIGSOFT FSE 2021: 144-154 - [e13]Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan:
Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers. Lecture Notes in Computer Science 12723, Springer 2021, ISBN 978-3-030-77473-8 [contents] - [i8]Zhenhua Duan, Cong Tian, Nan Zhang, Mengchu Zhou, Bin Yu, Xiaobing Wang, Jiangen Guo, Ying Wu:
A Novel Load Balancing Scheme for Mobile Edge Computing. CoRR abs/2112.10091 (2021) - 2020
- [j57]Nan Zhang, Xu Lu, Cong Tian, Zhenhua Duan, Zhifeng Sun, Ting Zhang:
P2P Network Based Smart Parking System Using Edge Computing. Mob. Networks Appl. 25(6): 2226-2239 (2020) - [j56]Dekui Wang, Zhenhua Duan, Cong Tian, Bohu Huang, Nan Zhang:
ParRA: A Shared Memory Parallel FPGA Router Using Hybrid Partitioning Approach. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(4): 830-842 (2020) - [j55]Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Chenguang Yao:
Translating Xd-C programs to MSVL programs. Theor. Comput. Sci. 809: 430-465 (2020) - [j54]Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du:
A novel approach to verifying context free properties of programs. Theor. Comput. Sci. 809: 519-530 (2020) - [j53]Xu Lu, Zhenhua Duan, Cong Tian, Hongwei Du:
Verify heaps via unified model checking. Theor. Comput. Sci. 819: 35-49 (2020) - [j52]Xinfeng Shu, Zhenhua Duan, Hongwei Du:
A decision procedure and complete axiomatization for projection temporal logic. Theor. Comput. Sci. 819: 50-84 (2020) - [c105]Nan Zhang, Xiaoshuai Yuan, Zhenhua Duan:
Propositional Projection Temporal Logic Specification Mining. COCOA 2020: 289-303 - [c104]Jin Liu, Zhenhua Duan, Cong Tian:
Transforming Multi-matching Nested Traceable Automata to Multi-matching Nested Expressions. COCOA 2020: 320-333 - [c103]Cong Tian, Wensheng Wang, Zhenhua Duan:
Making Streett Determinization Tight. LICS 2020: 859-872 - [c102]Jie Zhang, Cong Tian, Zhenhua Duan, Liang Zhao:
RTPDroid: Detecting Implicitly Malicious Behaviors Under Runtime Permission Model. QRS 2020: 121 - [e12]Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan:
Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12028, Springer 2020, ISBN 978-3-030-41417-7 [contents] - [i7]Cong Tian, Wensheng Wang, Zhenhua Duan:
Making Streett Determinization Tight. CoRR abs/2006.16476 (2020)
2010 – 2019
- 2019
- [j51]Hanna Klaudel, Maciej Koutny, Zhenhua Duan, Ben C. Moszkowski:
From Box Algebra to Interval Temporal Logic. Fundam. Informaticae 167(4): 323-354 (2019) - [j50]Jin Cui, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du:
Verifying schedulability of tasks in ROS-based systems. J. Comb. Optim. 37(3): 901-920 (2019) - [j49]Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du:
Verifying a scheduling protocol of safety-critical systems. J. Comb. Optim. 37(4): 1191-1215 (2019) - [j48]Kai Yang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du:
A temporal logic programming approach to planning. J. Comb. Optim. 38(2): 402-420 (2019) - [j47]Cong Tian, Zhenhua Duan:
Model checking open systems with alternating projection temporal logic. Theor. Comput. Sci. 774: 65-81 (2019) - [j46]Liang Zhao, Xiaobing Wang, Zhenhua Duan:
Model checking of pushdown systems for projection temporal logic. Theor. Comput. Sci. 774: 82-94 (2019) - [j45]Zhenhua Duan, Cong Tian, Nan Zhang, Qian Ma, Hongwei Du:
Index set expressions can represent temporal logic formulas. Theor. Comput. Sci. 788: 21-38 (2019) - [j44]Cong Tian, Chu Chen, Zhenhua Duan, Liang Zhao:
Differential Testing of Certificate Validation in SSL/TLS Implementations: An RFC-guided Approach. ACM Trans. Softw. Eng. Methodol. 28(4): 24:1-24:37 (2019) - [j43]Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan:
Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution. IEEE Trans. Reliab. 68(3): 1101-1116 (2019) - [c101]Jie Zhang, Cong Tian, Zhenhua Duan:
FastDroid: efficient taint analysis for Android applications. ICSE (Companion Volume) 2019: 236-237 - [e11]Ding-Zhu Du, Zhenhua Duan, Cong Tian:
Computing and Combinatorics - 25th International Conference, COCOON 2019, Xi'an, China, July 29-31, 2019, Proceedings. Lecture Notes in Computer Science 11653, Springer 2019, ISBN 978-3-030-26175-7 [contents] - [e10]Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya:
Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11392, Springer 2019, ISBN 978-3-030-13650-5 [contents] - 2018
- [j42]Weili Wu, Hongwei Du, Huijuan Wang, Lidong Wu, Zhenhua Duan, Cong Tian:
On general threshold and general cascade models of social influence. J. Comb. Optim. 35(1): 209-215 (2018) - [j41]Bin Yu, Zhenhua Duan, Cong Tian, Nan Zhang:
Verifying temporal properties of programs: A parallel approach. J. Parallel Distributed Comput. 118(Part): 89-99 (2018) - [j40]Dekui Wang, Zhenhua Duan, Cong Tian, Bohu Huang, Nan Zhang:
A Runtime Optimization Approach for FPGA Routing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(8): 1706-1710 (2018) - [j39]Kai Yang, Zhenhua Duan, Cong Tian, Nan Zhang:
A compiler for MSVL and its applications. Theor. Comput. Sci. 749: 2-16 (2018) - [j38]Xu Lu, Cong Tian, Zhenhua Duan, Hongwei Du:
Planning with Spatio-Temporal Search Control Knowledge. IEEE Trans. Knowl. Data Eng. 30(10): 1915-1928 (2018) - [j37]Jin Cui, Zhenhua Duan, Cong Tian, Hongwei Du:
A Novel Approach to Modeling and Verifying Real-Time Systems for High Reliability. IEEE Trans. Reliab. 67(2): 481-493 (2018) - [c100]Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du:
A Novel Approach to Verifying Context Free Properties of Programs. AAIM 2018: 74-87 - [c99]Cong Tian, Jiaying Wang, Zhenhua Duan, Liang Zhao:
Reducing Extension Edges of Concurrent Programs for Reachability Analysis. COCOA 2018: 386-401 - [c98]Cong Tian, Zhao Duan, Zhenhua Duan:
Accelerating counterexample detection in software model checking. ICSE (Companion Volume) 2018: 250-251 - [c97]Cong Tian, Congli Xia, Zhenhua Duan:
Android inter-component communication analysis with intent revision. ICSE (Companion Volume) 2018: 254-255 - [c96]Chu Chen, Cong Tian, Zhenhua Duan, Liang Zhao:
RFC-directed differential testing of certificate validation in SSL/TLS implementations. ICSE 2018: 859-870 - [c95]Jingyao Tu, Zhenhua Duan, Cong Tian, Nan Zhang, Ying Wu:
A Blockchain Implementation of an Attendance Management System. SOFL+MSVL 2018: 169-182 - [c94]Zhao Duan, Cong Tian, Zhenhua Duan, C.-H. Luke Ong:
InterpChecker: Reducing State Space via Interpolations - (Competition Contribution). TACAS (2) 2018: 432-436 - [e9]Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan:
Structured Object-Oriented Formal Language and Method - 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10795, Springer 2018, ISBN 978-3-319-90103-9 [contents] - [i6]Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Chenguang Yao:
Translating C programs to MSVL programs. CoRR abs/1809.00959 (2018) - 2017
- [j36]Haiyang Wang, Zhenhua Duan, Cong Tian:
Model Checking Multi-agent Systems with APTL. Ad Hoc Sens. Wirel. Networks 37(1-4): 35-52 (2017) - [j35]Xiaobing Wang, Cong Tian, Zhenhua Duan, Liang Zhao:
MSVL: a typed language for temporal logic programming. Frontiers Comput. Sci. 11(5): 762-785 (2017) - [j34]Zhenhua Duan, Cong Tian, Mengchu Zhou, Xiaobing Wang, Nan Zhang, Hongwei Du, Lei Wang:
Two-layer hybrid peer-to-peer networks. Peer-to-Peer Netw. Appl. 10(6): 1304-1322 (2017) - [c93]Chu Chen, Zhenhua Duan, Cong Tian, Hongwei Du:
Cloning Automata: Simulation and Analysis of Computer Bacteria. COCOA (1) 2017: 401-416 - [c92]Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du, Kai Yang:
Modeling and Verifying Multi-core Programs. COCOA (2) 2017: 492-500 - [c91]Zhao Duan, Cong Tian, Zhenhua Duan:
Verifying Temporal Properties of C Programs via Lazy Abstraction. ICFEM 2017: 122-139 - [c90]Meng Wang, Cong Tian, Zhenhua Duan:
Full regular temporal property verification as dynamic program execution. ICSE (Companion Volume) 2017: 226-228 - [c89]Xu Lu, Cong Tian, Zhenhua Duan:
Temporalising Separation Logic for Planning with Search Control Knowledge. IJCAI 2017: 1167-1173 - [c88]Cong Tian, Zhao Duan, Zhenhua Duan, C.-H. Luke Ong:
More effective interpolations in software model checking. ASE 2017: 183-193 - [c87]Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian, Jin Cui:
Implementing MapReduce with MSVL. SOFL+MSVL 2017: 148-167 - [e8]Zhenhua Duan, Luke Ong:
Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings. Lecture Notes in Computer Science 10610, Springer 2017, ISBN 978-3-319-68689-9 [contents] - [e7]Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya:
Structured Object-Oriented Formal Language and Method - 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10189, 2017, ISBN 978-3-319-57707-4 [contents] - 2016
- [j33]Xinmin Song, Zhenhua Duan, Ju H. Park:
Linear optimal estimation for discrete-time systems with measurement-delay and packet dropping. Appl. Math. Comput. 284: 115-124 (2016) - [j32]Nan Zhang, Zhenhua Duan, Cong Tian:
Model checking concurrent systems with MSVL. Sci. China Inf. Sci. 59(11): 118101 (2016) - [j31]Man Zhang, Zhenhua Duan, Qingshan Li, Hua Chu:
Transformation from business process models to BPEL with overlapped patterns involved. Int. J. High Perform. Comput. Netw. 9(1/2): 82-92 (2016) - [j30]Ya Shi, Cong Tian, Zhenhua Duan, Mengchu Zhou:
Model checking Petri nets with MSVL. Inf. Sci. 363: 274-291 (2016) - [j29]Nan Zhang, Mengfei Yang, Bin Gu, Zhenhua Duan, Cong Tian:
Verifying safety critical task scheduling systems in PPTL axiom system. J. Comb. Optim. 31(2): 577-603 (2016) - [j28]Zhenhua Duan, Cong Tian, Nan Zhang:
A canonical form based decision procedure and model checking approach for propositional projection temporal logic. Theor. Comput. Sci. 609: 544-560 (2016) - [j27]Nan Zhang, Zhenhua Duan, Cong Tian:
A complete axiom system for propositional projection temporal logic with cylinder computation model. Theor. Comput. Sci. 609: 639-657 (2016) - [j26]Nan Zhang, Zhenhua Duan, Cong Tian:
A mechanism of function calls in MSVL. Theor. Comput. Sci. 654: 11-25 (2016) - [c86]Xu Lu, Zhenhua Duan, Cong Tian:
Using Unified Model Checking to Verify Heaps. COCOA 2016: 735-743 - [c85]Xinfeng Shu, Zhenhua Duan:
Extending MSVL with Semaphore. COCOON 2016: 599-610 - [c84]Yao Liu, Zhenhua Duan, Cong Tian, Bin Cui:
Satisfiability of Linear Time Mu-Calculus on Finite Traces. COCOON 2016: 611-622 - [c83]Yao Liu, Zhenhua Duan, Cong Tian:
A Decision Procedure for a Fragment of Linear Time Mu-Calculus. IJCAI 2016: 1195-1201 - [c82]Lin Qian, Zhenhua Duan, Nan Zhang, Cong Tian:
A Proof System for MSVL Programs in Coq. SOFL+MSVL 2016: 121-143 - [e6]Shaoying Liu, Zhenhua Duan:
Structured Object-Oriented Formal Language and Method - 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers. Lecture Notes in Computer Science 9559, Springer 2016, ISBN 978-3-319-31219-4 [contents] - 2015
- [j25]Qian Ma, Zhenhua Duan, Nan Zhang, Xiaobing Wang:
Verification of distributed systems with the axiomatic system of MSVL. Formal Aspects Comput. 27(1): 103-131 (2015) - [j24]Ling Luo, Zhenhua Duan, Cong Tian, Xiaobing Wang:
A structural transformation from p-π to MSVL. J. Comb. Optim. 29(1): 308-329 (2015) - [j23]Cong Tian, Zhenhua Duan, Mengfei Yang:
Transformation from PLTL to automata via NFGs. J. Comb. Optim. 29(2): 406-417 (2015) - [j22]Jin Liu, Zhenhua Duan, Cong Tian, Nan Zhang:
An extended strange planet protocol. J. Comb. Optim. 30(2): 299-319 (2015) - [j21]Zhenhua Duan, Jin Liu, Jie Li, Cong Tian:
Improved even order magic square construction algorithms and their applications in multi-user shared electronic accounts. Theor. Comput. Sci. 607: 391-410 (2015) - [c81]Haiyang Wang, Zhenhua Duan, Cong Tian:
Symbolic Model Checking for Alternating Projection Temporal Logic. COCOA 2015: 481-495 - [c80]Zhenhua Duan, Kangkang Bu, Cong Tian, Nan Zhang:
Model Checking MSVL Programs Based on Dynamic Symbolic Execution. COCOON 2015: 521-533 - [c79]Meng Wang, Zhenhua Duan, Cong Tian, Nan Zhang:
Verification of a real time scheduling protocol of safety-critical systems. CSCWD 2015: 286-291 - [c78]Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang, Conghao Zhou:
Model Checking \mu μ C/OS-III Multi-task System with TMSVL. ICFEM 2015: 187-200 - [c77]Zhenhua Duan, Yujiang Hui, Cong Tian, Nan Zhang, Bohu Huang:
A Self-ORganizing Trust Model Based on HP2P. MSN 2015: 96-101 - [c76]Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang:
Modeling and Verification of an Interrupt System in \mu μ C/OS-III with TMSVL. SOFL+MSVL 2015: 15-28 - [c75]Xinfeng Shu, Zhenhua Duan:
Model Checking Process Scheduling over Multi-core Computer System with MSVL. SOFL+MSVL 2015: 103-117 - [c74]Cong Tian, Jun Song, Zhenhua Duan, Zhao Duan:
LtlNfBa: Making LTL Translation More Practical. SOFL+MSVL 2015: 179-194 - [c73]Xiaoming Zhang, Zhenhua Duan, Cong Tian:
PPTL_SPIN: A SPIN Based Model Checker for Propositional Projection Temporal Logic. SOFL+MSVL 2015: 195-205 - [e5]Shaoying Liu, Zhenhua Duan:
Structured Object-Oriented Formal Language and Method - 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8979, Springer 2015, ISBN 978-3-319-17403-7 [contents] - [i5]Yao Liu, Zhenhua Duan, Cong Tian:
An Improved Decision Procedure for Linear Time Mu-Calculus. CoRR abs/1507.05513 (2015) - [i4]Xu Lu, Zhenhua Duan, Cong Tian:
Extending PPTL for Verifying Heap Evolution Properties. CoRR abs/1507.08426 (2015) - 2014
- [j20]Qian Ma, Zhenhua Duan:
Linear time-dependent constraints programming with MSVL. J. Comb. Optim. 27(4): 724-766 (2014) - [j19]Cong Tian, Zhenhua Duan, Jin Liu:
Secure communications with strange planet protocol. Optim. Lett. 8(1): 201-209 (2014) - [j18]Zhenhua Duan, Cong Tian:
A practical decision procedure for Propositional Projection Temporal Logic with infinite models. Theor. Comput. Sci. 554: 169-190 (2014) - [j17]Nan Zhang, Zhenhua Duan, Cong Tian, Ding-Zhu Du:
A formal proof of the deadline driven scheduler in PPTL axiomatic system. Theor. Comput. Sci. 554: 229-253 (2014) - [j16]Cong Tian, Zhenhua Duan, Zhao Duan:
Making CEGAR More Efficient in Software Model Checking. IEEE Trans. Software Eng. 40(12): 1206-1223 (2014) - [c72]Zhenhua Duan, Jin Liu, Jie Li, Cong Tian:
Improved Even Order Magic Square Construction Algorithms and Their Applications. COCOA 2014: 666-680 - [c71]Nan Zhang, Zhenhua Duan, Cong Tian:
An Axiomatization for Cylinder Computation Model. COCOON 2014: 71-83 - [c70]Zhenhua Duan, Cong Tian, Nan Zhang:
Normal Form Expressions of Propositional Projection Temporal Logic. COCOON 2014: 84-93 - [c69]Meng Wang, Zhenhua Duan, Cong Tian:
Simulation and verification of the virtual memory management system with MSVL. CSCWD 2014: 360-365 - [c68]Jin Cui, Zhenhua Duan, Cong Tian:
Model Checking Rate-Monotonic Scheduler with TMSVL. ICECCS 2014: 202-205 - [c67]Nan Zhang, Zhenhua Duan, Cong Tian:
Extending MSVL with Function Calls. ICFEM 2014: 446-458 - [c66]Hanna Klaudel, Maciej Koutny, Zhenhua Duan:
Interval Temporal Logic Semantics of Box Algebra. LATA 2014: 441-452 - [c65]Quanrun Fan, Zhenhua Duan, Cong Tian, Hongwei Du:
Clustering and Partition Based Divide and Conquer for SAT Solving. MSN 2014: 299-307 - [c64]Bin Yu, Zhenhua Duan, Cong Tian:
Unified Bounded Model Checking for MSVL. SOFL+MSVL 2014: 49-61 - [c63]Kai Yang, Zhenhua Duan, Cong Tian:
A Memory Management Mechanism for MSVL. SOFL+MSVL 2014: 179-188 - [c62]Yao Liu, Zhenhua Duan, Cong Tian:
An Improved Recursive Algorithm for Parity Games. TASE 2014: 154-161 - [e4]Shaoying Liu, Zhenhua Duan:
Structured Object-Oriented Formal Language and Method - Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8332, Springer 2014, ISBN 978-3-319-04914-4 [contents] - [i3]Cong Tian, Zhenhua Duan:
Buchi Determinization Made Tighter. CoRR abs/1404.1436 (2014) - 2013
- [j15]Zhenhua Duan, Hanna Klaudel, Maciej Koutny:
ITL semantics of composite Petri nets. J. Log. Algebraic Methods Program. 82(2): 95-110 (2013) - [j14]Nan Zhang, Zhenhua Duan, Cong Tian:
A cylinder computation model for many-core parallel computing. Theor. Comput. Sci. 497: 68-83 (2013) - [j13]Zhenhua Duan, Nan Zhang, Maciej Koutny:
A complete proof system for propositional projection temporal logic. Theor. Comput. Sci. 497: 84-107 (2013) - [c61]Zhenhua Duan, Qian Ma, Cong Tian, Nan Zhang:
Some Fixed-Point Issues in PPTL. Theories of Programming and Formal Methods 2013: 151-165 - [c60]Jin Liu, Zhenhua Duan, Cong Tian:
An Extended Strange Planet Protocol. COCOA 2013: 214-225 - [c59]Cong Tian, Zhenhua Duan, Mengfei Yang:
Deternimization of Büchi Automata as Partitioned Automata. COCOON 2013: 158-168 - [c58]Zhenhua Duan, Cong Tian, Mengfei Yang, Jia He:
Bounded Model Checking for Propositional Projection Temporal Logic. COCOON 2013: 591-602 - [c57]Peng Zhang, Zhenhua Duan, Cong Tian:
Simulation of CTCS-3 protocol with temporal logic programming. CSCWD 2013: 72-77 - [c56]Ya Shi, Zhenhua Duan, Cong Tian:
Translation from Workflow Nets to MSVL. ICFEM 2013: 281-296 - [c55]Cong Tian, Zhenhua Duan:
Detecting spurious counterexamples efficiently in abstract model checking. ICSE 2013: 202-211 - [c54]Ling Luo, Zhenhua Duan:
A Transformation from p-π to MSVL. ICTAC 2013: 267-281 - [c53]Xu Lu, Zhenhua Duan, Cong Tian, Hongjin Liu:
Integrating Separation Logic with PPTL. SOFL+MSVL 2013: 35-47 - [c52]Ya Shi, Zhenhua Duan, Cong Tian, Hua Yang:
Improved Net Reductions for LTL $$\setminus $$ \ X Model Checking. SOFL+MSVL 2013: 48-61 - [c51]Xiaobing Wang, Zhenhua Duan, Liang Zhao:
Formalizing and Implementing Types in MSVL. SOFL+MSVL 2013: 62-75 - [c50]Yao Liu, Zhenhua Duan, Cong Tian, Bo Liu:
Present-Future Form of Linear Time $$\mu $$ -Calculus. SOFL+MSVL 2013: 76-85 - [c49]Qian Ma, Zhenhua Duan, Mengfei Yang:
Integration of Linear Constraints with a Temporal Logic Programming Language. TASE 2013: 157-164 - [c48]Kai Yang, Zhenhua Duan, Cong Tian:
Modeling and Verification of RBC Handover Protocol. TTSS 2013: 51-62 - [c47]Bin Yu, Zhenhua Duan, Cong Tian:
Bounded Model Checking of Traffic Light Control System. TTSS 2013: 63-74 - 2012
- [j12]Pengcheng Nie, Zhenhua Duan:
Efficient and scalable scheduling for performance heterogeneous multicore systems. J. Parallel Distributed Comput. 72(3): 353-361 (2012) - [j11]Cong Tian, Zhenhua Duan, Nan Zhang:
An efficient approach for abstraction-refinement in model checking. Theor. Comput. Sci. 461: 76-85 (2012) - [c46]Meng Han, Zhenhua Duan, Xiaobing Wang:
Time Constraints with Temporal Logic Programming. ICFEM 2012: 266-282 - [c45]Cong Tian, Shaoying Liu, Zhenhua Duan:
Abstract Model Checking with SOFL Hierarchy. SOFL 2012: 71-86 - [c44]Yan Yu, Zhenhua Duan, Cong Tian, Mengfei Yang:
Model Checking C Programs with MSVL. SOFL 2012: 87-103 - [c43]Tao Pang, Zhenhua Duan, Cong Tian:
Symbolic Model Checking for Propositional Projection Temporal Logic. TASE 2012: 9-16 - [r1]Zhenhua Duan, Cong Tian:
Model Checking. Handbook of Finite State Based Models and Applications 2012: 337-369 - 2011
- [j10]Cong Tian, Zhenhua Duan:
Expressiveness of propositional projection temporal logic with star. Theor. Comput. Sci. 412(18): 1729-1744 (2011) - [c42]Jia He, Zhenhua Duan:
Public Communication Based on Russian Cards Protocol: A Case Study. COCOA 2011: 192-206 - [c41]Nan Zhang, Zhenhua Duan:
A Semantic Model for Many-Core Parallel Computing. COCOA 2011: 464-479 - [c40]Cong Tian, Zhenhua Duan:
Making Abstraction-Refinement Efficient in Model Checking. COCOON 2011: 402-413 - [c39]Pengcheng Nie, Zhenhua Duan, Bohu Huang:
ESHMP: A Stall-Time-Based Scheduling for Performance Heterogeneous Multicore Systems. HPCC 2011: 101-107 - [c38]Dapeng Mo, Xiaobing Wang, Zhenhua Duan:
Asynchronous Communication in MSVL. ICFEM 2011: 82-97 - [c37]Chen Zhang, Zhenhua Duan:
Specification and Verification of UML2.0 Sequence Diagrams Using Event Deterministic Finite Automata. SSIRI (Companion) 2011: 41-46 - [c36]Cong Tian, Zhenhua Duan:
Focus Game for Projection Temporal Logic. TASE 2011: 45-51 - [e3]Zhenhua Duan, C.-H. Luke Ong:
5th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, China, 29-31 August 2011. IEEE Computer Society 2011, ISBN 978-1-4577-1487-0 [contents] - [i2]Cong Tian, Zhenhua Duan:
Detecting Spurious Counterexamples Efficiently in Abstract Model Checking. CoRR abs/1109.5506 (2011) - 2010
- [j9]Zhenhua Duan, Chen Yang:
Unconditional secure communication: a Russian Cards protocol. J. Comb. Optim. 19(4): 501-530 (2010) - [j8]Xiaoxiao Yang, Zhenhua Duan, Qian Ma:
Axiomatic semantics of projection temporal logic programs. Math. Struct. Comput. Sci. 20(5): 865-914 (2010) - [c35]Cong Tian, Zhenhua Duan:
A Transformation from PPTL to S1S. COCOA (2) 2010: 374-386 - [c34]Zhenhua Duan, Cong Tian:
An Improved Decision Procedure for Propositional Projection Temporal Logic. ICFEM 2010: 90-105 - [c33]Cong Tian, Zhenhua Duan:
Alternating Interval Based Temporal Logics. ICFEM 2010: 694-709 - [c32]Xiaoyu Song, Zhenhua Duan, Cong Tian:
Non-Functional Requirements Elicitation and Incorporation into Class Diagrams. Intelligent Information Processing 2010: 72-81 - [c31]Zhenhua Duan, Cong Tian:
An Executable Concurrent Model for OWL-S Process Models. QSIC 2010: 405-413 - [c30]Xiaoxiao Yang, Zhenhua Duan:
Axiomatic Temporal Logic Programs Verification. TASE 2010: 87-94 - [c29]Haibin Zhang, Zhenhua Duan, Bohu Huang, Xiaobing Wang, Long Zhang:
Model Checking Rectangular Hybrid Systems with Timed Computation Tree Logic. TASE 2010: 126-131 - [i1]Cong Tian, Zhenhua Duan:
Making Abstraction Refinement Efficient in Model Checking. CoRR abs/1007.3569 (2010)
2000 – 2009
- 2009
- [j7]Cong Tian, Zhenhua Duan:
A note on stutter-invariant PLTL. Inf. Process. Lett. 109(13): 663-667 (2009) - [j6]Cong Tian, Zhenhua Duan:
Complexity of propositional projection temporal logic with star. Math. Struct. Comput. Sci. 19(1): 73-100 (2009) - [c28]Chenting Zhao, Zhenhua Duan, Man Zhang:
A Model-Driven Approach for Generating Business Processes and Process Interaction Semantics. ACIS-ICIS 2009: 483-488 - [c27]Zhenhua Duan, Chen Yang:
Generalized Russian Cards Problem. COCOA 2009: 85-97 - [c26]Jinqiang Zhao, Zhenhua Duan:
Verification of Use Case with Petri Nets in Requirement Analysis. ICCSA (2) 2009: 29-42 - [c25]Yan Xiao, Zhenhua Duan, Pengcheng Nie:
An Efficient Algorithm for Finding Empty Space for Reconfigurable Systems. TASE 2009: 36-43 - [p1]Zhenhua Duan, Xinfeng Shu:
A Proof System for Projection Temporal Logic. Computer and Information Science 2009: 273-283 - 2008
- [j5]Zhenhua Duan, Cong Tian, Li Zhang:
A decision procedure for propositional projection temporal logic with infinite models. Acta Informatica 45(1): 43-78 (2008) - [j4]Xiaoxiao Yang, Zhenhua Duan:
Operational semantics of Framed Tempura. J. Log. Algebraic Methods Program. 78(1): 22-51 (2008) - [j3]Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny:
Framed temporal logic programming. Sci. Comput. Program. 70(1): 31-61 (2008) - [c24]Yan Xiao, Zhenhua Duan:
Dynamic Critical-Path based on Fit Degree scheduling for reconfigurable multi-FPGAs. ACSD 2008: 27-32 - [c23]Man Zhang, Zhenhua Duan, Chenting Zhao:
Semi-automatically annotating data semantics to web services using ontology mapping. CSCWD 2008: 470-475 - [c22]Zhenhua Duan, Cong Tian:
A Unified Model Checking Approach with Projection Temporal Logic. ICFEM 2008: 167-186 - [c21]Bo Wang, Zhenhua Duan, Lei Wang:
Kapa: A File Sharing System Based on HP2P. ICIW 2008: 403-409 - [c20]Man Zhang, Zhenhua Duan:
From Business Process Models to Web Services Orchestration: The Case of UML 2.0 Activity Diagram to BPEL. ICSOC 2008: 505-510 - [c19]Cong Tian, Zhenhua Duan:
Propositional Projection Temporal Logic, Bchi Automata and omega-Regular Expressions. TAMC 2008: 47-58 - [c18]Haibin Zhang, Zhenhua Duan:
Symbolic Algorithm Analysis of Rectangular Hybrid Systems. TAMC 2008: 294-305 - [c17]Zhenhua Duan, Nan Zhang:
A Complete Axiomatization of Propositional Projection Temporal Logic. TASE 2008: 271-278 - [e2]Jonathan Billington, Zhenhua Duan, Maciej Koutny:
8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi'an, China, June 23-27, 2008. IEEE 2008, ISBN 978-1-4244-1838-1 [contents] - [e1]Manindra Agrawal, Ding-Zhu Du, Zhenhua Duan, Angsheng Li:
Theory and Applications of Models of Computation, 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008. Proceedings. Lecture Notes in Computer Science 4978, Springer 2008, ISBN 978-3-540-79227-7 [contents] - 2007
- [j2]Lihui Lei, Zhenhua Duan:
Integrating AJAX and Web Services for Cooperative Image Editing. IT Prof. 9(3): 25-29 (2007) - [c16]Peng Men, Zhenhua Duan, Bin Yu:
Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery. ICATPN 2007: 362-380 - [c15]Lihui Lei, Zhenhua Duan:
Automating Web Service Composition for Collaborative Business Processes. CSCWD 2007: 894-899 - [c14]Ertao Lv, Zhenhua Duan, Jian-Jun Qi, Yang Cao, Zhuo Peng:
Incorporating Clusters into Hybrid P2P Network. ICDS 2007: 17 - [c13]Zhuo Peng, Zhenhua Duan, Jian-Jun Qi, Yang Cao, Ertao Lv:
HP2P: A Hybrid Hierarchical P2P Network. ICDS 2007: 18 - [c12]Cong Tian, Zhenhua Duan:
Model Checking Propositional Projection Temporal Logic Based on SPIN. ICFEM 2007: 246-265 - [c11]Xiaoxiao Yang, Zhenhua Duan:
Operational Semantics of Framed Temporal Logic Programs. SOFSEM (1) 2007: 566-578 - [c10]Zhenhua Duan, Cong Tian:
Decidability of Propositional Projection Temporal Logic with Infinite Models. TAMC 2007: 521-532 - [c9]Yongtao Ma, Zhenhua Duan, Xiaobing Wang, Xiaoxiao Yang:
An Interpreter for Framed Tempura and Its Application. TASE 2007: 251-260 - 2006
- [c8]Lihui Lei, Zhenhua Duan, Bin Yu:
Semantic Matching of Web Services for Collaborative Business Processes. CSCWD (Selected Papers) 2006: 479-488 - [c7]Lihui Lei, Zhenhua Duan, Bin Yu:
Semantic Matching of Web Services Based on Choreographies. CSCWD 2006: 751-756 - [c6]Zhile Zou, Zhenhua Duan:
Building Business Processes or Assembling Service Components: Reuse Services with BPEL4WS and SCA. ECOWS 2006: 138-147 - [c5]Zhile Zou, Zhenhua Duan, Jianli Wang:
A Comprehensive Framework for Dynamic Web Services Integration. ECOWS 2006: 211-222 - [c4]Lihui Lei, Zhenhua Duan:
Transforming OWL-S Process Model into EDFA for Service Discovery. ICWS 2006: 137-144 - [c3]Yang Cao, Zhenhua Duan, Jian-Jun Qi, Zhuo Peng, Ertao Lv:
Implementing Chord for HP2P Network. OTM Workshops (2) 2006: 1480-1489 - 2005
- [c2]Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny:
Semantics of Framed Temporal Logic Programs. ICLP 2005: 356-370 - 2004
- [j1]Zhenhua Duan, Maciej Koutny:
A Framed Temporal Logic Programming Language. J. Comput. Sci. Technol. 19(3): 341-351 (2004)
1990 – 1999
- 1996
- [b1]Zhenhua Duan:
An extended interval temporal logic and a framing technique for temporal logic programming. Newcastle University, Newcastle upon Tyne, UK, 1996 - 1994
- [c1]Zhenhua Duan, Maciej Koutny, Chris Holt:
Projection in Temporal Logic Programming. LPAR 1994: 333-344
Coauthor Index
[j83] [j82] [j81] [j80] [j79] [j78] [j77] [j76] [j75] [j73] [c125] [c124] [j72] [j71] [j70] [c122] [c121] [c120] [c119] [c118] [c117] [i9] [j69] [j68] [j67] [j66] [c114] [c111] [c110] [j65] [j64] [j63] [j62] [j61] [j60] [j59] [j58] [c108] [c107] [c106] [i8] [j57] [j56] [j55] [j54] [j53] [c104] [c103] [c102] [e12] [i7] [j50] [j49] [j48] [j47] [j45] [j44] [j43] [c101] [e11] [e10] [j42] [j41] [j40] [j39] [j38] [j37] [c100] [c99] [c98] [c97] [c96] [c95] [c94] [e9] [i6] [j36] [j35] [j34] [c93] [c92] [c91] [c90] [c89] [c88] [c87] [e7] [j32] [j30] [j29] [j28] [j27] [j26] [c86] [c84] [c83] [c82] [j24] [j23] [j22] [j21] [c81] [c80] [c79] [c78] [c77] [c76] [c74] [c73] [i5] [i4] [j19] [j18] [j17] [j16] [c72] [c71] [c70] [c69] [c68] [c67] [c65] [c64] [c63] [c62] [i3] [j14] [c61] [c60] [c59] [c58] [c57] [c56] [c55] [c53] [c52] [c50] [c48] [c47] [j11] [c45] [c44] [c43] [r1] [j10] [c40] [c36] [i2] [c35] [c34] [c33] [c32] [c31] [i1] [j7] [j6] [j5] [c22] [c19] [c12] [c10]
[j82] [j81] [j74] [j71] [j70] [c122] [c121] [c117] [j68] [j67] [j66] [c115] [c112] [j64] [j62] [j61] [j60] [j58] [c109] [i8] [j57] [j56] [j55] [j54] [c105] [j50] [j49] [j48] [j45] [j43] [j41] [j40] [j39] [c100] [c95] [i6] [j34] [c92] [c87] [j32] [j29] [j28] [j27] [j26] [c82] [j25] [j22] [c80] [c79] [c78] [c77] [c76] [j17] [c71] [c70] [c67] [j14] [j13] [c61] [j11] [c41] [c17]
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-12-13 20:07 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:
