SCEAS

The SCEAS System

Title:
Author:

Richard Jüllig: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Richard Jüllig, Yellamraju V. Srinivas, J. Liu
SPECWARE: An Advanced Evironment for the Formal Development of Complex Software Systems. [Citation Graph (0, 0)][DBLP]
AMAST, 1996, pp:551-554 [Conf]
Frank DeRemer, Richard Jüllig
Tree-affix dendrogrammars for languages and compilers. [Citation Graph (0, 0)][DBLP]
Semantics-Directed Compiler Generation, 1980, pp:300-319 [Conf]
Richard Jüllig
Formal Methods in Enterprise Computing. [Citation Graph (0, 0)][DBLP]
ICFEM, 2002, pp:22-23 [Conf]
Allen Goldberg, C. Cordell Green, Wolfgang Polak, Richard Jüllig
Iteration in the software process. [Citation Graph (0, 0)][DBLP]
ISPW, 1986, pp:105-108 [Conf]
Yellamraju V. Srinivas, Richard Jüllig
Specware: Formal Support for Composing Software. [Citation Graph (0, 0)][DBLP]
MPC, 1995, pp:399-422 [Conf]
Richard Jüllig, Frank DeRemer
Regular right-part attribute grammars. [Citation Graph (0, 0)][DBLP]
SIGPLAN Symposium on Compiler Construction, 1984, pp:171-178 [Conf]
Richard Jüllig
Applying Formal Software Synthesis. [Citation Graph (0, 0)][DBLP]
IEEE Software, 1993, v:10, n:3, pp:11-22 [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