Graphviz

swMATH1283MaRDI QIDQ14023FDOQ14023

Author name not available (Why is that?)

Cited In (70)

• Anagopos: a reduction graph visualizer for term rewriting and lambda calculus
• A taxonomy of integral reaction path analysis
• A million edge drawing for a fistful of dollars
• A distributed multilevel force-directed algorithm
• Title not available (Why is that?)
• A metabolic subsumption architecture for cooperative control of the e-puck
• Pathological and Test Cases for Reeb Analysis
• Algebraic analysis of social networks. Models, methods and applications using R
• Title not available (Why is that?)
• Computing Morse decomposition of ODEs via Runge-Kutta method
• A taxonomy of integral reaction path analysis
• Minimal refinements of specifications in modal and temporal logics
• Minimal refinements of specifications in modal and temporal logics
• ReverCSP: time-travelling in CSP computations
• Title not available (Why is that?)
• Modeling rate of adaptive trait evolution using Cox-Ingersoll-Ross process: an approximate Bayesian computation approach
• A CSP model of Eiffel's SCOOP
• WorkflowFM: a logic-based framework for formal process specification and composition
• Orthogonal layout with optimal face complexity
• BioGrapher: visualization of graph theoretical patterns, measurements, and analysis in mathematical biology
• Computational cell biology. Methods and protocols
• Synthesizing structural and behavioral control for reconfigurations in component-based systems
• Computational homotopy of finite regular CW-spaces
• Weighted \(A^*\) search - unifying view and application
• Drawing interactive Euler diagrams from region connection calculus specifications
• Structural similarity of directed universal hierarchical graphs: a low computational complexity approach
• Heuristics for the constrained incremental graph drawing problem
• Graphs associated with the map \(x\mapsto x+x^{-1}\) in finite fields of characteristic three and five
• Ant-based clustering for flow graph mining
• Summarization and visualization of multi-level and multi-dimensional itemsets
• Bacterial genomics and computational group theory: the BioGAP package for GAP
• Practical Guide to Computer Simulations
• Learning theorem proving components
• A descriptive type foundation for RDF Schema
• Exploring gene causal interactions using an enhanced constraint-based method
• On the heights of power digraphs modulo \(n\).
• JGAP: a Java-based graph algorithms platform
• A robust and informative method for solving large-scale power flow problems
• Estimating Bayesian networks for high-dimensional data with complex mean structure and random effects
• Cooperative decision-making to minimize biased perceived value effect on business process decisions using partially observable Markov decision processes
• On the possible dimensions of subspace intersections
• Automata and cells in affine Weyl groups.
• The maximum \(k\)-differential coloring problem
• Title not available (Why is that?)
• Topological mappings between graphs, trees and generalized trees
• Open-source machine learning: R meets Weka
• Introducing Loopedia
• Chaotic gene regulatory networks can be robust against mutations and noise
• Novel approaches for analyzing biological networks
• Information theoretic measures of UHG graphs with low computational complexity
• Visual software analytics for the build optimization of large-scale software systems
• Natural/random protein classification models based on star network topological indices
• Modular parameter identification of biomolecular networks
• On possible dimensions of subspace intersections for five direct summands
• Classification of congruences of twisted partition monoids
• Algorithms in computational molecular biology. Techniques approaches and applications.
• Symmetry of iteration graphs
• Bigraphs with sharing
• Organising metabolic networks: cycles in flux distributions
• Graph drawing software
• Title not available (Why is that?)
• Offline drawing of dynamic trees: algorithmics and document integration
• Kieker: continuous monitoring and on demand visualization of Java software behavior
• Lean algebraic multigrid (LAMG): fast graph Laplacian linear solver
• PySAT: a Python toolkit for prototyping with SAT oracles
• A sequential importance sampling algorithm for generating random graphs with prescribed degrees
• SNAKES: a flexible high-level Petri nets library (tool paper)
• \textsf{SATGraf}: visualizing the evolution of SAT formula structure in solvers
• Sparse graphical models for exploring gene expression data
• Automatic graph construction of periodic open tubulene \(((5,6,7)3)\) and computation of its Wiener, PI, and Szeged indices

This page was built for software: Graphviz