Tingting Han

Available identifiers

zbMath Open han.tingtingWikidataQ102356764 ScholiaQ102356764MaRDI QIDQ458373

List of research outcomes

Publication	Date of Publication	Type
Properly colored cycles of different lengths in edge-colored complete graphs	2023-10-04	Paper
Sufficient conditions for properly colored \(C_3\)'s and \(C_4\)'s in edge-colored complete graphs	2023-01-11	Paper
Color neighborhood union conditions for proper edge-pancyclicity of edge-colored complete graphs	2021-12-07	Paper
Edge-colored complete graphs containing no properly colored odd cycles	2021-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4992525	2021-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q3385781	2021-01-14	Paper
Probabilistic verification of hierarchical leader election protocol in dynamic systems	2019-01-30	Paper
https://portal.mardi4nfdi.de/entity/Q4574477	2018-07-18	Paper
Bisimulations for fuzzy transition systems revisited	2018-06-27	Paper
Polynomial-time algorithms for computing distances of fuzzy transition systems	2018-05-17	Paper
Arc-disjoint Hamiltonian cycles in round decomposable locally semicomplete digraphs	2018-03-23	Paper
Arc-disjoint Hamiltonian paths in non-round decomposable local tournaments	2017-09-18	Paper
On the complexity of computing maximum entropy for Markovian Models	2017-04-25	Paper
Continuous-time orbit problems are decidable in polynomial-time	2014-10-07	Paper
Checking strong open congruence in \(\chi\)-calculus	2013-08-30	Paper
Intensionality of modal logic for robust ambient calculus	2013-08-27	Paper
On the complexity of model checking interval-valued discrete time Markov chains	2013-03-20	Paper
Observing Continuous-Time MDPs by 1-Clock Timed Automata	2011-10-07	Paper
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications	2011-05-26	Paper
Efficient CTMC Model Checking of Linear Real-Time Objectives	2011-05-19	Paper
On metrics for probabilistic systems: definitions and algorithms	2010-05-16	Paper
LTL Model Checking of Time-Inhomogeneous Markov Chains	2009-12-01	Paper
Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains	2008-09-02	Paper
Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking	2008-07-03	Paper
Counterexamples in Probabilistic Model Checking	2007-09-03	Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science	2006-11-14	Paper
https://portal.mardi4nfdi.de/entity/Q5491512	2006-10-05	Paper
Specification and verification for semi-structured data	2006-05-09	Paper
https://portal.mardi4nfdi.de/entity/Q5697792	2005-10-27	Paper

Research outcomes over time

This page was built for person: Tingting Han