The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Uffe Engberg: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Uffe Engberg, Glynn Winskel
    Petri Nets as Models of Linear Logic. [Citation Graph (0, 0)][DBLP]
    CAAP, 1990, pp:147-161 [Conf]
  2. Luca Aceto, Uffe Engberg
    Failures Semantics for a Simple Process Language with Refinement. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1991, pp:89-108 [Conf]
  3. Uffe Engberg, Glynn Winskel
    Completeness Results for Linear Logic on Petri Nets. [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:442-452 [Conf]
  4. Mogens Nielsen, Uffe Engberg, Kim S. Larsen
    Fully abstract models for a process language with refinement. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1988, pp:523-548 [Conf]
  5. Uffe Engberg, Glynn Winskel
    Linear Logic on Petri Nets. [Citation Graph (0, 0)][DBLP]
    REX School/Symposium, 1993, pp:176-229 [Conf]
  6. Uffe Engberg, Kim S. Larsen
    Efficient Simplification of Bisimulation Formulas. [Citation Graph (0, 0)][DBLP]
    TACAS, 1995, pp:111-132 [Conf]
  7. Uffe Engberg, Glynn Winskel
    Completeness Results for Linear Logic on Petri Nets. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1997, v:86, n:2, pp:101-135 [Journal]

  8. A calculus of communicating systems with label passing - ten years after. [Citation Graph (, )][DBLP]


Search in 0.028secs, Finished in 0.029secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002