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: Ramanujam:Ramaswamy
Contributed to:
2008
2003
2000
2000
1996Wrote 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.