Search results for "GraphViz"

Found 16 publication records. Showing 16 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
58	John Ellson, Emden R. Gansner, Eleftherios Koutsofios, Stephen C. North, Gordon Woodhull	Graphviz - Open Source Graph Drawing Tools.	GD	2001	DBLP DOI BibTeX RDF
36	Bo Wang, Cornelis Pronk	Design and implementation of a GUI for the TLC model checker.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	GraphViz, TLC, model checking, GUI, temporal logic, SML, TLA+
35	Braxton Fitts, Ziran Zhang, Massoud Maher, Barry Demchak	dot-app: a Graphviz-Cytoscape conversion plug-in.	F1000Research	2016	DBLP DOI BibTeX RDF
35	Ismail Akbari, Bo Yan, Junyan Zhang, Harold Boley	Visualizing SWRL Rules: From Unary/Binary Datalog and PSOA RuleML to Graphviz and Grailog.	CSWS	2013	DBLP BibTeX RDF
35	Sangwon Chae, Aditi Majumder, M. Gopi 0001	HD-GraphViz: highly distributed graph visualization on tiled displays.	ICVGIP	2012	DBLP DOI BibTeX RDF
35	Craig Valli	Visualisation of Honeypot Data Using Graphviz and Afterglow.	J. Digit. Forensics Secur. Law	2009	DBLP DOI BibTeX RDF
35	Miguel Riesco, Marián D. Fondón, Darío Álvarez	Using Graphviz as a Low-cost Option to Facilitate the Understanding of Unix Process System Calls.	PVW	2008	DBLP DOI BibTeX RDF
35	Jing Hua Zhao	Pedigree-drawing with R and graphviz.	Bioinform.	2006	DBLP DOI BibTeX RDF
35	John Ellson, Emden R. Gansner, Eleftherios Koutsofios, Stephen C. North, Gordon Woodhull	Graphviz and Dynagraph - Static and Dynamic Graph Drawing Tools.	Graph Drawing Software	2004	DBLP DOI BibTeX RDF
23	Diomidis Spinellis	Drawing Tools.	IEEE Softw.	2009	DBLP DOI BibTeX RDF
23	Grzegorz J. Nalepa, Igor Wojnicki	VARDA Rule Design and Visualization Tool-Chain.	KI	2008	DBLP DOI BibTeX RDF
23	Tao Zhang, Chong Wu	Network Security Analysis Based on Security Status Space.	WAIM	2008	DBLP DOI BibTeX RDF
23	Axel Schneider, Stephan Walter, Jan Langer, Ulrich Heinkel	Automatic Visualization of Abstract System Specifications.	QSIC	2006	DBLP DOI BibTeX RDF
23	Merijn de Jonge	Build-Level Components.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	source tree composition, build level, software engineering, software reuse, software component, CBSE, software construction
23	Thomas Gschwind, Martin Pinzger 0001, Harald C. Gall	TUAnalyzer -- Analyzing Templates in C++ Code.	WCRE	2004	DBLP DOI BibTeX RDF
23	Merijn de Jonge	Decoupling Source Trees into Build-Level Components.	ICSR	2004	DBLP DOI BibTeX RDF