`Travelled to:`

1 × Canada

1 × Greece

1 × Israel

1 × USA

`Collaborated with:`

∅ J.C.Godskesen K.G.Larsen P.A.Abdulla B.Jonsson Y.Tsay

`Talks about:`

decid (3) properti (1) parallel (1) automata (1) theorem (1) process (1) infinit (1) general (1) equival (1) bisimul (1)

## Person: Karlis Cerans

### DBLP: Cerans:Karlis

### Contributed to:

### Wrote 4 papers:

- LICS-1996-AbdullaCJT #decidability #infinity #theorem
- General Decidability Theorems for Infinite-State Systems (PAA, KC, BJ, YKT), pp. 313–321.
- ICALP-1994-Cerans #automaton #relational
- Deciding Properties of Integral Relational Automata (KC), pp. 35–46.
- CAV-1993-CeransGL #specification #tool support
- Timed Modal Specification — Theory and Tools (KC, JCG, KGL), pp. 253–267.
- CAV-1992-Cerans #bisimulation #decidability #parallel #process
- Decidability of Bisimulation Equivalences for Parallel Timer Processes (KC), pp. 302–315.