M. Raffelsieper

Long-run order-independence of vector-based transition systems

Hans Zantema, Mohammad Reza Mousavi, Matthias Raffelsieper, 2011, IET Comput. Digit. Tech..

Order-Independence of Vector-Based Transition Systems

Hans Zantema, Mohammad Reza Mousavi, Matthias Raffelsieper, 2010, 2010 10th International Conference on Application of Concurrency to System Design.

Productivity of Non-Orthogonal Term Rewrite Systems

Matthias Raffelsieper, M. Raffelsieper, 2012, WRS.

Stream Productivity by Outermost Termination

Hans Zantema, Matthias Raffelsieper, H. Zantema, 2010, WRS.

Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models

Hans Zantema, Mohammad Reza Mousavi, Matthias Raffelsieper, 2009, FMICS.

Proving Productivity in Infinite Data Structures

Hans Zantema, Matthias Raffelsieper, H. Zantema, 2010, RTA.

Efficient Encoding and Transmission of Digital Receipts for Mobile Commerce

Thorben Keller, Elgar Fleisch, Alexander Ilic, 2013, ICMB.