Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2012 | 2011 | 2010 | 2009
Number of items: 14.

2012

Ketema, Jeroen (2012) Reinterpreting Compression in Infinitary Rewriting. In: 23rd International Conference on Rewriting Techniques and Applications, RTA 2012, 30 May - 1 June 2012, Nagoya, Japan (pp. pp. 209-224).

Ketema, Jeroen and Simonsen, Jakob Grue (2012) Characterizing Languages by Normalization and Termination in String Rewriting. In: 16th International Conference on Developments in Language Theory, DLT 2012, August 14-17, 2012, Taipei, Taiwan (pp. pp. 459-464).

Zand, Pouria and Chatterjea, Supriyo and Ketema, Jeroen and Havinga, Paul (2012) A Distributed Scheduling Algorithm for Real-time (D-SAR) Industrial Wireless Sensor and Actuator Networks. In: 17th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2012, 17-21 September 2012, Krakow, Poland.

2011

Grathwohl, Niels Bjørn Bugge and Ketema, Jeroen and Pallesen, Jens Duelund and Simonsen, Jakob Grue (2011) Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus. In: 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, 30 May - 1 June 2011, Novi Sad, Serbia (pp. pp. 61-70).

Hansen, Helle Hvid and Ketema, Jeroen and Luttik, Bas and Mousavi, MohammadReza and Pol, Jaco van de and Marchi dos Santos, Oscar (2011) Automated Verification of Executable UML Models. In: 9th International Symposium on Formal Methods for Components and Objects, FMCO 2010, 29 Nov - 01 Dec 2010, Graz, Austria (pp. pp. 225-250).

Ketema, Jeroen (2011) Counterexamples in Infinitary Rewriting with Non-Fully-Extended Rules. Information Processing Letters, 111 (13). pp. 642-646. ISSN 0020-0190

Ketema, Jeroen and Simonsen, Jakob Grue (2011) Infinitary combinatory resuction Systems. Information and Computation, 209 (6). pp. 893-926. ISSN 0890-5401

Zand, Pouria and Chatterjea, Supriyo and Ketema, Jeroen and Havinga, Paul (2011) D-SAR: A Distributed Scheduling Algorithm for Real-time, Closed-Loop Control in Industrial Wireless Sensor and Actuator Networks. [Report]

2010

Hansen, Helle Hvid and Ketema, Jeroen and Luttik, Bas and Mousavi, MohammadReza and Pol, Jaco van de (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, Jeroen and Simonsen, Jakob Grue (2010) Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies. Logical Methods in Computer Science, 6 (1). p. 7. ISSN 1860-5974

Ketema, Jeroen and Simonsen, Jakob Grue (2010) Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and λ-Calculus. In: 10th International Symposium on Functional and Logic Programming, FLOPS 2010, 19-21 April 2010, Sendai, Japan (pp. pp. 272-287).

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. pp. 239-254).

Ketema, Jeroen and Blom, Stefan and Aoto, Takahito and Simonsen, Jakob Grue (2009) Rewriting Transfinite Terms. In: Liber Amicorum for Roel de Vrijer. Lulu, Raleigh, NC, pp. 129-144.

Ketema, Jeroen and Simonsen, Jakob Grue (2009) Infinitary Combinatory Reduction Systems: Confluence. Logical Methods in Computer Science, 5 (4). p. 3. ISSN 1860-5974

This list was generated on Fri Nov 28 05:13:46 2014 CET.