共 50 条
- [21] Spanning Distribution Forests of Graphs (Extended Abstract) FRONTIERS IN ALGORITHMICS, FAW 2014, 2014, 8497 : 117 - 127
- [22] Hybrid acceleration using real vector automata (Extended abstract) COMPUTER AIDED VERIFICATION, 2003, 2725 : 193 - 205
- [23] Recent developments in learning and competition with finite automata (Extended abstract) Internet and Network Economics, Proceedings, 2006, 4286 : 1 - 2
- [24] Reachability-time games on timed automata - (Extended abstract) AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2007, 4596 : 838 - +
- [25] Real-counter automata and their decision problems (extended abstract) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 3328 : 198 - 210
- [26] Classifying Words with 3-sort Automata: an extended abstract 39TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2024, 2024, : 787 - 788
- [27] Structured general corecursion and coinductive graphs [extended abstract] ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (77): : 55 - 61
- [28] Core Decomposition on Uncertain Graphs Revisited (Extended Abstract) 2022 IEEE 38TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING (ICDE 2022), 2022, : 1515 - 1516
- [29] Approximability of partitioning graphs with supply and demand - Extended abstract ALGORITHMS AND COMPUTATION, PROCEEDINGS, 2006, 4288 : 121 - +
- [30] Small area drawings of outerplanar graphs - (Extended abstract) GRAPH DRAWING, 2006, 3843 : 89 - 100