K V S Prasad

Docent vid Chalmers, Data- och informationsteknik, Funktionell programmering

Visar 23 publikationer

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
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
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
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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

C. Kuehn, 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 övriga tidskrifter
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

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
1978

An Informal Definition of Alphard

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

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

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.