K V S Prasad

Publications (27)
Projects (0)

Showing 27 publications

2019

Linguistic Populism in India (prelude to Alternative language principles for an Indian school)

K V S Prasad

Other conference contribution

2019

The many ways of returning to the refrain in Telugu song

K V S Prasad, Miki Nishioka, Prasanth Kolachina

Book of Abstracts, SALA-35, Inalco, Paris., p. 42-44

Paper in proceeding

2018

Crowd-sourced Technical Texts can help Revitalise Indian Languages

K V S Prasad, Shafqat Mumtaz Virk, Miki Nishioka et al

Language Resources and Evaluation. Vol. 2018, p. 11-16

Paper in proceeding

2018

Towards Hindi/Urdu FrameNets via the Multilingual FrameNet

Shafqat Mumtaz Virk, K V S Prasad

Proceedings - International FrameNet Workshop 2018 Multilingual Framenets and Constructicons, p. 69-74

Paper in proceeding

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 proceeding

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 proceeding

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 proceeding

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

Other 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

Clemens Kühn, 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 proceeding

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 proceeding

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 proceeding

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 proceeding

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 proceeding

1991

Combinators and Bisimulation Proofs for Restartable Systems

K V S Prasad

Doctoral thesis

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 proceeding

1989

On the Non-Derivability of Operators in CCS

K V S Prasad

Report

1984

Specification and Proof of a Simple Fault Tolerant System in CCS

K V S Prasad

Report

1978

An Informal Definition of Alphard

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

Report

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

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.