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: Kumar:K=_Narayan
Contributed to:
2014
20132014
2012
2002
2001
200020001999
199919981998Wrote 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.