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

2018
Crowd-sourced Technical Texts can help Revitalise Indian Languages

Author: K V S Prasad; Shafqat Mumtaz Virk; Miki Nishioka; C. A. G. Kaushik

Published: 2018

Published in:

Publication type: Paper in proceedings
Towards Hindi/Urdu FrameNets via the Multilingual FrameNet

Author: Shafqat Mumtaz Virk; K V S Prasad

Published: 2018

Published in:

Publication type: Paper in proceedings
2014
Developing an interlingual translation lexicon using WordNets and Grammatical Framework

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

Published: 2014

Published in:

Publication type: Paper in proceedings
Themes in Broadcast Calculi

Author: K V S Prasad

Published: 2014

Published in:

Publication type: Paper in proceedings
2012
Computational evidence that Hindi and Urdu share a grammar but not the lexicon

Author: K V S Prasad; Shafqat Mumtaz Virk

Published: 2012

Published in:

Publication type: Conference contribution
High-quality translation: Molto tools and applications

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

Published: 2012

Published in:

Publication type: Paper in proceedings
2011
Rule-based modelling of iron homeostasis in tuberculosis

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

Published: 2011

Published in: Molecular BioSystems

Publication type: Journal article
2010
Rule Based Modeling of Iron Homeostasis in Tuberculosis

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

Published: 2010

Published in:

Publication type: Conference poster
2009
Formal Representation of the High Osmolarity Glycerol Pathway in Yeast

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

Published: 2009

Published in: Genome informatics. International Conference on Genome Informatics

Publication type: Journal article
Biology as Rules of Interaction

Author: K V S Prasad

Published: 2009

Published in:

Publication type: Magazine article
2006
A Prospectus for Mobile Broadcasting Systems

Author: K V S Prasad

Published: 2006

Published in: Electronic Notes in Theoretical Computer Science

Publication type: Journal article
2002
Towards a Primitive Higher Order Calculus of Broadcasting Systems

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

Published: 2002

Published in:

Publication type: Paper in proceedings
2001
Broadcast Calculus Interpreted in CCS upto Bisimulation

Author: K V S Prasad

Published: 2001

Published in: Electronic Notes in Theoretical Computer Science

Publication type: Journal article
1996
A Machine Verified Distributed Sorting Algorithm

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

Published: 1996

Published in:

Publication type: Report
Broadcasting in Time

Author: K V S Prasad

Published: 1996

Published in:

Publication type: Paper in proceedings
1995
A Framework for Representing Parameterised Processes

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

Published: 1995

Published in:

Publication type: Report
A Calculus of Broadcasting Systems

Author: K V S Prasad

Published: 1995

Published in: Science of Computer Programming

Publication type: Journal article
1994
Broadcasting with Priority

Author: K V S Prasad

Published: 1994

Published in:

Publication type: Paper in proceedings
1993
A Calculus of Value Broadcasts

Author: K V S Prasad

Published: 1993

Published in:

Publication type: Paper in proceedings
Programming with Broadcasts.

Author: K V S Prasad

Published: 1993

Published in:

Publication type: Paper in proceedings
1991
Combinators and Bisimulation Proofs for Restartable Systems

Author: K V S Prasad

Published: 1991

Published in:

Publication type: Doctoral thesis
A Calculus of Broadcasting Systems

Author: K V S Prasad

Published: 1991

Published in:

Publication type: Paper in proceedings
1989
On the Non-Derivability of Operators in CCS

Author: K V S Prasad

Published: 1989

Published in:

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

Author: K V S Prasad

Published: 1984

Published in:

Publication type: Report
1978
An Informal Definition of Alphard

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

Published: 1978

Published in:

Publication type: Report

Go to Chalmers publication library

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