


default search action
Theoretical Computer Science, Volume 1044
Volume 1044, 2025
- Erik Voogd
, Åsmund Aqissiaq Arild Kløvstad
, Einar Broch Johnsen
, Andrzej Wasowski
:
Compositional symbolic execution semantics. 115263 - Conrado Martínez
, Cyril Nicaud
, Pablo Rotondo
:
Mathematical models to analyze Lua hybrid tables. 115264 - Xinru Guo
, Sijia Dai
, Xinxin Han, Yicheng Xu, Yong Zhang:
Time and energy driven online scheduling problem in EV charging. 115266 - Samuel N. Araújo, João Marcos Brito, Raquel Folz, Rosiane de Freitas, Rudini M. Sampaio
:
Algorithms and complexity of graph convexity partizan games. 115267 - Shasha Zhang, Jie Zhou, Yanfang Ma, Haiyu Pan:
Alternating refinement relations for fuzzy concurrent game structures. 115268 - Chien-Ting Lee, Chang-Biau Yang
, Kuo-Si Huang:
The merged longest common increasing subsequence problem. 115269 - Saeed Akhoondian Amiri, Alexandru Popa
, Mohammad Roghani, Golnoosh Shahkarami, Reza Soltani, Hossein Vahidi:
Complexity of computing the anti-Ramsey numbers for paths. 115271 - Ajay D. Kshemkalyani
:
Dispersion of mobile robots on graphs in the asynchronous model. 115272 - Feng Shi, Daoyu Huang, Xiankun Yan
, Frank Neumann:
Runtime performance of evolutionary algorithms for the chance-constrained makespan scheduling problem. 115274 - Xiaowei Lv, Yongcai Wang, Deying Li:
Maximum core spanning tree maintenance for large dynamic graphs. 115278

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.