Search results for "higraphs"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
198	Stuart Anderson, John Power, Konstantinos Tourlas	Reasoning in Higraphs with Loose Edges.	HCC	2001	DBLP DOI BibTeX RDF
106	John Power, Konstantinos Tourlas	An Algebraic Foundation for Higraphs.	CSL	2001	DBLP DOI BibTeX RDF
46	John Power, Konstantinos Tourlas	Abstraction in Reasoning about Higraph-Based Systems.	FoSSaCS	2003	DBLP DOI BibTeX RDF
46	John L. Gustafson	Reevaluating Amdahl's Law.	Commun. ACM	1988	DBLP DOI BibTeX RDF
37	Elena Kushnareva, Irina Rychkova, Bénédicte Le Grand	Semantics of Higraphs for Process Modeling and Analysis.	EDOC Workshops	2016	DBLP DOI BibTeX RDF
37	Manuel Rodríguez 0003, José Luis de la Mata	Automating HAZOP studies using D-higraphs.	Comput. Chem. Eng.	2012	DBLP DOI BibTeX RDF
37	Herbert Praehofer, Dietmar Pree	Visual modeling of DEVS-based multiformalism systems based on higraphs.	WSC	1993	DBLP DOI BibTeX RDF
36	David Harel, Chaim-Arie Kahana	On Statecharts with Overlapping.	ACM Trans. Softw. Eng. Methodol.	1992	DBLP DOI BibTeX RDF	higraphs, visual language, statecharts, reactive systems
23	Paul Mutton, Peter Rodgers 0001, Jean Flower	Drawing Graphs in Euler Diagrams.	Diagrams	2004	DBLP DOI BibTeX RDF
23	Hong Chen	Compound Brushing.	INFOVIS	2003	DBLP DOI BibTeX RDF	dynamic graphics, higraph, visual programming, selection, data visualization, dynamic query, brushing
23	David Harel, Gregory Yashchin	An algorithm for blob hierarchy layout.	Vis. Comput.	2002	DBLP DOI BibTeX RDF	Higraph, Hierarchy, Layout, Statechart, Aesthetics
23	Jean Flower, John Howse	Generating Euler Diagrams.	Diagrams	2002	DBLP DOI BibTeX RDF
23	Florence Maraninchi	Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF

Displaying result #1 - #13 of 13 (100 per page; Change: )