Document Search Results - zbMATH Open

×

from until

Sorting

Found 7 Documents (Results 1–7)

Newest Citations Relevance

Yang, Jinji; Tian, Yanling

Stabilities for Hutchinsion’s equations with nonlocal terms. (English) Zbl 1497.35488

Results Appl. Math. 15, Article ID 100300, 4 p. (2022).

MSC: 35R09 35K20 35K55 35B25 92C40 92D40

Cite Review PDF

Full Text: DOI

OA License

Yang, Jinji; Tian, Yanling

Traveling wave solutions for a non-monotone logistic equation in a cylinder. (English) Zbl 1423.35062

Appl. Math. Lett. 96, 126-130 (2019).

MSC: 35C07 35K58 35R10

Cite Review PDF

Full Text: DOI

Luo, Xiangyu; Su, Kaile; Gu, Ming; Wu, Lijun; Yang, Jinji

Symbolic model checking the knowledge in Herbivore protocol. (English) Zbl 1327.68037

van der Meyden, Ron (ed.) et al., Model checking and artificial intelligence. 6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-20673-3/pbk). Lecture Notes in Computer Science 6572. Lecture Notes in Artificial Intelligence, 112-129 (2011).

MSC: 68M12 68Q60 94A60

Cite Review PDF

Full Text: DOI

Tian, Yanling; Weng, Peixuan; Yang, Jinji

Nonoscillation for a kind of second order linear difference equation with delay in impulses. (English) Zbl 1150.39009

Southeast Asian Bull. Math. 31, No. 4, 775-788 (2007).

MSC: 39A11 39A10 39A12

Cite Review PDF

Luo, Xiangyu; Su, Kaile; Yang, Jinji

Bounded model checking for temporal epistemic logic in synchronous multi-agent systems. (Chinese. English summary) Zbl 1116.68051

J. Softw. 17, No. 12, 2485-2498 (2006).

MSC: 68Q60 68T05 03B44

Cite Review PDF

Full Text: Link

Tian, Yanling; Weng, Peixuan; Yang, Jinji

Nonoscillation for a second order linear delay differential equation with impulses. (English) Zbl 1069.34094

Acta Math. Appl. Sin., Engl. Ser. 20, No. 1, 101-114 (2004).

MSC: 34K11 34K06

Cite Review PDF

Full Text: DOI

Tian, Yanlin; Yang, Jinji

Oscillatory properties of some neutral forced functional-differential inequalities and its application. (Chinese. English summary) Zbl 0955.34052

J. South China Norm. Univ., Nat. Sci. Ed. 1999, No. 1, 16-20 (1999).

MSC: 34K11 34K40

Cite Review PDF

Filter Results by …

Document Type

Journal Articles (6)
Collection Articles (1)

all top 5

Author

all top 5

Serial

Southeast Asian Bull. Math. (1)
Acta Math. Appl. Sin., Engl. Ser. (1)
Appl. Math. Lett. (1)
J. South China Norm. Univ., Nat. Sci. Ed. (1)
J. Softw. (1)
Results Appl. Math. (1)

all top 5

Year of Publication

2022 (1)
2019 (1)
2011 (1)
2007 (1)
2006 (1)
2004 (1)
1999 (1)

all top 3

Main Field

34-XX (2)
35-XX (2)
68-XX (2)
03-XX (1)
39-XX (1)
92-XX (1)
94-XX (1)

all top 3

Software

MCK (1)
MCMAS (1)
NuSMV (1)
SPIN (1)

© 2024 FIZ Karlsruhe GmbH Privacy Policy Legal Notices Terms & Conditions