Travelled to:1 × Germany
1 × USA
1 × United Kingdom
Collaborated with:T.Keller H.Zantema M.R.Mousavi C.W.H.Strolenberg
Talks about:product (2) recommend (1) structur (1) platform (1) descript (1) verilog (1) sophist (1) librari (1) infinit (1) cosibon (1)
Person: Matthias Raffelsieper
DBLP: Raffelsieper:Matthias
Contributed to:
2014
2010
2010Wrote 3 papers:
- RecSys-2014-KellerR #e-commerce #framework #named #platform #recommendation
- Cosibon: an E-commerce like platform enabling bricks-and-mortar stores to use sophisticated product recommender systems (TK, MR), pp. 367–368.
- DATE-2010-RaffelsieperMS #library
- Checking and deriving module paths in Verilog cell library descriptions (MR, MRM, CWHS), pp. 1506–1511.
- RTA-2010-ZantemaR #data type #infinity #proving
- Proving Productivity in Infinite Data Structures (HZ, MR), pp. 401–416.