`Travelled to:`

1 × Germany

1 × India

1 × Sweden

2 × Canada

`Collaborated with:`

P.S.Thiagarajan P.K.Pandya ∅ R.Ramanujam S.S.Shah A.Krebs H.Straubing

`Talks about:`

logic (3) algebra (2) two (2) automaton (1) subclass (1) structur (1) procedur (1) automata (1) variabl (1) product (1)

## Person: Kamal Lodaya

### DBLP: Lodaya:Kamal

### Contributed to:

### Wrote 6 papers:

- DLT-2010-LodayaPS
- Around Dot Depth Two (KL, PKP, SSS), pp. 303–315.
- SEFM-2006-Lodaya #algebra #automaton #process
- Product Automata and Process Algebra (KL), pp. 128–136.
- CIAA-2000-LodayaR #automaton #navigation #web
- An Automaton Model of User-Controlled Navigation on the Web (KL, RR), pp. 208–216.
- ICALP-1993-LodayaT #decidability #logic #partial order
- Decidability of a Partial Order Based Temporal Logic (KL, PST), pp. 582–592.
- ICALP-1987-LodayaT #logic #subclass
- A Modal Logic for a Subclass of Event Structures (KL, PST), pp. 290–303.
- CSL-2018-KrebsLPS #algebra #logic
- An Algebraic Decision Procedure for Two-Variable Logic with a Between Relation (AK, KL, PKP, HS), p. 17.