BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Cyprus
1 × Denmark
1 × Estonia
1 × Germany
1 × Italy
1 × Switzerland
1 × USA
3 × France
Collaborated with:
C.R.Ramakrishnan A.Roychoudhury I.V.Ramakrishnan M.F.Atig P.Saivasan S.A.Smolka M.Mukund B.Bollig A.Cyriac P.Gastin S.Basu L.R.Pokorny J.G.Henriksen P.S.Thiagarajan J.Radhakrishnan M.A.Sohoni P.A.Abdulla P.Hofman R.Mayr P.Totzke B.Cui Y.Dong X.Du D.S.Warren
Talks about:
program (5) system (5) model (4) logic (4) transform (3) check (3) parameter (2) pushdown (2) languag (2) unfold (2)

Person: K. Narayan Kumar

DBLP DBLP: Kumar:K=_Narayan

Contributed to:

CSL-LICS 20142014
DLT 20132013
DLT 20132014
FOSSACS 20122012
TACAS 20022002
ICLP 20012001
ICALP 20002000
TACAS 20002000
ICLP 19991999
PPDP 19991999
ALP/PLILP 19981998
ICALP 19981998

Wrote 12 papers:

LICS-CSL-2014-AbdullaAHMKT #energy #game studies #infinity
Infinite-state energy games (PAA, MFA, PH, RM, KNK, PT), p. 10.
DLT-2013-AtigKS #multi #order
Adjacent Ordered Multi-Pushdown Systems (MFA, KNK, PS), pp. 58–69.
DLT-J-2013-AtigKS14 #multi #order
Adjacent Ordered Multi-Pushdown Systems (MFA, KNK, PS), pp. 1083–1096.
FoSSaCS-2012-BolligCGK #model checking #word
Model Checking Languages of Data Words (BB, AC, PG, KNK), pp. 391–405.
TACAS-2002-BasuKPR #model checking #recursion #source code
Resource-Constrained Model Checking of Recursive Programs (SB, KNK, LRP, CRR), pp. 236–250.
ICLP-2001-KumarRS #equation #fixpoint #modelling
Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models (KNK, CRR, SAS), pp. 227–241.
ICALP-2000-HenriksenMKT #graph #on the #sequence
On Message Sequence Graphs and Finitely Generated Regular MSC Languages (JGH, MM, KNK, PST), pp. 675–686.
TACAS-2000-RoychoudhuryKRRS #logic programming #program transformation #using #verification
Verification of Parameterized Systems Using Logic Program Transformations (AR, KNK, CRR, IVR, SAS), pp. 172–187.
ICLP-1999-RoychoudhuryKR #logic programming #source code
Generalized Unfold/fold Transformation Systems for Normal Logic Programs (AR, KNK, IVR), p. 616.
PPDP-1999-RoychoudhuryKRR #framework #logic programming #source code
A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs (AR, KNK, CRR, IVR), pp. 396–413.
ALP-PLILP-1998-CuiDDKRRRSW #logic programming #model checking
Logic Programming and Model Checking (BC, YD, XD, KNK, CRR, IVR, AR, SAS, DSW), pp. 1–20.
ICALP-1998-MukundKRS #finite #protocol #robust
Robust Asynchronous Protocols Are Finite-State (MM, KNK, JR, MAS), pp. 188–199.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.