K V S Prasad

Associate Professor at Chalmers, Computer Science and Engineering (Chalmers), Functional Programming

Showing 25 publications

2018

Crowd-sourced Technical Texts can help Revitalise Indian Languages

K V S Prasad, Shafqat Mumtaz Virk, Miki Nishioka et al
, p. 11-16
Paper in proceedings
2018

Towards Hindi/Urdu FrameNets via the Multilingual FrameNet

Shafqat Mumtaz Virk, K V S Prasad
, p. 69-74
Paper in proceedings
2014

Themes in Broadcast Calculi

K V S Prasad
ISPDC 2014, IEEE 13th International Symposium on Parallel and Distributed Computing, p. 16-22
Paper in proceedings
2014

Developing an interlingual translation lexicon using WordNets and Grammatical Framework

Shafqat Mumtaz Virk, K V S Prasad, Aarne Ranta et al
Proceedings of the Fifth Workshop on South and Southeast Asian Natural Language Processing
Paper in proceedings
2012

High-quality translation: Molto tools and applications

Olga Caprotti, Aarne Ranta, Krasimir Angelov et al
The fourth Swedish Language Technology Conference (SLTC)
Paper in proceedings
2012

Computational evidence that Hindi and Urdu share a grammar but not the lexicon

K V S Prasad, Shafqat Mumtaz Virk
3rd Workshop on South and Southeast Asian Natural Language Processing (SANLP)", collocated with COLING 12
Conference contribution
2011

Rule-based modelling of iron homeostasis in tuberculosis

S. Ghosh, K V S Prasad, S. Vishveshwara et al
Molecular BioSystems. Vol. 7 (10), p. 2750-2768
Journal article
2010

Rule Based Modeling of Iron Homeostasis in Tuberculosis

Soma Ghosh, Nagasuma Chandra, Saraswathi Vishveshwara et al
The Eighth Asia Pacific Bioinformatics Conference, Bangalore, India (APBC2010)
Conference poster
2009

Formal Representation of the High Osmolarity Glycerol Pathway in Yeast

C. Kuehn, K V S Prasad, Edda Klipp et al
Genome informatics. International Conference on Genome Informatics. Vol. 22, p. 69-83
Journal article
2009

Biology as Rules of Interaction

K V S Prasad
Biobytes. Vol. 5
Magazine article
2006

A Prospectus for Mobile Broadcasting Systems

K V S Prasad
Electronic Notes in Theoretical Computer Science. Vol. 162, p. 295-300
Journal article
2002

Towards a Primitive Higher Order Calculus of Broadcasting Systems

Karol Ostrovsky, K V S Prasad, W. Taha
Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02), Pittsburg, 6-8 October 2002, p. 2-13
Paper in proceedings
2001

Broadcast Calculus Interpreted in CCS upto Bisimulation

K V S Prasad
Electronic Notes in Theoretical Computer Science. Vol. 52 (1), p. 83-100
Journal article
1996

A Machine Verified Distributed Sorting Algorithm

Jörgen H. Andersen, Ed Harcourt, K V S Prasad
Report
1996

Broadcasting in Time

K V S Prasad
Springer Lecture Notes in Computer Science (Coordination Languages and Models, First International Conference, COORDINATION '96)
Paper in proceedings
1995

A Framework for Representing Parameterised Processes

Ed Harcourt, Pawel Paczkowski, K V S Prasad
Report
1995

A Calculus of Broadcasting Systems

K V S Prasad
Science of Computer Programming. Vol. 25 (2-3), p. 285-327
Journal article
1994

Broadcasting with Priority

K V S Prasad
Springer 1994 Lecture Notes in Computer Science, Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994, Proceedings, p. 469-484
Paper in proceedings
1993

A Calculus of Value Broadcasts

K V S Prasad
Arndt Bode, Mike Reeve, Gottfried Wolf (Eds.): PARLE '93, Parallel Architectures and Languages Europe, 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, Proceedings. Springer 1993 Lecture Notes in Computer Science, p. 391-402
Paper in proceedings
1993

Programming with Broadcasts.

K V S Prasad
Springer 1993 Lecture Notes in Computer Science, Eike Best (Ed.): CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings., p. 173-187
Paper in proceedings
1991

A Calculus of Broadcasting Systems

K V S Prasad
Samson Abramsky, T. S. E. Maibaum (Eds.): TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91). Springer 1991 Lecture Notes in Computer Science, p. 338-358
Paper in proceedings
1978

An Informal Definition of Alphard

K V S Prasad, et al W.A. Wulf
Report

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

There are no projects.
There might be more projects where K V S Prasad participates, but you have to be logged in as a Chalmers employee to see them.