Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Distance-edge-monitoring sets of networksYang, Gang ; Zhou, Jiannan ; He, Changxiang ; Mao, YapingActa informatica, 2024-06, Vol.61 (2), p.183-198 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Approximating subset sum ratio via partition computationsAlonistiotis, Giannis ; Antonopoulos, Antonis ; Melissinos, Nikolaos ; Pagourtzis, Aris ; Petsalakis, Stavros ; Vasilakis, ManolisActa informatica, 2024-06, Vol.61 (2), p.101-113 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Exact distributed quantum algorithm for generalized Simon’s problemLi, Hao ; Qiu, Daowen ; Luo, Le ; Mateus, PauloActa informatica, 2024-06, Vol.61 (2), p.131-159 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
An encoding of the λ-calculus in the String MultiSet Rewriting calculusBagossy, Attila ; Battyányi, PéterActa informatica, 2024-06, Vol.61 (2), p.161-181 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
New families of Laplacian borderenergetic graphsDede, CahitActa informatica, 2024-06, Vol.61 (2), p.115-129 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Neighborhood mutual remainder: self-stabilizing distributed implementation and applicationsDolev, Shlomi ; Kamei, Sayaka ; Katayama, Yoshiaki ; Ooshita, Fukuhito ; Wada, KoichiActa informatica, 2024-03, Vol.61 (1), p.83-100 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
A decision procedure for string constraints with string/integer conversion and flat regular constraintsWu, Hao ; Chen, Yu-Fang ; Wu, Zhilin ; Xia, Bican ; Zhan, NaijunActa informatica, 2024-03, Vol.61 (1), p.23-52 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Balancing m-ary search trees with compressions on the fringeGao, Shuyang ; Hatem, Leen ; Mahmoud, HosamActa informatica, 2024-03, Vol.61 (1), p.53-66 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
n-PS-codes, 2-infix-outfix codes and some related classes of codesLiu, Haiyan ; Cui, Rongdong ; Zhang, TianjieActa informatica, 2024-03, Vol.61 (1), p.67-81 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Discovering workflow nets of concurrent iterative processesTapia-Flores, Tonatiuh ; López-Mellado, ErnestoActa informatica, 2024-03, Vol.61 (1), p.1-21 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |