EEMCS

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

EEMCS EPrints Service


Author: Ketema, J.
Home Policy Brochure Browse Search User Area Contact Help

2012

Ketema, J. (2012) Reinterpreting Compression in Infinitary Rewriting. In: Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA 2012), 30 May - 01 Jun 2012, Nagoya, Japan. pp. 209-224. Leibniz International Proceedings in Informatics (LIPIcs) 15. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. ISSN 1868-8969 ISBN 978-3-939897-38-5
Ketema, J. and Simonsen, J.G. (2012) Characterizing Languages by Normalization and Termination in String Rewriting. In: Proceedings of the 16th International Conference on Developments in Language Theory (DLT 2012), 14-17 Aug 2012, Taipei, Taiwan. pp. 459-464. Lecture Notes in Computer Science 7410. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-31652-4
Zand, P. and Chatterjea, S. and Ketema, J. and Havinga, P.J.M. (2012) A Distributed Scheduling Algorithm for Real-time (D-SAR) Industrial Wireless Sensor and Actuator Networks. In: Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2012, 17-21 Sep 2012, Krakow, Poland. pp. 1-4. IEEE Industrial Electronics Society. ISSN 1946-0740 ISBN 978-1-4673-4737-2

2011

Grathwohl, N.B.B. and Ketema, J. and Pallesen, J.D. and Simonsen, J.G. (2011) Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus. In: Proceedings of the 22nd International Conference on Rewriting Techniques and Applications (RTA'11), 30 May - 1 June 2011, Novi Sad, Serbia. pp. 61-70. Leibniz International Proceedings in Informatics (LIPIcs) 10. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. ISSN 1868-8969 ISBN 978-3-939897-30-9
Hansen, H.H. and Ketema, J. and Luttik, S.P. and Mousavi, M.R. and van de Pol, J.C. and dos Santos, O.M. (2011) Automated Verification of Executable UML Models. In: Proceedings of the 9th International Symposium on Formal Methods for Components and Objects, FMCO 2010. Revised Papers, 29 Nov - 01 Dec 2010, Graz, Austria. pp. 225-250. Lecture Notes in Computer Science 6957. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-25270-9
Ketema, J. (2011) Counterexamples in Infinitary Rewriting with Non-Fully-Extended Rules. Information processing letters, 111 (13). pp. 642-646. ISSN 0020-0190 *** ISI Impact 0,605 ***
Ketema, J. and Simonsen, J.G. (2011) Infinitary Combinatory Reduction Systems. Information and computation, 209 (6). pp. 893-926. ISSN 0890-5401 *** ISI Impact 0,873 ***
Zand, P. and Chatterjea, S. and Ketema, J. and Havinga, P.J.M. (2011) D-SAR: A Distributed Scheduling Algorithm for Real-time, Closed-Loop Control in Industrial Wireless Sensor and Actuator Networks. Technical Report TR-CTIT-11-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2010

Hansen, H.H. and Ketema, J. and Luttik, S.P. and Mousavi, M.R. and van de Pol, J.C. (2010) Towards Model Checking Executable UML Specifications in mCRL2. Innovations in Systems and Software Engineering, 6 (1-2). pp. 83-90. ISSN 1614-5046
Ketema, J. and Simonsen, J.G. (2010) Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies. Logical Methods in Computer Science, 6 (1:7). pp. 1-35. ISSN 1860-5974 *** ISI Impact 0,569 ***
Ketema, J. and Simonsen, J.G. (2010) Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and λ-Calculus. In: Proceedings of the 10th International Symposium on Functional and Logic Programming (FLOPS 2010), 19-21 April 2010, Sendai, Japan. pp. 272-287. Lecture Notes in Computer Science 6009. Springer Verlag. ISBN 978-3-642-12250-7

2009

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
Ketema, J. and Blom, S.C.C. and Aoto, T. and Simonsen, J.G. (2009) Rewriting Transfinite Terms. In: Liber Amicorum for Roel de Vrijer. Lulu, Raleigh, NC, pp. 129-144. ISBN not assigned
Ketema, J. and Simonsen, J.G. (2009) Infinitary Combinatory Reduction Systems: Confluence. Logical Methods in Computer Science, 5 (4). ISSN 1860-5974 *** ISI Impact 0,569 ***