Skip to main navigation
Skip to search
Skip to main content
Welcome to DTU Research Database Home
About DTU Orbit
Home
Profiles
Research units
Publications
Activities
Projects
Prizes
Press/Media
Datasets
Search by expertise, name or affiliation
Logics and models for stochastic analysis of information systems
Zeng, Kebin
(PhD Student)
Nielsen, Bo Friis
(Main Supervisor)
Nielson, Flemming
(Supervisor)
Zhang, Lijun
(Examiner)
Buchholz, Peter
(Examiner)
Hillston, Jane
(Examiner)
Overview
Fingerprint
Publications
(1)
Project Details
Status
Finished
Effective start/end date
01/11/2009
→
07/03/2013
Funding
1/3 FUU, 1/3 inst 1/3 Andet
View all
View less
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Markov Renewal Process
Keyphrases
100%
Minimal Dimension
Keyphrases
50%
Finite State Space
Keyphrases
50%
Multiple Exits
Keyphrases
50%
Minimal State
Keyphrases
50%
Countable State Space
Keyphrases
50%
Multiple Marks
Keyphrases
50%
Multi-exit
Keyphrases
50%
Research output
Publications per year
2012
2012
2012
1
Ph.D. thesis
Publications per year
Publications per year
Logics and Models for Stochastic Analysis Beyond Markov Chains
Zeng, K.,
2012
, Kgs. Lyngby:
Technical University of Denmark
.
132 p.
(IMM-PHD-2012; No. 282).
Research output
:
Book/Report
›
Ph.D. thesis
Open Access
File
Markov Renewal Process
100%
Equivalence Relation
50%
Multiple Marks
37%
Minimal Dimension
37%
Countable State Space
37%
742
Downloads (Pure)