default search action
Theoretical Computer Science, Volume 1011
Volume 1011, 2024
- Mario J. Pérez-Jiménez, Luis Valencia-Cabrera, David Orellana-Martín, Antonio Ramírez-de-Arellano:
Towards a general methodology for formal verification on spiking neural P systems. 114705 - Toru Araki, Yasufumi Aita:
An algorithm for the secure total domination problem in proper interval graphs. 114706 - Xuanli Liu, Mengjie Lv, Weibei Fan, Xueli Sun:
Cluster connectivity and super cluster connectivity of half hypercube networks. 114715 - Luca Becchetti, Andrea Clementi, Francesco Pasquale, Luca Trevisan, Isabella Ziccardi:
Bond percolation in small-world graphs with power-law distribution. 114717 - Archontia C. Giannopoulou, Filippos Mavropoulos:
A graph searching game for block treedepth and a cubic kernel by vertex cover. 114718 - Ching-Lueh Chang:
Deterministic metric 1-median selection with very few queries. 114720 - Jui-Ting Lu, Tristan Roussillon, Jacques-Olivier Lachaud, David Coeurjolly:
Delaunay property and proximity results of the L-algorithm for digital plane probing. 114719 - Souvik Roy, Nazim Fatès, Sukanta Das:
Reversibility of elementary cellular automata with fully asynchronous updating: An analysis of the rules with partial recurrence. 114721 - Raveena, Krishnendra Shekhawat, Ria Shekhawat:
A graph theoretic approach for generating T-shaped floor plans. 114722 - Subhajit Pramanick, Saswata Jana, Adri Bhattacharya, Partha Sarathi Mandal:
Mutual visibility of luminous robots despite angular inaccuracy. 114723
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.