| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 8 |       | Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema: Long-run order-independence of vector-based transition systems. IET Computers & Digital Techniques 5(6): 468-478 (2011) |
| 7 | | Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema: Order-Independence of Vector-Based Transition Systems. ACSD 2010: 115-123 |
| 5 | | Hans Zantema, Matthias Raffelsieper: Proving Productivity in Infinite Data Structures. RTA 2010: 401-416 |
| 3 | | Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-Willem Roorda, Chris W. H. Strolenberg, Hans Zantema: Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models. FMICS 2009: 133-148 |
| 2 | | Hans Zantema, Matthias Raffelsieper: Stream Productivity by Outermost Termination WRS 2009: 83-95 |
| 1 | | Matthias Raffelsieper, Hans Zantema: A Transformational Approach to Prove Outermost Termination Automatically. Electr. Notes Theor. Comput. Sci. 237: 3-21 (2009) |
Selection of 6 from 11 records - Matthias Raffelsieper has 9 coauthors
Last update 2012-02-16 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page