Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Rahul Kumar 0004

> Home > Persons

Person information

affiliation: Brigham Young University, Provo, Utah, USA

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/KumarM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/KumarM08
Rahul Kumar, Eric G. Mercer:
Improving Live Sequence Chart to Automata Transformation for Verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KumarM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KumarM09
Rahul Kumar, Eric G. Mercer:
Verifying Communication Protocols Using Live Sequence Chart Specifications. AVoCS 2008: 33-48
2007
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KumarMB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KumarMB09
Rahul Kumar, Eric G. Mercer, Annette Bunker:
Improving Translation of Live Sequence Charts to Temporal Logic. AVoCS 2007: 137-152
2004
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KumarM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KumarM05
Rahul Kumar, Eric G. Mercer:
Load Balancing Parallel Explicit State Model Checking. PDMC 2004: 19-34
2003
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/JonesMBKL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/JonesMBKL03
Michael D. Jones, Eric Mercer, Tonglaga Bao, Rahul Kumar, Peter Lamborn:
Benchmarking Explicit State Parallel Model Checkers. PDMC@CAV 2003: 84-98

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.