Search results for "vf3"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
103	Jin Yang, Aloysius K. Mok, Douglas A. Stuart	A new generation modechart verifie.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	modechart verifier, vf3, arbitrary hierarchy, verification process speed, zone-based computation graph, on-the-fly deterministic pruning, outgoing edge reduction, graph nodes, quotient graph, real-time logic formula, graph size, SARTOR project, real-time systems, formal verification, graph theory, operational semantics, diagrams, computer aided software engineering, search space reduction
36	Vincenzo Carletti, Pasquale Foggia, Gennaro Percannella, Pierluigi Ritrovato, Mario Vento	Two parallel versions of VF3: Performance analysis on a wide database of graphs.	Pattern Recognit. Lett.	2021	DBLP DOI BibTeX RDF
36	Vincenzo Carletti, Pasquale Foggia, Antonio Greco 0001, Mario Vento, Vincenzo Vigilante	VF3-Light: A lightweight subgraph isomorphism algorithm and its experimental evaluation.	Pattern Recognit. Lett.	2019	DBLP DOI BibTeX RDF
36	Vincenzo Carletti, Pasquale Foggia, Alessia Saggese, Mario Vento	Challenging the Time Complexity of Exact Subgraph Isomorphism for Huge and Dense Graphs with VF3.	IEEE Trans. Pattern Anal. Mach. Intell.	2018	DBLP DOI BibTeX RDF
36	Vincenzo Carletti, Pasquale Foggia, Antonio Greco 0001, Alessia Saggese, Mario Vento	The VF3-Light Subgraph Isomorphism Algorithm: When Doing Less Is More Effective.	S+SSPR	2018	DBLP DOI BibTeX RDF
36	Vincenzo Carletti, Pasquale Foggia, Alessia Saggese, Mario Vento	Introducing VF3: A New Algorithm for Subgraph Isomorphism.	GbRPR	2017	DBLP DOI BibTeX RDF
36	Mohammad Ashraf, Ghulam Mohammad	On skew cyclic codes over F3 + vF3.	Int. J. Inf. Coding Theory	2014	DBLP DOI BibTeX RDF

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