K V S Prasad

Publikationer (27)
Projekt (0)

Visar 27 publikationer

2019

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

K V S Prasad

Övrigt konferensbidrag

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 i 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 i 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 i 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 i 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 i 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 i 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

Övrigt konferensbidrag

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

Artikel i vetenskaplig tidskrift

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)

Poster (konferens)

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

Artikel i vetenskaplig tidskrift

2009

Biology as Rules of Interaction

K V S Prasad

Biobytes. Vol. 5

Artikel i övrig tidskrift

2006

A Prospectus for Mobile Broadcasting Systems

K V S Prasad

Electronic Notes in Theoretical Computer Science. Vol. 162, p. 295-300

Artikel i vetenskaplig tidskrift

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 i 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

Artikel i vetenskaplig tidskrift

1996

A Machine Verified Distributed Sorting Algorithm

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

Rapport

1996

Broadcasting in Time

K V S Prasad

Springer Lecture Notes in Computer Science (Coordination Languages and Models, First International Conference, COORDINATION '96)

Paper i proceeding

1995

A Framework for Representing Parameterised Processes

Ed Harcourt, Pawel Paczkowski, K V S Prasad

Rapport

1995

A Calculus of Broadcasting Systems

K V S Prasad

Science of Computer Programming. Vol. 25 (2-3), p. 285-327

Artikel i vetenskaplig tidskrift

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 i 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 i 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 i proceeding

1991

Combinators and Bisimulation Proofs for Restartable Systems

K V S Prasad

Doktorsavhandling

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 i proceeding

1989

On the Non-Derivability of Operators in CCS

K V S Prasad

Rapport

1984

Specification and Proof of a Simple Fault Tolerant System in CCS

K V S Prasad

Rapport

1978

An Informal Definition of Alphard

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

Rapport

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.

Det kan finnas fler projekt där K V S Prasad medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.