Matthias Raffelsieper

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 1

Top Topics

Mobile Commerce

Recommendation Quality

Transition Systems

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Sci. Comput. Program.

Publications

Jan Friso Groote, Remco van der Hofstad, Matthias Raffelsieper
On the random structure of behavioural transition systems. Sci. Comput. Program. 128 (2016)
Jan Friso Groote, Remco van der Hofstad, Matthias Raffelsieper
On the Random Structure of Behavioural Transition Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
Thorben Keller, Matthias Raffelsieper
Cosibon: an E-commerce like platform enabling bricks-and-mortar stores to use sophisticated product recommender systems. RecSys (2014)
Matthias Raffelsieper, Alexander Ilic, Thorben Keller, Elgar Fleisch
Efficient Encoding and Transmission of Digital Receipts for Mobile Commerce. ICMB (2013)
Jürgen Giesl, Matthias Raffelsieper, Peter Schneider-Kamp, Stephan Swiderski, René Thiemann
Automated termination proofs for haskell by term rewriting. ACM Trans. Program. Lang. Syst. 33 (2) (2011)
Matthias Raffelsieper
Productivity of Non-Orthogonal Term Rewrite Systems WRS (2011)
Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema
Long-run order-independence of vector-based transition systems. IET Comput. Digit. Tech. 5 (6) (2011)
Matthias Raffelsieper, Mohammad Reza Mousavi
Symbolic Power Analysis of Cell Libraries. FMICS (2011)
Matthias Raffelsieper, Mohammad Reza Mousavi, J. Sleuters
Process Algebra as a Common Framework for Hardware/Software Coverification. IEEE Embed. Syst. Lett. 3 (1) (2011)
Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema
Order-Independence of Vector-Based Transition Systems. ACSD (2010)
Matthias Raffelsieper, Mohammad Reza Mousavi, Chris W. H. Strolenberg
Checking and deriving module paths in Verilog cell library descriptions. DATE (2010)
Hans Zantema, Matthias Raffelsieper
Proving Productivity in Infinite Data Structures. RTA (2010)
Matthias Raffelsieper, Hans Zantema
A Transformational Approach to Prove Outermost Termination Automatically. Electron. Notes Theor. Comput. Sci. 237 (2009)
Hans Zantema, Matthias Raffelsieper
Stream Productivity by Outermost Termination WRS (2009)
Matthias Raffelsieper, Jan-Willem Roorda, Mohammad Reza Mousavi
Model Checking Verilog Descriptions of Cell Libraries. ACSD (2009)
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)