JGraph

JGraph is a graph drawing open source software component written in the Java programming language; started by Gaudenz Alder as a University project… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1993-2007
012319932007

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2008
Review
2008
This paper describes a combination of several Mizar-based tools (the MPTP translator, XSL style sheets for Mizar), and TPTPbased… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
We describe: (1) the internal structures of FDR, the refinement model checker for Hoare’s Communicating Sequential Processes (CSP… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • table 2
Is this relevant?
2007
2007
This paper describes a combination of several Mizar-based tools (the MPTP translator, XSL style sheets for Mizar), and TPTP-based… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
Technical Skills • Programming Languages: Java, Javascript, C++, C, PL/SQL, XML, XSLT, HTML, Groovy, Scala, Pascal, Delphi… (More)
Is this relevant?
2003
2003
CellView has a reference to the parent CellView, and an array of CellViews that represent the views of the children. EdgeView has… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
2003
Review
2003
The paper first presents the integration options of what we call the Timing Description Language (TDL) with Mathworks' Simulink… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1993
1993
Jgraph is a non-interactive filter for plotting two-dimensional scatter, line, and bar graphs in PostScript. It has also been… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?