共 50 条
- [21] Fast Parallel Path Concatenation for Graph Extraction (Extended Abstract) 2018 IEEE 34TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING (ICDE), 2018, : 1753 - 1754
- [22] Learning Node Label Controlled Graph Grammars (Extended Abstract) GRAMMATICAL INFERENCE: ALGORITHMS AND APPLICATIONS, PROCEEDINGS, 2008, 5278 : 286 - 288
- [23] A note on the speed of hereditary graph properties ELECTRONIC JOURNAL OF COMBINATORICS, 2011, 18 (01):
- [26] Efficient parallel algorithms on distance-hereditary graphs (extended abstract) PROCEEDINGS OF THE 1997 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, 1997, : 20 - 23
- [27] The Asymptotic Number of Spanning Trees in Circulant Graphs (Extended Abstract) PROCEEDINGS OF THE NINTH WORKSHOP ON ALGORITHM ENGINEERING AND EXPERIMENTS AND THE FOURTH WORKSHOP ON ANALYTIC ALGORITHMICS AND COMBINATORICS, 2007, : 242 - +
- [28] Busy Time Scheduling on a Bounded Number of Machines (Extended Abstract) ALGORITHMS AND DATA STRUCTURES: 15TH INTERNATIONAL SYMPOSIUM, WADS 2017, 2017, 10389 : 521 - 532
- [30] Proving Reachability Properties by Coinduction (Extended Abstract) 2018 20TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2018), 2019, : 6 - 7