Вы здесь

Jha S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Exploiting Symmetry In Temporal Logic Model Checking 1993 Clarke E. M., Filkorn T., Jha S. Lecture Notes in Computer Science 20.08.1993
СТ Symmetry and Induction in Model Checking 1995 Clarke E. M., Jha S. Lecture Notes in Computer Science Computer Science Today 01.12.1995
СТ Verifying Parameterized Networks using Abstraction and Regular Languages 1995 Clarke E. M., Grumberg O., Jha S. Lecture Notes in Computer Science CONCUR 95: Concurrency Theory 17.10.1995
СТ Reasoning about Implicit Invocation 1998 Dingel J., Garlan D., Jha S., Notkin D. Software Engineering Notes 26.03.1999
СТ Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications 1998 Jackson D., Jha S., Damon C. A. ACM Trans. on Programming Languages and Systems 27.11.1998
СТ Partial Order Reductions for Security Protocol Verification 2000 Clarke E., Jha S., Marrero W. Lecture Notes in Computer Science 26.04.2000
СТ Progress on the State Explosion Problem in Model Checking 2001 Clarke E., Grumberg O., Jha S., Lu Y., Veith H. Lecture Notes in Computer Science 04.04.2001
СТ Efficient Type Matching 2002 Jha S., Palsberg J., Zhao T. Lecture Notes in Computer Science 09.05.2002
СТ Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis 2003 Reps T., Schwoon S., Jha S. Lecture Notes in Computer Science 18.09.2003