Graphviz is open source graph visualization software. Graph visualization is a way of representing structural information as diagrams of abstract graphs and networks. It has important applications in networking, bioinformatics, software engineering, database and web design, machine learning, and in visual interfaces for other technical domains.

References in zbMATH (referenced in 58 articles , 1 standard article )

Showing results 1 to 20 of 58.
Sorted by year (citations)

1 2 3 next

  1. Bekos, Michael A.; Kaufmann, Michael; Kobourov, Stephen G.; Stavropoulos, Konstantinos; Veeramoni, Sankar: The maximum $k$-differential coloring problem (2017)
  2. Lebedinskaya, N.A.; Lebedinskii, D.M.; Smirnov, Alexandr Alexandrovich: On possible dimensions of subspace intersections for five direct summands (2017)
  3. Papapanagiotou, Petros; Fleuriot, Jacques: WorkflowFM: a logic-based framework for formal process specification and composition (2017)
  4. Toth, Csaba D. (ed.); Goodman, Jacob E. (ed.); O’Rourke, Joseph (ed.): Handbook of discrete and computational geometry (2017)
  5. Arleo, Alessio; Didimo, Walter; Liotta, Giuseppe; Montecchiani, Fabrizio: A distributed multilevel force-directed algorithm (2016)
  6. Ciobanu, Gabriel; Horne, Ross; Sassone, Vladimiro: A descriptive type foundation for RDF Schema (2016)
  7. Khakpour, Narges; Arbab, Farhad; Rutten, Eric: Synthesizing structural and behavioral control for reconfigurations in component-based systems (2016)
  8. Lang, Moritz; Stelling, Jörg: Modular parameter identification of biomolecular networks (2016)
  9. Lebedinskaya, N.A.; Lebedinskii, D.M.: On the possible dimensions of subspace intersections (2016)
  10. Skambath, Malte; Tantau, Till: Offline drawing of dynamic trees: algorithmics and document integration (2016)
  11. Viswanathan, Rama; Liang, Sijia; Yang, Yang; Jungck, John R.: BioGrapher: visualization of graph theoretical patterns, measurements, and analysis in mathematical biology (2016)
  12. Arleo, Alessio; Didimo, Walter; Liotta, Giuseppe; Montecchiani, Fabrizio: A million edge drawing for a fistful of dollars (2015)
  13. Murray, Walter; Tinoco De Rubira, Tomás; Wigington, Adam: A robust and informative method for solving large-scale power flow problems (2015)
  14. Newsham, Zack; Lindsay, William; Ganesh, Vijay; Liang, Jia Hui; Fischmeister, Sebastian; Czarnecki, Krzysztof: $\mathsf SATGraf$: visualizing the evolution of SAT formula structure in solvers (2015)
  15. Papara, Viktor: Introducing Loopedia (2015)
  16. Pommereau, Franck: SNAKES: a flexible high-level Petri nets library (tool paper) (2015)
  17. Schwarzentruber, François: Drawing interactive Euler diagrams from region connection calculus specifications (2015)
  18. Sevegnani, Michele; Calder, Muffy: Bigraphs with sharing (2015)
  19. Sunkara, Vinodh Kumar; Sane, Aamod: Skeblle: a new kind of diagramming tool with programmable active diagrams (2015)
  20. Belzner, Lenz; De Nicola, Rocco; Vandin, Andrea; Wirsing, Martin: Reasoning (on) service component ensembles in rewriting logic (2014)

1 2 3 next