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:
1996
1994
19931992Wrote 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.