Skip Ribbon Commands

Skip to main content

Start

Staff

K V S Prasad

Associate professor, Functional Programming division, Department of Computer Science and Engineering.

prasad@chalmers.se +46 31 772 10 21 Find me

Publications

Latest publications

2014
Themes in Broadcast Calculi

Author: Prasad, K. V. S.

Published: 2014

Published in: ISPDC 2014, IEEE 13th International Symposium on Parallel and Distributed Computing

Publication type: Conference paper - peer reviewed
Developing an interlingual translation lexicon using WordNets and Grammatical Framework

Author: Virk, Shafqat; Prasad, K. V. S.; Ranta, Aarne; Angelov, Krasimir

Published: 2014

Published in: Proceedings of the Fifth Workshop on South and Southeast Asian Natural Language Processing

Publication type: Conference paper - peer reviewed
2012
High-quality translation: Molto tools and applications

Author: Caprotti, Olga; Ranta, Aarne; Angelov, Krasimir; Enache, Ramona; Camilleri, John J.; Dannélls, Dana; Détrez, Grégoire; Hallgren, Thomas; Prasad, K. V. S.; Virk, Shafqat

Published: 2012

Published in: The fourth Swedish Language Technology Conference (SLTC)

Publication type: Conference paper - peer reviewed
Computational evidence that Hindi and Urdu share a grammar but not the lexicon

Author: Prasad, K. V. S.; Virk, Shafqat

Published: 2012

Published in: 3rd Workshop on South and Southeast Asian Natural Language Processing (SANLP)", collocated with COLING 12

Publication type: Conference Abstract - peer reviewed
2011
Rule-based modelling of iron homeostasis in tuberculosis

Author: Ghosh, S.; Prasad, K. V. S.; Vishveshwara, S.; Chandra, N.

Published: 2011

Published in: Molecular Biosystems

Publication type: Scientific journal article - peer reviewed
2010
Rule Based Modeling of Iron Homeostasis in Tuberculosis

Author: Ghosh, Soma; Chandra, Nagasuma; Vishveshwara, Saraswathi; Prasad, K. V. S.

Published: 2010

Published in: The Eighth Asia Pacific Bioinformatics Conference, Bangalore, India (APBC2010)

Publication type: Conference poster
2009
Biology as Rules of Interaction

Author: Prasad, K. V. S.

Published: 2009

Published in: Biobytes

Publication type: Scientific journal article - non peer reviewed
Formal Representation of the High Osmolarity Glycerol Pathway in Yeast

Author: Kuehn, C.; Prasad, K. V. S.; Klipp, E.; Gennemark, Peter

Published: 2009

Published in: Genome Informatics

Publication type: Scientific journal article - peer reviewed
2006
A Prospectus for Mobile Broadcasting Systems

Author: Prasad, K. V. S.

Published: 2006

Published in: Electronical Notes in Theoretical Computer Science

Publication type: Scientific journal article - peer reviewed
2002
Towards a Primitive Higher Order Calculus of Broadcasting Systems

Author: Ostrovsky, Karol; Prasad, K. V. S.; Taha, W.

Published: 2002

Published in: Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02), Pittsburg, 6-8 October 2002

Publication type: Conference paper - peer reviewed
2001
Broadcast Calculus Interpreted in CCS upto Bisimulation

Author: Prasad, K. V. S.

Published: 2001

Published in: Electronical Notes in Theoretical Computer Science

Publication type: Scientific journal article - peer reviewed
1996
A Machine Verified Distributed Sorting Algorithm

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

Published: 1996

Published in:

Publication type: Report
Broadcasting in Time

Author: Prasad, K. V. S.

Published: 1996

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

Publication type: Conference paper - peer reviewed
1995
A Framework for Representing Parameterised Processes

Author: Harcourt, Ed; Paczkowski, Pawel; Prasad, K. V. S.

Published: 1995

Published in:

Publication type: Report
A Calculus of Broadcasting Systems

Author: Prasad, K. V. S.

Published: 1995

Published in: Science of Computer Programming

Publication type: Scientific journal article - peer reviewed
1994
Broadcasting with Priority

Author: Prasad, K. V. S.

Published: 1994

Published in: 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

Publication type: Conference paper - peer reviewed
1993
A Calculus of Value Broadcasts

Author: Prasad, K. V. S.

Published: 1993

Published in: 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

Publication type: Conference paper - peer reviewed
Programming with Broadcasts.

Author: Prasad, K. V. S.

Published: 1993

Published in: 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.

Publication type: Conference paper - peer reviewed
1991
A Calculus of Broadcasting Systems

Author: Prasad, K. V. S.

Published: 1991

Published in: 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

Publication type: Conference paper - peer reviewed
Combinators and Bisimulation Proofs for Restartable Systems

Author: Prasad, K. V. S.

Published: 1991

Published in:

Publication type: Doctoral thesis
1989
On the Non-Derivability of Operators in CCS

Author: Prasad, K. V. S.

Published: 1989

Published in:

Publication type: Report
1984
Specification and Proof of a Simple Fault Tolerant System in CCS

Author: Prasad, K. V. S.

Published: 1984

Published in:

Publication type: Report
1978
An Informal Definition of Alphard

Author: Prasad, K. V. S.; W.A. Wulf, et al

Published: 1978

Published in:

Publication type: Report

Go to Chalmers publication library

Published: Sun 25 Aug 2013. Modified: Tue 22 Aug 2017