SCEAS

The SCEAS System

Title:
Author:

Allan Cheng: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Allan Cheng
Petri Nets, Traces, and Local Model Checking. [Citation Graph (0, 0)][DBLP]
AMAST, 1995, pp:322-337 [Conf]
Allan Cheng, Mogens Nielsen
Open Maps, Behavioural Equivalences, and Congruences. [Citation Graph (0, 0)][DBLP]
CAAP, 1996, pp:257-271 [Conf]
Allan Cheng, Javier Esparza, Jens Palsberg
Complexity Results for 1-safe Nets. [Citation Graph (0, 0)][DBLP]
FSTTCS, 1993, pp:326-337 [Conf]
Mogens Nielsen, Allan Cheng
Obseving Behaviour Categorically. [Citation Graph (0, 0)][DBLP]
FSTTCS, 1995, pp:263-278 [Conf]
Allan Cheng, Dexter Kozen
A Complete Gentzen-Style Axiomatization for Set Constraints. [Citation Graph (0, 0)][DBLP]
ICALP, 1996, pp:134-145 [Conf]
Allan Cheng
Petri Nets, Traces, and Local Model Checking. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1997, v:183, n:2, pp:229-251 [Journal]
Allan Cheng, Javier Esparza, Jens Palsberg
Complexity Results for 1-Safe Nets. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1995, v:147, n:1&2, pp:117-136 [Journal]
Allan Cheng, Mogens Nielsen
Open Maps, Behavioural Equivalences, and Congruences. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1998, v:190, n:1, pp:87-112 [Journal]
Bard Bloom, Allan Cheng, Ashvin Dsouza
Using a Protean Language to Enhance Expressiveness in Specification. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Software Eng., 1997, v:23, n:4, pp:224-234 [Journal]

Search in 0.001secs, Finished in 0.002secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP