Вы здесь

Главная

Kumar R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Automating Verification by Functional Abstraction at the System Level 1994 Schneider K., Kumar R., Kropf T. Lecture Notes in Computer Science 24.11.1994
СТ Implementational Issues for Verifying RISC-Pipeline Conflicts in HOL 1994 Tahar S., Kumar R. Lecture Notes in Computer Science 24.11.1994
СТ Eliminating Higher-Order Quantifiers to Obtain Decision Procedures for Hardware Verification 1994 Schneider K., Kumar R., Kropf T. Lecture Notes in Computer Science 21.06.1994
СТ A Functional Approach for Formalizing Regular Hardware Structures 1994 Eisenbiegler D., Schneider K., Kumar R. Lecture Notes in Computer Science 18.06.1994
СТ Alternative Proof Procedures for Finite-State Machines in Higher-Order Logic 1994 Schneider K., Kumar R., Kropf T. Lecture Notes in Computer Science 18.06.1994
СТ Implementing a Methodology for Formally Verifying RISC Processors in HOL 1994 Tahar S., Kumar R. Lecture Notes in Computer Science 18.06.1994
СТ Embedding Hardware Verification within a Commercial Design Framework 1993 Kropf T., Kumar R., Schneider K. Lecture Notes in Computer Science 29.06.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Algorithms and Models for the Web Graph: Proc./7th International Workshop, WAW 2010, Stanford,CA,USA, December 2010 2010 Lecture Notes in Computer Science
  1. Kumar R.
  2. Sivakumar D.
 29.03.2011
СБ Distributed Computing - IWDC 2005: Proc./7th International Workshop. Kharagpur,India, December 2005 2005 Lecture Notes in Computer Science
  1. Pal A.
  2. Kshemkalyani A. D.
  3. Kumar R.
  4. Gupta A.
 16.03.2006
СБ Theorem Provers in Circuit Design: Proc./Second Intern. Conf., TPCD 94. Bad Herrenalb, Germany, September 1994 1995 Lecture Notes in Computer Science
  1. Kumar R.
  2. Kropf T.
 10.04.1995