( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Order-Independence of Vector-Based Transition Systems.

, , и . ACSD, стр. 115-123. IEEE Computer Society, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Norbert Raffelsieper

Norbert Raffelsieper

Roswitha Raffelsieper

Josef Raffelsieper

Benno Raffelsieper

 

Другие публикации лиц с тем же именем

Stream Productivity by Outermost Termination, и . WRS, том 15 из EPTCS, стр. 83-95. (2009)On the Random Structure of Behavioural Transition Systems., , и . ECEASST, (2014)Checking and deriving module paths in Verilog cell library descriptions., , и . DATE, стр. 1506-1511. IEEE Computer Society, (2010)Process Algebra as a Common Framework for Hardware/Software Coverification., , и . IEEE Embed. Syst. Lett., 3 (1): 9-12 (2011)Order-Independence of Vector-Based Transition Systems., , и . ACSD, стр. 115-123. IEEE Computer Society, (2010)Efficient Encoding and Transmission of Digital Receipts for Mobile Commerce., , , и . ICMB, стр. 14. Association for Information Systems, (2013)Long-run order-independence of vector-based transition systems., , и . IET Comput. Digit. Tech., 5 (6): 468-478 (2011)A Transformational Approach to Prove Outermost Termination Automatically., и . WRS@RTA, том 237 из Electronic Notes in Theoretical Computer Science, стр. 3-21. Elsevier, (2008)Cosibon: an E-commerce like platform enabling bricks-and-mortar stores to use sophisticated product recommender systems., и . RecSys, стр. 367-368. ACM, (2014)Productivity of Non-Orthogonal Term Rewrite Systems. WRS, том 82 из EPTCS, стр. 53-67. (2011)