中国机械工程学会生产工程分会知识服务平台

期刊


ISSN0304-3975
刊名Theoretical Computer Science
参考译名理论计算机科学
收藏年代2002～2025



全部

2002 2003 2004 2005 2006 2007
2008 2009 2010 2011 2012 2013
2014 2015 2016 2017 2018 2019
2020 2021 2022 2023 2024 2025


题名作者出版年年卷期
A theory of fine-grained lineage for functions on structured objectsHalle, Sylvain; Tremblay, HugoHalle, Sylvain; Tremblay, Hugo20252025, vol.1039
Improved algorithms for optimal k sink location on path networksBhattacharya, Binay; Golin, Mordecai J.; Higashikawa, Yuya; Kameda, Tsunehiko; Katoh, NaokiBhattacharya, Binay; Golin, Mordecai J.; Higashikawa, Yuya; Kameda, Tsunehiko; Katoh, Naoki20252025, vol.1039
The reliability of (n, k )-star network in terms of non-inclusive fault patternChen, Qigong; Liu, Jiafei; Lee, Chia-Wei; Wu, Jingli; Li, GaoshiChen, Qigong; Liu, Jiafei; Lee, Chia-Wei; Wu, Jingli; Li, Gaoshi20252025, vol.1039
Opinion diffusion in graphs: An adversarial approachZehmakan, Ahad N.Zehmakan, Ahad N.20252025, vol.1039
Cost-sharing games with rank-based utilitiesRosner, Shaul; Tamir, TamiRosner, Shaul; Tamir, Tami20252025, vol.1039
Self-stabilizing multivalued consensus in the presence of Byzantine faults and asynchronyDuvignau, Romaric; Raynal, Michel; Schiller, Elad MichaelDuvignau, Romaric; Raynal, Michel; Schiller, Elad Michael20252025, vol.1039
k -shortest simple paths in bounded treewidth graphsCoudert, David; D'Ascenzo, Andrea; Rambaud, ClementCoudert, David; D'Ascenzo, Andrea; Rambaud, Clement20252025, vol.1039
TRIBUTE TO ARTO SALOMAA A Towering Figure in Theoretical Computer ScienceKarhumaki, Juhani; Kari, Jarkko; Kari, Lila; Maurer, Hermann; Petre, Ion; Rozenberg, GrzegorzKarhumaki, Juhani; Kari, Jarkko; Kari, Lila; Maurer, Hermann; Petre, Ion; Rozenberg, Grzegorz20252025, vol.1039
Byzantine fault-tolerant protocols for (n, f )-evacuation from a circleBehrouz, Pourandokht; Konstantinidis, Orestis; Leonardos, Nikos; Pagourtzis, Aris; Papaioannou, Ioannis; Spyrakou, MariannaBehrouz, Pourandokht; Konstantinidis, Orestis; Leonardos, Nikos; Pagourtzis, Aris; Papaioannou, Ioannis; Spyrakou, Marianna20252025, vol.1038
Unfolding state variables improves model checking performanceStramaglia, Anna; Keiren, Jeroen J. A.; Neele, ThomasStramaglia, Anna; Keiren, Jeroen J. A.; Neele, Thomas20252025, vol.1038
12345678910...



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  京公网安备11010202008970号  机械工业信息研究院 2018-2025