EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

Supervisor: Haverkort, B.R.H.M.

Home Policy Brochure Browse Search User Area Contact Help

Number of items: 13.

2011

Liu, Fei (2011) Context discovery in ad-hoc networks. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 11-200 ISBN 978-90-365-3207-5

Everdij, M.H.C. (2010) Compositional modelling using Petri nets with the analysis power of stochastic hybrid processes. PhD thesis, NLR, Amsterdam and University of Twente. ISBN 978-90-365-3015-6

Fioreze, T. (2010) Self-Management of Hybrid Optical and Packet Switching Networks. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 09-163 ISBN 978-90-365-2966-2

Sperotto, A. (2010) Flow-based intrusion detection. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 10-180 ISBN 978-90-365-3089-7

Jongerden, M.R. (2010) Model-based energy analysis of battery powered systems. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 10-183 ISBN 978-90-365-3114-6

Mei, Hailiang (2010) Task distribution based adaptation in mobile patient monitoring systems. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 10-173 ISBN 978-90-365-3026-2

Jehangir, A. (2009) A Security Architecture for Personal Networks. PhD thesis, University of Twente. ISBN 978-90-365-2818-4

Remke, A.K.I. (2008) Model Checking Structured Infinite Markov Chains. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 08-118 ISBN 978-90-8570-304-4

Zaburnenko, T.S. (2008) Efficient heuristics for simulating rare events in queuing networks. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 08-111 ISBN 978-90-365-2622-7

Sadre, R. (2007) Decomposition-Based Analysis of Queueing Networks. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 06-95 ISBN 90-365-2444-X

Cloth, L. (2006) Model Checking Algorithms for Markov Reward Models. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 06-81 ISBN 90-365-2317-6

Remke, A.K.I. (2004) Model checking Quasi Birth Death processes. Master's thesis, RWTH Aachen.

Ait Yaiz, R. (2004) Intra-piconet scheduling in Bluetooth. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 04-62 ISBN 90-365-2049-5

This list was generated on Thu May 24 08:56:54 CEST 2012.