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.3
Home Policy Brochure Browse Search User Area Contact Help

2011

Bergstra, J.A. and van de Pol, J.C. (2011) A Calculus for Four-Valued Sequential Logic. Theoretical computer science, 412 (28). pp. 3122-3128. ISSN 0304-3975 *** ISI Impact 0,643 ***

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

2008

Czenko, M.R. and Doumen, J.M. and Etalle, S. (2008) Trust Management in P2P systems using Standard TuLiP. Technical Report TR-CTIT-08-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Czenko, M.R. and Doumen, J.M. and Etalle, S. (2008) Trust Management in P2P Systems Using Standard TuLiP. In: Proceedings of IFIPTM 2008: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, June 18-20, 2008, Trondheim, Norway. pp. 1-16. IFIP International Federation for Information Processing 263/2008. Springer. ISSN 1571-5736 ISBN 978-0-387-09427-4
Czenko, M.R. and Etalle, S. (2008) LP with Flexible Grouping and Aggregates Using Modes. Technical Report TR-CTIT-08-41, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2007

Czenko, M.R. and Etalle, S. (2007) Core TuLiP. Technical Report TR-CTIT-07-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625