Tingting Han

From MaRDI portal
Person:458373

Available identifiers

zbMath Open han.tingtingWikidataQ102356764 ScholiaQ102356764MaRDI QIDQ458373

List of research outcomes





PublicationDate of PublicationType
Properly colored cycles of different lengths in edge-colored complete graphs2023-10-04Paper
Sufficient conditions for properly colored \(C_3\)'s and \(C_4\)'s in edge-colored complete graphs2023-01-11Paper
Color neighborhood union conditions for proper edge-pancyclicity of edge-colored complete graphs2021-12-07Paper
Edge-colored complete graphs containing no properly colored odd cycles2021-08-12Paper
https://portal.mardi4nfdi.de/entity/Q49925252021-06-09Paper
https://portal.mardi4nfdi.de/entity/Q33857812021-01-14Paper
Probabilistic verification of hierarchical leader election protocol in dynamic systems2019-01-30Paper
https://portal.mardi4nfdi.de/entity/Q45744772018-07-18Paper
Bisimulations for fuzzy transition systems revisited2018-06-27Paper
Polynomial-time algorithms for computing distances of fuzzy transition systems2018-05-17Paper
Arc-disjoint Hamiltonian cycles in round decomposable locally semicomplete digraphs2018-03-23Paper
Arc-disjoint Hamiltonian paths in non-round decomposable local tournaments2017-09-18Paper
On the complexity of computing maximum entropy for Markovian Models2017-04-25Paper
Continuous-time orbit problems are decidable in polynomial-time2014-10-07Paper
Checking strong open congruence in \(\chi\)-calculus2013-08-30Paper
Intensionality of modal logic for robust ambient calculus2013-08-27Paper
On the complexity of model checking interval-valued discrete time Markov chains2013-03-20Paper
Observing Continuous-Time MDPs by 1-Clock Timed Automata2011-10-07Paper
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications2011-05-26Paper
Efficient CTMC Model Checking of Linear Real-Time Objectives2011-05-19Paper
On metrics for probabilistic systems: definitions and algorithms2010-05-16Paper
LTL Model Checking of Time-Inhomogeneous Markov Chains2009-12-01Paper
Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains2008-09-02Paper
Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking2008-07-03Paper
Counterexamples in Probabilistic Model Checking2007-09-03Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science2006-11-14Paper
https://portal.mardi4nfdi.de/entity/Q54915122006-10-05Paper
Specification and verification for semi-structured data2006-05-09Paper
https://portal.mardi4nfdi.de/entity/Q56977922005-10-27Paper

Research outcomes over time

This page was built for person: Tingting Han