EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Classification: CR-F.4
Home Policy Brochure Browse Search User Area Contact Help

2012

Kuijper, W. (2012) Compositional Synthesis of Safety Controllers. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 13-243 ISBN 978-90-365-3487-1

2010

Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. and Timmer, M. (2010) A linear process-algebraic format for probabilistic systems with data. In: Application of Concurrency to System Design, Tenth International Conference on, 21-25 Jun 2010, Braga, Portugal. pp. 213-222. IEEE Computer Society. ISSN 1550-4808 ISBN 978-0-7695-4066-5

2009

Czenko, M.R. (2009) TuLiP : reshaping trust management. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 09-148 ISBN 978-90-365-2854-2
Czenko, M.R. and Etalle, S. (2009) LP with Flexible Grouping and Aggregates Using Modes. In: 19th International Symposium, LOPSTR, Revised Selected Papers, 9-11 Sep 2009, Coimbra, Portugal. pp. 67-81. LNCS 6037. Springer. ISBN 978-3-642-12591-1
Ketema, J. (2009) Comparing Böhm-Like Trees. In: Rewriting Techniques and Applications: 20th International Conference, RTA 2009, 29 Jun - 1 Jul 2009, Brasília, Brazil. pp. 239-254. Lecture Notes in Computer Science 5595. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-02347-7