[1] |
Ancona, D.; Barbieri, P.; Zucca, E., Checking equivalence of corecursive streams: an inductive procedure, Theor. Comput. Sci., 1009, Article 114680 pp., 2024 · Zbl 07898953 |
[2] |
Bianchini, C.; Policriti, A.; Riccardi, B.; Romanello, R., Incremental NFA minimization, Theor. Comput. Sci., 1004, Article 114621 pp., 2024 · Zbl 07868368 |
[3] |
Bianchini, R.; Dagnino, F.; Giannini, P.; Zucca, E., A Java-like calculus with heterogeneous coeffects, Theor. Comput. Sci., 971, Article 114063 pp., 2023 · Zbl 07729839 |
[4] |
Dondi, R., Untangling temporal graphs of bounded degree, Theor. Comput. Sci., 969, Article 114040 pp., 2023 · Zbl 07720778 |
[5] |
Montecchiani, F.; Ortali, G.; Piselli, T.; Tappini, A., On the parameterized complexity of s-club cluster deletion problems, Theor. Comput. Sci., 969, Article 114041 pp., 2023 · Zbl 07720779 |
[6] |
Pasqua, M.; Miculan, M., Behavioral equivalences for abu: verifying security and safety in distributed iot systems, Theor. Comput. Sci., 998, Article 114537 pp., 2024 · Zbl 07833682 |
[7] |
Poggiali, A.; Berti, A.; Bernasconi, A.; Del Corso, G. M.; Guidotti, R., Quantum clustering with k-means: a hybrid approach, Theor. Comput. Sci., 992, Article 114466 pp., 2024 · Zbl 07813025 |