|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
Results
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 1st IEEE Real-Time Technology and Applications Symposium, Chicago, Illinois, USA, May 15-17, 1995, pp. 116-125, 1995, IEEE Computer Society, 0-8186-6980-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. Lett. ![In: Pattern Recognit. Lett. 146, pp. 150-157, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. Lett. ![In: Pattern Recognit. Lett. 125, pp. 591-596, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 40(4), pp. 804-818, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S+SSPR ![In: Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17-19, 2018, Proceedings, pp. 315-325, 2018, Springer, 978-3-319-97784-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
36 | Vincenzo Carletti, Pasquale Foggia, Alessia Saggese, Mario Vento |
Introducing VF3: A New Algorithm for Subgraph Isomorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GbRPR ![In: Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings, pp. 128-139, 2017, 978-3-319-58960-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
36 | Mohammad Ashraf, Ghulam Mohammad |
On skew cyclic codes over F3 + vF3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Coding Theory ![In: Int. J. Inf. Coding Theory 2(4), pp. 218-225, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|