Person:458373

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
https://portal.mardi4nfdi.de/entity/Q2845515	2013-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q2844039	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Tingting Han