BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Canada
1 × Switzerland
2 × USA
Collaborated with:
B.Meenakshi S.E.Simon K.Lodaya
Talks about:
reason (2) messag (2) logic (2) about (2) pass (2) automaton (1) structur (1) strategi (1) environ (1) control (1)

Person: Ramaswamy Ramanujam

DBLP DBLP: Ramanujam:Ramaswamy

Contributed to:

KR 20082008
VMCAI 20032003
CIAA 20002000
ICALP 20002000
LICS 19961996

Wrote 5 papers:

KR-2008-RamanujamS #game studies #logic
Dynamic Logic on Games with Structured Strategies (RR, SES), pp. 49–58.
VMCAI-2003-MeenakshiR #message passing #reasoning
Reasoning about Layered Message Passing Systems (BM, RR), pp. 268–282.
CIAA-2000-LodayaR #automaton #navigation #web
An Automaton Model of User-Controlled Navigation on the Web (KL, RR), pp. 208–216.
ICALP-2000-MeenakshiR #finite #message passing #reasoning
Reasoning about Message Passing in Finite State Environments (BM, RR), pp. 487–498.
LICS-1996-Ramanujam #linear #logic
Locally Linear Time Temporal Logic (RR), pp. 118–127.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.