K. V. S. Prasad

13 papers A 1B 1C 3Journal 1Unranked 6
YearRankTypeTitle / Venue / Authors
2014 — conf
Developing an interlingual translation lexicon using WordNets and Grammatical Framework.
WSSANLP@COLING
Shafqat Mumtaz Virk, K. V. S. Prasad, Aarne Ranta, Krasimir Angelov
2014 C conf
Themes in Broadcast Calculi.
ISPDC
K. V. S. Prasad
2012 — conf
Computational evidence that Hindi and Urdu share a grammar but not the lexicon.
WSSANLP@COLING
K. V. S. Prasad, Shafqat Mumtaz Virk
2005 — conf
A Prospectus for Mobile Broadcasting Systems.
APC 25
K. V. S. Prasad
2002 C conf
Towards a primitive higher order calculus of broadcasting systems.
PPDP
Karol Ostrovsky, K. V. S. Prasad, Walid Taha
2001 — conf
Broadcast Calculus Interpreted in CCS upto Bisimulation.
EXPRESS
K. V. S. Prasad
1996 C conf
Broadcasting in Time.
COORDINATION
K. V. S. Prasad
1995 J jnl
A Calculus of Broadcasting Systems.
Sci. Comput. Program.
K. V. S. Prasad
1994 A conf
Broadcasting with Priority.
ESOP
K. V. S. Prasad
1993 — conf
A Calculus of Value Broadcasts.
PARLE
K. V. S. Prasad
1993 B conf
Programming with Broadcasts.
CONCUR
K. V. S. Prasad
1991 — conf
A Calculus of Broadcasting Systems.
TAPSOFT, Vol.1
K. V. S. Prasad
1987 — —
Combinators and bisimulation proofs for restartable systems.
K. V. S. Prasad