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 × 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 DBLP: Cerans:Karlis

Contributed to:

LICS 19961996
ICALP 19941994
CAV 19931993
CAV 19921992

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.

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.